Scribd
Upload
523 views

3 Partition Problem

3-partition problem is an NP-complete problem in computer science. Problem is to decide whether a given multiset of integers can be partitioned into triples that all have the same sum. The subsets S1, S2, EUR, Sm must form a partition of S in the sense that they are disjoint and they cover S.

Uploaded by

Figigo
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
523 views

3 Partition Problem

3-partition problem is an NP-complete problem in computer science. Problem is to decide whether a given multiset of integers can be partitioned into triples that all have the same sum. The subsets S1, S2, EUR, Sm must form a partition of S in the sense that they are disjoint and they cover S.

Uploaded by

Figigo
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

3-partition problem

3-partition problem
The 3-partition problem is an NP-complete problem in computer science. The problem is to decide whether a given multiset of integers can be partitioned into triples that all have the same sum. More precisely, given a multiset S of n = 3m positive integers, can S be partitioned into m subsets S1, S2, , Sm such that the sum of the numbers in each subset is equal? The subsets S1, S2, , Sm must form a partition of S in the sense that they are disjoint and they cover S. Let B denote the (desired) sum of each subset Si, or equivalently, let the total sum of the numbers in S be mB. The 3-partition problem remains NP-complete when every integer in S is strictly between B/4 and B/2. In this case, each subset Si is forced to consist of exactly three elements (a triple). The 3-partition problem is similar to the partition problem, which in turn is related to the subset sum problem. In the partition problem, the goal is to partition S into two subsets with equal sum. In 3-partition the goal is to partition S into m subsets (or n/3 subsets), not just three subsets, with equal sum.

Strong NP-completeness
The 3-partition problem remains NP-complete even when the integers in S are bounded above by a polynomial in n. In other words, the problem remains NP-complete even when representing the numbers in the input instance in unary. i.e., 3-partition is NP-complete in the strong sense or strongly NP-complete. This property, and 3-partition in general, is useful in many reductions where numbers are naturally represented in unary. In contrast, the partition problem is known to be NP-complete only when the numbers are encoded in binary, and have value exponential in n.

Descriptions
Garey and Johnson (1975) originally proved that 3-partition to be NP-complete, by a reduction from 3-dimensional matching. The classic reference by Garey and Johnson (1979) describes an NP-completeness proof, reducing from 3-dimensional matching to 4-partition to 3-partition. The 4-partition problem is an analog of 3-partition in which the goal is to partition a given set S into quadruples all with the same sum: precisely, the difference is that S now consists of n = 4m integers, each strictly between B/5 and B/3.

References
Garey, Michael R. and David S. Johnson (1979), Computers and Intractability; A Guide to the Theory of NP-Completeness. ISBN 0-7167-1045-5. Pages 96105 and 224. Garey, Michael R. and David S. Johnson (1975). "Complexity results for multiprocessor scheduling under resource constraints". SIAM Journal on Computing 4 (4): 397411. doi:10.1137/0204035 [1].

References
[1] http:/ / dx. doi. org/ 10. 1137%2F0204035

Article Sources and Contributors

Article Sources and Contributors


3-partition problem Source: https://en.wikipedia.org/w/index.php?oldid=544388670 Contributors: Edemaine, Mifter, PlasmaTime, Ryankaplan, Svick, Twri, Yworo, 4 anonymous edits

License
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/

You might also like