A robust and correct computation for the curvilinear routing problem

Curvilinear routing has been a long standing problem in layout design. Several algorithms have been proposed based on real numbers but none of them considers the numerical error caused by digital computation which might affect the robustness and correctness. This paper shows that the robustness and the correctness can be guaranteed if the input is given in integers, by presenting a novel implementation for the algorithm proposed by Duncan et al. (Proc. 9th Int. Symp. on Graph Drawing, p.162-177, 2001).