NP=PCP 数学的証明者にとって確率は単なる随伴である

確率は当てにするものではない。数学的証明を導くための随伴であり、探索センサーのようなものである。どんなに確率が高かったとしても100％が証明されていない以上は始めるべきではない。

NP=PCP(O (log n), O(1))で表現されるPCP（probablistically checkable proof 確率論的検査可能証明）定理やマンハッタン計画でのモンテカルロ法は、決定論的な手法では到達困難なあるいは計算コストが高すぎる）真理に対して、確率論を随伴（Adjunction）や補完手段として用いた。

1. マンハッタン計画：物理的シミュレーションとしての確率論

マンハッタン計画において、ジョン・フォン・ノイマンやスタニスワフ・ウラムがモンテカルロ法を考案した際、彼らが直面していたのは「解析的に解けない複雑な方程式」でした。

• 課題： 中性子の拡散挙動を決定論的な微分方程式で解こうとすると、変数が多すぎて当時の計算機（あるいは手計算）では不可能だった。
• アプローチ： 決定論的な「正解」を直接導く代わりに、個々の中性子の動きをサイコロを振るようにシミュレーションし、その統計的平均から物理現象を予測した。
• 役割： ここでの確率論は、厳密な数学的証明の道具というよりは、「現実的な精度で物理的真理を近似するための工学的・数値的なバイパス」でした。

2. PCP定理：証明のための確率論

計算機科学におけるPCP（Probabilistically Checkable Proofs）定理は、より直接的に「数学的証明」のあり方に踏み込んでいます。

• 課題： 膨大な長さの証明が正しいかどうかを、一文字ずつ検証せずに判断したい。
• アプローチ： 証明全体を特定の形式にエンコードすることで、検証者が証明のほんの数箇所をランダムにサンプリングするだけで、もし証明に誤りがあれば極めて高い確率（例えば99.9%以上）でそれを発見できる。
• 役割： ここでの確率論は、単なる近似ではありません。「確率的にしか検証できないが、そのエラー確率は任意に小さくできるため、実質的に100%の正しさを保証する新しい証明形式」を定義したのです。

ポイント： PCPは「証明そのものが確率的」なのではなく、「検証のプロセスを確率的にすることで、決定論的な完全性を担保する」という随伴的な構造を持っています。

3. 「Adjunction（随伴・付加）」としての歴史的経緯

元来、数学において「確率」は「不確実なもの（＝厳密ではないもの）」として、純粋な証明の王道からは一線を画されていました。しかし、20世紀後半から以下のような流れでその地位が変化しました。

段階	確率論の役割	代表例
近似(Approximation)	決定論的に解けない問題への実用的接近	モンテカルロ法
構築 (Construction)	存在することを示すための道具	エルデシュの確率論的手法
検証 (Verification)	効率的な「正しさ」の保証	PCP定理、インタラクティブ証明

確率論的手法 (Probabilistic Method) の衝撃

ポール・エルデシュが広めた「確率論的手法」は、「証明の構成要素」としての確率論です。「ある性質を持つ数学的対象が存在するか？」という問いに対し、「ランダムに選んだ対象がその性質を持つ確率が0より大きい」ことを示すことで、その存在を100%の確信を持って証明する手法です。

結論

確率論はかつての「不確実な当て推量」という立場から、「複雑すぎて直接理解できない真理（100%の証明）に、効率的かつ厳密に推論的到達するための強力な論理的装置」へと進化してきました。
マンハッタン計画が「計算不可能な現実」を突破するために確率を使い、PCP定理が「検証不可能な巨大な証明」を構成するために確率を使った。これらは、人間（あるいは計算機）の限界を、確率という「揺らぎ」を導入することで突破する共通の戦略と言えます。