ECCC-Report TR98-068https://eccc.weizmann.ac.il/report/1998/068Comments and Revisions published for TR98-068en-usMon, 07 Dec 1998 12:10:02 +0200
Paper TR98-068
| On Random Orderings of Variables for Parity OBDDs |
Petr Savicky
https://eccc.weizmann.ac.il/report/1998/068
There are Boolean functions such that almost all orderings of
its variables yield an OBDD of polynomial size, but there are
also some exceptional orderings, for which the size is exponential.
We prove that for parity OBDDs the size for a random ordering
and the size for the worst ordering are polynomially related.
More exactly, for every \epsilon>0 there is a number c>0 such
that the following holds. If a Boolean function f is such that
a random ordering of the variables yields a parity OBDD
for f of size at most s with probability at least \epsilon,
then every ordering of the variables yields a parity OBDD for f
of size at most s^c.
Mon, 07 Dec 1998 12:10:02 +0200https://eccc.weizmann.ac.il/report/1998/068