代寸宽
- 作品数：4 被引量：5H指数：1
- 供职机构：贵州大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 严格随机正则(3,s)-SAT模型及其相变现象被引量：5
- 2016年
- 研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则(3,s)-SAT问题,并给出了该问题的实例产生模型——SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则(3,s)-SAT问题相变点的上界,即当变元规模N较大且变元出现次数s>11时,严格随机正则(3,s)-SAT实例是高概率不可满足的。实验结果表明:由SRR模型所生成的随机实例中,当N>60且s>11时,所有的(3,s)-SAT实例均是不可满足的,而当N>150且s<11时,所有的(3,s)-SAT实例均是可满足的,即严格随机正则(3,s)-SAT实例的相变点位于s=11处,且在s=11处(子句变元比为11/3)的严格随机正则(3,s)-SAT实例,比在相变点(子句变元比)4.267处同规模的均匀随机3-SAT实例更难求解,因此,SRR模型可以很方便地在s=11处构造难解的随机3-SAT实例。
- 周锦程许道云卢友军代寸宽
- 关键词：相变性质生成函数
- P2P网络平台JXTA的应用研究
- 对等网络技术/(P2P/)作为一种新兴的技术，近些年来得到快速的发展。P2P中的每个节点既是资源的提供者，又是资源的获取者。与传统的模式相比，具有无可比拟的非中心化、可扩展性强、健壮性、高性能／价格比、安全性高等优势。同...
- 代寸宽
- 关键词：P2PJXTAJMS分布式工作流
- 文献传递
- P2P系统的存储和索引框架
- 2009年
- 该文介绍一个模块化的存储和索引框架,它清晰地划分P2P系统的功能部件,能按照不同Internet应用的特定需要编制P2P的基础结构。
- 代寸宽
- 关键词：P2P
- Collatz二进制序列的算法与停时
- 2015年
- 给定一个大于1的正整数n,它的下一个数由n的奇偶性决定。如果n是偶数,则下一个数为n/2,否则为3n+1。重复这样的运算,直到得到1为止。科拉茨(Collatz)猜想:对于任意给定的正整数n,经过有限步后,一定可以得到1。本文给出一个Collatz序列的Collatz-Binary算法,将Collatz序列的计算简化到只计算奇数情形,引入一个新的停时概念,并研究Collatz序列相关性质,给有限终止分析提供一种新的途径。
- 许道云代寸宽
- 关键词：停时
