A Polynomial-Time Algorithm for the 3-Coloring Problem based on Local Odd Parity Structures | Synapse