カテゴリー: Arthur-Merlin protocl

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

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

アーサー・マーリン・プロトコル（Arthur-Merlin games）は、計算複雑性理論において「対話」と「乱数」の計算パワーを定義したモデルです。1985年にラズロ・ババイ（László Babai）によって提唱され…
Read more