| 一个极小不可满足公式子类的等价结构 |
| |
| 引用本文： | 许道云.一个极小不可满足公式子类的等价结构[J].贵州大学学报(自然科学版),2001,18(2):79-89,102. |
| |
| 作者姓名： | 许道云 |
| |
| 作者单位： | 贵州大学计算机科学系, |
| |
| 基金项目： | Project supported by the
natural by the natural science foundation of Guizhou University |
| |
| 摘 要： | 研究一个极小不可满足公式子类（MAX（1）的等价结构，考虑了MAX（1）上的变元改名问题和文字改名问题。此两个问题均可在O（nlog2(n))时间内可解。
|
| 关 键 词： | 极小不可满足公式 变元改名 等价结构 文字改名 MAX（1） O时间 |
| 文章编号： | 1000-5269(2001)02-0079-12 |
Equivalence Structure of a Subclass of Minimal Unsatisfiable Formulas |
| |
| Xu Daoyun.Equivalence Structure of a Subclass of Minimal Unsatisfiable Formulas[J].Journal of Guizhou University(Natural Science),2001,18(2):79-89,102. |
| |
| Authors: | Xu Daoyun |
| |
| Abstract: | the equivalence structure of a subclass (MAX(1)) of minimal unsatisfiable formulas is investigated.The var renaming and the lit_renaming problems over MAX(1)is considered,both are solvable in O(n 2) time. |
| |
| Keywords: | minimal unsatisfiable formula renaming equivalence structure |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
