多项式归约相关论文
研究了交换机中周期流量的优化调度问题,着重讨论了该问题的复杂性。依据呼损率定义了交换机周期流量调度的最优化问题,并对其子问......
多项式时间有界的可行计算是当今计算机科学方面重要的研究课题之一。该文介绍了强有力的有穷损害优先方法及其在可行计算中的应用......
合取范式(CNF)公式F是极小不可满足的,如果F不可满足,并且从F中删去任意一个子句后得到的公式可满足,(r,s)-CNF是限制CNF公式中每个子......
针对Hamming距离下的最短路逆问题,分析了最优解的性质,给出并证明了问题存在可行解的充分必要条件;利用把背包问题的实例多项式归约......