{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:OVLR6WUYTPP3263JECWOEB7SPD","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ca0b4df1a4fb7e014ff6653ce0609a3a1b73b7e05cf5bd87a6793f46558ccf61","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-01-24T17:03:41Z","title_canon_sha256":"588efff2e661db35338249ca23ebf2d941f42a7847c51364f77817e32fd4b3b4"},"schema_version":"1.0","source":{"id":"1301.5842","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.5842","created_at":"2026-05-18T03:07:44Z"},{"alias_kind":"arxiv_version","alias_value":"1301.5842v3","created_at":"2026-05-18T03:07:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.5842","created_at":"2026-05-18T03:07:44Z"},{"alias_kind":"pith_short_12","alias_value":"OVLR6WUYTPP3","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"OVLR6WUYTPP3263J","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"OVLR6WUY","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:95c9b177fa15a98d55dd74bf40f8526cdbc5cb1b486a29770f0cb64e077a4e08","target":"graph","created_at":"2026-05-18T03:07:44Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In this paper we present a simple linear-time algorithm constructing a context-free grammar of size O(g log(N/g)) for the input string, where N is the size of the input string and g the size of the optimal grammar generating this string. The algorithm works for arbitrary size alphabets, but the running time is linear assuming that the alphabet \\Sigma of the input string can be identified with numbers from {1, ..., N^c} for some constant c. Otherwise, additional cost of O(n log|\\Sigma|) is needed.\n  Algorithms with such approximation guarantees and running time are known, the novelty of this pa","authors_text":"Artur Je\\.z","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-01-24T17:03:41Z","title":"Approximation of grammar-based compression via recompression"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.5842","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6b60bb2c13163e172450568b13fcfe5a6b3dd1b28336afaba8d85463c73ee42c","target":"record","created_at":"2026-05-18T03:07:44Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ca0b4df1a4fb7e014ff6653ce0609a3a1b73b7e05cf5bd87a6793f46558ccf61","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-01-24T17:03:41Z","title_canon_sha256":"588efff2e661db35338249ca23ebf2d941f42a7847c51364f77817e32fd4b3b4"},"schema_version":"1.0","source":{"id":"1301.5842","kind":"arxiv","version":3}},"canonical_sha256":"75571f5a989bdfbd7b6920ace207f278e90d3e7b58bddf8f1bc20c404a1840aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"75571f5a989bdfbd7b6920ace207f278e90d3e7b58bddf8f1bc20c404a1840aa","first_computed_at":"2026-05-18T03:07:44.480116Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:07:44.480116Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eIR9vjzLr0bmWFaPVf6sNev4ilQJd3Mo6CgMvUjfVK6edK6jUVt8H2yuMDknVjFN7hk0IqOntwxfChZvevwQDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:07:44.480785Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.5842","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6b60bb2c13163e172450568b13fcfe5a6b3dd1b28336afaba8d85463c73ee42c","sha256:95c9b177fa15a98d55dd74bf40f8526cdbc5cb1b486a29770f0cb64e077a4e08"],"state_sha256":"569fa715f01f9ffa656e0628d9e66ca166278050871c5e1003b6c3501fded26d"}