摘要
布尔最近邻 (BNN) 表示是 Hajnal、Liu 和 Turan 最近提出的布尔函数的一种表示形式。$f$ 的 BNN 表示是一个包含布尔向量集 (称为正原型和负原型) 的对 $(P,N)$,其中 $f(x)=1$ 对于所有正原型 $x \in P$,$f(x)=0$ 对于所有负原型 $x \in N$,而 $f(x)$ 的值对于 $x \not\in P \cup N$ 由最近原型的类型决定。本文的主要目的是确定 BNN 语言在知识编译图 (KCM) 中的位置。为此,我们推导出了一些结果,这些结果比较了 BNN 语言的简洁性与 KCM 中几种标准语言的简洁性,并确定了大多数标准查询和 BNN 输入转换的复杂性状态。