{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:26NJMCPRKD6FHN4KWSMY3SPK4P","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":"7ca9634eaceee07508ea61faa2d695fd74f8c22f729fb9c9c5800ae0172e6d9e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-28T15:01:36Z","title_canon_sha256":"6945d1d0ab2ccd921ec67a96e034429a7d685a6ff0b6790200fb1bdf04bbcbd4"},"schema_version":"1.0","source":{"id":"1102.5682","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.5682","created_at":"2026-05-18T04:27:46Z"},{"alias_kind":"arxiv_version","alias_value":"1102.5682v1","created_at":"2026-05-18T04:27:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.5682","created_at":"2026-05-18T04:27:46Z"},{"alias_kind":"pith_short_12","alias_value":"26NJMCPRKD6F","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"26NJMCPRKD6FHN4K","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"26NJMCPR","created_at":"2026-05-18T12:26:18Z"}],"graph_snapshots":[{"event_id":"sha256:13ffbfe83d42ef1df3af0283b5f845a6081827ac28b06cc28b448675792ee07a","target":"graph","created_at":"2026-05-18T04:27:46Z","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":"The problem of k-minimisation for a DFA M is the computation of a smallest DFA N (where the size |M| of a DFA M is the size of the domain of the transition function) such that their recognized languages differ only on words of length less than k. The previously best algorithm, which runs in time O(|M| log^2 n) where n is the number of states, is extended to DFAs with partial transition functions. Moreover, a faster O(|M| log n) algorithm for DFAs that recognise finite languages is presented. In comparison to the previous algorithm for total DFAs, the new algorithm is much simpler and allows th","authors_text":"Andreas Maletti, Artur Je\\.z, Pawe{\\l} Gawrychowski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-28T15:01:36Z","title":"On minimising automata with errors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.5682","kind":"arxiv","version":1},"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:a17823b3893b35e4cb4557f4ca5fda2d926da87b59c5b26b6f1af93a5fd40f68","target":"record","created_at":"2026-05-18T04:27:46Z","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":"7ca9634eaceee07508ea61faa2d695fd74f8c22f729fb9c9c5800ae0172e6d9e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-28T15:01:36Z","title_canon_sha256":"6945d1d0ab2ccd921ec67a96e034429a7d685a6ff0b6790200fb1bdf04bbcbd4"},"schema_version":"1.0","source":{"id":"1102.5682","kind":"arxiv","version":1}},"canonical_sha256":"d79a9609f150fc53b78ab4998dc9eae3df84ab68dcc83d8131a035a8557a9afd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d79a9609f150fc53b78ab4998dc9eae3df84ab68dcc83d8131a035a8557a9afd","first_computed_at":"2026-05-18T04:27:46.270181Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:27:46.270181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3NZDBPj+MR4kMtUXK0Ysoocaq9aUASn62ErI9sIO6hR9swEVzhpP5iIUtTZ9JhsGfTmLdTymIRgerPCNF3Y0Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:27:46.270800Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.5682","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a17823b3893b35e4cb4557f4ca5fda2d926da87b59c5b26b6f1af93a5fd40f68","sha256:13ffbfe83d42ef1df3af0283b5f845a6081827ac28b06cc28b448675792ee07a"],"state_sha256":"b0229e9ae108d0b25cb4628e5c4aed1b2ff549094be45a391c6d60712f4a812c"}