Slicing graphs

We define a slice in a graph G = ( V , E ) G=(V,E) as a partition of V V into two non-intersecting sets A A and B B . An edge of G G is said to be sliced if one of its ends is in A A and the other is in B B . Suppose that we want to maximize the number of edges that have been sliced . We use the following approximation algorithm :

Assign every vertex v V v \in V to A A , B B uniformly at random.

The randomized algorithm has no more than n n times worse than the optimum in expectation. What is n n ?


The answer is 2.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Abhishek Sinha
Nov 2, 2015

The claim stated in this problem is wrong. The randomized algorithm presented here guarantees that the algorithm does not do worse than the optimal algorithm more than half in expectation . More precisely E ( Cut ) 1 2 Max-Cut \mathbb{E}(\text{Cut}) \geq \frac{1}{2}\text{Max-Cut} Where I use the standard term Cut \text{Cut} in place of Slice \text{Slice} . The proof is simple and follows from linearity of expectation. In particular, for any edge ( i , j ) E (i,j)\in E , the edge is included in the cut iff the vertices i i and j j are in different partitions, which happens with probability 1 2 \frac{1}{2} . Thus, Cut = e E 1 ( e Cut ) \text{Cut}=\sum_{e\in E} \mathbb{1}(e \in \text{Cut}) Thus, E ( Cut ) = e E 1 2 = 1 2 E 1 2 Max-Cut \mathbb{E}(\text{Cut})=\sum_{e\in E}\frac{1}{2}=\frac{1}{2}|E|\geq \frac{1}{2}\text{Max-Cut} Where the last inequality follows because E |E| is a trivial upper bound on Max-Cut \text{Max-Cut} . This proves the result. Note : The Max-Cut problem is a famous hard problem for which no polynomial time algorithm is known which solves it exactly. The best known poly-time approximation algorithm known for Max-Cut has an approximation factor of 0.878 \approx 0.878 and has very deep connection with complexity theory. See the wiki article .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...