カテゴリー: 01-Mathematics

Decrypt history, Encrypt future™

Logic, Time, Space, Randomness の4つ(4 colorable)の資源は、∝2ε^kで等価交換される

Logic, Time, Space, Randomness 数学は系の限界を記述するにとどまり、系の外側の可能性には触れない。チューリングは高尚な数学を単純な紙とテープの連なりの問題に引き摺り落とした。そしてそれは同じ…
Read more

歴史の改変コストは総当たり(非効率)だが、検証コストは効率的である|Decrypt history, encrypt future

Ⅰ. 歴史のバージョンを認知する一連の手法 マクロに上書きされた公式記録(暗号)の中から、書き換えられる前の「本来の歴史のバージョン(位相)」をミクロに検出するための3ステップの手法です。 1. ローカル・キャッシュ(エ…
Read more

ディオファントス方程式は複素変換したとしても効率的なアルゴリズムを見つけることはできない

整数のみを扱う方程式であるディオファントス方程式は効率的な解の探索汎用アルゴリズムがない。これはチューリングマシンと同義である。一方、複素方程式には効率的に解を再現するアルゴリズムがある。 ディオファントス方程式(整数係…
Read more

DPRM theorem

「ディオファントス方程式の解を(しらみつぶしに)手探りで探す行為」は、「チューリングマシン(プログラム)を実行して、それが終わるのをじっと待つ行為」と完全に同義(本質的に同じこと)になる。 チューリング(1936)が「プ…
Read more

対話型証明ではIP=PSPACE以上を検証できるが、自己問題はPすら解けない

対話型証明はIP=PSPACEまで検証可能だが自己言及問題は自分が内部項の一要素になる以上、自然状態ではラッセルのパラドックスでPすらも解けない。 「自己言及(Self-reference)」が含まれる問題をそのままシス…
Read more

Pruningアルゴリズム|数学的間引きによる下界の底上げ

会社が停滞する、赤字になる最大の理由は下界(Lower Bound)の特定をせずに、期待値がマイナスの決定を続けているからである。 1. 多くの企業が陥る「上界(upper bound)の幻影」 赤字に陥る、あるいは新規…
Read more

Orandum est ut sit mens sana in corpore sano.|DNAレベルのパージ機能と決定の質は比例する

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

Auther-Merlinによるrandomnessを活用したInteractive proof型事業due dilligence

「Interactive Proof型事業DD」とは:検証者(投資家)が、証明者(起業家)に対して「ランダムなチャレンジ(質問・要求)」を提示し、それに対する証明者の「レスポンス(回答・エビデンス)」を複数ラウンドにわた…
Read more

AM(poly n)=AM=UE=UE(poly n)=IP=PSPACE

情報を開示しても秘匿しても証明能力の上限に違いは生まれない。 1. 情報の開示と秘匿による証明能力の等価性 AM, Arthur-Merlin game or User-Expert game 検証者(アーサー)が用いる…
Read more

NP ∩ coNP

NP ∩ coNP「NPかつcoNP」に属する、あるいは属すると予想されている具体的な問題 1. 素因数分解問題 (Integer Factorization) 現代の暗号理論の基礎であり、このクラスで最も有名な問題です…
Read more