{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:4FSVJFWJLBTLGEEZERLLKBF72W","short_pith_number":"pith:4FSVJFWJ","schema_version":"1.0","canonical_sha256":"e1655496c95866b310992456b504bfd5bd92a7158cb978967ab725b769eda098","source":{"kind":"arxiv","id":"2410.22764","version":1},"attestation_state":"computed","paper":{"title":"An Evaluation of Massively Parallel Algorithms for DFA Minimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Anton Wijs, Jan Martens","submitted_at":"2024-10-30T07:30:22Z","abstract_excerpt":"We study parallel algorithms for the minimization of Deterministic Finite Automata (DFAs). In particular, we implement four different massively parallel algorithms on Graphics Processing Units (GPUs). Our results confirm the expectations that the algorithm with the theoretically best time complexity is not practically suitable to run on GPUs due to the large amount of resources needed. We empirically verify that parallel partition refinement algorithms from the literature perform better in practice, even though their time complexity is worse. Lastly, we introduce a novel algorithm based on par"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2410.22764","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2024-10-30T07:30:22Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d8bd4ae33d1e3a9abf02aa5f2d73bc77e09aa5c71d9c498b44d2199718dcb7fa","abstract_canon_sha256":"29194d6c4322e266559e99790d5efbade59e08085530e4c40ad2106a33422d8c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:28:21.456637Z","signature_b64":"mzWyzWwMNeHK2uk9pY8roiw6zOG2VkkZAFy9sgHA/mJf3oGIuBy7fwo4ucq1JbCRGk7zp1PNl0BG8igbfpbmDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e1655496c95866b310992456b504bfd5bd92a7158cb978967ab725b769eda098","last_reissued_at":"2026-07-05T09:28:21.456128Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:28:21.456128Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Evaluation of Massively Parallel Algorithms for DFA Minimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Anton Wijs, Jan Martens","submitted_at":"2024-10-30T07:30:22Z","abstract_excerpt":"We study parallel algorithms for the minimization of Deterministic Finite Automata (DFAs). In particular, we implement four different massively parallel algorithms on Graphics Processing Units (GPUs). Our results confirm the expectations that the algorithm with the theoretically best time complexity is not practically suitable to run on GPUs due to the large amount of resources needed. We empirically verify that parallel partition refinement algorithms from the literature perform better in practice, even though their time complexity is worse. Lastly, we introduce a novel algorithm based on par"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.22764","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2410.22764/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2410.22764","created_at":"2026-07-05T09:28:21.456195+00:00"},{"alias_kind":"arxiv_version","alias_value":"2410.22764v1","created_at":"2026-07-05T09:28:21.456195+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.22764","created_at":"2026-07-05T09:28:21.456195+00:00"},{"alias_kind":"pith_short_12","alias_value":"4FSVJFWJLBTL","created_at":"2026-07-05T09:28:21.456195+00:00"},{"alias_kind":"pith_short_16","alias_value":"4FSVJFWJLBTLGEEZ","created_at":"2026-07-05T09:28:21.456195+00:00"},{"alias_kind":"pith_short_8","alias_value":"4FSVJFWJ","created_at":"2026-07-05T09:28:21.456195+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4FSVJFWJLBTLGEEZERLLKBF72W","json":"https://pith.science/pith/4FSVJFWJLBTLGEEZERLLKBF72W.json","graph_json":"https://pith.science/api/pith-number/4FSVJFWJLBTLGEEZERLLKBF72W/graph.json","events_json":"https://pith.science/api/pith-number/4FSVJFWJLBTLGEEZERLLKBF72W/events.json","paper":"https://pith.science/paper/4FSVJFWJ"},"agent_actions":{"view_html":"https://pith.science/pith/4FSVJFWJLBTLGEEZERLLKBF72W","download_json":"https://pith.science/pith/4FSVJFWJLBTLGEEZERLLKBF72W.json","view_paper":"https://pith.science/paper/4FSVJFWJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2410.22764&json=true","fetch_graph":"https://pith.science/api/pith-number/4FSVJFWJLBTLGEEZERLLKBF72W/graph.json","fetch_events":"https://pith.science/api/pith-number/4FSVJFWJLBTLGEEZERLLKBF72W/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4FSVJFWJLBTLGEEZERLLKBF72W/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4FSVJFWJLBTLGEEZERLLKBF72W/action/storage_attestation","attest_author":"https://pith.science/pith/4FSVJFWJLBTLGEEZERLLKBF72W/action/author_attestation","sign_citation":"https://pith.science/pith/4FSVJFWJLBTLGEEZERLLKBF72W/action/citation_signature","submit_replication":"https://pith.science/pith/4FSVJFWJLBTLGEEZERLLKBF72W/action/replication_record"}},"created_at":"2026-07-05T09:28:21.456195+00:00","updated_at":"2026-07-05T09:28:21.456195+00:00"}