切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一个从k-CNF到t-CNF归约的有效算法
一个从k-CNF到t-CNF归约的有效算法
来源 :南京大学学报:数学半年刊 | 被引量 : 0次 | 上传用户:bitao6633620
【摘 要】
:
根据极小不可满足公式的特征,对于固定的3 ≤t<k.我们给出了一个将k-CNF公式归约到t-CNF公式的有效算法.对于给定的k-CNF公式F,t-CNF公式的转换可以在公式F的长度的线性时间内
【作 者】
:
王健
许道云
【机 构】
:
贵州大学计算机科学系
【出 处】
:
南京大学学报:数学半年刊
【发表日期】
:
2005年1期
【关键词】
:
极小不可满足公式
归约
算法
【基金项目】
:
国家自然科学基金,the Foundation of Government of Guizhou Province,贵州省科学发展研究专项基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据极小不可满足公式的特征,对于固定的3 ≤t<k.我们给出了一个将k-CNF公式归约到t-CNF公式的有效算法.对于给定的k-CNF公式F,t-CNF公式的转换可以在公式F的长度的线性时间内完成.
其他文献
强化思想政治工作 促进企业经济发展
博尔塔拉蒙古自治州昊鑫针织有限责任公司始建于1986年,是由蒙、汉、维、哈、回等五个民族职工组成的多民族社办企业。十多年来,公司党组织坚持“两手抓,两手都要硬”的方针,始终
期刊
企业思想政治工作
部门
自治区
企业经济发展
先进单位
有限责任公司
职工
党组织
民族团结
模范
从一起涉农案件谈依法规范农资经营管理
去年.某村25户农民向A市法院提起诉讼.诉B供销合作社销售劣质复合肥导致120亩大白菜绝收,要求赔偿经济损失25万元。当时多家报纸、电视台纷纷报道B供销合作社坑农害农事件.A市法
期刊
法院
案件
公正审判
赔偿经济
审理
起诉
依法规范
供销合作社
农资经营
销售
参与农业产业化经营 加快供销社经济发展
一、江苏供销社系统参与农业产业化经营的概况江苏省各级供销社把参与农业产业化经营作为深化供销社改革、加速推进“两个根本转变”的重要举措来抓,加大了工作力度,加强了组织
期刊
农业产业化经营
供销社
农副产品生产基地
农副产品批发市场
贸工农一体化经营
龙头企业
农副产品加工
专业合作社
经济发
商品生产基地
艰难之中的亮点——三仙湖供销社思想政治工作纪实
六月下旬,我们来到湖南南县三仙湖供销社了解企业稳定工作。主任陈春来的一番情况介绍,使我们看到艰难企业眼前的一个亮点:企业越艰难越要加强思想政治工作。
期刊
供销社
企业稳定工作
南县
湖南
主任
思想政治工作
亮点
情况
纪实
周期边值问题的延拓法求解
本文主要讨论用延拓法求解常微分方程周期边值问题.与不动点方法相比较,它使得迭代的收敛域得到有效扩大.
期刊
周期边值问题
不动点方法
延拓法
PBVP
fixed point method
continuation method
C^m的向量积商
向量积商是呈种一特殊的三元运算,它可将一维空间中的一些有理数值方法推广至高给空间中,本注记给出向量积商的几个性质,这些性质推广了[4]中的结果,利用这一运算,给出了在二阶常
期刊
向量积商
有理方法
刚性问题
二阶初值问题
正交标架丛上拉普拉斯算子的一些应用
对于任意给定的一个黎曼流型(M,g),其正交标架丛F(M)上有一个自然的黎曼度量使得F(M)上的典型向量场是测地的.由此,F(M)上的拉普拉斯算子和欧氏空间中的有相同的型式.此文利用F(M)上的拉普拉
期刊
标架丛
正交群O(n+1)
局部对称黎曼流形
拉普拉斯算子
特征值
子流形
frame bundle
orthogonal group O(n + 1)
l
一类新的齐性空间及O(n+1)上的Einstein度量
对给定的黎曼流形(M,g),此文在其标架丛F(M)上引入可以在纤维方向伸缩的度量,并研究其Levi—Civita联络和对应的曲率。本文证明了F(M)上的典型标架场是测地向量场.在M是齐性空间时,F(M)也
期刊
标架丛
EINSTEIN度量
齐性空间
正交群O(n+1)
frame bundle
Einstein manifold
homogeneous space
一个卷积算子的点态收敛的定理
本文证明了卷积算子在点态意义下收敛的一个定理,这个定理的条件比已有的卷积定理的条件要弱,同时也给出了已有的卷积定理新的证明方法.
期刊
卷积算子
强(p
p)型
弱(p
p)型
convolution operator
type of (p
p)
weak type of (p
p)
Gamma算子加权同时点态逼近
利用ω2rλψ(f,t)ωψs,我们讨论了Gamma算子线性组合带Jacobi-权的同时逼近,统一了有关ω2(f,t),ω2ψ(f,t)及ω2ψ(t,f)w的结果.
期刊
GAMMA算子
线性组合
Jacobi-权
逼近
光滑模
与本文相关的学术论文