>>28
NP完全だということが証明されているということ？
それとも非決定性チューリングマシン上で多項式時間で解けないことが証明されているということ？