当前位置:
X-MOL 学术
›
arXiv.cs.CC
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
The Complexity of the Homomorphism Problem for Boolean structures
arXiv - CS - Computational Complexity Pub Date : 2020-10-10 , DOI: arxiv-2010.04958 Libor Barto and William DeMeo and Antoine Mottet
arXiv - CS - Computational Complexity Pub Date : 2020-10-10 , DOI: arxiv-2010.04958 Libor Barto and William DeMeo and Antoine Mottet
We show that for a fixed Boolean structure $\mathscr B$ of arbitrary finite
signature---i.e., not necessarily purely relational---the problem of deciding
whether there exists a homomorphism to $\mathscr B$ is either in P or
NP-complete.
中文翻译:
布尔结构同态问题的复杂性
我们表明,对于任意有限签名的固定布尔结构 $\mathscr B$---即不一定是纯关系的---决定是否存在 $\mathscr B$ 同态的问题是在 P 或 NP 中-完全的。
更新日期:2020-10-13
中文翻译:
布尔结构同态问题的复杂性
我们表明,对于任意有限签名的固定布尔结构 $\mathscr B$---即不一定是纯关系的---决定是否存在 $\mathscr B$ 同态的问题是在 P 或 NP 中-完全的。