{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:7CWJNXJMJSGUR634AI4CZL3OZM","short_pith_number":"pith:7CWJNXJM","schema_version":"1.0","canonical_sha256":"f8ac96dd2c4c8d48fb7c02382caf6ecb023774cf855c52afcf6dfbbd89209ea8","source":{"kind":"arxiv","id":"1302.5843","version":3},"attestation_state":"computed","paper":{"title":"Ising formulations of many NP problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.DS","quant-ph"],"primary_cat":"cond-mat.stat-mech","authors_text":"Andrew Lucas","submitted_at":"2013-02-23T20:45:26Z","abstract_excerpt":"We provide Ising formulations for many NP-complete and NP-hard problems, including all of Karp's 21 NP-complete problems. This collects and extends mappings to the Ising model from partitioning, covering and satisfiability. In each case, the required number of spins is at most cubic in the size of the problem. This work may be useful in designing adiabatic quantum optimization algorithms."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1302.5843","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cond-mat.stat-mech","submitted_at":"2013-02-23T20:45:26Z","cross_cats_sorted":["cs.CC","cs.DS","quant-ph"],"title_canon_sha256":"c550a23620260f328886a503c6c1d3c74130adf757d6c6704f51fe9ae755dbfd","abstract_canon_sha256":"11677b537b0919a1d790b38ff7f3447b72735994298624ce3ee3412b1a854d17"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:01:10.847509Z","signature_b64":"v9rQ1oiLcXgTTjqGAYkUAiFu+dsCFYGHrtrI6CBQWoU0za9b96aFdhbNJhdaGb+E1pzL7bL5Ueobd+YTUAwICA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8ac96dd2c4c8d48fb7c02382caf6ecb023774cf855c52afcf6dfbbd89209ea8","last_reissued_at":"2026-05-18T03:01:10.846832Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:01:10.846832Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Ising formulations of many NP problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.DS","quant-ph"],"primary_cat":"cond-mat.stat-mech","authors_text":"Andrew Lucas","submitted_at":"2013-02-23T20:45:26Z","abstract_excerpt":"We provide Ising formulations for many NP-complete and NP-hard problems, including all of Karp's 21 NP-complete problems. This collects and extends mappings to the Ising model from partitioning, covering and satisfiability. In each case, the required number of spins is at most cubic in the size of the problem. This work may be useful in designing adiabatic quantum optimization algorithms."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.5843","kind":"arxiv","version":3},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1302.5843","created_at":"2026-05-18T03:01:10.846943+00:00"},{"alias_kind":"arxiv_version","alias_value":"1302.5843v3","created_at":"2026-05-18T03:01:10.846943+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.5843","created_at":"2026-05-18T03:01:10.846943+00:00"},{"alias_kind":"pith_short_12","alias_value":"7CWJNXJMJSGU","created_at":"2026-05-18T12:27:36.564083+00:00"},{"alias_kind":"pith_short_16","alias_value":"7CWJNXJMJSGUR634","created_at":"2026-05-18T12:27:36.564083+00:00"},{"alias_kind":"pith_short_8","alias_value":"7CWJNXJM","created_at":"2026-05-18T12:27:36.564083+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2404.18502","citing_title":"Towards Classical Software Verification using Quantum Computers","ref_index":20,"is_internal_anchor":true},{"citing_arxiv_id":"2605.06857","citing_title":"Quantum Annealing: Optimisation, Sampling, and Many-Body Dynamics","ref_index":1,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7CWJNXJMJSGUR634AI4CZL3OZM","json":"https://pith.science/pith/7CWJNXJMJSGUR634AI4CZL3OZM.json","graph_json":"https://pith.science/api/pith-number/7CWJNXJMJSGUR634AI4CZL3OZM/graph.json","events_json":"https://pith.science/api/pith-number/7CWJNXJMJSGUR634AI4CZL3OZM/events.json","paper":"https://pith.science/paper/7CWJNXJM"},"agent_actions":{"view_html":"https://pith.science/pith/7CWJNXJMJSGUR634AI4CZL3OZM","download_json":"https://pith.science/pith/7CWJNXJMJSGUR634AI4CZL3OZM.json","view_paper":"https://pith.science/paper/7CWJNXJM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1302.5843&json=true","fetch_graph":"https://pith.science/api/pith-number/7CWJNXJMJSGUR634AI4CZL3OZM/graph.json","fetch_events":"https://pith.science/api/pith-number/7CWJNXJMJSGUR634AI4CZL3OZM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7CWJNXJMJSGUR634AI4CZL3OZM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7CWJNXJMJSGUR634AI4CZL3OZM/action/storage_attestation","attest_author":"https://pith.science/pith/7CWJNXJMJSGUR634AI4CZL3OZM/action/author_attestation","sign_citation":"https://pith.science/pith/7CWJNXJMJSGUR634AI4CZL3OZM/action/citation_signature","submit_replication":"https://pith.science/pith/7CWJNXJMJSGUR634AI4CZL3OZM/action/replication_record"}},"created_at":"2026-05-18T03:01:10.846943+00:00","updated_at":"2026-05-18T03:01:10.846943+00:00"}