Realizing interval graphs with size and distance constraints Itsik Pe'er and Ron Shamir Department of Computer Science Sackler Faculty of Exact Sciences Tel Aviv University, Tel-Aviv 69978 Israel. email: \{izik,shamir\}@math.tau.ac.il} July 12, 1995 Abstract We study the following problem: Given an interval graph, does it have a realization which satisfies additional constraints on the distances between interval endpoints? This problem arises in numerous applications in which topological information on intersection of pairs of intervals is accompanied by additional metric information on their order, distance or sizes. An important application is physical mapping, a central challenge in the human genome project. Our results are: (1) A polynomial algorithm for the problem on interval graphs which admit a unique clique order (UCO graphs). This class of graphs properly contains all prime interval graphs. (2) In case all constraints are upper and lower bounds on individual interval lengths, the problem on UCO graphs is linearly equivalent to deciding if a system of difference inequalities is feasible. (3) Even if all the constraints are prescribed lengths of individual intervals, the problem is NP-complete. Hence, problems (1) and (2) are also NP-complete on arbitrary interval graphs.