Hello people. I am trying this problem http://www.spoj.com/problems/SEGMENTS/ few hours and I can't come up with any good solution. Also I did not find any tutorial or any solution for that problem online and this is why I am posting it here. If anyone can suggest any idea or full solution it would be great.

Thank you !

First of all, notice that the height given in the input is useless, since we can collapse all the segments on the vertical line

y= 0 and the answer will remain invariant.The next observation that is crucial for the specific problem is that you can binary search for the answer. If you can achieve your goal with answer = K you can obviously achieve it with answer = K +1 and vice versa. So, the problem is now equivalent to: Given some line segments and an integer K, is there a way to cover all the segments by drawing vertical lines in such a way that the maximum number of lines that cross a segment is less than or equal to K?

Suppose that your segment endpoints are in the range [ 1, N ], this is a fairly reasonable assumption since you can compress your numbers without influencing the final answer. We seek to construct a solution for our problem and that seems kinda hard, instead of doing that we may ask, what would such a solution look like?

What we are looking for, in essence, is a binary vector, A[ 1..N ] such that A[ i ] = 1 if and only if we draw a verctical line in the position

x=iand zero otherwise. What conditions do we want our vector to meet? For every segment [l_{i},r_{i}] we demand that but that doesn't seem to be convenient. Therefore it's best to express the above using the partial sums table of the vector A. If we define our condition above transforms toS_{ri}-S_{li - 1}≤K. Our table S will also satisfy the inequalityS_{i}-S_{i - 1}≥ 0, 1 ≤i≤N(that is, our table must increasing since it expresses partial sums).It is easy to prove that having the table S satisfying those two conditions is equivalent to having the vector A since we can transform from one form to another in linear time.Therefore, after all this reasoning, we seek to find whether there is a table

S= (S_{1},S_{2}, ...,S_{N}) that satisfies:S_{ri}-S_{li - 1}≤K, 1 ≤i≤NS_{i}-S_{i - 1}≥ 0, 1 ≤i≤NEvery table that satisfies the above conditions gives us a solution to our original problem and every solution to the problem can be transformed to a table that satisfies the above conditions. Therefore the existence of such a table is a necessary and sufficient condition for our problem to have a solution. But this is just a system of 2

Nlinear differences and it is fairly known how to solve it with bellman-ford( or determine that it can't be solved) in Θ(N^{2}) time.Complexity: We perform a binary search for our answer K and each value is checked for validity in Θ(

N^{2}) time, therefore we have a total of Θ(N^{2}logN) time complexity.-References: http://www.cs.huji.ac.il/course/2002/dast/slides/BellmanFord.pdf