首先给出Max-Plus定义:
设 ,在R*上定义两个运算:,,则称是Max-Plus代数。
Max-Plus代数主要用于解决非线性问题,例如调度理论等离散系统。
Max-Plus在矩阵中的一些计算:
基础运算:
两个矩阵,乘运算的结果为一个矩阵,C中的每一个元素满足下面的公式:
也就是说,C中的第 i 行,第 j 列元素对应的A中的第i行和B中的第j列的数各自相加,取最大作为该元素。
方阵A的k次幂记为,
将Max-Plus代数矩阵和图对应:
1.对应关系:
我们把图用矩阵的形式表示,用方阵来表示,其中V代表节点,E代表边,w代表边上的权值。矩阵中的每一个元素代表图A中的由节点i到节点j的边,并赋予权值,如果i到j间没有边,则。
上图所示A为左图的
下面介绍几个相关定义(以上图为例):
:图中的路径,对应路径中若干节点的序列,每相邻的结点对应图中的一条边。(蓝线表示路径)
:对于,如果, (第一个节点与最后一个节点相同),则称为cycle(环)(红线表示环)
length:路径的长度,路径中边的数量。
:路径的权重,路径中所有的边的权重之和。
:环c的平均值,计算方法: ,环c的路径的权重与环c的长度的比值
:图A中的最大的,即密度最大环的特征值。(计算的是密度最大环)
strongly connected:强连通的,如果A中的所有节点都包含在一个公共的环中,则图A就是。
(上图:(1,4,2,3,5,2,3,1)是一个cycle,所以A是强连通的)
irreducible:不可约的,如果A是强连通的,那么A就是不可约的。
strongly connected component:如果A是强连通图,那么A的子图为强连通部分
highly connected component:强连通部分,对于图A(V,E)的子图=(k,Ekxk),若中存在环,并且=,则就是图A的强连通部分。
: 图A中的所有强连通部分的集合。
hper(): 的high period,计算公式:hper()=
elementary path: 基础路径,即无环路径。
cycle extention/ cycle deletion: 对于,如果可以通过删除环(cycle deletion)得到一个路径,那么就是的环扩展(cycle extention)路径,记作
: 由节点i到节点j的路径 的集合
:由节点i到节点j的基础路径的集合
:节点i到节点j的长度为t的路径的子集
power sequence of elementary path:若幂次为t,则幂序列为(),每一项的计算公式为:}
也就是说,幂序列中的每一个数都是长度为t的对应环扩展路径的最大权值。在矩阵中的体现就是矩阵中的每一个元素取值都是对应路径的最大权重。同样幂序列也可以扩展到矩阵中。
总结与理解:将Max-Plus运用到对应图的矩阵中,矩阵A对应g(A), 表示:,表示路径长度为1 的权重。类似,表示:,表示路径长度为t 的权重,那么矩阵A的幂序列表示,ij之间不同长度路径对应的权序列。
2.线性周期性:
almost linear period:对于一个序列, 如果,那么这个序列就是最具线性周期的。
lper(a*):linear period p
lfac(a*):linear factor q
ldef(a*): linear defect r
扩展:若矩阵A的每一个元素的幂序列都是最具线性周期性的,那么矩阵A就是最具线性周期性的,lper(A)=lcm{lper()},
lfac(A)=lfac(), ldef(A*)=max{ldef()}
下面给出不可约的矩阵的lper,lfac的计算方法:
lfac(A)=Q, , lper(A)=
举例:
矩阵A对应右图,g(A)是强连通的,图A中有三个环(1,1),(1,4,2,3,1),(2,5,3,2),他们的环平均值均为0.1,而且图A中没有比这个平均值更大环,所以可得:
=0.1
={{1}
{1,4},{1,3},{1,4,2},{1,3,2},{1,3,5},
{1,4,2,3},{1,4,2,3,5},{3},{3,1},{3,1,4},...} ,
hper({1,1})=1, hper({1,4,2,3,1})=1, hper({2,5,3,2})=1
hper(A)=gcd{1,2,3}=1
lfac(A)=0.1, lper(A)=1?
almost generally periodic: 如果存在r p和向量Q(i),使得,那么序列是almost generally periodic,那么:
最小的r是general defact,记为gdef();
最小的p是general period,记为gper();
Q为general factor,记为gfac().
扩展: 如果矩阵A中的每一个元素的幂序列都是almost generally periodic的,那么这个矩阵就是almost generally periodic的,那么: 为generally factor matrix
为general defact
为general period