Quantum circuits and error-correcting codes
Fewer T gates on standard circuits, and stabilizer codes with larger distance (placeholder)
+7 −0 README.md 新增 查看文件
| @@ -0,0 +1,7 @@ | ||
| 1 | +# Quantum circuits and error-correcting codes | |
| 2 | + | |
| 3 | +> **Placeholder.** This problem is here so the problem panel can be tried out. Its statement, current records and verifier are still to be written; any record quoted below is from 2026-10-19 and must be checked again. | |
| 4 | + | |
| 5 | +## Problem | |
| 6 | + | |
| 7 | +Rewrite benchmark circuits from QASMBench and op-T-mize into equivalent circuits with fewer T gates, checked exactly by ZX-calculus rewriting or unitary comparison; and find stabilizer codes [[n, k, d]] whose distance is checked from their generators. The instance list and current records are still to be fixed. | |