Efficient dualization of O(log n)-term monotone disjunctive normal forms
Efficient dualization of O(log n)-term monotone disjunctive normal forms
复制标题
O(log n) 项单调析取范式的高效对偶
DOI：
10.1016/s0166-218x(02)00204-4
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
K. Makino
中科院分区：
文献类型：
--
作者：
K. Makino
本文证明了O （log n）项单调析取范式(DNFs) φ可以在增量多项式时间内对偶化，其中n为φ中的变量数。这改进了k项单调dnf可以在多项式时间内对偶的平凡结果，其中k有某个常数的边界。
This paper shows that O ( log n) -term monotone disjunctive normal forms (DNFs) ϕ can be dualized in incremental polynomial time, where n is the number of variables in ϕ. This improves upon the trivial result that k-term monotone DNFs can be dualized in polynomial time, where k is bounded by some constant.
单调对偶化及相关主题
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
112.Yuta Halvorson;Naoki Hasimoto;Kazuhisa Makino
通讯作者：
Kazuhisa Makino
T. Ibaraki：“圈子理论：分布式系统中的互斥”
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
通讯作者：
--