排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
曾克和 《西南交通大学学报》1992,(3):60-66
本文定义了在多项式时间界下不确定图灵纯正多项式归约(记为≤_T~(n p h))的概念,讨论了≤_T~(n p h)极小集的性质、≤_T~(n p h)极小集与≤_T~(p h)极小集的关系。据此,对Homer-Spies猜测提供了一个解答:P=NP当且仅当存在一个集合A,既是≤_T~(p h)极小集,又是≤_T~(n p h)极小集,且deg_T~(p h)(A)=deg_T~(n p h)(A)。 相似文献
2.
3.
基于约束的图形参数化方法研究 总被引:1,自引:0,他引:1
推出了一套几何约束求解的方法。该方法基于对工程图形的理解,能自动识别图形的尺寸约束和几何拓扑约束,并建立起以节点为核心的内何约束模型和几何束图;然后通过归约算法进行几何推理,实现参数化设计,大大提高了求解效率。 相似文献
4.
以空车总走行里程最小为目标,在空车流量不超过路段通过能力和车站通过能力双约束条件下,建立相应的空车调配模型。在空车走行总里程不变的前提下,归约双约束空车调配模型为最小费用最大流算法可解决的模型。 相似文献
1