论文部分内容阅读
一般说来，寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径：证明满足一定结构性质的对象的概率大于零。在概率方法中，局部引理是一个关键技术。本文介绍了局部引理的基本原理和使用方法，并将其应用到估计（r，s）-SAT问题中临界函数的下界。
局部引理及其在（r，s）-SAT问题中的应用
【摘 要】
：
一般说来，寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径：证明满足一定结构性质的对象的概率大于零。在概率方法中，局部引理是一个关键技术。本文
【机 构】
：
贵州大学计算机科学系,广西师范学院数学与计算机科学系
【出 处】
：
计算机工程与科学
【发表日期】
：
2008年11期
【基金项目】
：
贵州省高层次人才科研条件特助基金资助项目（TZJF-2007-23）
其他文献
收缩背包问题是标准背包问题的一个扩展，其中背包的容量为所装物品数量的非增函数。本文提出了基于分子生物技术的求解收缩背包问题的DNA算法，首先将其约束条件进行分解；然后设
分布式文件系统一般使用分布式锁管理器技术为系统中的共享资源提供协同访问和一致性视图,并且保证数据并发访问的安全性,避免潜在的数据破坏的危险。本文首先分析了分布式文件系统Lustre分布式锁管理器的基本原理和实现,并针时发生冲突时锁请求的延迟存在的问题提出了改进的方案,它不仅提高了I/O性能,降低访问延迟,而且提高了文件锁服务的可靠性。
众所周知,改革不是对原有经济体制的细枝末节的修补,而是根本性变革。经济改革的实质是经济利益的调整和重新分割。改革措施的力度越大,意味着对既有的利益关系和权力格局触
发展趋势：日益完善的招生方式 1.？自主招生比例不断扩大 所谓自主招生比例不断扩大，可以分两个方面来看。第一，拥有自主招生资格的学校不断扩大，从2003年的22所到2013年的90所，可以说，自主招生资格的高校基本涵盖了全国的顶尖高校；第二，各高校的自主招生比例不断扩大，从2003年的5%到目前的限制放宽。据有关资料显示，取得自主招生资格的考生几年间翻了9倍多，更多的考生将通过自主招生的大门跨
金秋的北京,风和日丽,秋高气爽。1995年11月7日至9日,来自全国38个省、自治区、直辖市、计划单列市供销合作社主管科技工业的副主任、处长,中华全国供销合作总社各部(局)、直
本文通过分析计算机软件技术基础课程教学中存在的一些问题,提出了相应的解决办法,对于加强和改进计算机软件技术基础课程教学工作具有一定的意义.
本文深入分析了Linux 2.6的新技术--基于对象的逆向映射Objrmap的基本原理,探讨了区分实时进程页的置换策略的可能性,并提出了基于区分实时进程页的页面置换算法,增强了Linux
计划与市场配置资源,谁优谁劣,这是一个国际性的大课题,也是一个世纪性的大难题。从本世纪初到本世纪行将结束,分歧与争议从未停止。20世纪上半叶是“计划世纪”,下半叶为“
本文针对基于网络处理器体系结构的IP路由器中流量控制技术进行研究，讨论并比较了基于速率和基于信用两种流控方式的优缺点，认为在路由器内部适于采用基于信用的流量控制机制。