计算理论导引第二版，书中的关于天窗函数、难解性（相对化 (relativization) 方法）等内容(Computational theory guide second edition, in the book about skylight function, difficult to compare (relativization) method and so on)