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 中-完全的。