巨大基数を仮定すればNP問題が多項式で解けるとか無いの?