{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:VD4A65IQUEPCJT63P3BJKYQKBD","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":"12d261fe503d99dd71c4ccd5fca19c8eaf487e393fdeaefc7bf5b39a181fa909","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-12-20T07:59:24Z","title_canon_sha256":"6a2c3ae9e315d7a147e131572d098f4b1d22e774d0961719c1ab9946133a040c"},"schema_version":"1.0","source":{"id":"2401.09439","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.09439","created_at":"2026-07-05T09:12:58Z"},{"alias_kind":"arxiv_version","alias_value":"2401.09439v2","created_at":"2026-07-05T09:12:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.09439","created_at":"2026-07-05T09:12:58Z"},{"alias_kind":"pith_short_12","alias_value":"VD4A65IQUEPC","created_at":"2026-07-05T09:12:58Z"},{"alias_kind":"pith_short_16","alias_value":"VD4A65IQUEPCJT63","created_at":"2026-07-05T09:12:58Z"},{"alias_kind":"pith_short_8","alias_value":"VD4A65IQ","created_at":"2026-07-05T09:12:58Z"}],"graph_snapshots":[{"event_id":"sha256:c6933f4446932410d7d9a096f7617239aba4cf8ad68112c6b2d72b079adc01b5","target":"graph","created_at":"2026-07-05T09:12:58Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2401.09439/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Tai256c is the largest unsolved quadratic assignment problem (QAP) instance in QAPLIB. It is known that QAP tai256c 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. As the BQOP is much simpler than the original QAP, the conversion increases the possibility to solve the QAP. Solving exactly the BQOP, however, is still very difficult. Indeed, a 1.48\\% gap remains between the best known upper bound (UB) and lower bound (LB) of the unknown optimal value. This paper show","authors_text":"Hans D. Mittelmann, Koichi Fujii, Masakazu Kojima, Sunyoung Kim, Yuji Shinano","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-12-20T07:59:24Z","title":"An Exceptionally Difficult Binary Quadratic Optimization Problem with Symmetry: a Challenge for The Largest Unsolved QAP Instance Tai256c"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.09439","kind":"arxiv","version":2},"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:6457cd553c86d27267232aa9b11800e80fa92ecf533e899d65359ccda60c1605","target":"record","created_at":"2026-07-05T09:12:58Z","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":"12d261fe503d99dd71c4ccd5fca19c8eaf487e393fdeaefc7bf5b39a181fa909","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-12-20T07:59:24Z","title_canon_sha256":"6a2c3ae9e315d7a147e131572d098f4b1d22e774d0961719c1ab9946133a040c"},"schema_version":"1.0","source":{"id":"2401.09439","kind":"arxiv","version":2}},"canonical_sha256":"a8f80f7510a11e24cfdb7ec295620a08c472950d0578ddd370c9bceb0ad761f7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a8f80f7510a11e24cfdb7ec295620a08c472950d0578ddd370c9bceb0ad761f7","first_computed_at":"2026-07-05T09:12:58.474150Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:12:58.474150Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TQ89QWkFfod2VpJETy7U+MkukWdSc31usxjzqBiNbUtSd+LK+cXKJuxANeeSgtiQ45BmVPA+PFf3zGk4miRBCA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:12:58.474644Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.09439","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6457cd553c86d27267232aa9b11800e80fa92ecf533e899d65359ccda60c1605","sha256:c6933f4446932410d7d9a096f7617239aba4cf8ad68112c6b2d72b079adc01b5"],"state_sha256":"7c44d72808f8889b5f41621e3b5588fc1890bad231e732d68bef65ad7bd1bfc4"}