DPLLアルゴリズム
Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm）とは、数理論理学および計算機科学において、論理式の充足可能性を調べるアルゴリズムである。 連言標準形で表現された命題論理式を対象とし、論理式を真（True）にできるかどうかを判定する。
Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm）とは、数理論理学および計算機科学において、論理式の充足可能性を調べるアルゴリズムである。 連言標準形で表現された命題論理式を対象とし、論理式を真（True）にできるかどうかを判定する。
Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm）とは、数理論理学および計算機科学において、論理式の充足可能性を調べるアルゴリズムである。 連言標準形で表現された命題論理式を対象とし、論理式を真（True）にできるかどうかを判定する。
出典: Wikipedia「DPLLアルゴリズム」 · CC BY-SA 4.0
この記事を共有: X · Bluesky