量子ゲートGo Q-Intent
Q-Intent記法で書かれた量子回路を最適化するパズル
量子回路最適化 — 同じユニタリ変換を表す回路でも、ゲート数は様々。
例:
HH = I（消去）、XX = I、隣接 CNOT の制御共有で簡約… など。
意味（行列）を変えずにゲート数を最少化するのが本ゲーム。Q-Intent コンパイラの最適化パスをミニ体験。
回路 1/12
現在ゲート数 0
最適 ?
合計スコア 0
−
セマンティクス: −
適用可能な規則
2つのゲートをクリックで選択 → 該当規則ボタンが点灯
操作
ゲートチップを2つクリックで選択（隣接でなくても OK：間に交換可能なものがあれば自動で隣接化）。 意味（ユニタリ）が同じであれば、表示された規則ボタンを押して簡約。
HH,XX,ZZ→ 消去（I）HXH = Z,HZH = X（基底変換）CNOT∘CNOT = I（同 control/target）CNOT(c,t)·X(t) = X(t)·CNOT(c,t)等の交換（自動化）