この記事は「量子コンピュータと量子通信 (オーム社)」の読書ノートです。 前回の記事ではオイラー閉路の決定問題が容易に解けることを示したが、その中で使用したオイラーの定理については認めた状態だった。この記事でその証明をしよう。 まず ...

この記事は「量子コンピュータと量子通信 (オーム社)」の読書ノートです。 前回はグラフ理論の用語について説明した。これは$${\bf P \neq NP}$$予想を示すのがなかなか難しいことを示すためにグラフ理論を使いたいからだ。 この記事では前回の定義を元に ...