A circuit complexity of a graph is the minimum number of union and intersection operations needed to obtain the whole set of its edges starting from stars. Our main motivation to study this measure of graphs is that it is related to the circuit complexity of boolean functions. We prove some lower bounds to the circuit complexity of explicitly given graphs. In particular, we use the graph theoretic frame to prove that some ex-plicit subsets of GF (2)n cannot be covered by fewer than 2 (n) ane subspaces of GF (2)n. We conclude with several graph-theoretic problems whose solution would have intriguing consequences in computational complexity
This work is devoted to explore the novel method of proving circuit lower bounds for the class NEXP ...
Proving that there are problems in $P^{NP}$ that require boolean circuits of super-linear size is a ...
Computational complexity theory and algorithms are two major areas in theoretical computer science. ...
AbstractConsider the decision problem STRICT BOUNDED CIRCUIT INTERSECTION (SBCI): Given a finite gra...
We consider the power of single level circuits in the context of graph complexity. We first prove th...
AbstractThe layout area of Boolean circuits is considered as a complexity measure of Boolean functio...
We consider the power of single level circuits in the context of graph complexity. We first prove ...
We consider the power of single level circuits in the context of graph complexity. We first prove ...
This dissertation presents some circuit complexity results and techniques. Circuit complexity is a b...
This dissertation presents some circuit complexity results and techniques. Circuit complexity is a b...
We study the complexity of several of the classical graph decision problems in the setting of bounde...
Abstract: "This report provides a complete exposition of the main proof in Johan Håstad's thesis [...
AbstractLet P be a property of graphs on a fixed n-element vertex set V. The complexity c(P) is the ...
We survey circuit complexity theory, satisfiability algorithms for circuits, and the recent framewor...
An important problem in theoretical computer science is to develop methods for estimating the comple...
This work is devoted to explore the novel method of proving circuit lower bounds for the class NEXP ...
Proving that there are problems in $P^{NP}$ that require boolean circuits of super-linear size is a ...
Computational complexity theory and algorithms are two major areas in theoretical computer science. ...
AbstractConsider the decision problem STRICT BOUNDED CIRCUIT INTERSECTION (SBCI): Given a finite gra...
We consider the power of single level circuits in the context of graph complexity. We first prove th...
AbstractThe layout area of Boolean circuits is considered as a complexity measure of Boolean functio...
We consider the power of single level circuits in the context of graph complexity. We first prove ...
We consider the power of single level circuits in the context of graph complexity. We first prove ...
This dissertation presents some circuit complexity results and techniques. Circuit complexity is a b...
This dissertation presents some circuit complexity results and techniques. Circuit complexity is a b...
We study the complexity of several of the classical graph decision problems in the setting of bounde...
Abstract: "This report provides a complete exposition of the main proof in Johan Håstad's thesis [...
AbstractLet P be a property of graphs on a fixed n-element vertex set V. The complexity c(P) is the ...
We survey circuit complexity theory, satisfiability algorithms for circuits, and the recent framewor...
An important problem in theoretical computer science is to develop methods for estimating the comple...
This work is devoted to explore the novel method of proving circuit lower bounds for the class NEXP ...
Proving that there are problems in $P^{NP}$ that require boolean circuits of super-linear size is a ...
Computational complexity theory and algorithms are two major areas in theoretical computer science. ...