Set splitting

Set splitting

Set splitting is a logical NP-Complete problem which is defined as follows:

::"Instance": A finite set S and a collection C of finite subsets of S ;

::"Query": Can the elements of S be colored with two colors, say red and green, so that no set X ∈ C has all elements colored with the same color?

As an example, suppose that

S = {1, 2, 3, 4, 5, 6}

and

C = 1, 2}, {3, 4, 5}, {2, 3, 6}, {1, 4, 6}, {2, 5

Demonstration that set-splitting is NP-Complete

To prove SET-SPLITTING is NP-Complete, we need to show
*SET-SPLITTING is NP and
*SET-SPLITTING is NP-hard.

To show that SET-SPLITTING is NP, given a coloring, it is easy to verify in polynomial time that no set is monochromatic. To prove that SET-SPLITTING is NP-hard, we reduce 3SAT to it.

Let φ be a 3CNF formula with variable set V . Construct the fol lowing instance of SET-SPLITTING. The set of elements S is {F } ∪ V ∪ { ¯ X : X ∈ V }. Here F is a new element not related to any variable. Each other element corresponds to a variable or its negation.

Build the collection of sets C as follows. For each variable X in φ, construct a set SX = {X, ~X}. For each clause c (e.g. X ∨ Y ∨ ~Z ), construct a set Sc = {X, Y , ~Z , F }. Here F is a new element not related to any variable. (There is only one such element F — it is the same across all sets built for clauses.) So, the reduction is f (φ) = (S, C ) where S and C are as described above.

Clearly the reduction is polynomial time.

To finish we prove that φ is satisfiable if and only if (S, C ) can be colored so that no set is monochromatic. ( ⇒) Suppose φ is satisfiable. Fix some satisfying assignment.

Consider the following coloring of the elements in S . Color the element F ’red’. For each variable X that is assigned ’false’, color the elements X and ~X ’red’ and ’green’, respectively. For each variable X that is assigned ’true’, color the elements X and ~X ’green’ and ’red’, respectively. As long as the assignment was satisfying, this coloring makes no set monochromatic. For each variable X , the set SX = {X, ~X } has one red and one green element. For each clause c, the set Sc has at least one red element (F ) and, because some literal in the clause has a value of true, Sc has at least one ’green’ element.

Thus, (S, C ) ∈ SET-SPLITTING.

(⇐) Suppose (S, C ) ∈ SET-SPLITTING. Fix some coloring of S with two colors such that every set has at least one element of both colors. Consider the fol lowing assignment to the variables of φ. For each variable X , assign it ’true’ if its color differs from that of the element F . Assign X ’false’ if its color is the same as that of the element F . Then each clause c in φ is satisfied, because the set Sc has at least one element X or ¯ X that is colored differently than F . Thus, ∈SAT.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Set splitting problem — In computational complexity theory, the Set Splitting problem is the following decision problem: given a family F of subsets of a finite set S, decide whether there exists a partition of S into two subsets S1, S2 such that all elements of F are… …   Wikipedia

  • Splitting field — In abstract algebra, a splitting field of a polynomial with coefficients in a field is a smallest field extension of that field over which the polynomial factors (or splits , hence the name) into linear factors. Contents 1 Definition 2 Facts 3 …   Wikipedia

  • Splitting lemma — In mathematics, and more specifically in homological algebra, the splitting lemma states that in any abelian category, the following statements for short exact sequence are equivalent. Given a short exact sequence with maps q and r: :0 ightarrow… …   Wikipedia

  • Splitting circle method — In mathematics, the splitting circle method is a numerical algorithm for the numerical factorization of a polynomial and, ultimately, for finding its complex roots. It was introduced by Arnold Schönhage in his 1982 paper The fundamental theorem… …   Wikipedia

  • Heegaard splitting — In the mathematical field of geometric topology, a Heegaard splitting is a decomposition of a compact oriented 3 manifold that results from dividing it into two handlebodies. The importance of Heegaard splittings has grown in recent years as more …   Wikipedia

  • Necklace splitting problem — In mathematics, and in particular combinatorics, the necklace splitting problem arises in a variety of contexts including exact division; its picturesque name is due to mathematicians Noga Alon [1] and Douglas B. West.[2] Suppose a necklace, open …   Wikipedia

  • HTTP response splitting — is a form of web application vulnerability, resulting from the failure of the application or its environment to properly sanitize input values. It can be used to perform cross site scripting attacks, cross user defacement, Web cache poisoning,… …   Wikipedia

  • Lane splitting — is a form of lane sharing in which the rider of a relatively narrow single track vehicle (i.e. a motorcycle or bicycle) travels in the unused space between two lines of moving or stationary vehicles. It may be legal or illegal, depending on local …   Wikipedia

  • Gift Splitting — A taxation rule that allows a married couple to split a gift s total value as if each contributed half of the amount. Gift splitting allows a couple to increase their total gift tax exemption amount by combining individual allowances. For gift… …   Investment dictionary

  • Cantor set — In mathematics, the Cantor set, introduced by German mathematician Georg Cantor in 1883 [Georg Cantor (1883) Über unendliche, lineare Punktmannigfaltigkeiten V [On infinite, linear point manifolds (sets)] , Mathematische Annalen , vol. 21, pages… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”