【摘 要】
：
研究k-SAT问题实例中每个变元恰好出现r=2s次,且每个变元对应的正、负文字都出现s次的严格随机正则（k,r）-SAT问题.通过构造一个特殊的独立随机实验,结合一阶矩方法,给出了严格
【机 构】
：
贵州大学计算机科学与技术学院,黔南民族师范学院数学与统计学院
【基金项目】
：
国家自然科学基金（61262006,61463044,61462001）, 贵州省科技厅联合基金（LKQS201313）
论文部分内容阅读
研究k-SAT问题实例中每个变元恰好出现r=2s次,且每个变元对应的正、负文字都出现s次的严格随机正则（k,r）-SAT问题.通过构造一个特殊的独立随机实验,结合一阶矩方法,给出了严格随机正则（k,r）-SAT问题可满足临界值的上界.由于严格正则情形与正则情形的可满足临界值近似相等,因此得到了随机正则（k,r）-SAT问题可满足临界值的新上界.该上界不仅小于当前已有的随机正则（k,r）-SAT问题的可满足临界值上界,而且还小于一般的随机k-SAT问题的可满足临界值.因此,这也从理论上解释了在相变点处的随机
其他文献
相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.
在山岭重丘区修建高等级公路过程中，对具有潜在滑动面的不稳定岩质高边坡，通常采取预应力锚索和锚杆加固整治．以降低工程造价、缩短工期。结合某高速公路桥隧连接段桥基处层状岩
目的本研究旨在探讨非小细胞肺癌(non-small cell lung cancer,NSCLC)中p44/WDR77表达状况及其与临床病理分化、肿瘤TNM分期及患者预后之间的关系。方法采用免疫组化EnVinsio
1.66dtex腈纶纤维纤密度小，不易牵伸、梳理，加工产品较困难。通过改进生产工艺及加强设备维护，开发出了满足用户需求的1.66dtex膨体腈纶毛条产品。
稠油在多孔介质中渗流偏离达西定律,具有启动压力梯度,只有当驱动压力梯度超过启动压力梯度时稠油才开始流动。基于室内物理模拟实验结果,得到了启动压力梯度与流度的关系式;
稀疏表示因其所具有的鲁棒性,在模式分类领域逐渐得到关注.研究了一种基于稀疏保留模型的新颖领域适应学习方法,并提出一种鲁棒的稀疏标签传播领域适应学习(sparse label propagation domain adaptation learning,简称SLPDAL)算法.SLPDAL通过将目标领域数据进行稀疏重构,以实现源领域数据标签向目标领域平滑传播.具体来讲,SLPDAL算法分为3步:首先
目的比较甲磺酸瑞波西汀和盐酸氟西汀治疗首发抑郁症的疗效和安全性。方法采用随机对照研究,将54例首发抑郁症患者随机分为瑞波西汀组27例和氟西汀组27例,治疗6周。用汉密尔
目的探讨健康管理对企业健康高危员工的干预效果。方法通过健康管理平台和Fitpod康动TM运动能耗监测仪,针对存在健康高风险人群进行健康干预。结果对兰州石化公司超重/肥胖10
“云物移大智”所代表的新兴信息技术，正在改变甚至颠覆社会组织的（传统）经营运作方式．全球化、虚拟化、网络化组织（包括企业）的业务过程管理变得日益复杂，给业务过程的柔性建模、高