>>266
NP困難ならNPである必要はないよ。