题名	责任者	出版社	索书号
计算机复杂性导论	堵丁柱,葛可一著	高等教育出版社	TP301.5/414
可计算性与计算复杂性导引-2版	张立昂编	北京大学出版社	TP301.5/106