库克可归约性

库克可归约性

拼音： kù kē kě guī yuē xìng
英語訳 Cook reducibility