On depth-3 circuits and covering number: an explicit counter-example

Abstract

We give a simple construction of n× n Boolean matrices with (n4/3) zero entries that are free of 2 × 2 all-zero submatrices and have covering number O(4(n)). This construction provides an explicit counterexample to a conjecture of Pudl\'ak, R\"odl and Savick\'y and Research Problems 1.33, 4.9, 11.17 of Jukna [Boolean function complexity]. These conjectures were previously refuted by Katz using a probabilistic construction.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…