{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:6MACNZIPIXXEDDEULLA75ZROM7","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":"e50c1b89bb774266daf9473e13ed9aa8943ee8a134075983f4947ae182decae5","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-04-21T17:07:52Z","title_canon_sha256":"3eb71c0083e1d4921c3079c940817204595ba6ac1723c94e22c374c62c2b0eb2"},"schema_version":"1.0","source":{"id":"1404.5244","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.5244","created_at":"2026-05-18T02:20:00Z"},{"alias_kind":"arxiv_version","alias_value":"1404.5244v4","created_at":"2026-05-18T02:20:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.5244","created_at":"2026-05-18T02:20:00Z"},{"alias_kind":"pith_short_12","alias_value":"6MACNZIPIXXE","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6MACNZIPIXXEDDEU","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6MACNZIP","created_at":"2026-05-18T12:28:16Z"}],"graph_snapshots":[{"event_id":"sha256:cf6854b03b2d4885374fdfa8027236a3e0d04369a0e9066e4f2d7907183b8d69","target":"graph","created_at":"2026-05-18T02:20:00Z","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":"Given a language $L$ that is online recognizable in linear time and space, we construct a linear time and space online recognition algorithm for the language $L\\cdot\\mathrm{Pal}$, where $\\mathrm{Pal}$ is the language of all nonempty palindromes. Hence for every fixed positive $k$, $\\mathrm{Pal}^k$ is online recognizable in linear time and space. Thus we solve an open problem posed by Galil and Seiferas in 1978.","authors_text":"Arseny M. Shur, Dmitry Kosolobov, Mikhail Rubinchik","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-04-21T17:07:52Z","title":"$\\mathrm{Pal}^k$ Is Linear Recognizable Online"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.5244","kind":"arxiv","version":4},"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:508aa23a9197d7c762694dbaa385b6503ad1a1bd5a13a0d143bc41760fef2cd4","target":"record","created_at":"2026-05-18T02:20:00Z","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":"e50c1b89bb774266daf9473e13ed9aa8943ee8a134075983f4947ae182decae5","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-04-21T17:07:52Z","title_canon_sha256":"3eb71c0083e1d4921c3079c940817204595ba6ac1723c94e22c374c62c2b0eb2"},"schema_version":"1.0","source":{"id":"1404.5244","kind":"arxiv","version":4}},"canonical_sha256":"f30026e50f45ee418c945ac1fee62e67e2deeed044a9d8a2275f9725b5471013","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f30026e50f45ee418c945ac1fee62e67e2deeed044a9d8a2275f9725b5471013","first_computed_at":"2026-05-18T02:20:00.067592Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:20:00.067592Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DPXTnYg1fhbUU0uOw6+83rB/Nx0wvqmEfAxtf36tKxoW8JFx/GCky59bwiP74/siP02tCHq/5oDaZqbmQDKJDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:20:00.068408Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.5244","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:508aa23a9197d7c762694dbaa385b6503ad1a1bd5a13a0d143bc41760fef2cd4","sha256:cf6854b03b2d4885374fdfa8027236a3e0d04369a0e9066e4f2d7907183b8d69"],"state_sha256":"e72055874f828288b25a33c70911ab24f1432106ee49be5def684162317b0574"}