Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the complexity of the clone membership problem   We investigate the complexity of the Boolean clone membership problem (CMP):
given a set of Boolean functions $F$ and a Boolean function $f$, determine if
$f$ is in the clone generated by $F$, i.e., if it can be expressed by a circuit
with $F$-gates. Here, $f$ and elements of $F$ are given as circuits or formulas
over the usual De Morgan basis. B\"ohler and Schnoor (2007) proved that for any
fixed $F$, the problem is coNP-complete, with a few exceptions where it is in
P. Vollmer (2009) incorrectly claimed that the full problem CMP is also
coNP-complete. We prove that CMP is in fact $\Theta^P_2$-complete, and we
complement B\"ohler and Schnoor's results by showing that for fixed $f$, the
problem is NP-complete unless $f$ is a projection.
  More generally, we study the problem $B$-CMP where $F$ and $f$ are given by
circuits using gates from $B$. For most choices of $B$, we classify the
complexity of $B$-CMP as being $\Theta^P_2$-complete (possibly under randomized
reductions), coDP-complete, or in P.

0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph