{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:OM2MP7ZNA3OZEG45MNZR32VWZT","short_pith_number":"pith:OM2MP7ZN","canonical_record":{"source":{"id":"1809.06171","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-09-17T13:00:18Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"3bf1addd007f92ab11b486e6c491d6cb2bf3c68a17a3bede25bf891133f5b026","abstract_canon_sha256":"420d64e477af7d6c1ebb97505a35f0607bccd4c06f2c952ad30ccbd5a8b296be"},"schema_version":"1.0"},"canonical_sha256":"7334c7ff2d06dd921b9d63731deab6ccf0e102a192ca3971a7d18a9c4bbe1e93","source":{"kind":"arxiv","id":"1809.06171","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.06171","created_at":"2026-05-18T00:05:35Z"},{"alias_kind":"arxiv_version","alias_value":"1809.06171v1","created_at":"2026-05-18T00:05:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.06171","created_at":"2026-05-18T00:05:35Z"},{"alias_kind":"pith_short_12","alias_value":"OM2MP7ZNA3OZ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OM2MP7ZNA3OZEG45","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OM2MP7ZN","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:OM2MP7ZNA3OZEG45MNZR32VWZT","target":"record","payload":{"canonical_record":{"source":{"id":"1809.06171","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-09-17T13:00:18Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"3bf1addd007f92ab11b486e6c491d6cb2bf3c68a17a3bede25bf891133f5b026","abstract_canon_sha256":"420d64e477af7d6c1ebb97505a35f0607bccd4c06f2c952ad30ccbd5a8b296be"},"schema_version":"1.0"},"canonical_sha256":"7334c7ff2d06dd921b9d63731deab6ccf0e102a192ca3971a7d18a9c4bbe1e93","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:35.430259Z","signature_b64":"vRZFrSw2K4rMSoFvCfDvxL25YKz57k0fMZx3pokeVuoUdU4PFwaKm2f1VQfMqD4PGQGn2eetp3YtI7Ll2/ikBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7334c7ff2d06dd921b9d63731deab6ccf0e102a192ca3971a7d18a9c4bbe1e93","last_reissued_at":"2026-05-18T00:05:35.429861Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:35.429861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.06171","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-18T00:05:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"daTpieVDZss8iDd9eqBX8SkgfBz5q1I3uJmsbjVRlS7voRonLUMCFVkx2hxt5GVq7E/awJJaXtwhuU/JZxQrAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:09:39.970147Z"},"content_sha256":"30307c6112aa03ad515532b8ce5f70badbbce1b323c244469171364f655e4db2","schema_version":"1.0","event_id":"sha256:30307c6112aa03ad515532b8ce5f70badbbce1b323c244469171364f655e4db2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:OM2MP7ZNA3OZEG45MNZR32VWZT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Best-case and Worst-case Sparsifiability of Boolean CSPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.CC","authors_text":"Astrid Pieterse, Bart M. P. Jansen, Hubie Chen","submitted_at":"2018-09-17T13:00:18Z","abstract_excerpt":"We continue the investigation of polynomial-time sparsification for NP-complete Boolean Constraint Satisfaction Problems (CSPs). The goal in sparsification is to reduce the number of constraints in a problem instance without changing the answer, such that a bound on the number of resulting constraints can be given in terms of the number of variables n. We investigate how the worst-case sparsification size depends on the types of constraints allowed in the problem formulation (the constraint language). Two algorithmic results are presented. The first result essentially shows that for any arity "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.06171","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-18T00:05:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yMbmUwoEopah0l+Btg21ZhiD1BoHFzKY7BaOYHA8gy7azl0os9niEEgAz5s+4hL27+j5Shwk3/IkqQIzXAM/CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:09:39.970569Z"},"content_sha256":"96cf8b2dc28fd68ec3f5c4e114fab9ee08650cbd5cbd11069ac9d661ce343389","schema_version":"1.0","event_id":"sha256:96cf8b2dc28fd68ec3f5c4e114fab9ee08650cbd5cbd11069ac9d661ce343389"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OM2MP7ZNA3OZEG45MNZR32VWZT/bundle.json","state_url":"https://pith.science/pith/OM2MP7ZNA3OZEG45MNZR32VWZT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OM2MP7ZNA3OZEG45MNZR32VWZT/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-26T20:09:39Z","links":{"resolver":"https://pith.science/pith/OM2MP7ZNA3OZEG45MNZR32VWZT","bundle":"https://pith.science/pith/OM2MP7ZNA3OZEG45MNZR32VWZT/bundle.json","state":"https://pith.science/pith/OM2MP7ZNA3OZEG45MNZR32VWZT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OM2MP7ZNA3OZEG45MNZR32VWZT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:OM2MP7ZNA3OZEG45MNZR32VWZT","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":"420d64e477af7d6c1ebb97505a35f0607bccd4c06f2c952ad30ccbd5a8b296be","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-09-17T13:00:18Z","title_canon_sha256":"3bf1addd007f92ab11b486e6c491d6cb2bf3c68a17a3bede25bf891133f5b026"},"schema_version":"1.0","source":{"id":"1809.06171","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.06171","created_at":"2026-05-18T00:05:35Z"},{"alias_kind":"arxiv_version","alias_value":"1809.06171v1","created_at":"2026-05-18T00:05:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.06171","created_at":"2026-05-18T00:05:35Z"},{"alias_kind":"pith_short_12","alias_value":"OM2MP7ZNA3OZ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OM2MP7ZNA3OZEG45","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OM2MP7ZN","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:96cf8b2dc28fd68ec3f5c4e114fab9ee08650cbd5cbd11069ac9d661ce343389","target":"graph","created_at":"2026-05-18T00:05:35Z","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":"We continue the investigation of polynomial-time sparsification for NP-complete Boolean Constraint Satisfaction Problems (CSPs). The goal in sparsification is to reduce the number of constraints in a problem instance without changing the answer, such that a bound on the number of resulting constraints can be given in terms of the number of variables n. We investigate how the worst-case sparsification size depends on the types of constraints allowed in the problem formulation (the constraint language). Two algorithmic results are presented. The first result essentially shows that for any arity ","authors_text":"Astrid Pieterse, Bart M. P. Jansen, Hubie Chen","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-09-17T13:00:18Z","title":"Best-case and Worst-case Sparsifiability of Boolean CSPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.06171","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:30307c6112aa03ad515532b8ce5f70badbbce1b323c244469171364f655e4db2","target":"record","created_at":"2026-05-18T00:05:35Z","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":"420d64e477af7d6c1ebb97505a35f0607bccd4c06f2c952ad30ccbd5a8b296be","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-09-17T13:00:18Z","title_canon_sha256":"3bf1addd007f92ab11b486e6c491d6cb2bf3c68a17a3bede25bf891133f5b026"},"schema_version":"1.0","source":{"id":"1809.06171","kind":"arxiv","version":1}},"canonical_sha256":"7334c7ff2d06dd921b9d63731deab6ccf0e102a192ca3971a7d18a9c4bbe1e93","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7334c7ff2d06dd921b9d63731deab6ccf0e102a192ca3971a7d18a9c4bbe1e93","first_computed_at":"2026-05-18T00:05:35.429861Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:05:35.429861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vRZFrSw2K4rMSoFvCfDvxL25YKz57k0fMZx3pokeVuoUdU4PFwaKm2f1VQfMqD4PGQGn2eetp3YtI7Ll2/ikBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:05:35.430259Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.06171","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:30307c6112aa03ad515532b8ce5f70badbbce1b323c244469171364f655e4db2","sha256:96cf8b2dc28fd68ec3f5c4e114fab9ee08650cbd5cbd11069ac9d661ce343389"],"state_sha256":"7686204c797fc575b057728098e02332d194b8c25526030dba66438a7909eff9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OFQ4Z2kG0U7OkNBjbqgla2pZhqs7/Bwo4Xc7dntK8cqvwAEw8F03FTiIxeoEV+idDfBzXbH1Z0APQzlH1YsUBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:09:39.973754Z","bundle_sha256":"f7692bea1f298fdf2a8600d285d39b1bb269ec2909a6092115641d0c0d7fd097"}}