论文部分内容阅读
根据极小不可满足公式的特征,对于固定的3 ≤t＜k.我们给出了一个将k-CNF公式归约到t-CNF公式的有效算法.对于给定的k-CNF公式F,t-CNF公式的转换可以在公式F的长度的线性时间内完成.
一个从k-CNF到t-CNF归约的有效算法
【摘 要】
：
根据极小不可满足公式的特征,对于固定的3 ≤t＜k.我们给出了一个将k-CNF公式归约到t-CNF公式的有效算法.对于给定的k-CNF公式F,t-CNF公式的转换可以在公式F的长度的线性时间内
【机 构】
：
贵州大学计算机科学系
【出 处】
：
南京大学学报：数学半年刊
【发表日期】
：
2005年1期
【基金项目】
：
国家自然科学基金，the Foundation of Government of Guizhou Province，贵州省科学发展研究专项基金
其他文献
本文主要讨论用延拓法求解常微分方程周期边值问题.与不动点方法相比较,它使得迭代的收敛域得到有效扩大.
对于任意给定的一个黎曼流型（M，g），其正交标架丛F（M）上有一个自然的黎曼度量使得F（M）上的典型向量场是测地的．由此，F（M）上的拉普拉斯算子和欧氏空间中的有相同的型式．此文利用F（M）上的拉普拉
对给定的黎曼流形（M，g），此文在其标架丛F（M）上引入可以在纤维方向伸缩的度量，并研究其Levi—Civita联络和对应的曲率。本文证明了F（M）上的典型标架场是测地向量场．在M是齐性空间时，F（M）也
本文证明了卷积算子在点态意义下收敛的一个定理,这个定理的条件比已有的卷积定理的条件要弱,同时也给出了已有的卷积定理新的证明方法.