In which we describe what this course is about and give two simple examples of approximation algorithms
1. Overview
In this course we study algorithms for combinatorial optimization problems. Those are the type of algorithms that arise in countless applications, from billion-dollar operations to everyday computing task; they are used by airline companies to schedule and price their flights, by large companies to decide what and where to stock in their warehouses, by delivery companies to decide the routes of their delivery trucks, by Netflix to decide which movies to recommend you, by a gps navigator to come up with driving directions and by word-processors to decide where to introduce blank spaces to justify (align on both sides) a paragraph.
In this course we will focus on general and powerful algorithmic techniques, and we will apply them, for the most part, to highly idealized model problems.
Some of the problems that we will study, along with several problems arising in practice, are NP-hard, and so it is unlikely that we can design exact efficient algorithms for them. For such problems, we will study algorithms that are worst-case efficient, but that output solutions that can be sub-optimal. We will be able, however, to prove worst-case bounds to the ratio between the cost of optimal solutions and the cost of the solutions provided by our algorithms. Sub-optimal algorithms with provable guarantees about the quality of their output solutions are called approximation algorithms.
The content of the course will be as follows:
- Simple examples of approximation algorithms. We will look at approximation algorithms for the Vertex Cover and Set Cover problems, for the Steiner Tree Problem and for the Traveling Salesman Problem. Those algorithms and their analyses will be relatively simple, but they will introduce a number of key concepts, including the importance of getting upper bounds on the cost of an optimal solution.
- Linear Programming. A linear program is an optimization problem over the real numbers in which we want to optimize a linear function of a set of real variables subject to a system of linear inequalities about those variables. For example, the following is a linear program:
(A linear program is not a program as in computer program; here programming is used to mean planning.) An optimum solution to the above linear program is, for example, , , , which has cost . One way to see that it is an optimal solution is to sum the two linear constraints, which tells us that in every admissible solution we have
that is, . The fact that we were able to verify the optimality of a solution by summing inequalities is a special case of the important theory of duality of linear programming.
A linear program is an optimization problem over real-valued variables, while this course is about combinatorial problems, that is problems with a finite number of discrete solutions. The reasons why we will study linear programming are that
- Linear programs can be solved in polynomial time, and very efficiently in practice;
- All the combinatorial problems that we will study can be written as linear programs, provided that one adds the additional requirement that the variables only take integer value.
This leads to two applications:
- If we take the integral linear programming formulation of a problem, we remove the integrality requirement, we solve it efficient as a linear program over the real numbers, and we are lucky enough that the optimal solution happens to have integer values, then we have the optimal solution for our combinatorial problem. For some problems, it can be proved that, in fact, this will happen for every input.
- If we take the integral linear programming formulation of a problem, we remove the integrality requirement, we solve it efficient as a linear program over the real numbers, we find a solution with fractional values, but then we are able to “round” the fractional values to integer ones without changing the cost of the solution too much, then we have an efficient approximation algorithm for our problem.
- Approximation Algorithms via Linear Programming. We will give various examples in which approximation algorithms can be designed by “rounding” the fractional optima of linear programs.
- Exact Algorithms for Flows and Matchings. We will study some of the most elegant and useful optimization algorithms, those that find optimal solutions to “flow” and “matching” problems.
- Linear Programming, Flows and Matchings. We will show that flow and matching problems can be solved optimally via linear programming. Understanding why will make us give a second look at the theory of linear programming duality.
- Online Algorithms. An online algorithm is an algorithm that receives its input as a stream, and, at any given time, it has to make decisions only based on the partial amount of data seen so far. We will study two typical online settings: paging (and, in general, data transfer in hierarchical memories) and investing.
2. The Vertex Cover Problem
2.1. Definitions
Given an undirected graph , a vertex cover is a subset of vertices such that for every edge at least one of or is an element of .
In the minimum vertex cover problem, we are given in input a graph and the goal is to find a vertex containing as few vertices as possible.
The minimum vertex cover problem is very related to the maximum independent set problem. In a graph an independent set is a subset of vertices such that there is no edge having both endpoints and contained in . In the maximum independent set problem the goal is to find a largest possible independent set.
It is easy to see that, in a graph , a set is a vertex cover if and only if its complement is an independent set, and so, from the point of view of exact solutions, the two problems are equivalent: if is an optimal vertex cover for the graph then is an optimal independent set for , and if is an optimal independent set then is an optimal vertex cover.
From the point of view of approximation, however, the two problems are not equivalent. We are going to describe a linear time 2-approximate algorithm for minimum vertex cover, that is an algorithm that finds a vertex cover of size at most twice the optimal size. It is known, however, that no constant-factor, polynomial-time, approximation algorithms can exist for the independent set problem. To see why there is no contradiction (and how the notion of approximation is highly dependent on the cost function), suppose that we have a graph with vertices in which the optimal vertex cover has size , and that our algorithm finds a vertex cover of size . Then the algorithm finds a solution that is only about larger than the optimum, which is not bad. From the point of view of independent set size, however, we have a graph in which the optimum independent set has size , and our algorithm only finds an independent set of size , which is terrible
2.2. The Algorithm
The algorithm is very simple, although not entirely natural:
- Input: graph
- while there is an edge such that and
- return
We initialize our set to the empty set, and, while it fails to be a vertex cover because some edge is uncovered, we add both endpoints of the edge to the set. By the time we are finished with the while loop, is such that for every edge , either or (or both), that is, is a vertex cover.
To analyze the approximation, let be the number of vertices in a minimal vertex cover, then we observe that
- If is a matching, that is, a set of edges that have no endpoint in common, then we must have , because every edge in must be covered using a distinct vertex.
- The set of edges that are considered inside the while loop form a matching, because if and are two edges considered in the while loop, and is the one that is considered first, then the set contains and when is being considered, and hence are all distinct.
- If we let denote the set of edges considered in the while cycle of the algorithm, and we let be the set given in output by the algorithm, then we have
As we said before, there is something a bit unnatural about the algorithm. Every time we find an edge that violates the condition that is a vertex cover, we add both vertices and to , even though adding just one of them would suffice to cover the edge . Isn’t it an overkill?
Consider the following alternative algorithm that adds only one vertex at a time:
- Input: graph
- while there is an edge such that and
- return
This is a problem if our graph is a “star.” Then the optimum is to pick the center, while the above algorithm might, in the worse case, pick all the vertices except the center.
Another alternative would be a greedy algorithm:
- Input: graph
- while is not a vertex cover
- let be the vertex incident on the most uncovered edges
- return
The above greedy algorithm also works rather poorly. For every , we can construct an vertex graph where the optimum is roughly , but the algorithm finds a solution of cost roughly , so that it does not achieve a constant-factor approximation of the optimum. We will return to this greedy approach and to these bad examples when we talk about the minimum set cover problem.
3. The Metric Steiner Tree Problem
In the Steiner Tree problem, we are given a set of required points and a set of optional points , along with a distance function . The distance function is a metric, that is, for every two points we have , and for every three points we have the triangle inequality
Our goal is to find a tree that spans all the required points, and possibly uses some of the optional points, that is, , and such that the total length of the tree
is minimized.
This problem is very similar to the minimum spanning tree problem, which we know to have an exact algorithm that runs in polynomial (in fact, nearly linear) time. In the minimum spanning tree problem, we are given a weighted graph, which we can think of as a set of points together with a distance function (which might not satisfy the triangle inequality), and we want to find the tree of minimal total length that spans all the vertices. The difference is that in the minimum Steiner tree problem we only require to span a subset of vertices, and other vertices are included only if they are beneficial to constructing a tree of lower total length.
We consider the following very simple approximation algorithm: run a minimum spanning tree algorithm on the set of required vertices, that is, find the best possible tree that uses none of the optional vertices. Next time we will prove that this algorithm achieves a factor of 2 approximation.
2 comments
Comments feed for this article
January 6, 2011 at 1:44 am
David Jones
This is excellent; and fun too! (though I have to admit, Graph Theory was one of the few times I concentrated during my degree).
I have a couple of minor nitpicks:
typo: In 2.1: “In the minimum vertex cover problem, we are given in input a graph and the goal is to find a vertex containing as few vertices as possible.”
“find a vertex” should be “find a vertex cover”.
It would be nice to introduce the “N-approximate algorithm” notation before you use it in “2-approximate algorithm” in your vertex cover example.
January 13, 2011 at 7:48 am
chazisop
Very nice article Luca. It illustrates a good plan for teaching approximation algorithms.