给定问题X的任何输入x，构造问题Y的输入y（多项式大小），X回答是iffY回答是.则问题X可以多项式变换到问题Y