P≠NPよりも強い結果を証明すると主張する論文が、Springer NatureのFrontiers of Computer Science誌に掲載され、論争を巻き起こしている。著者の1人は同誌の副編集長である。コンピュータ科学者のRyan WilliamsとEric Allenderは、この論文の証明に重大な欠陥があり、既知のアルゴリズムとも矛盾することを発見した。彼らは撤回を求めるコメントを提出したが、編集長は拒否し、修正版のコメントのみ掲載することに同意した。この事件は、同誌の査読プロセスにおける深刻な問題を露呈させ、誌面の評判に対する懸念を高めている。これはテクノロジーニュースである。
続きを読む
2025年ゲーデル賞は、Eshan ChattopadhyayとDavid Zuckermanの画期的な論文「明示的2元抽出器とレジリエント関数」に対して授与されました。この論文はSTOC 2016とAnnals of Math 2019に掲載され、ラムゼーグラフの構成を大幅に改善し、従来の方法をはるかに超える指数関数的な限界を達成しました。この成果は、脱ランダム化への影響と、ラムゼー理論への驚くべき応用から高く評価されており、擬似ランダム性と組み合わせ論における二重の意味に関する議論を引き起こしています。
続きを読む
画期的な結果が、アルゴリズムシミュレーションの基礎を揺るがしました。Ryan Williams の新しい研究は、あらゆるアルゴリズムが、元のアルゴリズムの実行時間よりも大幅に少ないメモリを使用してシミュレートできることを示しています。これは、以前の最良の結果をはるかに超える改善です。このブレークスルーは、Cook と Mertz の空間効率の良い木評価アルゴリズムを活用し、Turing 機械の計算を巧みに分割し、有限体符号化を使用して、空間計算量のほぼ2乗の改善を実現しています。時間制限は維持されませんが、この画期的な結果は、複雑性理論に大きな影響を与え、空間計算量の上限の更なる削減など、将来の研究の道を切り開きます。P と PSPACE の複雑性クラスの分離につながる可能性もあります。
続きを読む