Centre for Discrete and Applicable Mathematics
	CDAM Research Report, LSE-CDAM-2001-08 October 2001

Abstract

Our aim in this paper is to address the following question: of the 2²ⁿ Boolean functions on n variables, how many are expressible as 2-SAT formulae? In other words, we wish to count the number of different instances of 2-SAT, counting two instances as equivalent if they have the same set of satisfying assignments. Viewed geometrically, we are asking for the number of subsets of the n-dimensional discrete cube that are unions of (n-2)-dimensional subcubes.

There is a trivial upper bound of , the number of 2-SAT formulae. There is also an obvious lower bound of , corresponding to the monotone 2-SAT formulae. Our main result is that, rather surprisingly, this lower bound gives the correct speed: the number of 2-SAT functions is 2^(1+o(1))n2/2.

A PDF file (189 kB) with the full contents of this report can be downloaded by clicking here.

Alternatively, if you would like to get a free hard copy of this report, please send the number of this report, LSE-CDAM-2001-08, together with your name and postal address to:

		CDAM Research Reports Series Centre for Discrete and Applicable Mathematics London School of Economics Houghton Street London WC2A 2AE, U.K.
		Phone: +44(0)-20-7955 7732. Fax: +44(0)-20-7955 6877. Email: info@maths.lse.ac.uk

		Introduction to the CDAM Research Report Series.
		CDAM Homepage.

Last changed: Wed 9 Feb 2005
For comments go to: http://www.maths.lse.ac.uk/webmaster.html