A linear-time algorithm for (1+) -edge-coloring | Synapse