{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:GNVPYDMNZJYBYSCTKLCCM5CWRT","short_pith_number":"pith:GNVPYDMN","schema_version":"1.0","canonical_sha256":"336afc0d8dca701c485352c42674568cf462d25aadfacf58cd6a8611e395fb4b","source":{"kind":"arxiv","id":"2210.15963","version":1},"attestation_state":"computed","paper":{"title":"The Largest Unsolved QAP Instance Tai256c Can Be Converted into A 256-dimensional Simple BQOP with A Single Cardinality Constraint","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Hans D. Mittelmann, Koichi Fujii, Masakazu Kojima, Sunyoung Kim, Yuji Shinano","submitted_at":"2022-10-28T07:51:40Z","abstract_excerpt":"Tai256c is the largest unsolved quadratic assignment problem (QAP) instance in QAPLIB; a 1.48\\% gap remains between the best known feasible objective value and lower bound of the unknown optimal value. This paper shows that the instance can be converted into a 256 dimensional binary quadratic optimization problem (BQOP) with a single cardinality constraint which requires the sum of the binary variables to be 92. The converted BQOP is much simpler than the original QAP tai256c and it also inherits some of the symmetry properties. However, it is still very difficult to solve. We present an effic"},"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":"2210.15963","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2022-10-28T07:51:40Z","cross_cats_sorted":[],"title_canon_sha256":"149dd9007af7a866c32d6184ac49f3bb30bb2c0a4f84a923f84d3080ad70e118","abstract_canon_sha256":"a5b80a0ee8c184bf2c93a6256e77a77045ad927359a209a1d970c11497917171"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:11:28.889375Z","signature_b64":"ALSMSUhBNgaJuQNKyJenoAXEZVxCuDygdosbnPq4eBCIjHYCvpyF2/ICvdfbwa/+RH9YI5W8YOisQUJJdYyWDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"336afc0d8dca701c485352c42674568cf462d25aadfacf58cd6a8611e395fb4b","last_reissued_at":"2026-07-05T05:11:28.888872Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:11:28.888872Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Largest Unsolved QAP Instance Tai256c Can Be Converted into A 256-dimensional Simple BQOP with A Single Cardinality Constraint","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Hans D. Mittelmann, Koichi Fujii, Masakazu Kojima, Sunyoung Kim, Yuji Shinano","submitted_at":"2022-10-28T07:51:40Z","abstract_excerpt":"Tai256c is the largest unsolved quadratic assignment problem (QAP) instance in QAPLIB; a 1.48\\% gap remains between the best known feasible objective value and lower bound of the unknown optimal value. This paper shows that the instance can be converted into a 256 dimensional binary quadratic optimization problem (BQOP) with a single cardinality constraint which requires the sum of the binary variables to be 92. The converted BQOP is much simpler than the original QAP tai256c and it also inherits some of the symmetry properties. However, it is still very difficult to solve. We present an effic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.15963","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2210.15963/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2210.15963","created_at":"2026-07-05T05:11:28.888931+00:00"},{"alias_kind":"arxiv_version","alias_value":"2210.15963v1","created_at":"2026-07-05T05:11:28.888931+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.15963","created_at":"2026-07-05T05:11:28.888931+00:00"},{"alias_kind":"pith_short_12","alias_value":"GNVPYDMNZJYB","created_at":"2026-07-05T05:11:28.888931+00:00"},{"alias_kind":"pith_short_16","alias_value":"GNVPYDMNZJYBYSCT","created_at":"2026-07-05T05:11:28.888931+00:00"},{"alias_kind":"pith_short_8","alias_value":"GNVPYDMN","created_at":"2026-07-05T05:11:28.888931+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GNVPYDMNZJYBYSCTKLCCM5CWRT","json":"https://pith.science/pith/GNVPYDMNZJYBYSCTKLCCM5CWRT.json","graph_json":"https://pith.science/api/pith-number/GNVPYDMNZJYBYSCTKLCCM5CWRT/graph.json","events_json":"https://pith.science/api/pith-number/GNVPYDMNZJYBYSCTKLCCM5CWRT/events.json","paper":"https://pith.science/paper/GNVPYDMN"},"agent_actions":{"view_html":"https://pith.science/pith/GNVPYDMNZJYBYSCTKLCCM5CWRT","download_json":"https://pith.science/pith/GNVPYDMNZJYBYSCTKLCCM5CWRT.json","view_paper":"https://pith.science/paper/GNVPYDMN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2210.15963&json=true","fetch_graph":"https://pith.science/api/pith-number/GNVPYDMNZJYBYSCTKLCCM5CWRT/graph.json","fetch_events":"https://pith.science/api/pith-number/GNVPYDMNZJYBYSCTKLCCM5CWRT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GNVPYDMNZJYBYSCTKLCCM5CWRT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GNVPYDMNZJYBYSCTKLCCM5CWRT/action/storage_attestation","attest_author":"https://pith.science/pith/GNVPYDMNZJYBYSCTKLCCM5CWRT/action/author_attestation","sign_citation":"https://pith.science/pith/GNVPYDMNZJYBYSCTKLCCM5CWRT/action/citation_signature","submit_replication":"https://pith.science/pith/GNVPYDMNZJYBYSCTKLCCM5CWRT/action/replication_record"}},"created_at":"2026-07-05T05:11:28.888931+00:00","updated_at":"2026-07-05T05:11:28.888931+00:00"}