The project proposes to study three related areas of computational complexity: circuit and branching program lower bounds, multi-party communication complexity and derandomization. In the first area we propose to study the size of bounded-depth counting circuits and the depth of Boolean circuits needed to compute explicit functions. Furthermore, we propose to study the recently introduced variants of branching programs---incremental and tight branching programs. In the area of multiparty communication complexity we want to focus on the relationship among deterministic, nondeterministic and randomized protocols. In the area of derandomization we want to consider several key problems related to derandomization of space-bounded computation. (en)
Tento projekt navrhuje studovat tři úzce související oblasti výpočetní složitosti: dolní odhady pro obvody a rozhodovací diagramy, komunikační složitost více hráčů a derandomizaci. V první oblasti navrhujeme studium velikosti početních obvodů omezené hloubky a hloubky Booleovských obvodů potřebných pro vyhodnocování explicitních funkcí. Dále pak navrhujeme studium nedávno zavedených druhů rozhodovacích diagramů, inkrementálních a těsných rozhodovacích diagramů. V oblasti komunikační složitosti více hráčů navrhujeme analyzovat vztah mezi deterministickými, nedeterministickými a pravděpodobnostními protokoly. V oblasti derandomizace se chceme soustředit na studium několika klíčových problémů derandomizace výpočtů běžících v omezeném prostoru. (cs)