单调布尔函数上一个矩阵结构的组合和算法特性
摘要：单调布尔函数领域中的一种矩阵结构在这里被定义。推导出了一些组合、代数和算法性质。基于这些性质，构建了三个算法。其中第一个算法按字典顺序生成所有具有n个变量的单调布尔函数。第二个算法确定未知的单调函数f的字典最小真（字典最大假）向量。该算法最多使用n个成员查询，并且其运行时间为Theta(n)。它为第三个算法提供服务，该算法仅使用成员查询来识别未知的n变量单调布尔函数f。实验结果表明，对于1≤n≤6，通过使用最多m.n个查询确定f，其中m是f的最小真和最大假向量集的综合大小。
作者：Valentin Bakoev
论文ID：1902.06110
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2019-02-19