(1) Show the 3-CNF formula for which R builds the following graph. P -P T S -P 0 (P^Q ^T) V (P^Q ^S) V (T ^Q ^S) O (P V QVT) A (PVQVS) A (TV Q V S) O (PAQAT) V (P AQ AS) V (TA QAS) O (PV QVT) A (PV QV S) A (TV QV S) -S S T -T S

Fundamentals of Information Systems
8th Edition
ISBN:9781305082168
Author:Ralph Stair, George Reynolds
Publisher:Ralph Stair, George Reynolds
Chapter3: Database Systems And Applications
Section: Chapter Questions
Problem 2.1DQ
icon
Related questions
Question

Let R be the reduction from 3-SAT to VERTEX-COVER as discussed in class.

(1) Show the 3-CNF formula for which R builds the following graph.
P
Q
T
Q
S
-P
0 (P^QAT) V (P^Q^S) V (T ^Q ^S)
O (P V Q VT) A (PV QV S) A (TV Q V S)
O (PAQ AT) V (P AQ A S) V (TA¬Q ^ S)
O (PV QVT) A(-P V Q V S) A (TV ¬Q V S)
-S
S
T
-T
T
S
Transcribed Image Text:(1) Show the 3-CNF formula for which R builds the following graph. P Q T Q S -P 0 (P^QAT) V (P^Q^S) V (T ^Q ^S) O (P V Q VT) A (PV QV S) A (TV Q V S) O (PAQ AT) V (P AQ A S) V (TA¬Q ^ S) O (PV QVT) A(-P V Q V S) A (TV ¬Q V S) -S S T -T T S
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 3 steps with 5 images

Blurred answer
Knowledge Booster
Breadth First Search Algorithm
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Fundamentals of Information Systems
Fundamentals of Information Systems
Computer Science
ISBN:
9781305082168
Author:
Ralph Stair, George Reynolds
Publisher:
Cengage Learning