This paper introduces a subtractive label reduction algorithm thatsolves the 3-coloring problem in polynomial time. By identifying local-ized odd-parity loops through a monotonic reduction process, I pro-vide a novel structural proof for the efficiency of determining graphcolorability, with significant implications for the P vs N P question.
Yuma Yoshimura (Mon,) studied this question.