0-1でなきゃ貪欲法で元々多項式時間じゃないか。