归约法相关论文
研究带准备时间和相同延迟时间的自由作业问题,利用归约法证明该问题在通常意义下是NP-困难的.提出解决这个问题的一种简单的启发......
可计算性理论是当今计算机科学中研究的热点和难点问题之一。本文先介绍了不可数性和停机问题等重要概念。用反证法证明了停机问题......
