fromageの日記: P vs. NP 論文の間違いの具体的な指摘
日記 by
fromage
ストーリーにもコメントしましたが、日記にも書いておきます。
P vs. NP の論文が検証されている中で、間違いの具体的な指摘が2つ出てきました。
(1) 検証されている論文の中で基盤となっている先行研究を行った研究者である Alexander Razborov 教授が、論文中の矛盾を指摘しました(Razborov 教授の知人による投稿, それを紹介している山形頼之氏のツイート)。
今回の論文が参考にしている先行研究である Berg and Ulfberg による議論(単調回路に対する下界を示すのに CNF, DNF の両方を使う方法)は Tardos の関数についても成り立つが、それは今回の論文の定理 6 と矛盾するので、この論文は必然的に間違いになる、と説明されています。
(2) 今回の論文の定理 6 の証明における帰納法に誤りがある(詳細、山形頼之氏のもう1つのツイート)とのことです。
コメントはストーリーの方にお願いします。