Autark assignments of Horn CNFs
Autark assignments of Horn CNFs
复制标题
Horn CNF 的自给自足分配
DOI：
10.1007/s13160-017-0284-6
复制
发表时间：
2018
影响因子：
0.9
通讯作者：
Kei Kimura and Kazuhisa Makino
中科院分区：
文献类型：
--
作者：
M. Nishikawara;H. Nagano;and M. Prat;Kei Kimura and Kazuhisa Makino
本文考虑了Horn cnf的autark和线性autark赋值。我们首先研究了Horn神经网络的最大autark赋值，并设计了计算这些赋值的线性时间算法。这补充了Marek之前的工作，该工作揭示了Horn cnf的最小autark赋值的性质。然后，我们考虑Horn cnf的线性autark赋值，并给出这种赋值存在的组合表征。利用这一特性，我们设计了一种线性时间算法来寻找Horn CNFs的线性autark分配。
In this paper, we consider autark and linear autark assignments of Horn CNFs. We first study maximal autark assignments of Horn CNFs and devise a linear time algorithm of computing these assignments. This complements the previous work by Marek which reveals the properties of minimal autark assignments of Horn CNFs. We then consider linear autark assignments of Horn CNFs and give a combinatorial characterization of the existence of such an assignment. By making use of this characterization, we devise a linear time algorithm of finding linear autark assignments of Horn CNFs.
登录
查看更多内容
Horn 及相关公式的所有有效含义的多项式时间推理
影响因子：
1.2
作者：
E. Boros;Y. Crama;P. Hammer
通讯作者：
P. Hammer
逻辑推理的优化方法：Chandru/Optimization
DOI：
10.1002/9781118033166
发表时间：
1999
期刊：
--
影响因子：
--
作者：
V. Chandru;J. Hooker
通讯作者：
J. Hooker
用少于 2n 步解决可满足性问题
影响因子：
1.1
作者：
B. Monien;Ewald Speckenmeyer
通讯作者：
Ewald Speckenmeyer
DOI：
10.1017/cbo9780511780448.008
发表时间：
2010
期刊：
--
影响因子：
--
作者：
J. Hooker;Y. Crama;P. Hammer
通讯作者：
P. Hammer
关于可满足性问题的一些易于处理的案例的简短说明
DOI：
10.1006/inco.2000.2867
发表时间：
2000
期刊：
Inf. Comput.
影响因子：
--
作者：
H. Maaren
通讯作者：
H. Maaren