Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Lower Bound of $2^n$ Conditional Branches for Boolean Satisfiability
  on Post Machines   We establish a lower bound of $2^n$ conditional branches for deciding the
satisfiability of the conjunction of any two Boolean formulas from a set called
a full representation of Boolean functions of $n$ variables - a set containing
a Boolean formula to represent each Boolean function of $n$ variables. The
contradiction proof first assumes that there exists a Post machine (Post's
Formulation 1) that correctly decides the satisfiability of the conjunction of
any two Boolean formulas from such a set by following an execution path that
includes fewer than $2^n$ conditional branches. By using multiple runs of this
Post machine, with one run for each Boolean function of $n$ variables, the
proof derives a contradiction by showing that this Post machine is unable to
correctly decide the satisfiability of the conjunction of at least one pair of
Boolean formulas from a full representation of $n$-variable Boolean functions
if the machine executes fewer than $2^n$ conditional branches. This lower bound
of $2^n$ conditional branches holds for any full representation of Boolean
functions of $n$ variables, even if a full representation consists solely of
minimized Boolean formulas derived by a Boolean minimization method. We discuss
why the lower bound fails to hold for satisfiability of certain restricted
formulas, such as 2CNF satisfiability, XOR-SAT, and HORN-SAT. We also relate
the lower bound to 3CNF satisfiability. The lower bound does not depend on
sequentiality of access to the boxes in the symbol space and will hold even if
a machine is capable of non-sequential access.

34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
27
The categories of this paper are: comp-gas
13
The categories of this paper are: quant-ph
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th