NP完全性理論與近似算法

一、圖靈機 根據有限狀態控制器的當前狀態及每個讀寫頭讀到的帶符號，圖靈機的一個計算步可實現下面3個操作之一或全部。 （1）改變有限狀態控制器中的狀態。 （2）清除當前讀寫頭下的方格中原有帶符號並寫上新的帶符號。 （3）獨立地將任何一個或所有讀寫頭，向左移動一個方格(L)或向右移動一個方格(R)或停在當前單元不動(S)。 k帶圖靈機可形式化地描述爲一個7元組(Q，T，I，δ，b，q0，qf)，其中:

>>阅读原文<<