このアルゴリズムは、P = NP である強い証拠を提供する。