排序方式: 共有43条查询结果,搜索用时 109 毫秒
41.
针对关于SAT问题物理模型的一个猜想,得到了该猜想成立的必要条件.然后构造出反例,说明该猜想是不成立的.同时指出,考虑到"算法吸引区"的存在,这并不降低应用该物理模型求解SAT问题的良好的现实效果. 相似文献
42.
黄文奇 《华中理工大学学报》1995,23(3):1-3
为CNF-SAT问题的求解提出了常微分方程方法,在C猜想的假设下证明了此方法为高效率的概率算法,在Sun Sparc 2 Workstation上的计算实验说明,当变元个数增大时本算法比经典离散型的Davis-Putnam算法要快多个数量级。 相似文献
43.
对分布式内存机器中相互依赖多任务的优化调度问题,将约束条件归纳为任务约束、链路约束和资源约束,建立了允许任务复制情况下多任务静态调度问题的数学模型.描述了有向无回路图的构造性定义,指出问题一定有不超过所有任务执行时间总和的解.推出以最短时间完成任务集所需的最小资源数与任务数一样大.阐明了问题具有可计算性.研究结果改进了原有的问题描述和数学模型,使对问题的认识更深入,并有利于寻求更好的求解策略. 相似文献