Hazard-free Decision Trees

TL;DR

This paper introduces hazard-free decision trees that extend classical decision trees to handle uncertain outputs, establishing bounds, structural properties, and equivalences with known Boolean function parameters in this new model.

Contribution

It defines hazard-free decision trees, proves bounds and separations from classical models, and establishes polynomial equivalences among key parameters like sensitivity and decision tree depth.

Findings

Hazard-free decision trees have bounds similar to classical decision trees.

Sensitivity, block sensitivity, and certificate complexity are polynomially equivalent in the hazard-free model.

Small hazard-free sensitivity implies the function is determined by values in a small Hamming ball.

Abstract

Decision trees are one of the most fundamental computational models for computing Boolean functions $f : \{0, 1\}^n \mapsto \{0, 1\}$. It is well-known that the depth and size of decision trees are closely related to time and number of processors respectively for computing functions in the CREW-PRAM model. For a given $f$, a fundamental goal is to minimize the depth and/or the size of the decision tree computing it. In this paper, we extend the decision tree model to the world of hazard-free computation. We allow each query to produce three results: zero, one, or unknown. The output could also be: zero, one, or unknown, with the constraint that we should output "unknown" only when we cannot determine the answer from the input bits. This setting naturally gives rise to ternary decision trees computing functions, which we call hazard-free decision trees. We prove various lower and upper bounds on the depth and size of hazard-free decision trees and compare them to their Boolean counterparts. We prove optimal separations and relate hazard-free decision tree parameters to well-known Boolean function parameters. We show that the analogues of sensitivity, block sensitivity, and certificate complexity for hazard-free functions are all polynomially equivalent to each other and to hazard-free decision tree depth. i.e., we prove the sensitivity theorem in the hazard-free model. We then prove that hazard-free sensitivity satisfies an interesting structural property that is known to hold in the Boolean world. Hazard-free functions with small hazard-free sensitivity are completely determined by their values in any Hamming ball of small radius in $\{0, u, 1\}^n$.