フーリエ・モツキンの消去法
フーリエ・モツキンの消去法（フーリエ・モツキンのしょうきょほう、英: Fourier-Motzkin elimination）とは、数理論理学および計算機科学において、一次不等式からなる一階述語論理式の限量子（∀や∃）を除去するアルゴリズム。 限量子消去法（英: Quantifier elimination）の1つ。
フーリエ・モツキンの消去法（フーリエ・モツキンのしょうきょほう、英: Fourier-Motzkin elimination）とは、数理論理学および計算機科学において、一次不等式からなる一階述語論理式の限量子（∀や∃）を除去するアルゴリズム。 限量子消去法（英: Quantifier elimination）の1つ。
フーリエ・モツキンの消去法（フーリエ・モツキンのしょうきょほう、英: Fourier-Motzkin elimination）とは、数理論理学および計算機科学において、一次不等式からなる一階述語論理式の限量子（∀や∃）を除去するアルゴリズム。 限量子消去法（英: Quantifier elimination）の1つ。
出典: Wikipedia「フーリエ・モツキンの消去法」 · CC BY-SA 4.0
この記事を共有: X · Bluesky