On the Complexity of Hazard-Free Formulas

TL;DR

This paper investigates the complexity of hazard-free Boolean formulas, revealing unique properties of unate functions, providing new bounds for random functions, and extending understanding of block composition in hazard-free settings.

Contribution

It establishes that unate functions uniquely align hazard-derivative and hazard-free complexities, and introduces new bounds and methods for analyzing hazard-free formula complexity of random and composed functions.

Findings

Unate functions are the only ones where hazard-derivative complexity equals hazard-free complexity.

The hazard-free formula complexity of random functions is at most 2^{(1+o(1))n}, improving previous bounds.

A new weak converse to the hazard-derivative lower bound method is introduced.

Abstract

This paper studies the hazard-free formula complexity of Boolean functions. Our first result shows that unate functions are the only Boolean functions for which the monotone formula complexity of the hazard-derivative equals the hazard-free formula complexity of the function itself. Consequently, they are the only functions for which the hazard-derivative approach of Ikenmeyer et al. (J. ACM, 2019) yields optimal bounds. Our second result proves that the hazard-free formula complexity of random Boolean functions is at most $2^{(1+o(1))n}$. Prior to this, no better upper bound than $O(3^n)$ was known. Notably, unlike in the general case of Boolean circuits and formulas, where the typical complexity is derived from that of the multiplexer function with $n$-bit selector, the hazard-free formula complexity of a random function is smaller than the optimal hazard-free formula for the multiplexer by an exponential factor in $n$. We provide two proofs of this fact. The first is direct, bounding the number of prime implicants of a random Boolean function and using this bound to construct a DNF of the claimed size. The second introduces a new and independently interesting result: a weak converse to the hazard-derivative lower bound method, which gives an upper bound on the hazard-free complexity of a function in terms of the monotone complexity of a subset of its hazard-derivatives. Additionally, we explore the hazard-free formula complexity of block composition of Boolean functions and obtain a result in the hazard-free setting that is analogous to a result of Karchmer, Raz, and Wigderson (Computational Complexity, 1995) in the monotone setting. We show that our result implies a stronger lower bound on the hazard-free formula depth of the block composition of the set covering function with the multiplexer function than the bound obtained via the hazard-derivative method.