书目详细信息 : 计算机和难解性NP完全性理论导引