Strong cocomparability graphs are the reflexive graphs whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the submatrix with rows $01, 10$. Strong cocomparability graphs form a subclass of cocomparability graphs (i.e., the complements of comparability graphs) and can be recognized in polynomial time. In his seminal paper, Gallai characterized cocomparability graphs in terms of a forbidden structure called asteroids. Gallai proved that cocomparability graphs are precisely those reflexive graphs which do not contain asteroids. In this paper, we give a characterization of strong cocomparability graphs which is analogous to Gallai's characterization for cocomparability graphs. We prove that strong cocomparability graphs are precisely those reflexive graphs which do not contain weak edge-asteroids (a weaker version of asteroids). Our characterization also leads to a polynomial time recognition algorithm for strong cocomparability graphs.
翻译:强半可比图是指其邻接矩阵可以通过同时行和列置换来避免包含行$01$和$10$的子矩阵的自反图。强半可比图是半可比图(即可比图的补图)的子类,并且可以在多项式时间内识别。在他的开创性论文中,Gallai通过被称为小行星的禁止结构来描述半可比图。Gallai证明了半可比图恰好是那些不包含小行星的自反图。在本文中,我们给出强半可比图的一种特征,类似于Gallai对半可比图的特征。我们证明了强半可比图恰好是不包含弱边小行星(小行星的较弱版)的自反图。我们的特征也导致了一种强半可比图的多项式时间识别算法。