{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:TXYJS5FWZ7ANNALYJ6SWOPJWP6","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":"646d4e880a874f295591521dc5784813a8bb622379468d0807a8fe7b1f9ec95f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2007-12-11T16:50:51Z","title_canon_sha256":"af87812e1655bf612b7ffc0aaa8d4d48bdb8d89b47acbd4595e0e0a90cad3860"},"schema_version":"1.0","source":{"id":"0712.1765","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0712.1765","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"arxiv_version","alias_value":"0712.1765v6","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0712.1765","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"pith_short_12","alias_value":"TXYJS5FWZ7AN","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_16","alias_value":"TXYJS5FWZ7ANNALY","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_8","alias_value":"TXYJS5FW","created_at":"2026-05-18T12:25:56Z"}],"graph_snapshots":[{"event_id":"sha256:7f176176b6f1d21cb4cef1599a5b7dc1e179d426d02c6ea73dce4f29506a7524","target":"graph","created_at":"2026-05-18T01:37:42Z","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":"Simple stochastic games are two-player zero-sum stochastic games with turn-based moves, perfect information, and reachability winning conditions. We present two new algorithms computing the values of simple stochastic games. Both of them rely on the existence of optimal permutation strategies, a class of positional strategies derived from permutations of the random vertices. The \"permutation-enumeration\" algorithm performs an exhaustive search among these strategies, while the \"permutation-improvement\" algorithm is based on successive improvements, \\`a la Hoffman-Karp. Our algorithms improve p","authors_text":"CWI), Florian Horn (LIAFA, Hugo Gimbert (LaBRI)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2007-12-11T16:50:51Z","title":"Solving Simple Stochastic Games with Few Random Vertices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0712.1765","kind":"arxiv","version":6},"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:2e7a01a186463d5226caad3ab5e1d6d30ea49144a350067454d5b4bbbcd68415","target":"record","created_at":"2026-05-18T01:37:42Z","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":"646d4e880a874f295591521dc5784813a8bb622379468d0807a8fe7b1f9ec95f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2007-12-11T16:50:51Z","title_canon_sha256":"af87812e1655bf612b7ffc0aaa8d4d48bdb8d89b47acbd4595e0e0a90cad3860"},"schema_version":"1.0","source":{"id":"0712.1765","kind":"arxiv","version":6}},"canonical_sha256":"9df09974b6cfc0d681784fa5673d367fbef88d1c15880c0a900fcf0d1fe4bfc3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9df09974b6cfc0d681784fa5673d367fbef88d1c15880c0a900fcf0d1fe4bfc3","first_computed_at":"2026-05-18T01:37:42.572695Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:42.572695Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3Mf86R/lwB/4kPVcO/DxNarul4bidaJEFSYDbaXXwcwBMa+8CEd8cGfE6k4tgGAx35nppSFuc8pXEgNDsNC3Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:42.573197Z","signed_message":"canonical_sha256_bytes"},"source_id":"0712.1765","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2e7a01a186463d5226caad3ab5e1d6d30ea49144a350067454d5b4bbbcd68415","sha256:7f176176b6f1d21cb4cef1599a5b7dc1e179d426d02c6ea73dce4f29506a7524"],"state_sha256":"55debbd326dd74f6f0f44f9d2fc0e4e29bf028b7db113dd248ad09420665dcee"}