4 citations · 7 across the 10 of their papers we have counts for
5 papers · 1 filter
CNF Encodings of Parity
Gregory Emdin, Alexander S. Kulikov, Ivan Mihajlin +1
The minimum number of clauses in a CNF representation of the parity function is . One can obtain a more compact CNF encoding by u…
Complexity of Linear Operators
Alexander S. Kulikov, Ivan Mikhailin, Andrey Mokhov +1
Let be a matrix with zeroes and ones and be an -dimensional vector of formal variables over a semigroup . How many semigroup…
Circuit Depth Reductions
Alexander Golovnev, Alexander S. Kulikov, R. Ryan Williams
The best known size lower bounds against unrestricted circuits have remained around for several decades. Moreover, the only known technique for proving lower bounds in this mo…
Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates
Alexander S. Kulikov, Vladimir V. Podolskii
We study the following computational problem: for which values of , the majority of bits can be computed with a depth two formula whose each gate computes a m…
Limits of Approximation Algorithms: PCPs and Unique Games (DIMACS Tutorial Lecture Notes)
Prahladh Harsha, Moses Charikar, Matthew Andrews +14
These are the lecture notes for the DIMACS Tutorial "Limits of Approximation Algorithms: PCPs and Unique Games" held at the DIMACS Center, CoRE Building, Rutgers University on 20-2…