The effects of bases of two-input boolean functions are characterised in terms of their impact on some questions in parallel computation. It is found that a certain set of bases (called the P-complete set) which are not necessarily complete in the classical sense, apparently makes the circuit value problem difficult, and renders extended Turing machines and conglomerates equal to general parallel computers. A class of problems called EP arises naturally from this study, relating to the parity of the number of solutions to a problem, in contrast to previously defined classes concerning the count of the number of solutions (#P) or the existence of solutions to a problem (NP). Tournament isomorphism is a member of EP
Abstract—This paper aims at better possibilities to solve problems of exponential complexity. Our sp...
Abstract: "This report provides a complete exposition of the main proof in Johan Håstad's thesis [...
AbstractWe compare the two computational models of Boolean circuits and arithmetic circuits in cases...
AbstractThe effects of bases of two-input Boolean functions are characterized in terms of their impa...
AbstractThe Boolean circuit has been an important model of parallel computation, but not many parall...
grantor: University of TorontoUniform complexity classes are typically defined in terms of...
This paper gives an overview of some models of computation which have proved successful in laying a ...
The P versus NP problem is to determine whether every language accepted by some nondeterministic alg...
The class NC consists of problems solvable very fast (in time polynomial in log n) in parallel with ...
Recent advances in microelectronics have brought closer to feasibility the construction of computer...
In this paper, P(#P) and PF(#P) are characterized in terms of a largely different computation struct...
16 pagesInternational audienceWe introduce Non-deterministic Boolean proof nets to study the corresp...
AbstractWe study two classes of unbounded fan-in parallel computation, the standard one, based on un...
The Boolean circuit has been an important model of parallel computation, but not many parallel algor...
Random instances of feedforward Boolean circuits are studied both analytically and numerically. Eval...
Abstract—This paper aims at better possibilities to solve problems of exponential complexity. Our sp...
Abstract: "This report provides a complete exposition of the main proof in Johan Håstad's thesis [...
AbstractWe compare the two computational models of Boolean circuits and arithmetic circuits in cases...
AbstractThe effects of bases of two-input Boolean functions are characterized in terms of their impa...
AbstractThe Boolean circuit has been an important model of parallel computation, but not many parall...
grantor: University of TorontoUniform complexity classes are typically defined in terms of...
This paper gives an overview of some models of computation which have proved successful in laying a ...
The P versus NP problem is to determine whether every language accepted by some nondeterministic alg...
The class NC consists of problems solvable very fast (in time polynomial in log n) in parallel with ...
Recent advances in microelectronics have brought closer to feasibility the construction of computer...
In this paper, P(#P) and PF(#P) are characterized in terms of a largely different computation struct...
16 pagesInternational audienceWe introduce Non-deterministic Boolean proof nets to study the corresp...
AbstractWe study two classes of unbounded fan-in parallel computation, the standard one, based on un...
The Boolean circuit has been an important model of parallel computation, but not many parallel algor...
Random instances of feedforward Boolean circuits are studied both analytically and numerically. Eval...
Abstract—This paper aims at better possibilities to solve problems of exponential complexity. Our sp...
Abstract: "This report provides a complete exposition of the main proof in Johan Håstad's thesis [...
AbstractWe compare the two computational models of Boolean circuits and arithmetic circuits in cases...