{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:N5HXBPUBMQSWZHVIVDZ2ZW4BS6","short_pith_number":"pith:N5HXBPUB","schema_version":"1.0","canonical_sha256":"6f4f70be8164256c9ea8a8f3acdb81979239f8ac4c9d278de231e731b0e84714","source":{"kind":"arxiv","id":"1106.4719","version":1},"attestation_state":"computed","paper":{"title":"Computing hypergraph width measures exactly","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.CC","authors_text":"Lukas Moll, Marc Thurley, Siamak Tazari","submitted_at":"2011-06-23T13:51:33Z","abstract_excerpt":"Hypergraph width measures are a class of hypergraph invariants important in studying the complexity of constraint satisfaction problems (CSPs). We present a general exact exponential algorithm for a large variety of these measures. A connection between these and tree decompositions is established. This enables us to almost seamlessly adapt the combinatorial and algorithmic results known for tree decompositions of graphs to the case of hypergraphs and obtain fast exact algorithms.\n  As a consequence, we provide algorithms which, given a hypergraph H on n vertices and m hyperedges, compute the g"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1106.4719","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2011-06-23T13:51:33Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"8e82264b12472d63660e6d480f929ecc27cafee6db0070f79eb48277fa69238b","abstract_canon_sha256":"07302d08c900876c71e9645c11e3eb6cd38d7ffb98eb6df0f3c3a3febb64d0c2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:19:23.782009Z","signature_b64":"AH2aVfBNQvmHNfTIbE5DBArr6mBUE3O1w9fe32eMIDQuE1zo+CbbdllrJWtjxzcub/SD3ZKa3pPamzDKsNiTDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6f4f70be8164256c9ea8a8f3acdb81979239f8ac4c9d278de231e731b0e84714","last_reissued_at":"2026-05-18T04:19:23.781651Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:19:23.781651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computing hypergraph width measures exactly","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.CC","authors_text":"Lukas Moll, Marc Thurley, Siamak Tazari","submitted_at":"2011-06-23T13:51:33Z","abstract_excerpt":"Hypergraph width measures are a class of hypergraph invariants important in studying the complexity of constraint satisfaction problems (CSPs). We present a general exact exponential algorithm for a large variety of these measures. A connection between these and tree decompositions is established. This enables us to almost seamlessly adapt the combinatorial and algorithmic results known for tree decompositions of graphs to the case of hypergraphs and obtain fast exact algorithms.\n  As a consequence, we provide algorithms which, given a hypergraph H on n vertices and m hyperedges, compute the g"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.4719","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1106.4719","created_at":"2026-05-18T04:19:23.781703+00:00"},{"alias_kind":"arxiv_version","alias_value":"1106.4719v1","created_at":"2026-05-18T04:19:23.781703+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.4719","created_at":"2026-05-18T04:19:23.781703+00:00"},{"alias_kind":"pith_short_12","alias_value":"N5HXBPUBMQSW","created_at":"2026-05-18T12:26:37.096874+00:00"},{"alias_kind":"pith_short_16","alias_value":"N5HXBPUBMQSWZHVI","created_at":"2026-05-18T12:26:37.096874+00:00"},{"alias_kind":"pith_short_8","alias_value":"N5HXBPUB","created_at":"2026-05-18T12:26:37.096874+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/N5HXBPUBMQSWZHVIVDZ2ZW4BS6","json":"https://pith.science/pith/N5HXBPUBMQSWZHVIVDZ2ZW4BS6.json","graph_json":"https://pith.science/api/pith-number/N5HXBPUBMQSWZHVIVDZ2ZW4BS6/graph.json","events_json":"https://pith.science/api/pith-number/N5HXBPUBMQSWZHVIVDZ2ZW4BS6/events.json","paper":"https://pith.science/paper/N5HXBPUB"},"agent_actions":{"view_html":"https://pith.science/pith/N5HXBPUBMQSWZHVIVDZ2ZW4BS6","download_json":"https://pith.science/pith/N5HXBPUBMQSWZHVIVDZ2ZW4BS6.json","view_paper":"https://pith.science/paper/N5HXBPUB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1106.4719&json=true","fetch_graph":"https://pith.science/api/pith-number/N5HXBPUBMQSWZHVIVDZ2ZW4BS6/graph.json","fetch_events":"https://pith.science/api/pith-number/N5HXBPUBMQSWZHVIVDZ2ZW4BS6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N5HXBPUBMQSWZHVIVDZ2ZW4BS6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N5HXBPUBMQSWZHVIVDZ2ZW4BS6/action/storage_attestation","attest_author":"https://pith.science/pith/N5HXBPUBMQSWZHVIVDZ2ZW4BS6/action/author_attestation","sign_citation":"https://pith.science/pith/N5HXBPUBMQSWZHVIVDZ2ZW4BS6/action/citation_signature","submit_replication":"https://pith.science/pith/N5HXBPUBMQSWZHVIVDZ2ZW4BS6/action/replication_record"}},"created_at":"2026-05-18T04:19:23.781703+00:00","updated_at":"2026-05-18T04:19:23.781703+00:00"}