Abstract:Block sensitivity (bs(f)), certificate complexity (C(f)) and fractional certificate complexity (C*(f)) are three fundamental combinatorial measures of complexity of a boolean function f. It has long been known that bs(f) ≤ C*(f) ≤ C(f) = O(bs(f)2). We provide an infinite family of examples for which C(f) grows quadratically in C*(f) (and also bs(f)) giving optimal separations between these measures. Previously the biggest separation known was \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$C(f) = C*(f)^{\log _{4,5} 5}$$\end{document}. We also give a family of examples for which C*(f)= Ω (bs(f)3/2).These examples are obtained by composing boolean functions in various ways. Here the composition fog of f with g is obtained by substituting for each variable of f a copy of g on disjoint sets of variables. To construct and analyse these examples we systematically investigate the behaviour under function composition of these measures and also the sensitivity measure s(f). The measures s(f), C(f) and C*(f) behave nicely under composition: they are submultiplicative (where measure m is submultiplicative if m(fog) ≤ m(f)m(g)) with equality holding under some fairly general conditions. The measure bs(f) is qualitatively different: it is not submultiplicative. This qualitative difference was not noticed in the previous literature and we correct some errors that appeared in previous papers. We define the composition limit of a measure m at function f, mlim(f) to be the limit as k grows of m(f(k))1/k, where f(k) is the iterated composition of f with itself k-times. For any function f we show that bslim(f) = (C*)lim(f) and characterize slim(f); (C*)lim(f), and Clim(f) in terms of the largest eigenvalue of a certain set of 2×2 matrices associated with f.

Computing Crisp Bisimulations for Fuzzy Structures

Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures

Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure

Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems

Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations

Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata

Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices

Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics

Bisimulations for Fuzzy Transition Systems Revisited

Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic

Bisimulations for Fuzzy-Transition Systems

Representation of a Crisp Set as a Pair of Dual Fuzzy Sets

Bisimulation Learning

Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams

How to Determine the Minimum Number of Fuzzy Rules to Achieve Given Accuracy: a Computational Geometric Approach to SISO Case

A Fuzzy Decomposition Method to Establish Functional Inequalities

Bisimulation for Impure Simplicial Complexes

Lattice-valued Simulations for Quantitative Transition Systems

Fuzzy Alternating Refinement Relations under the Gödel Semantics

Composition limits and separating examples for some boolean function complexity measures