NP完全

NP完全とは

計算複雑性理論において、計算量が指数関数的に増大し、現実的な時間内での完全な解法が見つかっていない難問のクラス

他の言語での表記と説明

한국어NP 완전

결정론적 튜링 기계로 다항 시간 내에 해결할 수 있는지 여부가 증명되지 않은 계산 복잡도 이론의 문제 집합

EnglishNP complete

Class of computational problems whose solutions cannot be easily verified or solved in polynomial time

関連用語

• Lean形式化定理証明支援系Leanで数学的主張を機械検証できる形に記述すること
• Lean certificateLean証明支援系で機械的に検証できる形式証明の記録
• 決定論的プリミティブ入力に対して常に同じ結果を出力する基本的な計算単位。確率的な挙動を排除し、プログラムの動作を予測可能かつ再現性のあるものにするために用いられる。
• 形式検証数学的な手法を用いて、ハードウェアやソフトウェアのアルゴリズムが設計仕様通りに正しく動作することを厳密に証明・検証すること。
• 自動推論チェック形式的手法を使い、システムの性質やポリシー違反を数学的に検査する技術
• 決定論的チェック予測可能かつ再現可能なルールや計算に基づき、モデルの主観を排してシステムの状態を検証する手法。
• 多段階検証推論の各ステップや全体の論理構造を個別に評価し、思考プロセスにおける誤りや矛盾を修正する手法。
• 確定的システム同じ入力に対して常に同じ出力を返すシステム。AIのような確率的な挙動を排除し、ルールや論理に基づいて動作する。