>>451
確かに定義はそうなんだけど、解が正しいかどうか多項式時間で確認可能
ていうのもTM使った定義と同値だからそこまで勉強しなくても別に大丈夫