カテゴリー: 3-SAT

「あらゆるNP問題は3-SATに還元できる」という命題は、コンピュータサイエンスの歴史においてクリティカルパスとなる発見の一つです。 1. 1971年：スティーブン・クックと「SAT」の登場 計算機で解を出すのが難しい問…
Read more

Boolean から SAT, Cook-Levin, Zero-Knowledge Proof までの時系列 以下の表に、ブール論理（Boolean）から始まり、SAT、Cook-Levinの定理、Zero-Knowl…
Read more