{
  "domain": "physics-astronomy",
  "topics": [
    "quantum-information",
    "algorithms-complexity"
  ],
  "type": "proof",
  "source": {
    "key": "qiqcop",
    "name": "QIQCOP Zoo",
    "url": "https://qiqc-op.com/problem/op_0c17d9fef967858d/",
    "id": "op_0c17d9fef967858d",
    "curator": "Bikun Li, Qicheng Tang, Changhao Li, Chengkai Zhu, Minbo Gao, Zhong-Xia Shang, Bin Cheng and Naixu Guo",
    "poser": "Harry Buhrman, Christoph Dürr, Mark Heiligman, Peter Høyer, Frédéric Magniez, Miklos Santha and Ronald de Wolf",
    "status": "unsolved",
    "as_of": "2026-10-20",
    "catalog": "0521c19bbd38"
  }
}