# Solution Clusters and Monotone-2SAT

It is known that generic k-SAT formulas may exhibit the presence of exponentially many solution clusters.

Question:

Is it true also for Monotone-2SAT formulas?

For the definition of cluster, see Kaveh's answer to the question SAT Solution Space - Definition of Cluster of Solutions.

• If you remember your older question asking the definition of “cluster,” please do not let people go through the same trouble as the one you experienced. That is, define “cluster” in your question (or give a link to the definition you intend if the definition is too long to include in the question). Oct 14 '10 at 18:31
• @Tsuyoshi: You're right! Fixed. Oct 14 '10 at 18:48