The Complexity of Deciding if a Boolean Function Can Be Computed by Circuits over a Restricted Basis

We study the complexity of the following algorithmic problem: Given a Boolean function f and a finite set of Boolean functions B , decide if there is a circuit with basis B that computes  f . We show that if both f and all functions in B are given by their truth-table, the problem is in quasipolynom...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory of computing systems Ročník 44; číslo 1; s. 82 - 90
Hlavní autor:	Vollmer, Heribert
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer-Verlag 01.01.2009 Springer Nature B.V
Témata:	Algebra Algorithms Boolean Circuits Codes Computer Science Mathematical analysis Studies Theory of Computation Post’s lattice Membership problem Clones Boolean circuit Computational complexity
ISSN:	1432-4350, 1433-0490
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!