CNF->DNF: exponential blowup?

Posted on 2005-03-18
Medium Priority
Last Modified: 2008-03-17
I am looking for a small (about 5 atoms/variables) and simple CNF (Conjunctive Normal Form) expression that (obviously?) blows up exponentially when converting to DNF. There should be no equivalent DNF that is small. I know that the CNF I am looking for exists.
Question by:alberthendriks
Welcome to Experts Exchange

Add your voice to the tech community where 5M+ people just like you are talking about what matters.

  • Help others & share knowledge
  • Earn cash & points
  • Learn & ask questions
  • 2
LVL 27

Accepted Solution

d-glitch earned 2000 total points
ID: 13574438
This paper suggests that one candidate would be the conjunction of parity functions.

See Section 2 -- Functions with Large Blowup


Author Comment

ID: 13574692
It seems more difficult than I thought. Could you (or someone else) write out this CNF? I'm not sure if I could work it all out (maybe with the help of Google but that would take time), but all I really want is one such CNF. (points increased).

Author Comment

ID: 13582193
Never mind. A conjunction of parity functions is not so difficult.
+ = or
* = and
! = not

(a+b) * (!a+!b) * (c+d) * (!c+!d) * (e+f) * (!e+!f)

And (ofcourse) is blows up indeed.

Featured Post

Free Tool: Path Explorer

An intuitive utility to help find the CSS path to UI elements on a webpage. These paths are used frequently in a variety of front-end development and QA automation tasks.

One of a set of tools we're offering as a way of saying thank you for being a part of the community.

Question has a verified solution.

If you are experiencing a similar issue, please ask a related question

Have you ever thought of installing a power system that generates solar electricity to power your house? Some may say yes, while others may tell me no. But have you noticed that people around you are now considering installing such systems in their …
Article by: Nicole
This is a research brief on the potential colonization of humans on Mars.
This is a video describing the growing solar energy use in Utah. This is a topic that greatly interests me and so I decided to produce a video about it.
I've attached the XLSM Excel spreadsheet I used in the video and also text files containing the macros used below. https://filedb.experts-exchange.com/incoming/2017/03_w12/1151775/Permutations.txt https://filedb.experts-exchange.com/incoming/201…
Suggested Courses

801 members asked questions and received personalized solutions in the past 7 days.

Join the community of 500,000 technology professionals and ask your questions.

Join & Ask a Question