几乎所有的图都含不动边

我们考虑简单图,并使用文献[1]中的术语和记号.设G=(V(G),E(G))是一个图,e∈E(G)是G的一条边,如果对G—e的任意满足G—e+e’(?)G的加边e’,都有e’=e,则称e为G的不动边.如果对满足G—e+e’(?)G的加边e’,都存在G—e自同构映射将e的两个端点分别映到e’的两个端点,则称e为同构不动边.由此定义可知,当e是不动边时,它也是同构不动边.不动边的概念来源于图的边重构猜想.Sheehan首先提出不动子图的概念,并用之研究了边重构猜想.当不动子图仅为一条边时,即为不动边.文献[3]中的强迫边(forced edge)也是不动边.反之,一个边可重构图中的不动边也必是强迫边.这样。