{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:QERFTZGSXYSNVBWSS7BBOGS3S5","short_pith_number":"pith:QERFTZGS","canonical_record":{"source":{"id":"1804.01710","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-04-05T07:49:13Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"928b30cd2e7bffe104f216b4c61ae90f03fbfe5533820f769164f2edaafcfd53","abstract_canon_sha256":"4ad21790ab9a0a945cfcce678662e64ccaa1c2fa696a67f86eef88b28a02a8b7"},"schema_version":"1.0"},"canonical_sha256":"812259e4d2be24da86d297c2171a5b9741c92d458104a425d8a4449e716aeb45","source":{"kind":"arxiv","id":"1804.01710","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.01710","created_at":"2026-05-18T00:19:10Z"},{"alias_kind":"arxiv_version","alias_value":"1804.01710v1","created_at":"2026-05-18T00:19:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.01710","created_at":"2026-05-18T00:19:10Z"},{"alias_kind":"pith_short_12","alias_value":"QERFTZGSXYSN","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QERFTZGSXYSNVBWS","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QERFTZGS","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:QERFTZGSXYSNVBWSS7BBOGS3S5","target":"record","payload":{"canonical_record":{"source":{"id":"1804.01710","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-04-05T07:49:13Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"928b30cd2e7bffe104f216b4c61ae90f03fbfe5533820f769164f2edaafcfd53","abstract_canon_sha256":"4ad21790ab9a0a945cfcce678662e64ccaa1c2fa696a67f86eef88b28a02a8b7"},"schema_version":"1.0"},"canonical_sha256":"812259e4d2be24da86d297c2171a5b9741c92d458104a425d8a4449e716aeb45","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:10.231607Z","signature_b64":"BZ6EXyoyQ/MdPXxjqZSM3NEJSZSL/HEDp2Ydm0wZxxT6nxZZDW1OPKiTuxpf9CuGYA2L5aMG3BnL+9chMe8RBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"812259e4d2be24da86d297c2171a5b9741c92d458104a425d8a4449e716aeb45","last_reissued_at":"2026-05-18T00:19:10.231066Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:10.231066Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.01710","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:19:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KmmDBq2eaAV+Hi0inNWkgE1U9mqEU4uhWjRnHFf7rDBAYUCG9MF5OHjY9M1diMnYdacozj4iuNzLospuU94nCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:29:24.559784Z"},"content_sha256":"5d1380a475d6b9bda3d3b71dcdaaa176254cf570b386f844c6cf0f11c56c194b","schema_version":"1.0","event_id":"sha256:5d1380a475d6b9bda3d3b71dcdaaa176254cf570b386f844c6cf0f11c56c194b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:QERFTZGSXYSNVBWSS7BBOGS3S5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.LO"],"primary_cat":"math.LO","authors_text":"Caterina Viola, Manuel Bodirsky, Marcello Mamino","submitted_at":"2018-04-05T07:49:13Z","abstract_excerpt":"Valued constraint satisfaction problems (VCSPs) are a large class of combinatorial optimisation problems. It is desirable to classify the computational complexity of VCSPs depending on a fixed set of allowed cost functions in the input. Recently, the computational complexity of all VCSPs for finite sets of cost functions over finite domains has been classified in this sense. Many natural optimisation problems, however, cannot be formulated as VCSPs over a finite domain. We initiate the systematic investigation of infinite-domain VCSPs by studying the complexity of VCSPs for piecewise linear ho"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.01710","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:19:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2132nhiYmXc+zwuTAdVi65ehySP2X6vb8dax/S0Ohovk2brhJlk9UGb2i7IXMQX2GpSZkj+u44dLAincsMBCCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:29:24.560370Z"},"content_sha256":"2d29bb9a598b019cae4f88cdec872eedc6b9c401d96a907918d6502db807c1eb","schema_version":"1.0","event_id":"sha256:2d29bb9a598b019cae4f88cdec872eedc6b9c401d96a907918d6502db807c1eb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QERFTZGSXYSNVBWSS7BBOGS3S5/bundle.json","state_url":"https://pith.science/pith/QERFTZGSXYSNVBWSS7BBOGS3S5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QERFTZGSXYSNVBWSS7BBOGS3S5/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-26T18:29:24Z","links":{"resolver":"https://pith.science/pith/QERFTZGSXYSNVBWSS7BBOGS3S5","bundle":"https://pith.science/pith/QERFTZGSXYSNVBWSS7BBOGS3S5/bundle.json","state":"https://pith.science/pith/QERFTZGSXYSNVBWSS7BBOGS3S5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QERFTZGSXYSNVBWSS7BBOGS3S5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:QERFTZGSXYSNVBWSS7BBOGS3S5","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":"4ad21790ab9a0a945cfcce678662e64ccaa1c2fa696a67f86eef88b28a02a8b7","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-04-05T07:49:13Z","title_canon_sha256":"928b30cd2e7bffe104f216b4c61ae90f03fbfe5533820f769164f2edaafcfd53"},"schema_version":"1.0","source":{"id":"1804.01710","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.01710","created_at":"2026-05-18T00:19:10Z"},{"alias_kind":"arxiv_version","alias_value":"1804.01710v1","created_at":"2026-05-18T00:19:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.01710","created_at":"2026-05-18T00:19:10Z"},{"alias_kind":"pith_short_12","alias_value":"QERFTZGSXYSN","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QERFTZGSXYSNVBWS","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QERFTZGS","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:2d29bb9a598b019cae4f88cdec872eedc6b9c401d96a907918d6502db807c1eb","target":"graph","created_at":"2026-05-18T00:19:10Z","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":"Valued constraint satisfaction problems (VCSPs) are a large class of combinatorial optimisation problems. It is desirable to classify the computational complexity of VCSPs depending on a fixed set of allowed cost functions in the input. Recently, the computational complexity of all VCSPs for finite sets of cost functions over finite domains has been classified in this sense. Many natural optimisation problems, however, cannot be formulated as VCSPs over a finite domain. We initiate the systematic investigation of infinite-domain VCSPs by studying the complexity of VCSPs for piecewise linear ho","authors_text":"Caterina Viola, Manuel Bodirsky, Marcello Mamino","cross_cats":["cs.CC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-04-05T07:49:13Z","title":"Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.01710","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:5d1380a475d6b9bda3d3b71dcdaaa176254cf570b386f844c6cf0f11c56c194b","target":"record","created_at":"2026-05-18T00:19:10Z","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":"4ad21790ab9a0a945cfcce678662e64ccaa1c2fa696a67f86eef88b28a02a8b7","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-04-05T07:49:13Z","title_canon_sha256":"928b30cd2e7bffe104f216b4c61ae90f03fbfe5533820f769164f2edaafcfd53"},"schema_version":"1.0","source":{"id":"1804.01710","kind":"arxiv","version":1}},"canonical_sha256":"812259e4d2be24da86d297c2171a5b9741c92d458104a425d8a4449e716aeb45","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"812259e4d2be24da86d297c2171a5b9741c92d458104a425d8a4449e716aeb45","first_computed_at":"2026-05-18T00:19:10.231066Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:10.231066Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BZ6EXyoyQ/MdPXxjqZSM3NEJSZSL/HEDp2Ydm0wZxxT6nxZZDW1OPKiTuxpf9CuGYA2L5aMG3BnL+9chMe8RBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:10.231607Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.01710","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d1380a475d6b9bda3d3b71dcdaaa176254cf570b386f844c6cf0f11c56c194b","sha256:2d29bb9a598b019cae4f88cdec872eedc6b9c401d96a907918d6502db807c1eb"],"state_sha256":"812f992434ee7203945b66fea7828a1df8a52d0e75f22de1a6bde30517d74327"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ghhiFTGFLl6PXV5lK3L72KHVRPjQ1+IlXSZoQENKvQa4TIJP0NrTw+ftJy9v4uWi81J4hN10N8FB6I5Mt/0RDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T18:29:24.563659Z","bundle_sha256":"c1cbe06b200fa44dae5ffe57a7f15c77f0f37bff8f623c5b19824cf77cedee58"}}