【摘 要】
：
For fixed positive integers k and s,a(k; s)-CNF-formula means that every clause has exactly k literals and each variable occurs at most s clauses in the for
论文部分内容阅读
For fixed positive integers k and s,a(k; s)-CNF-formula means that every clause has exactly k literals and each variable occurs at most s clauses in the formula.It is shown that for k ≥ 3 there is some integer s = f(k)such that(1)all formulas in(k; s)-CNF are satisfiable;(2)(k,s + 1)-SAT problem is already NP-complete.
其他文献
近年来，由于一些人为活动的影响(采矿、冶炼、污泥农用、施肥、杀虫剂、木材防腐剂的施用和富砷地下水和地表污水的灌溉等)加速了附近稻田的砷在土壤中的累积。日益严重的
砷(Arsenic,As)是一种被世界卫生组织(WHO)和美国环保局(EPA)定为常见的环境毒物和人类致癌物,对生物体具有强烈的毒害作用.As污染在全世界(尤其在东南亚)已成为一个严峻
缘于民俗类非物质文化遗产的活态形态特征、田野作业的主导方式、图像化趋势的阅读语境,以及文化保护的国际交流与合作等多方面原因,民俗摄影在当今非物质文化遗产保护中的意
时序逻辑通常是命题逻辑或谓词逻辑的扩展。时序逻辑的一种重要用途是行为模型的规格说明。时序逻辑的语义决定了一个模型是否满足给定的时序逻辑公式。验证行为模型是否
在野外调查的基础上,以陕西关中盆地典型工业城市西安、宝鸡、渭南和铜川为研究区域,采集城市土壤与灰尘样品263个,以城市儿童环境铅暴露为研究核心,根据四个典型城市土
三氯生(TCS)和纳米二氧化钛(nTiO2)在防晒化妆品、涂料等领域广泛共同使用,由于其不可降解性及高蓄积性,导致环境生物和人体健康受到严重威胁.然而,现有研究大多停留在TC
有机小分子催化剂目前广泛应用于各类催化反应,已成为研究热点。设计出高效、高活性和适用于工业化生产的新型有机小分子催化剂是科研工作者努力追求的目标。在诸多的有机小分子催化反应中,Rauhut-Currier (RC)反应是一种重要的碳-碳键构成反应,该反应可以构建多个手性中心的多环化合物,原子经济性高,并且产物拥有能够进一步转化的官能团,符合现代绿色化学化工要求,RC反应的产物已经应用于精细化工生产
采用低温燃烧法制备纳米Bi2WO6,并表征了其晶体结构、形貌特征及紫外漫反射谱,同时以染料罗丹明B(RhB)为目标污染物,考察了制备材料Bi(NO3)3和C2H5NO2比例(6：10、6：6 和6：3)
迄今为止，用于拼黑的红黄兰三原色结构设计没有系统的理论指导。超分子化学已自觉或不自觉地在染料的生产得到了应用，但还没有提高到一门学问的高度系统研究。染料学术界对反映染料性能的十大参数也已开始给予关注，但至今尚未用来指导染料分子的设计。进行黑色活性染料用组分染料的设计，应该以超分子化学理论和补色原理为指导，参考染料的十大参数，设计组分染料的结构。 通过对活性黑G2RC的性能测定，从分子结构角度
各向异性的金属纳米颗粒特别是金纳米棒(Gold nanorods,AuNRs)由于其特殊的光学性质引起了人们的关注。本论文主要通过种子生长法制备AuNRs,然后以AuNR为核生长银壳,制备AuNR@Ag核壳纳米结构,研究了热敏聚合物修饰的核壳结构在催化、拉曼增强等方面的应用,研究了这种金属核壳结构掺杂的复合硅橡胶材料的光学性质。主要研究内容和结论如下:(1)利用种子生长法合成AuNRs,主要研究抗