{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:Z4ZO2CJ6H72J4A5Z6NFPWGNRUA","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":"411ff16fcea27a272fe1fa10357827dc2a8cd1e846c32a08d4ca22db7dda8f61","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:05:37Z","title_canon_sha256":"daf0a1ebe021e1ee7f1956a2636a70753ac6e06a573b469fef6a72a17b69f59a"},"schema_version":"1.0","source":{"id":"1212.2485","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.2485","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"arxiv_version","alias_value":"1212.2485v1","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.2485","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"pith_short_12","alias_value":"Z4ZO2CJ6H72J","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"Z4ZO2CJ6H72J4A5Z","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"Z4ZO2CJ6","created_at":"2026-05-18T12:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:e2651b5ba19533e097934f8adf3e817e8a288c622e79e35c5eb16ed89dee06e3","target":"graph","created_at":"2026-05-18T03:38:44Z","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":"There has been great interest in identifying tractable subclasses of NP     complete problems and designing efficient algorithms for these tractable     classes. Constraint satisfaction and Bayesian network inference are two     examples of such problems that are of great importance in AI and algorithms. In     this paper we study, under the frameworks of random constraint satisfaction     problems and random Bayesian networks, a typical tractable subclass     characterized by the treewidth of the problems. We show that the property of     having a bounded treewidth for CSPs and Bayesian netwo","authors_text":"Yong Gao","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:05:37Z","title":"Phase Transition of Tractability in Constraint Satisfaction and Bayesian Network Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.2485","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:f26f1e2a6b5230bb2acc4e92fc88095c2524e012bb4fc4e66320611eae8c9b7f","target":"record","created_at":"2026-05-18T03:38:44Z","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":"411ff16fcea27a272fe1fa10357827dc2a8cd1e846c32a08d4ca22db7dda8f61","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:05:37Z","title_canon_sha256":"daf0a1ebe021e1ee7f1956a2636a70753ac6e06a573b469fef6a72a17b69f59a"},"schema_version":"1.0","source":{"id":"1212.2485","kind":"arxiv","version":1}},"canonical_sha256":"cf32ed093e3ff49e03b9f34afb19b1a010dd0c9d0493fbf53f1c27ad9063dc50","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf32ed093e3ff49e03b9f34afb19b1a010dd0c9d0493fbf53f1c27ad9063dc50","first_computed_at":"2026-05-18T03:38:44.635661Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:38:44.635661Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iVNupuo3zlYWOHyWmxmRvqhsI19rPxwK/1Hw/3L51tmVfCLGq+CGMg3vBlkQkyvZap4bPhbRKkv+X/6ZxKi2Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T03:38:44.636285Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.2485","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f26f1e2a6b5230bb2acc4e92fc88095c2524e012bb4fc4e66320611eae8c9b7f","sha256:e2651b5ba19533e097934f8adf3e817e8a288c622e79e35c5eb16ed89dee06e3"],"state_sha256":"2d3702f76f9509b49b9508ea9bcb03277570598a4ee998bda38131a92f0aeccd"}