论文部分内容阅读
本文在max-代数上讨论两类max-线性方程组的求解问题.首先讨论方程组A()z=y的求解问题,该方程组本质上是单边线性方程组,与单边线性方程组不同的是,该方程组的解集是有限生成的,因此存在唯一scaled基.而找解集的唯一scaled基的问题等价于nearly极小覆盖问题,本文从nearly极小覆盖入手给出找到唯一scaled基的算法,并证明了算法的正确性.另一类方程组是x=A()x()b.己知λ(A)<0时该方程组有且仅有唯一解.本文在系数矩阵A是强definite矩阵的条件下刻画了该方程组的解集,并且证明该方程组的任意一个解都可以表示成最小解与一组向量的max-组合的“和”(())。