{
  "domain": "physics-astronomy",
  "topics": [
    "quantum-information",
    "algorithms-complexity"
  ],
  "type": "proof",
  "source": {
    "key": "qiqcop",
    "name": "QIQCOP Zoo",
    "url": "https://qiqc-op.com/problem/op_3770ad932d54692f/",
    "id": "op_3770ad932d54692f",
    "curator": "Bikun Li, Qicheng Tang, Changhao Li, Chengkai Zhu, Minbo Gao, Zhong-Xia Shang, Bin Cheng and Naixu Guo",
    "poser": "Daniel Gottesman (2004); Dorit Aharonov, Michael Ben-Or and Elad Eban (2008)",
    "status": "unsolved",
    "as_of": "2026-10-20",
    "catalog": "0521c19bbd38"
  }
}