カテゴリー: P vs NP

3-SATとは、各節がちょうど3個のリテラルからなる連言標準形（CNF／Conjunctive Normal Form）の充足可能性問題である。与えられた論理式を真にする真偽割当が存在するかを問う。CNFは「節（OR）の…
Read more

粗視化（coarse-graining）とは、世界のすべてを同じ細かさで扱うのではなく、目的に必要な違いだけを残して状態をまとめることである。経営へ応用するなら、追跡する状態変数を目的に合わせて間引く手続である。 情報を…
Read more

PとNPの違いを一言で表すと、Pは効率よく解ける問題のクラス、NPは正解の候補を受け取れば効率よく検証できる問題のクラスである。 ここでいう「効率よく」とは、人間の感覚で速いという意味ではない。入力の大きさを \(n\)…
Read more

It is traditional to view NP as the class of languages whose elements posses short proofs of membership. A “pr…
Read more

あらゆる言語による論理は記号に置き換えることができる。あるstatement(宣言)がyes or noで判断できる記号形式を取る時、それをproposition(命題)と呼ぶ。propositionがtrueであること…
Read more

立体は4色以上で塗り分け可能である。一方平面は1-4色で塗り分け可能である。3 colorableの判定はNP completeであるものの、現代のコンピューターはNP completeを3-SATに変換してCDCL(c…
Read more

1. DNAの「NP性」 ビジネスや人生の決断がなぜ難しいかというと、それがP問題（順番に計算すれば決定的に解ける問題）ではなく、NP困難 / 3SAT問題（選択肢の組み合わせが限りなく非決定的な有限問題）だからです。 …
Read more

Circuit Complexity（回路計算量）とは、計算理論の一分野で、ある計算問題を解くために必要な「論理回路」のサイズや深さを研究する学問です。 通常の計算量理論（PやNPなど）が「プログラムの実行時間やメモリ使…
Read more

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

あらゆるn元数軸は、categoric simplexによる矢の生成結果であるため、どの空間だとしても論理的に0は存在することができない。ただし、特定stack内のあらゆるベクトルとスピノルと等価な力を重ね合わせると、0…
Read more