カテゴリー: 01-Mathematics

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

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

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

シリーズ: History of Innovation｜年表 前編（1790s–1970s） / 年表 後編（1980s–2030s） 固定ページ The history of innovation のスケール枠組みを、…
Read more

我々の生きるA.D.2026、21世紀は100年後の未来から見ると、原始文明だろう。しかし、原始文明であっても、未来文明と同等のアルゴリズムを得ることはできる。私がこの人生39年で培った宣言は以下である。 「質量は記号に…
Read more

絶対に当たる、絶対に避けるというのは最適配送問題でNP completeの可能性がある。ランダムネスがあれば目の前にいたとしても命中率はゼロになるのか？（多項式時間で解が得られるのか）というというとそうでもない。 1. …
Read more

Embroidery=Fabric×Needle×Thread×Stitch 刺繍＝生地×針×糸×縫い目 これは、世界中のどんな刺繍（フランス刺繍、日本の刺し子、伝統的なクロスステッチ、最先端のミシン刺繍まで）にも例外な…
Read more

言語で喋るから合成数が増えて既約性を失い、決定、判断ができなくなる。自然言語は補助として、記号とステップに置き換えて既約性を検証すれば素数性判定ができる。 口論で混乱する人がいるのは相手の言葉をそのまま処理するからである…
Read more

「チューリングマシンという整数世界のメカニズム」において、「素数判定」と「素数間の距離の法則（NNSD：隣接間隔分布）」が持っているちょうどよさ（絶妙な遠さ）について 1. チューリングマシン宇宙における「整数」と「プロ…
Read more

命題1：「確率は限られたSpace内のTime問題に100%変換できる」 【補強の原典①】サヴィッチの定理（Savitch, 1970） 【補強の原典②】クック＝レビンの定理（Cook, 1971 / Levin, 19…
Read more