强余可比图的一类类Gallai刻画

强余可比图是指其邻接矩阵可通过同步的行与列置换来避免具有行 $01, 10$ 的子矩阵的反射图。强余可比图构成余可比图（即可比图的补图）的一个子类，并且可在多项式时间内被识别。在其开创性论文中，Gallai 用一种称为小行星（asteroids）的禁用结构刻画了余可比图。Gallai 证明了余可比图恰好是不含小行星的反射图。在本文中，我们给出了强余可比图的一个刻画，它类似于 Gallai 对余可比图的刻画。我们证明了强余可比图恰好是不含弱边小行星（asteroids 的一个较弱版本）的反射图。我们的刻画还导出了一种用于识别强余可比图的多项式时间算法。