How do weights affects approximation algorithms As usual there are no rules whatsoever However I will provide some interesting examples in which weights make a difference I will try and say for every problem why weights make a difference ID: 1002494
Download Presentation The PPT/PDF document "How do weights affects approximation alg..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
1. How do weights affects approximation algorithms?
2. How do weights affects approximation algorithms?As usual there are no rules whatsoever.
3. However I will provide some interesting examples in which weights make a differenceI will try and say for every problem, why weights make a difference.But without deep insightOne clear thing: I will speak only on stronly NP hard problem. Otherwise weights make a huge difference for the Knapsack problem.No suspense: no rules on when weights make a difference
4. Well, lets show a trivial oneSay it’s a maximization problemSay that if A is a feasible solution then so is any BAIn such case clearly the difference between the weighted and unweighted case is limitedBucketing shows that the difference in the ratio is at most O(log n).Any general rules?
5. The weights should not matterAlso consider a problem like the Directed Steiner tree/forest/networkA typical removal of weights? Change an edge to a path.When does this not work?If the ratios are polynomial like n1/2 In such a case this changes n and this can not be used.But it works for polylog ratios.Also say we use just mathematical programming
6. Knapsack Set-CoverageThe Set-Coverage problem is given a set system and a number k select k sets that cover as many elemnts as possible. Knapsack version, not that known: Each set has cost c(s) and there is a bound B on the maximum sum of costs, of sets we can choose. Maximize number of elements covered.
7. Result due to Khuller , Moss and, Naor, 1997, IPLThe (1-1/e) ratio is possible.In the usual algorithm & analysis (1-1/e) only follows if we can add the last set in the greedy choice. Thus, fails.Because most times, adding the last set will give cost larger than B.Trick: guess the 3 sets in OPT of least cost. Then apply greedy (don’t go over budget B).Then a ratio of (1-1/e) follows.
8. Since then, many problems like that were studied An optimal (1-1/e) ratio by Vondrak: Maximizing a submodular problem under Matroid contraint.Solved a 30(!) years old problem.Many problems were studied under Knapsack constrains way way more general than Max Coverage.A cute remark: guessing 2 elements gives ratio ½. Guessing one element: unbounded ratio.A remark:
9. Augmenting edge connectivityfrom 1 to 2 Given: undirected graph G(V,E) And a set of extra legal for addition edges F called “links” Required: a subset F’ F of minimum size so that G(V,E+F’) is 2-edge-connected
10. Bi-Connected ComponentsABCDEFGH
11. The tree augmentation problemInput: A tree T(V,E) and a separate set F of edges called “links” Output: Add minimum amount of links F’ from F so there will be no bridges (G+F’ is 2EC)
12. K, Nutov TALG 2016: a 3/2 approximation algorithm for the case links have cost 1.Giving a 1.8 ratio is easier (albeit complex still)The version with weights: add a set of links F of minimum cost so that G+F is 2-connected.Not known better than 2 (many algorithms give ratio 2)So far weights matter
13. A recent breakthroughDavid Adjiashvili. A recent paper.Gives 1.946 ratio for weighted TAP but if the largest edge weight is bounded by a constant. I went through 3 stages with respect to this Algorithm.Let me give a similar case from cinema.
14. In 1968 a new extremely strange film came out.The film was called “2001: A Space Odyssey”Woody Allen on the film:1) I went to see the movie and I really did not like it.2) But I was not sure and I went again and liked it more.3) Then a friend of mine told me there is a great film 2001: A Space Odyssey.
15. I went with the friend to see it for the third time.And I said to myself: this is simply wonderful stuff!!And Allen that is not modest said: This was one of the only times in which the director was way way ahead of me.Note that he is more or less saying that except the director above he is one of the smartest.
16. The three phases of Woody AllenAt the start I was sure it is a mistake (namely I did not really like it, like Woody Allen). It did not help that I did not understand anything.But then I read it a second time and I found some nice ideas.Then me and Zeev, decided to take 7 days to read it. We talked on the phone and agreed: this is (correct and) has some wonderful stuff!Still the question if there is better than ratio 2 for the problem with costs, is open.
17. We discussed leaf closed trees.These are subtrees so that all the links that touch the leaves stay inside the subtree.We cover at each stage a generalization of this notion.Now say that there are costs.The notion of leaf closed trees becomes meaningless.What is the diffficulty?
18. The Steiner k-forest problem S1S2S3S4T2T1102010T4T5S51012K=32314T331911305111746
19. The Steiner k-forest problem S1S2S3T2T1T4K=3231T31114
20. The capacitated non Preemptive Dial a Ride Problem We are given a graph and input of m pairs {s I , t I } and a car with capacity k. A client is located at s I and needs to be taken to t I. Once you take a passenger at s I she only leaves the car when the car reaches t I Note that a Steiner k-forest can be turned into a path of no larger cost. The problems are closely related.Both Dense k-Subgraph hard.
21. What is known for the problemsSKF: ratio min{O(sqrt k), O(sqrt n)} by Gupta, Hajiaghayi, Nagarajan and Ravi. Dense k-Subraph hard probably means no better than poly ratio. Same goes for Dial-a-Ride.
22. Better ratio for almost uniform weightsSay that the weights are between 1 and n for small enough Then the Steiner k-Forest problem admits a n0.449 approximation ratio. Dinitz , K, Nutov.Dial a ride admits an O(sqrt{n}) ratio by Charikar, Raghavachari .Almost uniform weights we get n0.449 to the Dial a ride problem.
23. Why cant we handle the weighted caseWe get a graph with “few vertices” and this implies that a tree on this this graph has “few edges”. This does not work for the weighted case.We identified a problem that if has a good approximation we can break the ratio for the weighted case.But this problem seems very hard to approximate.
24. The Knapsack k-center problem.Ratio 3 due to Hochbaum and Shmoys.Makes a different but not a huge one optoptopt
25. To give credit where its due two groups one of 3 (Halperin, Krauthgamer, K) and another group of 4 by Chuzhy et al, got the same results by the same techniques.We had to joinWe turned out from the three musketeers to the seven dwarfs -The main result was a lower bound of log *n for the directed k-center problem.This is a tight ratio!A paper by Chuzhoy et al
26. It turns out that the Knapsack k-center problem admits no 3- ratio unless P=Quasi(P). 18 years open question.Thus the weights made a difference in the constant.In center problem we are used to ratio 2.Say that there is a collection of vertices that can be centers and those who are clients.Distance 1 for every vertex in a yes instance and otherwise the distance is 3. Another result
27. The Vertex Cover problem with hard capacity boundsEvery vertex has a hard bound b(v) on the number of edges that it can cover.After selecting the VC assign edges to vertices so that v gets not more than b(v) edges Checking feasibility can be done by flow.Interestingly Its enough to give a fractional assignment since it implies an integral one.A difference of log n
28. Example332533433
29. A log n hardness for the weighted case 101123322
30. A log n hardness for the weighted case 101123322
31. Chuzhoy and Naor (gave ratio 3) used a charging scheme that works till the last element is charged, If its weighted, the charge is too much. If uniform cost, charged 1.Our improvement (Halperin et al) runs into the same difficulty. We gave improve ratio 2Hugely complex paper.Thus a slightly larger difference: log n versus 2.Why does not work for the weighted case
32. Connected Vertex Cover. Khuller: take a DFS and the tree but the leaves. Gives ratio 2 for costs 1 (there is always a matching of size n-L).Not published anywhere but if vertices have weights the problem becomes at least as hard as Set CoverWhich means that a ratio better than O(log n) is not possible. See a recent (1-)*ln n lower bound under PNP by Dinur et al.Another example of log n gap
33. The weighted caseM000000001111110
34. All zero cost vertices are takenM000000001111110
35. But this does not give connectivityM000000001111110
36. Need to add edges to a Set Cover M000000001111110
37. A larger difference: Spanning tree with max profit on leavesrFor e to be in the tree u or v are not a leafe=(u, v) is an edge euv110
38. A larger difference: Spanning tree with max profit on leavesrThe leaves are a maximum independent set in G.e=(u, v) is an edge euv110
39. The Independence Set problem admits no n1- approximation for any constant >0.However say that the costs are uniform.Say that we look for the tree with most leafbut does not need to be spanning.Add a neighbor to any leaf. The number of leaves does not change.Thus we may assume its spanning w.l.o.gThus the weighted case spanning tree is hard.
40. Solis-Oba gave a ratio 2 for the problem.One of the largest differences I could find:Weighted: n1- hardnessUnweighted ratio 2!What is the problem with the spanning tree when there are weights?The fact that its spanning means that all vertices have to be in.This makes profitable vertices unable to be leaves.The ST with maximum num of leaves
41. Say that the vertices have profits and we want a not necessarily spanning tree with max profit on the leaves. Also we deal with the directed case. Hajiaghayi, K, R. Gandi, Purohit, and Sarpatwar.We do not know if weights make a difference.We give constant ratio for weights 0,1.Bucketing gives ((log n) ratio for the weighted case.I will present a tree that may mean that the weighted case may be harder.A related problem
42. The sum of profits can be (log n) away from the optimum 11/21/21/41/41/41/4Every level is an optimum solution
43. The problem of finding a tree with maximum number of leaves has ratio 2.This can be used to approximate the case of weights 1,0.But it does not seem to be able to be used to approximate the case of vertex profits.Thus using the 0 profit we can use bucketing.Why do weights make a difference?
44. Given a graph G(V,E) choose a set S so that G(S) is connected and the size of the cut e(S,V-S) is maximum. Hajiaghayi, K, Mackdavid, Purohit, and Sarpatwar. A reduction from the weighted problem to the weighted problem by putting profits deg(v) on vertices of the max leaf problem. This improves the ESA paper ratio to O(log n) for CMC.We do not know if the difference is inherent.The Connected Max Cut problem
45. SpannersInput: An undirected graph G(V,E) and an integer kObjective: find a subgraph G’ so that for every u and v: DistG’(u,v)/DistG(u,v)≤ kInvented by Peleg and Ullman
46. Approximation 2-spannersIf length 1 and costs are arbitrary the problem admits an O(log n) approximation. 1992, K, PelegIn 1998: K: unless P=NP log n is optimal. Remark: even with costs and lengths 1, the 3 spanner problem is Labelcover hard.Dinitz, K, Raz ICALP 2012. Solves an Open problem poses in 1992 by K,Peleg.
47. The algorithm:For a vertex v look at the graph induced by N(v)Find a densest subgraph S(v) in N(v)Return the edges from v to S(v) that is the most dense set over all v and iterate.Using “few” edges to “cover” many edges.S
48. The 2-spanner problem becomes Labelcover hard. Elkin Peleg.When there are arbitrary lengths an edge can be replaced by a path of any length. And thus the problem becomes very complex. Difference: uniform (log n).Labelcover-hard problems probably have only polynomial ratios.What happens if general lengths?
49. Min size k-connected subgraph ratio 1+2/kThe metric case 2+1/(k-1) K, Nutov.Improving Khuller et al. 2+2/(k-1). More importantly, the first but same ratio for the directed case.General weights O((log n)2) Nutov. I had the best ratio with Nutov but was improved twice.A general request: work on other people problems.Having fun with connectivity problems
50. Technique 2: The Cycle Theorem of MaderLet G(V,E) be a k-vertex connected graph, minimal for edge deletion and let C be a cycle in G Then there is a vertex in C of degree exactly k Strange Claim?
51. Corolloraly Say that (G) is at least k-1 Let F be any edge minimal augmentation of G to a k-vertex-connected subgraph Then F is a forest
52. Proof Consider a cycle in F As all degrees are at least k-1 before F, with F all degrees are at least k+1 which contradicts Mader’s theorem.
53. Cheriyan & Thurimella : 1+2/kFind a graph G(X) with minimum number of edges so that all degrees are at least k-1.Clearly this requires opt.Add a minimal extension solution.By Mader Theorem we added n-1 edges.Note that opt≥k∙n/2 A simple algorithm
54. Opt+ n-1/opt≤ opt+2(n-1) /(n ∙k)This implies 1+2/k ratio.The ratio 2+ (k-1)/n, K. Nutov for metric weights, complex.The O((log n)2) of Nutov for general weights very complex.Disclamer: no lower bounds!Approximation ratio
55. PreserversThe input contains a collection of pairs {x,y} and you want minimum edges G’ so that the distance between every x,y is the same as in G. Our paper only for uniform length. The paper by Chlamtac, Dinitz, K, Laekhanukit, SODA 2017.Ratio O(n3/5 ) approximation for preservers.The big problem was that there was no Ω(n)Lower bound
56. Using junction treesT1S1T2 S2 Tk Sk
57. The number of pairs times the maximum length of a pathNote that if the edges have non uniform weights there would not be paths of the same cost.We do not have a ratio for the weighted case. But we have a O(n3/5 ) ratio for uniform weights. Another way to bound the cost
58. See several similar open questions in our SODA 2017 paper.Define a large enough collection of problems and some properties that will assure that weights do not matter/do matter.A rather hard task.The nicest open question: Give a ratio better than 2 for the Tree Augmentation problem.From all problems I have shown, this is my favorite.Other open problems?