{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:L3XQW5FGVHGI52XLI23PIPBZYE","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":"1bb4662b08c978c7679337c7f5794521090615efed50ac1f1c585d6f585cbd7e","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2021-01-13T13:43:54Z","title_canon_sha256":"af3e0d4cd06649e760d0412a5a287b33a96cb0ba7bd4da1f9b714e6470f213d2"},"schema_version":"1.0","source":{"id":"2101.05057","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.05057","created_at":"2026-05-27T01:05:31Z"},{"alias_kind":"arxiv_version","alias_value":"2101.05057v3","created_at":"2026-05-27T01:05:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.05057","created_at":"2026-05-27T01:05:31Z"},{"alias_kind":"pith_short_12","alias_value":"L3XQW5FGVHGI","created_at":"2026-05-27T01:05:31Z"},{"alias_kind":"pith_short_16","alias_value":"L3XQW5FGVHGI52XL","created_at":"2026-05-27T01:05:31Z"},{"alias_kind":"pith_short_8","alias_value":"L3XQW5FG","created_at":"2026-05-27T01:05:31Z"}],"graph_snapshots":[{"event_id":"sha256:c22bac1e289609c4b93f63d4f0d5230c0d4abf9377da2ed8152d351e16b53b1c","target":"graph","created_at":"2026-05-27T01:05:31Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2101.05057/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study synchronizing partial DFAs, which extend the classical concept of synchronizing complete DFAs and are a special case of synchronizing unambiguous NFAs. A partial DFA is called synchronizing if it has a word (called a \\emph{reset word}) whose action brings a non-empty subset of states to a unique state and is undefined for all other states. The class of strongly connected partial DFAs is precisely the class of DFAs recognizing the Kleene star of prefix codes. While in the general case the problem of checking whether a partial DFA is synchronizing is PSPACE-complete, we show that in the","authors_text":"Andrew Ryzhikov, Marek Szyku{\\l}a, Mikhail V. Berlinkov, Robert Ferens","cross_cats":["math.CO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2021-01-13T13:43:54Z","title":"Synchronization of strongly connected partial DFAs and prefix codes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.05057","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:3c57e924f6ab4cd679bd28c527037a175530b809777d6d21f4b3f2f7fb0f17da","target":"record","created_at":"2026-05-27T01:05:31Z","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":"1bb4662b08c978c7679337c7f5794521090615efed50ac1f1c585d6f585cbd7e","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2021-01-13T13:43:54Z","title_canon_sha256":"af3e0d4cd06649e760d0412a5a287b33a96cb0ba7bd4da1f9b714e6470f213d2"},"schema_version":"1.0","source":{"id":"2101.05057","kind":"arxiv","version":3}},"canonical_sha256":"5eef0b74a6a9cc8eeaeb46b6f43c39c1121dbc0fed1e9cacdbd7d8491cf1f3c9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5eef0b74a6a9cc8eeaeb46b6f43c39c1121dbc0fed1e9cacdbd7d8491cf1f3c9","first_computed_at":"2026-05-27T01:05:31.492939Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-27T01:05:31.492939Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u/ylhXnCut/+5VPHXrWSCOfEXQiwtx4T1GNttRDUDi1zkdOWG85G9Cc7Yd2w/oyQ7u/+KGEgkr/3giIJzyLwDA==","signature_status":"signed_v1","signed_at":"2026-05-27T01:05:31.493545Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.05057","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c57e924f6ab4cd679bd28c527037a175530b809777d6d21f4b3f2f7fb0f17da","sha256:c22bac1e289609c4b93f63d4f0d5230c0d4abf9377da2ed8152d351e16b53b1c"],"state_sha256":"4a47c63221954e33b5845d61f504ee3b94af9c7d11fb263b4eb90dbd363262f5"}