{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:74Q6O7QK6CTJYNF3432PRJGTTV","short_pith_number":"pith:74Q6O7QK","canonical_record":{"source":{"id":"1502.05301","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-18T17:02:42Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"10131a2d2aff9606777095db79d707be0e47ce4e85770138872ee1d70572d21c","abstract_canon_sha256":"cb15c4595122f831fd1bdf139a5fc788a37c8c9503441a82ac25d8c41d2feb67"},"schema_version":"1.0"},"canonical_sha256":"ff21e77e0af0a69c34bbe6f4f8a4d39d4cdf7d153f50c341013bc0b267efb007","source":{"kind":"arxiv","id":"1502.05301","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.05301","created_at":"2026-05-18T01:26:18Z"},{"alias_kind":"arxiv_version","alias_value":"1502.05301v1","created_at":"2026-05-18T01:26:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.05301","created_at":"2026-05-18T01:26:18Z"},{"alias_kind":"pith_short_12","alias_value":"74Q6O7QK6CTJ","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"74Q6O7QK6CTJYNF3","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"74Q6O7QK","created_at":"2026-05-18T12:29:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:74Q6O7QK6CTJYNF3432PRJGTTV","target":"record","payload":{"canonical_record":{"source":{"id":"1502.05301","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-18T17:02:42Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"10131a2d2aff9606777095db79d707be0e47ce4e85770138872ee1d70572d21c","abstract_canon_sha256":"cb15c4595122f831fd1bdf139a5fc788a37c8c9503441a82ac25d8c41d2feb67"},"schema_version":"1.0"},"canonical_sha256":"ff21e77e0af0a69c34bbe6f4f8a4d39d4cdf7d153f50c341013bc0b267efb007","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:26:18.632903Z","signature_b64":"9ESWAVoBWQr3wMByHG7s+hUY1oJSJlzdSmDDBFjg+/azh6ZORXZaJrRyYvUyrAA/vD4SmCQnXkB20flM3lxABg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ff21e77e0af0a69c34bbe6f4f8a4d39d4cdf7d153f50c341013bc0b267efb007","last_reissued_at":"2026-05-18T01:26:18.632156Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:26:18.632156Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.05301","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-18T01:26:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D8ARittG7OtK9N6R7FfmdMZVvtz8kMR2jjk5G2J83JNeyhleHTM4Wx4obNq0DoHTTeX05TudX/JCqGFHedPoAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T00:35:48.524432Z"},"content_sha256":"bc33692839dfb92983ecf53b238012e044f62b4f69666baeb450c950a3e22a95","schema_version":"1.0","event_id":"sha256:bc33692839dfb92983ecf53b238012e044f62b4f69666baeb450c950a3e22a95"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:74Q6O7QK6CTJYNF3432PRJGTTV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sherali-Adams relaxations for valued CSPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.CC","authors_text":"Johan Thapper, Stanislav Zivny","submitted_at":"2015-02-18T17:02:42Z","abstract_excerpt":"We consider Sherali-Adams linear programming relaxations for solving valued constraint satisfaction problems to optimality. The utility of linear programming relaxations in this context have previously been demonstrated using the lowest possible level of this hierarchy under the name of the basic linear programming relaxation (BLP). It has been shown that valued constraint languages containing only finite-valued weighted relations are tractable if, and only if, the integrality gap of the BLP is 1. In this paper, we demonstrate that almost all of the known tractable languages with arbitrary wei"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.05301","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-18T01:26:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KR9/6orF+IU/W9M/nL5mjq+a7Qyr9m3yhwKqg18KjgOMFmXLXe8RggKZ6JgJU39sjf8Y7dTy9Km3IvLR+KnQBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T00:35:48.524787Z"},"content_sha256":"5d48b915292b527649fcec3cbae07c2c4b6caaedba3db7aa8a8cfa8ff29fe61f","schema_version":"1.0","event_id":"sha256:5d48b915292b527649fcec3cbae07c2c4b6caaedba3db7aa8a8cfa8ff29fe61f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/74Q6O7QK6CTJYNF3432PRJGTTV/bundle.json","state_url":"https://pith.science/pith/74Q6O7QK6CTJYNF3432PRJGTTV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/74Q6O7QK6CTJYNF3432PRJGTTV/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-28T00:35:48Z","links":{"resolver":"https://pith.science/pith/74Q6O7QK6CTJYNF3432PRJGTTV","bundle":"https://pith.science/pith/74Q6O7QK6CTJYNF3432PRJGTTV/bundle.json","state":"https://pith.science/pith/74Q6O7QK6CTJYNF3432PRJGTTV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/74Q6O7QK6CTJYNF3432PRJGTTV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:74Q6O7QK6CTJYNF3432PRJGTTV","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":"cb15c4595122f831fd1bdf139a5fc788a37c8c9503441a82ac25d8c41d2feb67","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-18T17:02:42Z","title_canon_sha256":"10131a2d2aff9606777095db79d707be0e47ce4e85770138872ee1d70572d21c"},"schema_version":"1.0","source":{"id":"1502.05301","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.05301","created_at":"2026-05-18T01:26:18Z"},{"alias_kind":"arxiv_version","alias_value":"1502.05301v1","created_at":"2026-05-18T01:26:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.05301","created_at":"2026-05-18T01:26:18Z"},{"alias_kind":"pith_short_12","alias_value":"74Q6O7QK6CTJ","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"74Q6O7QK6CTJYNF3","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"74Q6O7QK","created_at":"2026-05-18T12:29:07Z"}],"graph_snapshots":[{"event_id":"sha256:5d48b915292b527649fcec3cbae07c2c4b6caaedba3db7aa8a8cfa8ff29fe61f","target":"graph","created_at":"2026-05-18T01:26:18Z","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 consider Sherali-Adams linear programming relaxations for solving valued constraint satisfaction problems to optimality. The utility of linear programming relaxations in this context have previously been demonstrated using the lowest possible level of this hierarchy under the name of the basic linear programming relaxation (BLP). It has been shown that valued constraint languages containing only finite-valued weighted relations are tractable if, and only if, the integrality gap of the BLP is 1. In this paper, we demonstrate that almost all of the known tractable languages with arbitrary wei","authors_text":"Johan Thapper, Stanislav Zivny","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-18T17:02:42Z","title":"Sherali-Adams relaxations for valued CSPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.05301","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:bc33692839dfb92983ecf53b238012e044f62b4f69666baeb450c950a3e22a95","target":"record","created_at":"2026-05-18T01:26:18Z","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":"cb15c4595122f831fd1bdf139a5fc788a37c8c9503441a82ac25d8c41d2feb67","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-18T17:02:42Z","title_canon_sha256":"10131a2d2aff9606777095db79d707be0e47ce4e85770138872ee1d70572d21c"},"schema_version":"1.0","source":{"id":"1502.05301","kind":"arxiv","version":1}},"canonical_sha256":"ff21e77e0af0a69c34bbe6f4f8a4d39d4cdf7d153f50c341013bc0b267efb007","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ff21e77e0af0a69c34bbe6f4f8a4d39d4cdf7d153f50c341013bc0b267efb007","first_computed_at":"2026-05-18T01:26:18.632156Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:26:18.632156Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9ESWAVoBWQr3wMByHG7s+hUY1oJSJlzdSmDDBFjg+/azh6ZORXZaJrRyYvUyrAA/vD4SmCQnXkB20flM3lxABg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:26:18.632903Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.05301","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc33692839dfb92983ecf53b238012e044f62b4f69666baeb450c950a3e22a95","sha256:5d48b915292b527649fcec3cbae07c2c4b6caaedba3db7aa8a8cfa8ff29fe61f"],"state_sha256":"2013283859b61a4dc80d13b016544619037a118c4954aadf87fe5cdc347a4e0a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ammHMUxxFDtjMVayR1RYQ2zPIBZ6Sbu0pB6AlCFMT6eIJzZUxTK80ffauic3W6B11GjgE0ahV6xVyTU8BClGCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T00:35:48.526743Z","bundle_sha256":"49dfe71f0dc92c624206bca46503d02189b762a205fb8915817f78831b4fbb03"}}