{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:JCOAMENLKDSSXDIVMZEBVJWDXT","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":"84cad0f02c9d27858c1f10dab77c8a050eb4739a7b095c758a65dded00c1e377","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-08-20T05:56:53Z","title_canon_sha256":"965dcbdd0f76dad9e73b424dd28754055f62a8d9719940c032274c272968347d"},"schema_version":"1.0","source":{"id":"1508.04885","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.04885","created_at":"2026-05-18T01:35:00Z"},{"alias_kind":"arxiv_version","alias_value":"1508.04885v1","created_at":"2026-05-18T01:35:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.04885","created_at":"2026-05-18T01:35:00Z"},{"alias_kind":"pith_short_12","alias_value":"JCOAMENLKDSS","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JCOAMENLKDSSXDIV","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JCOAMENL","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:564106fd7a6f25d55b0c8544d06939fba6afd372c12d8b48981bef4ee903cc20","target":"graph","created_at":"2026-05-18T01:35:00Z","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 margin of victory is easy to compute for many election schemes but difficult for Instant Runoff Voting (IRV). This is important because arguments about the correctness of an election outcome usually rely on the size of the electoral margin. For example, risk-limiting audits require a knowledge of the margin of victory in order to determine how much auditing is necessary. This paper presents a practical branch-and-bound algorithm for exact IRV margin computation that substantially improves on the current best-known approach. Although exponential in the worst case, our algorithm runs efficie","authors_text":"Michelle Blom, Peter J. Stuckey, Ron Tidhar, Vanessa J. Teague","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-08-20T05:56:53Z","title":"Efficient Computation of Exact IRV Margins"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.04885","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:355f86b9ee869475357bcadb28ca88e57b371bf9784fee06b2c375bd2483fb5e","target":"record","created_at":"2026-05-18T01:35:00Z","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":"84cad0f02c9d27858c1f10dab77c8a050eb4739a7b095c758a65dded00c1e377","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-08-20T05:56:53Z","title_canon_sha256":"965dcbdd0f76dad9e73b424dd28754055f62a8d9719940c032274c272968347d"},"schema_version":"1.0","source":{"id":"1508.04885","kind":"arxiv","version":1}},"canonical_sha256":"489c0611ab50e52b8d1566481aa6c3bcf1135006d4d52d2058f6bd92bedbc800","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"489c0611ab50e52b8d1566481aa6c3bcf1135006d4d52d2058f6bd92bedbc800","first_computed_at":"2026-05-18T01:35:00.334941Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:00.334941Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y6RBGeu4t6BjuyzM56/vYvmwanMBU0AEUaDnQQAnKCUVKeBGaDwpIjJdbKdN6ehmZPsSXP1Ovfv2+pXDTqWZAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:00.335540Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.04885","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:355f86b9ee869475357bcadb28ca88e57b371bf9784fee06b2c375bd2483fb5e","sha256:564106fd7a6f25d55b0c8544d06939fba6afd372c12d8b48981bef4ee903cc20"],"state_sha256":"2ed0e1939d2ededf02ebb63a3a86e941b293620517c4062e486833b5572fcb8c"}