{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:EJ7CIYPF6II2AMN47A5C4RFM23","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":"0303531a0b1a96c426c24d65f8f0ddfa2c4eb72179486728e07a791cdf08a196","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-06-19T19:26:06Z","title_canon_sha256":"c925f60b125ab59a53004b4ccc4847db590bacab942f7e30e58009959baf5def"},"schema_version":"1.0","source":{"id":"1806.07435","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.07435","created_at":"2026-05-18T00:12:47Z"},{"alias_kind":"arxiv_version","alias_value":"1806.07435v1","created_at":"2026-05-18T00:12:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.07435","created_at":"2026-05-18T00:12:47Z"},{"alias_kind":"pith_short_12","alias_value":"EJ7CIYPF6II2","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"EJ7CIYPF6II2AMN4","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"EJ7CIYPF","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:711984e8a4ecaf0f4f7c1ceaf2cee9cae71110183bf821bc0f5b953f8eaed244","target":"graph","created_at":"2026-05-18T00:12:47Z","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":"A valid inequality \\alpha^Tx \\ge \\alpha_0 for a set covering problem is said to have pitch <= k ( a positive integer) if the k smallest positive \\alpha_j sum to at least alpha_0. This paper presents a new, simple derivation of a relaxation for set covering problems whose solutions satisfy all valid inequalities of pitch and is of polynomial size, for each fixed . We also consider the minimum knapsack problem, and show that for each fixed integer p > 0 and 0 < \\epsilon < 1 one can separate, within additive tolerance \\epsilon, from the relaxation defined by the valid inequalities with coefficien","authors_text":"Daniel Bienstock, Mark Zuckerberg","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-06-19T19:26:06Z","title":"Simpler derivation of bounded pitch inequalities for set covering, and minimum knapsack sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.07435","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:db181070168304bfe42241489aa0a4ea2edd647ecea00e2f9dd6ea436db0a616","target":"record","created_at":"2026-05-18T00:12:47Z","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":"0303531a0b1a96c426c24d65f8f0ddfa2c4eb72179486728e07a791cdf08a196","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-06-19T19:26:06Z","title_canon_sha256":"c925f60b125ab59a53004b4ccc4847db590bacab942f7e30e58009959baf5def"},"schema_version":"1.0","source":{"id":"1806.07435","kind":"arxiv","version":1}},"canonical_sha256":"227e2461e5f211a031bcf83a2e44acd6dcb33117ebebe2f871d5d91d80bd31e7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"227e2461e5f211a031bcf83a2e44acd6dcb33117ebebe2f871d5d91d80bd31e7","first_computed_at":"2026-05-18T00:12:47.763267Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:47.763267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DsjnSV8aU9+IbL+QnTKkVlwWvp5FyXpCDJe52yhbgDTvSuF4LPTgByhrTKLDe2Qql931H5dhTn/dmI4eyA+7CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:47.763860Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.07435","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:db181070168304bfe42241489aa0a4ea2edd647ecea00e2f9dd6ea436db0a616","sha256:711984e8a4ecaf0f4f7c1ceaf2cee9cae71110183bf821bc0f5b953f8eaed244"],"state_sha256":"ec6ee2ddeb4dd86c3c0e27bacc4d5361516c2337070708da258f0b2fccacd0e0"}