| 在最坏情况下Horn集上的单元反驳长度 |
| |
| 引用本文： | 李大法.在最坏情况下Horn集上的单元反驳长度[J].清华大学学报(自然科学版),1986(5). |
| |
| 作者姓名： | 李大法 |
| |
| 作者单位： | 应用数学系 |
| |
| 摘 要： | １９７４年Ｃｏｏｋ和Ｒｅｃｋｂｏｗ讨论了命题演算中的证明长度。本文作者曾讨论了最好情况下基本Ｈｏｒｎ集上的单元反驳与输入反驳长度及最坏情况下基本Ｈｏｒｎ集上的输入反驳长度。本文讨论了在最坏情况下基本Ｈｏｒｎ集上的单元反驳长度上界．这一上界对某些Ｈｏｒｎ集来说是可达到的．
|
| 关 键 词： | Norn集 单元反驳 |
The Lengths of Unit Refutations for Horn Sets in the Worst Case |
| |
| Li Dafa.The Lengths of Unit Refutations for Horn Sets in the Worst Case[J].Journal of Tsinghua University(Science and Technology),1986(5). |
| |
| Authors: | Li Dafa |
| |
| Institution: | Department of Applied Mathematics |
| |
| Abstract: | Cook and Reckhow discussed the lengths of proofs in the propositional calculus in 1974. The lengths of unit refutations and input refutations in the best case and the lengths of input refutations in the worst case from ground Horn sets are discussed by the author. The lengths of unit refutations from Horn sets in the worst case are discussed. |
| |
| Keywords: | Horn sets unit refutations |
| 本文献已被 CNKI 等数据库收录！ |
