彼らはこのnpの性質を使って、p＝npでない限り、一部のnp完全問題の最適化版に近似アルゴリズムが存在しないことを証明した。