用于离散事件系统研究的代数方法(二)

4 线性方程的解在代数体系中,线性方程的求解历来是一个十分重要而基本的问题。在 dioid 中,最一般的线性方程是ax⊕b=cx⊕d其中 a,b,c,d∈D 或 D^(n×n),x 是未知量。在本节中始终假定 D 是一个完备的 dioid。为了便于对一些抽象结论的理解,不仿将此 dioid 设想为极大代数(R∪{-∞},max,+)。