×
埃尔玛·伯勒;纳迪亚·克里诺;马提亚斯·加洛塔;雷思，斯特芬;海宁·施诺尔;赫里贝特·沃尔默

布尔电路的不同等价性和审计问题的复杂性分类。 （英语） Zbl 1248.94130号

日志。方法计算。科学。 8，第3号，第31号论文，25页（2012年）.
摘要：我们研究布尔电路作为布尔函数的表示，并考虑不同的等价性、审计和枚举问题。对于许多门类型（基）的限制集，我们获得了有效的算法，而对于所有其他门类型，我们表明这些问题至少是NP-hard。

引用于三文件

MSC公司：

94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析

关键词：

布尔电路;复杂性分类;同构
PDF格式BibTeX公司 XML格式引用
\textit｛E.Böhler｝等人，日志。方法计算。科学。8，第3号，第31号论文，25页（2012；Zbl 1248.94130）
全文： 内政部 arXiv公司