Comparing the sizes of nondeterministic branching read-k-times programs

From MaRDI portal





The article is an extended version of the author's paper [\textit{E.~A.~Okol'nishnikova}, On the hierarchy of nondeterministic branching \(k\)-programs, Lect. Notes Comput. Sci. 1279, 376-387 (1997)]. It is shown that, for each natural \(k\), \(k\geq 2\), there exists a sequence of Boolean functions such that the complexity of computing every function of this sequence by nondeterministic branching \(k\)-programs is exponentially larger than that by nondeterministic branching \((k \ln k/ \ln 2+C)\)-programs (with respect to the number of variables of the Boolean function), where \(C\) is a constant independent of \(k\). A result on the same subject for comparing the sizes of nondeterministic branching \(k\)- and \((k+1)\)-programs was obtained by \textit{J.~Thathachar} [On separating the read-\(k\)-times branching program hierarchy, Proc. of the 30th Ann. ACM Symp. on Theory of Computing (1998)].











This page was built for publication: Comparing the sizes of nondeterministic branching read-k-times programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4268146)