{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:WPWBQ4OITDVXBJO56SAHP5A6JA","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":"67e44a60167965c242e4391fc43ccfa816acfe21683fdbd07a58c9afdd6a39c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:24:38Z","title_canon_sha256":"45d4ba146c7e28e62680e7be9072cf7ae1881c3cb608866c9e78bb6f3cb34841"},"schema_version":"1.0","source":{"id":"1401.3910","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3910","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3910v1","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3910","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"pith_short_12","alias_value":"WPWBQ4OITDVX","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WPWBQ4OITDVXBJO5","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WPWBQ4OI","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:dfdb56b6f79d73942eb350dad56f0e6c76e44d24d4f4aacff4001f21ebcf271e","target":"graph","created_at":"2026-05-18T03:02:06Z","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":"Value iteration is a powerful yet inefficient algorithm for Markov decision processes (MDPs) because it puts the majority of its effort into backing up the entire state space, which turns out to be unnecessary in many cases. In order to overcome this problem, many approaches have been proposed. Among them, ILAO* and variants of RTDP are state-of-the-art ones. These methods use reachability analysis and heuristic search to avoid some unnecessary backups. However, none of these approaches build the graphical structure of the state transitions in a pre-processing step or use the structural inform","authors_text":"Daniel Sabby Weld, Judy Goldsmith, Mausam, Peng Dai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:24:38Z","title":"Topological Value Iteration Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3910","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:9413c2deb6ac37b9eb204821bcbea21c65d74654b76791bf96a217104933d4f0","target":"record","created_at":"2026-05-18T03:02:06Z","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":"67e44a60167965c242e4391fc43ccfa816acfe21683fdbd07a58c9afdd6a39c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:24:38Z","title_canon_sha256":"45d4ba146c7e28e62680e7be9072cf7ae1881c3cb608866c9e78bb6f3cb34841"},"schema_version":"1.0","source":{"id":"1401.3910","kind":"arxiv","version":1}},"canonical_sha256":"b3ec1871c898eb70a5ddf48077f41e4805c039d031019fa33bad6c9fe234f418","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3ec1871c898eb70a5ddf48077f41e4805c039d031019fa33bad6c9fe234f418","first_computed_at":"2026-05-18T03:02:06.056362Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:06.056362Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tAjVVNVVY8X30a9+OKgUiCUQKWDL27XNBXyYg7EtyY/skRRuwW1pyFC7v2diuqYB7nquUPwXUrslszGiwhGfCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:06.057178Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3910","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9413c2deb6ac37b9eb204821bcbea21c65d74654b76791bf96a217104933d4f0","sha256:dfdb56b6f79d73942eb350dad56f0e6c76e44d24d4f4aacff4001f21ebcf271e"],"state_sha256":"c5bddaaf73690b22517903e010cbaac236ce0997c2b7ad2e245162a83d6994e2"}