1
ババイの新しいグラフ同型結果を引用するには？
最近、BabaiはSTOC 2016に関する論文を発表しました。これは、グラフの同型は準多項式時間で解決できると主張しています。 2017年の初めに、Babaiは、Harald Helfgottが発見したいくつかの重大な誤りのために、準多項式の主張を撤回しました。ババイ自身が説明したように、この欠陥により、実行時間の点で改善がより控えめになります。 準多項式の主張を撤回してから約5日後、Babaiはホームページで別の更新を投稿し、証拠の欠陥を修正したと主張して、このようにして準多項式の実行時間を回復しました。 証明の正確性に関するこの急速な変化の後、私は通常、尊敬されるジャーナルに掲載されるまで新しい論文を完全に無視するだろうと言わざるを得ません。 しかし、BabaiはBabaiであるため、すべての修正が実装された新しいバージョンのペーパーは入手できなくても、コミュニティのほとんどは少なくとも公に彼の言葉を当たり前だと思っています。優秀な人でもミスを犯し、新しい修正プログラムにも欠陥などがある可能性は無視できないことに注意してください。 それでは、新しい結果をどのように引用すればよいのでしょうか？ 準多項式の上限を主張するSTOCの論文を引用してください。 重大な欠陥があり、実際の実行時間が以前の準指数下限を改善することを説明するSTOCの論文を引用してください。 ババイによって修正された欠陥があるとSTOCの論文を引用してください。 まったく引用せず、2 Oの古い上限を述べます（√現在確立されている上限として。2O （n√）2O(n)2^{O(\sqrt{n})}