Li-Fan Chen
says to
YSITD
判定性問題是功能性問題的子集ㄇ