カテゴリー: infinitude

Decrypt history, Encrypt future™

P-completeにおけるエラーチェック

計算グラフや回路、あるいは探索ツリーのような「シークエンス(構造)」を、下流(出力)から上流(入力)へと枝を登るように逆方向にたどり、バグや不要な計算ルートを特定して切り落とす(枝切りする)アルゴリズムは、文脈(AI・探…
Read more

アムダールの法則|並列計算と計算複雑性理論

ハードウェアの物理的な限界(エンジニアリング)から、計算理論による下界の特定について 並列計算と計算複雑性理論の系譜(1967〜1995) 1. 黎明期:物理リソースの限界と「直列の壁」 📌 アムダールの法則(Amdah…
Read more

Randomnessを用いたワーストシナリオケースの3回チェック

ワーストシナリオケースを3回くらい検証すればどんな事業でも大体弱点がわかってしまう仕組みが経験的にある。 複雑に見えるシステムでも、少数の極端な条件(最悪ケース)をテストするだけでバグの大部分を網羅できるという現象は理論…
Read more

命題宣言型NP-completeブランドのチューリングマシン的構築

事業=チューリングマシンとしたNP-complete一般化 コンシューマーブランドにおける一般化 1. ブランドアイデンティティの公理宣言とパラドックス 真に普及するブランドは、自らその正当性を証明しようとすると、自己言…
Read more

NP-completeの難易度α≈4.267を活用したクリエイティブ

ヒットソングが飽きないのは、過去に確率的に生き残ったヒットソングの情報を網の目に組み合わせているからと言える。そうすると、論文も、過去の確率的に生き残ったロングセラーをつぎはぎに高次論理で繋ぎ合わせれば次のヒット論文を作…
Read more

Formal definition of NP

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

Any statement that have proof have zero knowledge proof

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

NP completeは現実世界では問題ない程度に満足解を作ることができる

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