The equivalence of theorem proving and the interconnection problem
ACM SIGDA Newsletter
Hi-index | 14.98 |
The problem of routing wires between pairs of terminals over a two-dimensional grid is shown to be NP-complete. Actually, the stronger result of routing over any planar graph with no vertex having degree greater than 3 is shown to be NP-complete.