>>113
> P=NPの証明が、>>108のいうどれでもいいから1つのNP完全問題についての
> アルゴリズムの開発と同義なのかな?

108です
NP完全問題の一つについて多項式時間アルゴリズムを発見すればP=NPの証明になる、これは間違いない

問題はその逆が成り立つか?ということだが、
P=NPの証明が非構成的に行える可能性(つまりP≠NPと仮定して矛盾を導く背理法による証明の可能性)は
少なくとも現時点までのP vs NP問題に関して知られている事実からは排除できない