Linnk AI herunterladen
•
Forschungsassistent
>
Anmelden
Einblick
-
線形計画問題 イザベル/HOL
線形計画問題のためのイザベル/HOLにおける解法
線形計画問題を解くためのイザベル/HOLにおける検証済みアルゴリズムを提示する。このアルゴリズムは、双対性の原理に基づいて、制約充足問題を解くことで線形計画問題を解決する。
1