【摘 要】
：
(k,s)-SAT是命题满足性问题限制在一种特殊的命题公式上, 该命题公式具有每个子句只有k个不同的文字且每个变元出现的次数少于s次的特点.已经验明对于正整数k,s存在一个指数
【基金项目】
：
贵州省高层次人才基金，贵州省自然科学基金
论文部分内容阅读
(k,s)-SAT是命题满足性问题限制在一种特殊的命题公式上, 该命题公式具有每个子句只有k个不同的文字且每个变元出现的次数少于s次的特点.已经验明对于正整数k,s存在一个指数函数f, 满足:对任意s≤f(k), 所有的(k,s)-SAT例都是可满足的, 而(k,f(k)+1)-SAT却是一个NP-完全问题.目前为止, 只知道f(3)和f(4)的精确值.对于f是否可计算是一个仍未解决的问题.由于每个满足某种条件的数值序列对应一个MU(1)中的公式, 在[2]中, 作者S. Horry和S. Seizder
其他文献
介绍了岔口河特大桥连续梁现浇支架的地基处理技术,以及现浇支架全部的设计计算过程,采用大型通用有限元软件ANSYS对重点部位进行了数值模拟,并详细阐述了岔口河特大桥连续梁
作用机制的研究对于开发新型害虫防治药剂是非常重要的.本文综述了一系列具有新颖作用机制的新型杀虫剂,包括神经毒性杀虫剂、昆虫生长调节剂、几丁质合成抑制剂以及作用于氧
结合赤通高速公路教来河大桥工程实例，简要介绍DJ40步履式单导梁架桥机的技术特点和工作原理，工艺方法和施工要点，以及在公路桥上架设箱梁的方法及其效果。
《君朱壶》不愧为一件形、气、神俱佳的紫砂壶,笔者的技艺出神入化般地运转在壶上,流露出超脱的意境与丰厚的内涵。两节竹枝作壶流,蓄势而出,引流向上,出水流畅如一泻千里。
制备了固体超强酸SO4^2-／TiO2，并将其用于催化L-乳酸与四氢糠醇的酯化反应。通过气相色谱跟踪反应，确定最佳反应条件为：硫酸浸泡浓度为1．0mol／L，固体超强酸SO4^2-／TiO2焙烧温度为450
近年来,随着安徽省美好乡村建设的不断深入,为改善农村生态环境,提高农村综合生产能力,农村绿化景观设计越来越受到重视。本文通过对皖北地区美好乡村的绿化现状进行较为系统
四川雅砻江卡拉至杨房沟水电站交通专用公路洪水沟大桥由于地形限制，在桥墩施工时，施工便道无法修至各桥墩处。要在比桥墩承台高96 m的0#桥台附近开挖施工平台，安装混凝土拌和设
本文报道了2-氯-3-氨基-4-甲基吡啶的液相色谱分析方法。选用PROOIGY—ODS(3)为固定相，甲醇-水(70：30)为流动相。样品的变异系数为2．81％，平均回收率为97．61％，标准偏差小于0．29，线性相关
通过对山区铁路客运专线梁场整体布局的不断优化，现场采用填挖平衡、增设运梁通道、阶梯式布置、扩底桩基础、变轨区存梁等方式，大大减少建场土石方量的开挖回填、节约土地占用
引入磁头臂转动角度变量,建立音圈马达驱动器的时变线性系统模型,利用Lyapunov稳定性理论及线性矩阵不等式凸优化技术,通过设计状态观测器和反馈控制器,解决了该系统的跟踪控