{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:LT2VN4KLV7AMTUTJH6XJTTBGXZ","short_pith_number":"pith:LT2VN4KL","canonical_record":{"source":{"id":"1401.3493","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T05:41:44Z","cross_cats_sorted":[],"title_canon_sha256":"79ef508db6a552581419bafac505c08252ec785e12c53a512692902ae50d4eaa","abstract_canon_sha256":"71d6b01f6fb66b99c08e1e74b2516d1689c428755a85b4368158829df000a98b"},"schema_version":"1.0"},"canonical_sha256":"5cf556f14bafc0c9d2693fae99cc26be53aac22976875961f21122bc4ff843d4","source":{"kind":"arxiv","id":"1401.3493","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3493","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3493v1","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3493","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"pith_short_12","alias_value":"LT2VN4KLV7AM","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LT2VN4KLV7AMTUTJ","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LT2VN4KL","created_at":"2026-05-18T12:28:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:LT2VN4KLV7AMTUTJH6XJTTBGXZ","target":"record","payload":{"canonical_record":{"source":{"id":"1401.3493","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T05:41:44Z","cross_cats_sorted":[],"title_canon_sha256":"79ef508db6a552581419bafac505c08252ec785e12c53a512692902ae50d4eaa","abstract_canon_sha256":"71d6b01f6fb66b99c08e1e74b2516d1689c428755a85b4368158829df000a98b"},"schema_version":"1.0"},"canonical_sha256":"5cf556f14bafc0c9d2693fae99cc26be53aac22976875961f21122bc4ff843d4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:08.640204Z","signature_b64":"J742Urx0jQA0YhLH5ojJkm08/HPQQSLjauO7c2atmweIRto/TGKppFavcrlJaJTUFAGLsA+MLp56+4UwWBO/Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5cf556f14bafc0c9d2693fae99cc26be53aac22976875961f21122bc4ff843d4","last_reissued_at":"2026-05-18T03:02:08.639556Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:08.639556Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.3493","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:02:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IUfHZQJfUiJwr0+JF/WxShds4Hvczffmwpue+nl2ygcxWdqK6dAjkzlI5Kmq2pz/YrgyydVvmuyboj+dY3kdCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T05:50:38.765390Z"},"content_sha256":"94c4112d64df6f0f449fe6815e7dd91e7f9f28c7b1c29c1317af05a676c25dc0","schema_version":"1.0","event_id":"sha256:94c4112d64df6f0f449fe6815e7dd91e7f9f28c7b1c29c1317af05a676c25dc0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:LT2VN4KLV7AMTUTJH6XJTTBGXZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Predicting the Performance of IDA* using Conditional Distributions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Ariel Felner, Neil Burch, Robert C. Holte, Uzi Zahavi","submitted_at":"2014-01-15T05:41:44Z","abstract_excerpt":"Korf, Reid, and Edelkamp introduced a formula to predict the number of nodes IDA* will expand on a single iteration for a given consistent heuristic, and experimentally demonstrated that it could make very accurate predictions. In this paper we show that, in addition to requiring the heuristic to be consistent, their formulas predictions are accurate only at levels of the brute-force search tree where the heuristic values obey the unconditional distribution that they defined and then used in their formula. We then propose a new formula that works well without these requirements, i.e., it can  "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3493","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:02:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zRGh0HoQrvtiLC5J+d/fZgU6iwPlSDa1vhgcN12rqww94imTVsuCsbrY6iUZhIQSnXuyZ4LEczu/Endnblf0Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T05:50:38.765774Z"},"content_sha256":"c115c86cc684728f3f1b7196a6298a42fa9d66c4302556d871306f2e3569d760","schema_version":"1.0","event_id":"sha256:c115c86cc684728f3f1b7196a6298a42fa9d66c4302556d871306f2e3569d760"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LT2VN4KLV7AMTUTJH6XJTTBGXZ/bundle.json","state_url":"https://pith.science/pith/LT2VN4KLV7AMTUTJH6XJTTBGXZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LT2VN4KLV7AMTUTJH6XJTTBGXZ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-31T05:50:38Z","links":{"resolver":"https://pith.science/pith/LT2VN4KLV7AMTUTJH6XJTTBGXZ","bundle":"https://pith.science/pith/LT2VN4KLV7AMTUTJH6XJTTBGXZ/bundle.json","state":"https://pith.science/pith/LT2VN4KLV7AMTUTJH6XJTTBGXZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LT2VN4KLV7AMTUTJH6XJTTBGXZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:LT2VN4KLV7AMTUTJH6XJTTBGXZ","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":"71d6b01f6fb66b99c08e1e74b2516d1689c428755a85b4368158829df000a98b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T05:41:44Z","title_canon_sha256":"79ef508db6a552581419bafac505c08252ec785e12c53a512692902ae50d4eaa"},"schema_version":"1.0","source":{"id":"1401.3493","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3493","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3493v1","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3493","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"pith_short_12","alias_value":"LT2VN4KLV7AM","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LT2VN4KLV7AMTUTJ","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LT2VN4KL","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:c115c86cc684728f3f1b7196a6298a42fa9d66c4302556d871306f2e3569d760","target":"graph","created_at":"2026-05-18T03:02:08Z","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":"Korf, Reid, and Edelkamp introduced a formula to predict the number of nodes IDA* will expand on a single iteration for a given consistent heuristic, and experimentally demonstrated that it could make very accurate predictions. In this paper we show that, in addition to requiring the heuristic to be consistent, their formulas predictions are accurate only at levels of the brute-force search tree where the heuristic values obey the unconditional distribution that they defined and then used in their formula. We then propose a new formula that works well without these requirements, i.e., it can  ","authors_text":"Ariel Felner, Neil Burch, Robert C. Holte, Uzi Zahavi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T05:41:44Z","title":"Predicting the Performance of IDA* using Conditional Distributions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3493","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:94c4112d64df6f0f449fe6815e7dd91e7f9f28c7b1c29c1317af05a676c25dc0","target":"record","created_at":"2026-05-18T03:02:08Z","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":"71d6b01f6fb66b99c08e1e74b2516d1689c428755a85b4368158829df000a98b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T05:41:44Z","title_canon_sha256":"79ef508db6a552581419bafac505c08252ec785e12c53a512692902ae50d4eaa"},"schema_version":"1.0","source":{"id":"1401.3493","kind":"arxiv","version":1}},"canonical_sha256":"5cf556f14bafc0c9d2693fae99cc26be53aac22976875961f21122bc4ff843d4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5cf556f14bafc0c9d2693fae99cc26be53aac22976875961f21122bc4ff843d4","first_computed_at":"2026-05-18T03:02:08.639556Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:08.639556Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J742Urx0jQA0YhLH5ojJkm08/HPQQSLjauO7c2atmweIRto/TGKppFavcrlJaJTUFAGLsA+MLp56+4UwWBO/Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:08.640204Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3493","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:94c4112d64df6f0f449fe6815e7dd91e7f9f28c7b1c29c1317af05a676c25dc0","sha256:c115c86cc684728f3f1b7196a6298a42fa9d66c4302556d871306f2e3569d760"],"state_sha256":"bb37cb42309e2561ff3ab163315c1e75c75cf854cb94c2eafaed2b75158f562a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OuNeO7uVWN//rJ9M6zDnxLW1mMAcJZvGb+g0cNqaPzEhiQ7kXCHkBKKOhGEbY7YarAclLueCkFddTDPsozbLCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T05:50:38.768427Z","bundle_sha256":"e06bf02a1eb3c9095280be7ed015024007ca0f202d5c1e55394eb0fcd7904f80"}}