Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Paper
An explicit construction of short monotone formulae for the monotone symmetric functions
Abstract
We construct formulae that assume the value 1 when and only when at least k of their n variables assume the value 1, using only conjunction and disconjunction, and having (for any fixed k) only O(nlogn) k 2log*n occurences of variables. © 1978.
Related
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Thomas R. Puzak, A. Hartstein, et al.
CF 2007
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990