הורד את Linnk AI
•
עוזר מחקר
>
התחברות
תובנה
-
線形計画問題 イザベル/HOL
線形計画問題のためのイザベル/HOLにおける解法
線形計画問題を解くためのイザベル/HOLにおける検証済みアルゴリズムを提示する。このアルゴリズムは、双対性の原理に基づいて、制約充足問題を解くことで線形計画問題を解決する。
1