Consider the reduction from 3-CNF-SAT to SUBSET-SUM. For the formula ϕ = (x1 ˅ ¬x3 ˅ x4) ˄ (¬x1 ˅ x3 ˅ x4) ˄ (¬x1 ˅ x2 ˅ ¬x4), construct the following values in the set S: v1, v1’, v2, v2’, v3, v3’, v4, v4’. Note that the formula has four variables: x1, x2, x3, and x4. It has three clauses: C1 = (x1 ˅ ¬x3 ˅ x4), C2 = (¬x1 ˅ x3 ˅ x4), and C3 = (¬x1 ˅ x2 ˅ ¬x4).

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.4: Binary Operations
Problem 14E: Assume that is a binary operation on a non empty set A, and suppose that is both commutative and...
icon
Related questions
Topic Video
Question

Consider the reduction from 3-CNF-SAT to SUBSET-SUM. For the formula ϕ = (x1 ˅ ¬x3 ˅ x4) ˄ (¬x1 ˅ x3 ˅ x4) ˄ (¬x1 ˅ x2 ˅ ¬x4), construct the following values in the set S: v1, v1’, v2, v2’, v3, v3’, v4, v4’. Note that the formula has four variables: x1, x2, x3, and x4. It has three clauses: C1 = (x1 ˅ ¬x3 ˅ x4), C2 = (¬x1 ˅ x3 ˅ x4), and C3 = (¬x1 ˅ x2 ˅ ¬x4).

Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps

Blurred answer
Knowledge Booster
Propositional Calculus
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, statistics and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Algebra and Trigonometry (MindTap Course List)
Algebra and Trigonometry (MindTap Course List)
Algebra
ISBN:
9781305071742
Author:
James Stewart, Lothar Redlin, Saleem Watson
Publisher:
Cengage Learning
College Algebra (MindTap Course List)
College Algebra (MindTap Course List)
Algebra
ISBN:
9781305652231
Author:
R. David Gustafson, Jeff Hughes
Publisher:
Cengage Learning