{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:Q4V2YB6VWU43IAFU2HPLLASAT3","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":"595dd555a0deb292bcabb94ea4ea96aa3e36798a842fececfdc25ba2303d348b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-09-13T12:51:44Z","title_canon_sha256":"e7a4003bf46ec83814ef1520f16dad898acef0527287f0dd3ad94bb681ff522b"},"schema_version":"1.0","source":{"id":"1409.3943","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.3943","created_at":"2026-05-18T01:27:08Z"},{"alias_kind":"arxiv_version","alias_value":"1409.3943v2","created_at":"2026-05-18T01:27:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.3943","created_at":"2026-05-18T01:27:08Z"},{"alias_kind":"pith_short_12","alias_value":"Q4V2YB6VWU43","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"Q4V2YB6VWU43IAFU","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"Q4V2YB6V","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:70061ca14bebdd2e626f2ccfc27a052a10c900282084badb700f12e2b20c53e5","target":"graph","created_at":"2026-05-18T01:27:08Z","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":"Two languages are separable by a piecewise testable language if and only if there exists no infinite tower between them. An infinite tower is an infinite sequence of strings alternating between the two languages such that every string is a subsequence (scattered substring) of all the strings that follow. For regular languages represented by nondeterministic finite automata, the existence of an infinite tower is decidable in polynomial time. In this paper, we investigate the complexity of a particular method to compute a piecewise testable separator. We show that it is closely related to the he","authors_text":"Micha\\\"el Thomazo, Tom\\'a\\v{s} Masopust, \\v{S}t\\v{e}p\\'an Holub","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-09-13T12:51:44Z","title":"Alternating Towers and Piecewise Testable Separators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.3943","kind":"arxiv","version":2},"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:1e8b21a2abf1cb365e55227c3b18eb87c16f8054f5275fa2ea56aec1bb5a86c7","target":"record","created_at":"2026-05-18T01:27:08Z","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":"595dd555a0deb292bcabb94ea4ea96aa3e36798a842fececfdc25ba2303d348b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-09-13T12:51:44Z","title_canon_sha256":"e7a4003bf46ec83814ef1520f16dad898acef0527287f0dd3ad94bb681ff522b"},"schema_version":"1.0","source":{"id":"1409.3943","kind":"arxiv","version":2}},"canonical_sha256":"872bac07d5b539b400b4d1deb582409ee142fb0b55cdc566235d04708059241b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"872bac07d5b539b400b4d1deb582409ee142fb0b55cdc566235d04708059241b","first_computed_at":"2026-05-18T01:27:08.136269Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:27:08.136269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Oqu2437+hgbHiUgSkMQsYalInnMc2bC7tPTE1qv3/F02tUBr75OyYOCk9QNEzH2+dBDkjSoWdcXjD1ydngbYCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:27:08.136942Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.3943","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e8b21a2abf1cb365e55227c3b18eb87c16f8054f5275fa2ea56aec1bb5a86c7","sha256:70061ca14bebdd2e626f2ccfc27a052a10c900282084badb700f12e2b20c53e5"],"state_sha256":"5ad09fdc44ca7c6ddc16f1775bd524e98474284878cb83abdc53c312a348b1dc"}