判别线性不等式组相容性的ALN法.pdfVIP

维普资讯 c} · 第20卷 第 1期 东北重型机械学院学报 V0I20 No．I I996年 3月 Journa]ofNortheastHca-, M achineD [nstitute M ar 】996 判别线性不等式组相容性的ALN法 单 锐 摘 要 … 算法枷 到线 丁… 腩 蛳 √ 键词 椭 性 关键词相容性bss靴算法．Moore-Pelirose伪伪逆逆。锻喇) ＼ 分类号 研 ． ’～ ／ 0 引言 线性不等式组的讨论．在理论上和实践中都是很重要的 ．例如在文献 【1】中，就需 要判别AX0的相容性问题 ．在文献 [1)中，是将其转化为相应的线性规划问题有无非 零解来判别的 ．这一转化．不仅增加了向量的维数，还需解线性规划问题 ．若相应的线 性规划问题的最优值是零的话，则还需再给出一线性不等式组．重新转化并求解 ．本文 针对文献 [1]中的特点，不仅给出了一种判别线性不等式组 AXO的相容性的简便方 法．而且．若线性不等式组不相容的话．还能知道是哪一个线性不等式所引起的 ． 1ALN法及典性质 考虑线性不等式组AXO的相容性问题 ．其中X~En．OEE ．A =[611,2．…．口，]∈E 不仿设 Ⅱ≠0．(1≤f≤n)． 1．1 方法 1)读人 ． ．a【l-d2，…．口m]． 令H】=， × H2=H1一Ⅱ】Ⅱ ／口dI- 1=口 置 2． = 】： 2)计算Pi=H~f若 ≠0．转 3)；若 =0，转 6)： 3)令 S= +l， =Ⅱ 若 ．停止 此时AXO相容 若 iⅢ，转4)- 4、 §正矩降 H．Hi+1=Ht—PlP idP 5)置 f+1．转2)； 6)令 ^rT=[!，2，…， 】．计算 N =^rT(Jv T)-I： 7)令 ri=口Ⅳ ．若 ti0． ，停止．此时．4XO相容 若riO．im．转 8、：若 ≤0，停止，此时 O不相容； 8)置 +l=Ⅳ 转 5) - l2 性质 定理 1 若 tli=O(1≤f≤ )，则线性不等式组 x0不相容 证 若 =0，则AXO显然不相容 ． 995年 l0月6日收到 ● 维普资讯 } 哆 第 l期 单 锐 判别线性不等式组相吝性的ALN {击 63 引理 I 若 ： ，aj#o (1≤ ≤f)-则 1．…．ai线性独立 ． 证 用反证法 ．假设 1．…．d线性相关．则存在不全为零的数k1．…． 使得 kla，+k2a2+ …+kiai=0 不仿设 七≠0．则6li=kla1+…+k’f—lai_1．所 以Hiai= I 】+…+ ’f一 【 一1 由 ABS算法的性质知． 一=O (1 ≤f)-从而必有 口，一0．而由假设知 H,ai≠O．矛盾 从而引理 l成立 ． 推论 ．…． 为 {a1．…，a)的一