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中完成。