In the highway problem, we are given an n-edge line graph (the highway), and a set of paths (the drivers), each one with its own budget. For a given assignment of edge weights (the tolls), the highway owner collects from each driver the weight of the associated path, when it does not exceed the budget of the driver, and zero otherwise. The goal is choosing weights so as to maximize the profit. A lot of research has been devoted to this apparently simple problem. The highway problem was shown to be strongly NP-hard only recently [Elbassioni,Raman,Ray-'09]. The best-known approximation is O(log n/ log log n) [Gamzu,, which improves on the previous-best O(log n) approximation [Balcan,Blum-'06]. Finding a constant (or better!) approximation algorithm is a well-known open problem in network design. Better approximations are known only for a number of special cases.In this paper we present a PTAS for the highway problem, hence closing the complexity status of the problem. Our result is based on a novel randomized dissection approach, which has some points in common with Arora's quadtree dissection for Euclidean network design [Arora-'98]. The basic idea is enclosing the highway in a bounding path, such that both the size of the bounding path and the position of the highway in it are random variables. Then we consider a recursive O(1)-ary dissection of the bounding path, in subpaths of uniform optimal weight. Since the optimal weights are unknown, we construct the dissection in a bottom-up fashion via dynamic programming, while computing the approximate solution at the same time. Our algorithm can be easily derandomized.We demonstrate the versatility of our technique by presenting PTASs for two variants of the highway problem: the tollbooth problem with a constant number of leaves and the maximumfeasibility subsystem problem on interval matrices. In both cases the previous best approximation factors are polylogarithmic [Gamzu,Segev-'10,Elbassioni,Raman,Ray,Sitters-'09].Consider the following setting. We are given a single-road highway, which is partitioned into segments by tollbooths. The highway owner fixes a toll for each segment. A driver traveling between two tollbooths pays the total toll of the corresponding segments. However, if the total toll exceeds the budget of the driver, she will not use the highway (e.g., she will take a plane). Our goal is maximizing the profit of the highway owner. To that aim, we need to compromise between very low tolls (in which case all the drivers take the highway, but providing a small profit) and very high tolls (in which case no driver takes the highway, and the profit is zero). It is not hard to imagine other applications with a similar nature. For example, the highway segments might be replaced by the links of a (high-bandwidth) telecommunication network.The highway problem formalizes the scenarios above. We are given an n-edge line graph G = (V, E) (the highway), and a set D = {D 1 , . . . , D m } of m paths in G (the drivers), each one characterized by a value b j ∈ Q ≥0 (the...