概念Stiemke's theorem / Stiemke对偶

Stiemke择一定理

Stiemke择一定理是线性规划对偶理论中的基本结果，指出对于矩阵A，以下两者恰有一个成立：存在非零非负向量x使Ax=0；或存在向量y使A^T y>0（严格正）。它与Gordan定理、Farkas引理同属择一定理家族，常用于判定线性系统解的存在性。

时间轴 (近 90 天)

11月2日

Stiemke择一定理表明：对于矩阵A，以下两者恰有一个成立——存在x≥0, x≠0使Ax=0；或存在y使A^T y>0（严格正）。

待验证50%

11月2日

论文的第一个核心结果：当且仅当不存在严格正的任务权重使策略适应度相等时，奖励增加型更新才能避免伤害所有个体任务。

待验证50%

Stiemke择一定理表明：对于矩阵A，以下两者恰有一个成立——存在x≥0, x≠0使Ax=0；或存在y使A^T y>0（严格正）。

论文的第一个核心结果：当且仅当不存在严格正的任务权重使策略适应度相等时，奖励增加型更新才能避免伤害所有个体任务。