【题 名】: On inefficient proofs of existence and complexity classes
【作 者】: C. Papdimitriou
【期刊、会议、单位名称】:Annals of Discrete Mathematics
【年, 卷(期), 起止页码】:Volume 51, 1992, Pages 245-250
【全文链接】:http://www.sciencedirect.com/sci ... i/S016750600870637X