区间线性系统的Farkas型定理

摘要

以逻辑量词的形式给出了区间线性方程组的(b)I-强可行、区间线性不等式组的(b)I-强可解和(b)I-强可行的Farkas型充要条件。为了应用方便,该文还建立了与前述结果等价的基于绝对值不等式的Farkas型条件。