The CSP dichotomy conjecture has been recently established, but a number of other dichotomy questions remain open, including the dichotomy classification of list homomorphism problems for signed graphs. Signed graphs arise naturally in many contexts, including for instance nowhere-zero flows for graphs embedded in non-orientable surfaces. For a fixed signed graph $\widehat{H}$, the list homomorphism problem asks whether an input signed graph $\widehat{G}$ with lists $L(v) \subseteq V(\widehat{H}), v \in V(\widehat{G}),$ admits a homomorphism $f$ to $\widehat{H}$ with all $f(v) \in L(v), v \in V(\widehat{G})$. Usually, a dichotomy classification is easier to obtain for list homomorphisms than for homomorphisms, but in the context of signed graphs a structural classification of the complexity of list homomorphism problems has not even been conjectured, even though the classification of the complexity of homomorphism problems is known. Kim and Siggers have conjectured a structural classification in the special case of "weakly balanced" signed graphs. We confirm their conjecture for reflexive and irreflexive signed graphs; this generalizes previous results on weakly balanced signed trees, and weakly balanced separable signed graphs. In the reflexive case, the result was first presented in a paper of Kim and Siggers, where the proof relies on a result in this paper. The irreflexive result is new, and its proof depends on first deriving a theorem on extensions of min orderings of (unsigned) bipartite graphs, which is interesting on its own.
翻译:CSP 的二分法猜想最近才刚刚建立,但其他一些二分法问题仍未解决,包括签名图形的列表同质性问题的二分法分类。 签名图形在很多情况下自然出现, 例如, 嵌入非可调整表面的图形无处- 零流。 对于固定签名的图形 $\ bloyhat{H}$, 列表同质性问题询问, 是否有一个输入签名的图形 $\ bloyhat{G}$ 与列表 $L( v)\ subseteq V( bloyhat{H}), v v (\ bloyhat{G}) ), v v (v) V (widehat{G}) ), vrationaldgroupformorms 。 在签名的图解算中, 已经签名的金正反正反正反正反正的金正反正反正反正反正反正反正反正反正, 在所签的图中, 我们所签的正正正正反正的图结果是已知的。