{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:OWAFYQSOZSOVLZDAFYH7EB44RG","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":"eefec81b1faa3fb25991cfce687adff66efd8f12d9be6c56cbdd0dab50980ae9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2023-05-09T02:22:24Z","title_canon_sha256":"e3ca8000d59fbbb536a10d61c93b392e32a2b530d3279ec1c6479f87c70064e1"},"schema_version":"1.0","source":{"id":"2305.05129","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.05129","created_at":"2026-07-05T07:25:23Z"},{"alias_kind":"arxiv_version","alias_value":"2305.05129v2","created_at":"2026-07-05T07:25:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.05129","created_at":"2026-07-05T07:25:23Z"},{"alias_kind":"pith_short_12","alias_value":"OWAFYQSOZSOV","created_at":"2026-07-05T07:25:23Z"},{"alias_kind":"pith_short_16","alias_value":"OWAFYQSOZSOVLZDA","created_at":"2026-07-05T07:25:23Z"},{"alias_kind":"pith_short_8","alias_value":"OWAFYQSO","created_at":"2026-07-05T07:25:23Z"}],"graph_snapshots":[{"event_id":"sha256:feb6fccb2d2ecfe4f844e5a7d133dc1f5a463e4d36fb753810a0826e1284b3f1","target":"graph","created_at":"2026-07-05T07:25:23Z","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/2305.05129/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Wheeler nondeterministic finite automata (WNFAs) were introduced as a generalization of prefix sorting from strings to labeled graphs. WNFAs admit optimal solutions to classic hard problems on labeled graphs and languages. The problem of deciding whether a given NFA is Wheeler is known to be NP-complete. Recently, however, Alanko et al. showed how to side-step this complexity by switching to preorders: letting $Q$ be the set of states, $E$ the set of transitions, $|Q|=n$, and $|E|=m$, they provided a $O(mn^2)$-time algorithm computing a totally-ordered partition of the WNFA's states such that ","authors_text":"Bojana Kodric, Davide Cenzato, Francisco Olivares, Manuel C\\'aceres, Nicola Prezza, Ruben Becker, Sung-Hwan Kim","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2023-05-09T02:22:24Z","title":"Sorting Finite Automata via Partition Refinement"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.05129","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:fc8026daf0e4c8dc6aaa83c19f21a3ec5c07187d10f1195da6994f25aaf4024c","target":"record","created_at":"2026-07-05T07:25:23Z","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":"eefec81b1faa3fb25991cfce687adff66efd8f12d9be6c56cbdd0dab50980ae9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2023-05-09T02:22:24Z","title_canon_sha256":"e3ca8000d59fbbb536a10d61c93b392e32a2b530d3279ec1c6479f87c70064e1"},"schema_version":"1.0","source":{"id":"2305.05129","kind":"arxiv","version":2}},"canonical_sha256":"75805c424ecc9d55e4602e0ff2079c8986dabe3748132333ea9ffd93c8987aef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"75805c424ecc9d55e4602e0ff2079c8986dabe3748132333ea9ffd93c8987aef","first_computed_at":"2026-07-05T07:25:23.100585Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:25:23.100585Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KCf+K2O1jWJrxZqKgE82WEt1Qom6ktRoHwefkMv1gR9OaLLI2eRfgLm+OfbZJYhHUGeIgnYwk6ladmQ5AY2zDw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:25:23.100979Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.05129","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc8026daf0e4c8dc6aaa83c19f21a3ec5c07187d10f1195da6994f25aaf4024c","sha256:feb6fccb2d2ecfe4f844e5a7d133dc1f5a463e4d36fb753810a0826e1284b3f1"],"state_sha256":"03f273e420f46d7b0968495e1ef13f8ecfe0e5a47c24639f2fe221d8239d42b6"}