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...

Full description

Bibliographic Details

Published in:	Theory of computing systems Vol. 44; no. 1; pp. 82 - 90
Main Author:	Vollmer, Heribert
Format:	Journal Article
Language:	English
Published:	New York Springer-Verlag 01.01.2009 Springer Nature B.V
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!