{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:UY5FTP244PA6IC2ZDOVH3TK4GX","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":"58b08759b5efe3620768210688790955e4687bf9d9dc8d305819e48fb99e184a","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-03-13T14:29:24Z","title_canon_sha256":"db5e3c22847c5e8237fdf5db1ff21b82461f3703db057e0ba96a920b9ebb5305"},"schema_version":"1.0","source":{"id":"1203.2822","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.2822","created_at":"2026-05-18T02:31:30Z"},{"alias_kind":"arxiv_version","alias_value":"1203.2822v2","created_at":"2026-05-18T02:31:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.2822","created_at":"2026-05-18T02:31:30Z"},{"alias_kind":"pith_short_12","alias_value":"UY5FTP244PA6","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"UY5FTP244PA6IC2Z","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"UY5FTP24","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:6c2ebb843c33ead29d43ab4b510ea34dee766fc5f5770c0df1a11c3fc2eb562b","target":"graph","created_at":"2026-05-18T02:31:30Z","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 new fast algorithm finding minimal reset words for finite synchronizing automata. The problem is know to be computationally hard, and our algorithm is exponential. Yet, it is faster than the algorithms used so far and it works well in practice. The main idea is to use a bidirectional BFS and radix (Patricia) tries to store and compare resulted subsets. We give both theoretical and practical arguments showing that the branching factor is reduced efficiently. As a practical test we perform an experimental study of the length of the shortest reset word for random automa","authors_text":"Andrzej Kisielewicz, Jakub Kowalski, Marek Szyku{\\l}a","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-03-13T14:29:24Z","title":"A Fast Algorithm Finding the Shortest Reset Words"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.2822","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:27a9e6a02cf457a512a3a8b54d52b956b77fb704d6b70f760e4afc2189d07575","target":"record","created_at":"2026-05-18T02:31:30Z","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":"58b08759b5efe3620768210688790955e4687bf9d9dc8d305819e48fb99e184a","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-03-13T14:29:24Z","title_canon_sha256":"db5e3c22847c5e8237fdf5db1ff21b82461f3703db057e0ba96a920b9ebb5305"},"schema_version":"1.0","source":{"id":"1203.2822","kind":"arxiv","version":2}},"canonical_sha256":"a63a59bf5ce3c1e40b591baa7dcd5c35e646c91395eb977bc036109f49f31178","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a63a59bf5ce3c1e40b591baa7dcd5c35e646c91395eb977bc036109f49f31178","first_computed_at":"2026-05-18T02:31:30.268177Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:31:30.268177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Cmth9ZQQALNJjIkrwzVH1sV/Mt2Wjqgst0R618M2txbFA/JgHhQ7YrtIMIt18Yg1RGjlhxyN/2Zk1bJW8lgFDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:31:30.268539Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.2822","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27a9e6a02cf457a512a3a8b54d52b956b77fb704d6b70f760e4afc2189d07575","sha256:6c2ebb843c33ead29d43ab4b510ea34dee766fc5f5770c0df1a11c3fc2eb562b"],"state_sha256":"035675910cb52f1dbd7c3fbac6e19741cc144bcc28090a9c32b729f17f3f1ece"}