排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
X3SAT最大海明距离问题是指对于一个X3SAT问题实例,寻找该问题的任意两组可满足赋值之间的最大海明距离。提出了一个基于DPLL的精确算法HMX来求解X3SAT最大海明距离问题,根据公式中某个变量在两组真值赋值中的不同取值进行分支。给出了多种化简规则,这些规则很好地提高了算法的时间效率。证明了该算法可以将X3SAT最大海明距离问题的最小上界由目前最好的O(1.7107n)缩小到O(1.6760n),其中n为公式中变量的数目。 相似文献
2.
傅琳璐 《中国信息技术教育》2021,(8):47-49
对分查找算法作为程序设计中的经典算法之一,是一种高效的查找方法。纵观浙江省2015—2020年的信息技术选考试题,可发现对分查找算法是每年选考试题中的必考内容。从最开始简单的查找区间计算,到算法思想应用……再到今年的对分查找变形程序分析,试题考查内容的角度在变,难度也在逐步增大。 相似文献
3.
1