14 research outputs found

    On the Complexity of Hazard-free Circuits

    Get PDF
    The problem of constructing hazard-free Boolean circuits dates back to the 1940s and is an important problem in circuit design. Our main lower-bound result unconditionally shows the existence of functions whose circuit complexity is polynomially bounded while every hazard-free implementation is provably of exponential size. Previous lower bounds on the hazard-free complexity were only valid for depth 2 circuits. The same proof method yields that every subcubic implementation of Boolean matrix multiplication must have hazards. These results follow from a crucial structural insight: Hazard-free complexity is a natural generalization of monotone complexity to all (not necessarily monotone) Boolean functions. Thus, we can apply known monotone complexity lower bounds to find lower bounds on the hazard-free complexity. We also lift these methods from the monotone setting to prove exponential hazard-free complexity lower bounds for non-monotone functions. As our main upper-bound result, we show how to efficiently convert a Boolean circuit into a bounded-bit hazard-free circuit with only a polynomially large blow-up in the number of gates. Previously, the best known method yielded exponentially large circuits in the worst case, so our algorithm gives an exponential improvement. As a side result, we establish the NP-completeness of several hazard detection problems

    The Relationship between Physical Growth and Infant Behavioral Development in Rural Guatemala

    Get PDF
    The present study investigated the relationship between a number of anthropometric indices and behavioral development during the first 2 years of life in rural Guatemala. Length and weight were the indices most strongly correlated with behavioral development. If the effect of the infant\u27s length and weight was statistically controlled for, none of the other anthropometric variables explained a significant proportion of the variance in behavioral development. Con- trolling for length (or weight) assessed at the same age as the behavioral assessment, length (or weight) for younger ages was not significantly correlated with behavioral development. Changes in length or weight over time were correlated with changes in behavioral performance. We were unable to explain the association between physical growth and behavioral development by a number of variables including gestational age, nutrient intake, prevalence of disease, and familial characteristics

    Antichains and their application for enumerating ternary logic functions

    No full text
    corecore