{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:CX6SCL347EBXDD7XHI5GU2T3U7","short_pith_number":"pith:CX6SCL34","canonical_record":{"source":{"id":"1104.4217","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-21T09:52:16Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"3573b708eea6885115c2c2fdedd07643722027459ca13c0af320d6cde43446bd","abstract_canon_sha256":"8a0aff4b761dd73f82830ca5650d696f08f8d23a1d793eb260cfb87b87b4b35e"},"schema_version":"1.0"},"canonical_sha256":"15fd212f7cf903718ff73a3a6a6a7ba7cad472640820f66ff8ad09e7029e7a2f","source":{"kind":"arxiv","id":"1104.4217","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.4217","created_at":"2026-05-18T02:22:01Z"},{"alias_kind":"arxiv_version","alias_value":"1104.4217v2","created_at":"2026-05-18T02:22:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.4217","created_at":"2026-05-18T02:22:01Z"},{"alias_kind":"pith_short_12","alias_value":"CX6SCL347EBX","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"CX6SCL347EBXDD7X","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"CX6SCL34","created_at":"2026-05-18T12:26:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:CX6SCL347EBXDD7XHI5GU2T3U7","target":"record","payload":{"canonical_record":{"source":{"id":"1104.4217","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-21T09:52:16Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"3573b708eea6885115c2c2fdedd07643722027459ca13c0af320d6cde43446bd","abstract_canon_sha256":"8a0aff4b761dd73f82830ca5650d696f08f8d23a1d793eb260cfb87b87b4b35e"},"schema_version":"1.0"},"canonical_sha256":"15fd212f7cf903718ff73a3a6a6a7ba7cad472640820f66ff8ad09e7029e7a2f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:01.605502Z","signature_b64":"jcyA+CoRKjO2b5Wg+07ABmtjyJwBJSxTThpEDDVuSYiD9SPG4bfq+vp/92Cfwa+qgLL8ykx19la/9LTub4V5Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15fd212f7cf903718ff73a3a6a6a7ba7cad472640820f66ff8ad09e7029e7a2f","last_reissued_at":"2026-05-18T02:22:01.604772Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:01.604772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1104.4217","source_version":2,"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-18T02:22:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nsEFnQTfX4QgrPpIuTkgbguEnGR3gQzmPTIFFD6OThM4Xmaq62J776Si0GY3tu3JUsCN6uF1X/lL4GCSbKW4Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T19:07:47.146661Z"},"content_sha256":"244e538a373bbd00ea6eae75db3a4c9609d482f27e1ab4a266dd026c069b2635","schema_version":"1.0","event_id":"sha256:244e538a373bbd00ea6eae75db3a4c9609d482f27e1ab4a266dd026c069b2635"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:CX6SCL347EBXDD7XHI5GU2T3U7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.DS","authors_text":"Bart M. P. Jansen, Hans L. Bodlaender, Stefan Kratsch","submitted_at":"2011-04-21T09:52:16Z","abstract_excerpt":"The notion of treewidth plays an important role in theoretical and practical studies of graph problems. It has been recognized that, especially in practical environments, when computing the treewidth of a graph it is invaluable to first apply an array of preprocessing rules that simplify and shrink it. This work seeks to prove rigorous performance guarantees for such preprocessing rules, both known and new ones, by studying them in the framework of kernelization from parameterized complexity.\n  It is known that the NP-complete problem of determining whether a given graph G has treewidth at mos"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.4217","kind":"arxiv","version":2},"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-18T02:22:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rMP6zmbu1z4tKtqMV/E6QfueAwRdGe9zwPPeXt7jz+JUEVxHtBn7UZXkgji5Pevy7ReNoRvrC5UbH6bjEb2vCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T19:07:47.147337Z"},"content_sha256":"6fc0ebddcbdb5a57aa46657359664a6ef4f8822ca9a37fc89175a78787d14f72","schema_version":"1.0","event_id":"sha256:6fc0ebddcbdb5a57aa46657359664a6ef4f8822ca9a37fc89175a78787d14f72"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CX6SCL347EBXDD7XHI5GU2T3U7/bundle.json","state_url":"https://pith.science/pith/CX6SCL347EBXDD7XHI5GU2T3U7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CX6SCL347EBXDD7XHI5GU2T3U7/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-26T19:07:47Z","links":{"resolver":"https://pith.science/pith/CX6SCL347EBXDD7XHI5GU2T3U7","bundle":"https://pith.science/pith/CX6SCL347EBXDD7XHI5GU2T3U7/bundle.json","state":"https://pith.science/pith/CX6SCL347EBXDD7XHI5GU2T3U7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CX6SCL347EBXDD7XHI5GU2T3U7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:CX6SCL347EBXDD7XHI5GU2T3U7","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":"8a0aff4b761dd73f82830ca5650d696f08f8d23a1d793eb260cfb87b87b4b35e","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-21T09:52:16Z","title_canon_sha256":"3573b708eea6885115c2c2fdedd07643722027459ca13c0af320d6cde43446bd"},"schema_version":"1.0","source":{"id":"1104.4217","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.4217","created_at":"2026-05-18T02:22:01Z"},{"alias_kind":"arxiv_version","alias_value":"1104.4217v2","created_at":"2026-05-18T02:22:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.4217","created_at":"2026-05-18T02:22:01Z"},{"alias_kind":"pith_short_12","alias_value":"CX6SCL347EBX","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"CX6SCL347EBXDD7X","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"CX6SCL34","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:6fc0ebddcbdb5a57aa46657359664a6ef4f8822ca9a37fc89175a78787d14f72","target":"graph","created_at":"2026-05-18T02:22:01Z","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":"The notion of treewidth plays an important role in theoretical and practical studies of graph problems. It has been recognized that, especially in practical environments, when computing the treewidth of a graph it is invaluable to first apply an array of preprocessing rules that simplify and shrink it. This work seeks to prove rigorous performance guarantees for such preprocessing rules, both known and new ones, by studying them in the framework of kernelization from parameterized complexity.\n  It is known that the NP-complete problem of determining whether a given graph G has treewidth at mos","authors_text":"Bart M. P. Jansen, Hans L. Bodlaender, Stefan Kratsch","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-21T09:52:16Z","title":"Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.4217","kind":"arxiv","version":2},"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:244e538a373bbd00ea6eae75db3a4c9609d482f27e1ab4a266dd026c069b2635","target":"record","created_at":"2026-05-18T02:22:01Z","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":"8a0aff4b761dd73f82830ca5650d696f08f8d23a1d793eb260cfb87b87b4b35e","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-21T09:52:16Z","title_canon_sha256":"3573b708eea6885115c2c2fdedd07643722027459ca13c0af320d6cde43446bd"},"schema_version":"1.0","source":{"id":"1104.4217","kind":"arxiv","version":2}},"canonical_sha256":"15fd212f7cf903718ff73a3a6a6a7ba7cad472640820f66ff8ad09e7029e7a2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15fd212f7cf903718ff73a3a6a6a7ba7cad472640820f66ff8ad09e7029e7a2f","first_computed_at":"2026-05-18T02:22:01.604772Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:22:01.604772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jcyA+CoRKjO2b5Wg+07ABmtjyJwBJSxTThpEDDVuSYiD9SPG4bfq+vp/92Cfwa+qgLL8ykx19la/9LTub4V5Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:22:01.605502Z","signed_message":"canonical_sha256_bytes"},"source_id":"1104.4217","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:244e538a373bbd00ea6eae75db3a4c9609d482f27e1ab4a266dd026c069b2635","sha256:6fc0ebddcbdb5a57aa46657359664a6ef4f8822ca9a37fc89175a78787d14f72"],"state_sha256":"2921a5fbd1c1d9d268619a3a11db8dff4fd4ad09510b1bd8cb342d1b3a24cda6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qs+JngoySEA6vqVB+8dP53zxqo/m00v0CiQcO/pWKDV2BXgL1tagsxfXf9KqiHa+QcP+vsb5BhLkcoDrd8pkBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T19:07:47.150807Z","bundle_sha256":"76117eb64798fb9ec97e9ab7ba42d1c5ff3409f93cab40d9d210498d6c40ca65"}}