[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science (1991)

San Juan, Puerto Rico

Oct. 1, 1991 to Oct. 4, 1991

ISBN: 0-8186-2445-0

pp: 324-333

M.S. Paterson , Warwick Univ., Coventry, UK

U. Zwick , Warwick Univ., Coventry, UK

ABSTRACT

It is shown that a random restriction leaving only a fraction in of the input variables unassigned reduces the expected de Morgan formula size of the induced function by a factor of O( in /sup 1.63/). This is an improvement over previous results. The new exponent yields an increased lower bound of approximately n/sup 2.63/ for the de Morgan formula size of a function in P defined by A.E. Andreev (1987). This is the largest lower bound known, even for functions in NP.

INDEX TERMS

NP, de Morgan formulae, random restriction, induced function, lower bound

CITATION

U. Zwick and M. Paterson, "Shrinkage of de Morgan formulae under restriction,"

*[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science(FOCS)*, San Juan, Puerto Rico, 1991, pp. 324-333.

doi:10.1109/SFCS.1991.185385

CITATIONS