OpenAI Math Digest
メニュー
AI生成の解説

このサイトの解説には、誤りや不正確な説明が含まれる可能性があります。重要な主張・証明は原論文でご確認ください。

COMICS · CATALOGUE 378

指数時間仮説の反証

Disproof of the Exponential Time Hypothesis

固定幅CNFの充足割当ての正確な計数を劣指数時間で行うという原稿の主張と、指数時間仮説・回路下界への影響を紹介します。 カタログ内の全原稿・全結果を網羅するものではありません。

日本語の漫画2枚
1枚目:導入版タップして拡大できます 拡大して読む ↗画像を直接開く ↗
カタログ378「指数時間仮説の反証」を紹介する日本語の漫画
2枚目:詳細版タップして拡大できます 拡大して読む ↗画像を直接開く ↗
カタログ378「指数時間仮説の反証」を紹介する日本語の漫画

岩井の補足

10月26日のOpenAIの発表はevima labのDiscordで知った. 競技プログラミング界隈は大盛り上がりだった. (私はKakeya予想の方が気になっていたが)よく知らなかったので, 私はその後evimaさんが出したショート動画で3SATを知った. 指数時間仮説に基づいた論文は800あったらしく, かなり被害はでかいらしい. こういうの私は詳しくないので, evimaさんに解説を任せたいですね. ちなみに本人は覚えてないと思うが, 一回喋ったことはある. すんごい偉い人だった. あと別の大会でchokudaiさんに会ってAtCoderのステッカーももらったこともある. もう10年くらい前か, 懐かしいですね.

漫画の拡大表示

拡大した画像は、上下左右にスクロールして読めます。