Take the 2-minute tour ×
Theoretical Computer Science Stack Exchange is a question and answer site for theoretical computer scientists and researchers in related fields. It's 100% free, no registration required.

I'm new to this site, so please pardon me for any mistakes and please feel free to edit the question to help get better answers.

I'm interested in reading any proof of ACYCLIC PARTITION (Garey and Johnson) being NP-complete, and I'd love it if you could share a proof for the same here. It'd be great if you could also give an approximation algorithm for the problem.

EDIT:

The problem is defined as follows (Garey and Johnson):

Let $G = (V,A)$ be a directed graph, with a weight function $w(v)$ mapping each vertex $v$ to a positive integer, cost function $c(a)$ mapping each edge $a$ to a positive integer, and let there be two positive integers $B$ and $K$.

Is there a partition of V into disjoint sets $V1, V2,..., V_m$ such that the directed graph $G' = (V',A')$, where $V' = \{V1, V2,..., V_m\}$, and $(V_i, V_j)$ is in $A'$ if and only if $(v_i,v_j)$ is in $A$ for some $v_i \in V_i$ and some $v_j \in V_j$, is acyclic, such that the sum of the weights of the vertices in each $V_i$ does not exceed $B$, and such that the sum of the costs of all those arcs having their endpoints in different sets does not exceed $K$?

share|improve this question
1  
Crossposted to Math SE –  Ricky Mar 1 at 14:19
    
We don't generally like simultaneous crossposting because it fragments the discussion. Since you've received answers here already we'll leave this as it stands, but in the future please refrain from crossposting till the first post has had a chance to receive answers (or not) for a few days. –  Suresh Venkat Mar 1 at 18:10
    
Can you put the exact page (or chapter/paragrph) where the problem is defined in G&J (I gave a quick look, but didn't find it)? –  Marzio De Biasi Mar 1 at 21:50
    
@MarzioDeBiasi The problem is perfectly defined in A2.2 Cuts and Connectivity –  Ricky Mar 2 at 7:42
    
@SureshVenkat I'm sorry, I'll be sure to follow that henceforth. –  Ricky Mar 2 at 7:43

2 Answers 2

In the current formulation, your problem can be proved to be NP-complete by a direct reduction from PARTITION.

Given $n$ positive integers, $S = \{a_1,a_2,...,a_n\}$ the PARTITION problem asks to find two disjoint subsets $S_1 \cup S_2 = S$ such that $\sum_{i\in S_1} a_i = \sum_{j \in S_2} a_j$.

So, just pick: $G = \{ V, \emptyset \}$ with $|V| = n$, set $m = 2$ and assign weight $a_i$ to node $u_i$ for all $i = 1,...,n$; set $B = \frac{1}{2} \sum a_i$, and set $K=0$ (arc costs and the acyclic constraints are irrelevant).

NOTE: my old answer was related to a different ACYCLIC PARTITION problem, and you can find it in the edits history below.

share|improve this answer
    
K cannot be zero, because the problem states that K should be a positive integer. –  Ricky Mar 2 at 7:45
    
Do you happen to know any approximation algorithms for the problem? –  Ricky Mar 2 at 8:10
    
@Ricky: you can set $K=1$ (there are no arcs, so you are sure that the constraint is satisfied). If you complain about the empty arc set, you can build a dummy graph: pick a node $u$ and add directed edges from the others to it with cost 1 and set $K = |A|$ (the partition will always be acyclic and cannot break the cost constraints). But the matter is that in the current formulation there is an immediate reduction from PARTITION (thanks to the node weights), indeed in G&J they say it remains hard even for w(v)=c(a)=1 (but it should be a different question). –  Marzio De Biasi Mar 2 at 10:13
    
@Ricky: ... for what regards approximation, I don't know any algorithm :( –  Marzio De Biasi Mar 2 at 10:15
    
Ah, but once ACYCLIC PARTITION is proven to be NP-complete by reduction from PARTITION, any approximation algorithm for PARTITION would also count as an approximation algorithm for ACYCLIC PARTITION, right? –  Ricky Mar 2 at 11:01

A useful reference is "Sitting Closer to Friends Than Enemies, Revisited" by Cygan, Pilipczuk, Pilipczuk and Wojtaszczyk, MFCS 2012. Not sure if the title should be interpreted literally though: it's probably better to keep your enemies close for various reasons (http://www.askmen.com/money/mafioso_60/67_mafia.html)

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.