♯P-completeness of 01-permanent

<h2 id="significance">Significance</h2>
One reason for interest in the computational complexity of the permanent is that it provides an example of a problem where constructing a single solution can be done efficiently but where counting all solutions is hard.<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a> As Papadimitriou writes in his book Computational Complexity:

<blockquote>The most impressive and interesting #P-complete problems are those for which the corresponding search problem can be solved in polynomial time. The PERMANENT problem for 0–1 matrices, which is equivalent to the problem of counting perfect matchings in a <a href="/facts/Bipartite_graph/xWcXV9MB">bipartite graph</a> [...] is the classic example here.<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a></blockquote>
Specifically, <a href="/facts/Computation_of_the_permanent_of_a_matrix/uPl6DwHY">computing the permanent</a> (shown to be difficult by Valiant's results) is closely connected with finding a <a href="/facts/Perfect_matching/LmtRYLgK">perfect matching</a> in a bipartite graph, which is solvable in polynomial time by the <a href="/facts/Hopcroft%E2%80%93Karp_algorithm/fEGdr2VP">Hopcroft–Karp algorithm</a>.<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a><a class="footnote-ref" id="fnref:9" href="#fn:9">9</a> For a bipartite graph with 2n vertices partitioned into two parts with n vertices each, the number of perfect matchings equals the permanent of its <a href="/facts/Biadjacency_matrix/jYXNhYGs">biadjacency matrix</a> and the square of the number of perfect matchings is equal to the permanent of its <a href="/facts/Adjacency_matrix/jYXNhYGs">adjacency matrix</a>.<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a> Since any 0–1 matrix is the biadjacency matrix of some bipartite graph, Valiant's theorem implies<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a> that the problem of counting the number of perfect matchings in a bipartite graph is <a href="/facts/Sharp-P-complete/M6QgPJY6">#P-complete</a>, and in conjunction with <a href="/facts/Toda%27s_theorem/aJYS4QH0">Toda's theorem</a> this implies that it is hard for the entire <a href="/facts/Polynomial_hierarchy/73N468Dv">polynomial hierarchy</a>.<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a><a class="footnote-ref" id="fnref:13" href="#fn:13">13</a>
The computational complexity of the permanent also has some significance in other aspects of complexity theory: it is not known whether <a href="/facts/NC_(complexity)/4SY2L2Kg">NC</a> equals P (informally, whether every polynomially-solvable problem can be solved by a polylogarithmic-time <a href="/facts/Parallel_algorithm/nUPzEF4C">parallel algorithm</a>) and <a href="/facts/Ketan_Mulmuley/LA9Q4nl8">Ketan Mulmuley</a> has suggested an approach to resolving this question that relies on writing the permanent as the <a href="/facts/Determinant/eGYqJ2TF">determinant</a> of a matrix.<a class="footnote-ref" id="fnref:14" href="#fn:14">14</a>
Hartmann <a class="footnote-ref" id="fnref:15" href="#fn:15">15</a> proved a generalization of Valiant's theorem concerning the complexity of computing <a href="/facts/Immanant_of_a_matrix/GtPhjKYD">immanants of matrices</a> that generalize both the determinant and the permanent.

<h2 id="ben-dor-and-halevis-proof">Ben-Dor and Halevi's proof</h2>
Below, the proof that computing the permanent of a 01-matrix is <a href="/facts/Sharp-P-complete/M6QgPJY6">#P-complete</a> is described. It mainly follows the proof by Ben-Dor & Halevi (1993).<a class="footnote-ref" id="fnref:16" href="#fn:16">16</a>

<h3>Overview</h3>
Any square matrix 
 
 
 
 A
 =
 (
 
 a
 
 i
 j
 
 
 )
 
 
 {\displaystyle A=(a_{ij})}
 
 can be viewed as the <a href="/facts/Adjacency_matrix/jYXNhYGs">adjacency matrix</a> of a <a href="/facts/Directed_graph/YBdfQ0um">directed graph</a>, with 
 
 
 
 
 a
 
 i
 j
 
 
 
 
 {\displaystyle a_{ij}}
 
 representing the weight of the edge from vertex 
 
 
 
 i
 
 
 {\displaystyle i}
 
 to vertex 
 
 
 
 j
 
 
 {\displaystyle j}
 
. Then, the permanent of 
 
 
 
 A
 
 
 {\displaystyle A}
 
 is equal to the sum of the weights of all cycle-covers of the graph; this is a <a href="/facts/Permanent_(mathematics)/eJWgdahx">graph-theoretic interpretation of the permanent</a>.
<a href="/facts/Sharp-SAT/AX8r9cBA">#SAT</a>, a <a href="/facts/Function_problem/3zPWpraL">function problem</a> related to the <a href="/facts/Boolean_satisfiability_problem/wBVRjWoy">Boolean satisfiability problem</a>, is the problem of counting the number of satisfying assignments of a given Boolean formula. It is a <a href="/facts/Sharp-P-complete/M6QgPJY6">#P-complete</a> problem (by definition), as any NP machine can be encoded into a Boolean formula by a process similar to that in <a href="/facts/Cook%27s_theorem/6WN3aUyL">Cook's theorem</a>, such that the number of satisfying assignments of the Boolean formula is equal to the number of accepting paths of the NP machine. Any formula in SAT <a href="/facts/3SAT/wBVRjWoy">can be rewritten</a> as a formula in 3-<a href="/facts/Conjunctive_normal_form/B3sY1lTW">CNF</a> form preserving the number of satisfying assignments, and so #SAT and #3SAT are equivalent and #3SAT is <a href="/facts/Sharp-P-complete/M6QgPJY6">#P-complete</a> as well.
In order to prove that 01-Permanent is <a href="/facts/Sharp-P-complete/M6QgPJY6">#P-hard</a>, it is therefore sufficient to show that the number of satisfying assignments for a 3-CNF formula can be expressed succinctly as a function of the permanent of a matrix that contains only the values 0 and 1. This is usually accomplished in two steps:

<ol><li>Given a 3-CNF formula 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
, construct a directed integer-weighted graph 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
, such that the sum of the weights of cycle covers of 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 (or equivalently, the permanent of its adjacency matrix) is equal to the number of satisfying assignments of 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
. This establishes that Permanent is #P-hard.</li>
<li>Through a series of reductions, reduce Permanent to 01-Permanent, the problem of computing the permanent of a matrix all entries 0 or 1. This establishes that 01-permanent is #P-hard as well.</li></ol>
<h3>Constructing the integer graph</h3>
Given a 3CNF-formula 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
 with 
 
 
 
 m
 
 
 {\displaystyle m}
 
 clauses and 
 
 
 
 n
 
 
 {\displaystyle n}
 
 variables, one can construct a weighted, directed graph 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 such that

<ol><li>each satisfying assignment for 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
 will have a corresponding set of cycle covers in 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 where the sum of the weights of cycle covers in this set will be 
 
 
 
 
 12
 
 m
 
 
 
 
 {\displaystyle 12^{m}}
 
 ; and</li>
<li>all other cycle covers in 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 will have weights summing to 0.</li></ol>
Thus if 
 
 
 
 (
 #
 ϕ
 )
 
 
 {\displaystyle (\#\phi )}
 
 is the number of satisfying assignments for 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
, the permanent of this graph will be 
 
 
 
 
 12
 
 m
 
 
 ⋅
 (
 #
 ϕ
 )
 
 
 {\displaystyle 12^{m}\cdot (\#\phi )}
 
.
(Valiant's original proof constructs a graph with entries in 
 
 
 
 {
 −
 1
 ,
 0
 ,
 1
 ,
 2
 ,
 3
 }
 
 
 {\displaystyle \{-1,0,1,2,3\}}
 
 whose permanent is 
 
 
 
 
 4
 
 t
 (
 ϕ
 )
 
 
 ⋅
 (
 #
 ϕ
 )
 
 
 {\displaystyle 4^{t(\phi )}\cdot (\#\phi )}
 
 where 
 
 
 
 t
 (
 ϕ
 )
 
 
 {\displaystyle t(\phi )}
 
 is "twice the number of occurrences of literals in 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
" – 
 
 
 
 m
 
 
 {\displaystyle m}
 
.)
The graph construction makes use of a component that is treated as a "black box." To keep the explanation simple, the properties of this component are given without actually defining the structure of the component.
To specify 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
, one first constructs a variable node in 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 for each of the 
 
 
 
 n
 
 
 {\displaystyle n}
 
 variables in 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
. Additionally, for each of the 
 
 
 
 m
 
 
 {\displaystyle m}
 
 clauses in 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
, one constructs a clause component 
 
 
 
 
 C
 
 j
 
 
 
 
 {\displaystyle C_{j}}
 
 in 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 that functions as a sort of "black box." All that needs to be noted about 
 
 
 
 
 C
 
 j
 
 
 
 
 {\displaystyle C_{j}}
 
 is that it has three input edges and three output edges. The input edges come either from variable nodes or from previous clause components (e.g., 
 
 
 
 
 C
 
 i
 
 
 
 
 {\displaystyle C_{i}}
 
 for some 
 
 
 
 i
 <
 j
 
 
 {\displaystyle i<j}
 
) and the output edges go either to variable nodes or to later clause components (e.g., 
 
 
 
 
 C
 
 i
 
 
 
 
 {\displaystyle C_{i}}
 
 for some 
 
 
 
 o
 >
 j
 
 
 {\displaystyle o>j}
 
). The first input and output edges correspond with the first variable of the clause 
 
 
 
 j
 
 
 {\displaystyle j}
 
, and so on. Thus far, all of the nodes that will appear in the graph 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 have been specified.
Next, one would consider the edges. For each variable 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 of 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
, one makes a true cycle (T-cycle) and a false cycle (F-cycle) in 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
. To create the T-cycle, one starts at the variable node for 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 and draw an edge to the clause component 
 
 
 
 
 C
 
 j
 
 
 
 
 {\displaystyle C_{j}}
 
 that corresponds to the first clause in which 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 appears. If 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 is the first variable in the clause of 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
 corresponding to 
 
 
 
 
 C
 
 j
 
 
 
 
 {\displaystyle C_{j}}
 
, this edge will be the first input edge of 
 
 
 
 
 C
 
 j
 
 
 
 
 {\displaystyle C_{j}}
 
, and so on. Thence, draw an edge to the next clause component corresponding to the next clause of 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
 in which 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 appears, connecting it from the appropriate output edge of 
 
 
 
 
 C
 
 j
 
 
 
 
 {\displaystyle C_{j}}
 
 to the appropriate input edge of the next clause component, and so on. After the last clause in which 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 appears, we connect the appropriate output edge of the corresponding clause component back to 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
's variable node. Of course, this completes the cycle. To create the F-cycle, one would follow the same procedure, but connect 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
's variable node to those clause components in which ~
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 appears, and finally back to 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
's variable node. All of these edges outside the clause components are termed external edges, all of which have weight 1. Inside the clause components, the edges are termed internal edges. Every external edge is part of a T-cycle or an F-cycle (but not both—that would force inconsistency).
Note that the graph 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 is of size linear in 
 
 
 
 
 |
 
 ϕ
 
 |
 
 
 
 {\displaystyle |\phi |}
 
, so the construction can be done in polytime (assuming that the clause components do not cause trouble).

<h4>Notable properties of the graph</h4>
A useful property of 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 is that its cycle covers correspond to variable assignments for 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
. For a cycle cover 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 of 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
, one can say that 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 induces an assignment of values for the variables in 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
 just in case 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 contains all of the external edges in 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
's T-cycle and none of the external edges in 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
's F-cycle for all variables 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 that the assignment makes true, and vice versa for all variables 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 that the assignment makes false. Although any given cycle cover 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 need not induce an assignment for 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
, any one that does induces exactly one assignment, and the same assignment induced depends only on the external edges of 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
. The term 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 is considered an incomplete cycle cover at this stage, because one talks only about its external edges, 
 
 
 
 M
 
 
 {\displaystyle M}
 
. In the section below, one considers 
 
 
 
 M
 
 
 {\displaystyle M}
 
-completions to show that one has a set of cycle covers corresponding to each 
 
 
 
 M
 
 
 {\displaystyle M}
 
 that have the necessary properties.
The sort of covers 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 that do not induce assignments are the ones with cycles that "jump" inside the clause components. That is, if for every 
 
 
 
 
 C
 
 j
 
 
 
 
 {\displaystyle C_{j}}
 
, at least one of 
 
 
 
 
 C
 
 j
 
 
 
 
 {\displaystyle C_{j}}
 
's input edges is in 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
, and every output edge of the clause components is in 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 when the corresponding input edge is in 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
, then 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 is proper with respect to each clause component, and 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 will produce a satisfying assignment for 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
. This is because proper covers 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 contain either the complete T-cycle or the complete F-cycle of every variable 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 in 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
 as well as each including edges going into and coming out of each clause component. Thus, these covers assign either true or false (but never both) to each 
 
 
 
 
 x
 
 i
 
 
 
 
 {\displaystyle x_{i}}
 
 and ensure that each clause is satisfied. Further, the sets of cycle covers corresponding to all such 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 have weight 
 
 
 
 
 12
 
 m
 
 
 
 
 {\displaystyle 12^{m}}
 
, and any other 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 has weight 
 
 
 
 0
 
 
 {\displaystyle 0}
 
. The reasons for this depend on the construction of the clause components, and are outlined below.

<h4>The clause component</h4>
To understand the relevant properties of the clause components 
 
 
 
 
 C
 
 j
 
 
 
 
 {\displaystyle C_{j}}
 
, one needs the notion of an M-completion. A cycle cover 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 induces a satisfying assignment just in case its external edges satisfy certain properties. For any cycle cover of 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
, consider only its external edges, the subset 
 
 
 
 M
 
 
 {\displaystyle M}
 
. Let 
 
 
 
 M
 
 
 {\displaystyle M}
 
 be a set of external edges. A set of internal edges 
 
 
 
 L
 
 
 {\displaystyle L}
 
 is an 
 
 
 
 M
 
 
 {\displaystyle M}
 
-completion just in case 
 
 
 
 M
 ∪
 L
 
 
 {\displaystyle M\cup L}
 
 is a cycle cover of 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
. Further, denote the set of all 
 
 
 
 M
 
 
 {\displaystyle M}
 
-completions by 
 
 
 
 
 L
 
 M
 
 
 
 
 {\displaystyle L^{M}}
 
 and the set of all resulting cycle covers of 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 by 
 
 
 
 
 Z
 
 M
 
 
 
 
 {\displaystyle Z^{M}}
 
.
Recall that construction of 
 
 
 
 
 G
 
 ϕ
 
 
 
 
 {\displaystyle G_{\phi }}
 
 was such that each external edge had weight 1, so the weight of 
 
 
 
 
 Z
 
 M
 
 
 
 
 {\displaystyle Z^{M}}
 
, the cycle covers resulting from any 
 
 
 
 M
 
 
 {\displaystyle M}
 
, depends only on the internal edges involved. We add here the premise that the construction of the clause components is such that the sum over possible 
 
 
 
 M
 
 
 {\displaystyle M}
 
-completions of the weight of the internal edges in each clause component, where 
 
 
 
 M
 
 
 {\displaystyle M}
 
 is proper relative to the clause component, is 12. Otherwise the weight of the internal edges is 0. Since there are 
 
 
 
 m
 
 
 {\displaystyle m}
 
 clause components, and the selection of sets of internal edges, 
 
 
 
 L
 
 
 {\displaystyle L}
 
, within each clause component is independent of the selection of sets of internal edges in other clause components, so one can multiply everything to get the weight of 
 
 
 
 
 Z
 
 M
 
 
 
 
 {\displaystyle Z^{M}}
 
. So, the weight of each 
 
 
 
 
 Z
 
 M
 
 
 
 
 {\displaystyle Z^{M}}
 
, where 
 
 
 
 M
 
 
 {\displaystyle M}
 
 induces a satisfying assignment, is 
 
 
 
 
 12
 
 m
 
 
 
 
 {\displaystyle 12^{m}}
 
. Further, where 
 
 
 
 M
 
 
 {\displaystyle M}
 
 does not induce a satisfying assignment, 
 
 
 
 M
 
 
 {\displaystyle M}
 
 is not proper with respect to some 
 
 
 
 
 C
 
 j
 
 
 
 
 {\displaystyle C_{j}}
 
, so the product of the weights of internal edges in 
 
 
 
 
 Z
 
 M
 
 
 
 
 {\displaystyle Z^{M}}
 
 will be 
 
 
 
 0
 
 
 {\displaystyle 0}
 
.
The clause component is a weighted, directed graph with 7 nodes with edges weighted and nodes arranged to yield the properties specified above, and is given in Appendix A of Ben-Dor and Halevi (1993). Note that the internal edges here have weights drawn from the set 
 
 
 
 {
 −
 1
 ,
 0
 ,
 1
 ,
 2
 ,
 3
 }
 
 
 {\displaystyle \{-1,0,1,2,3\}}
 
; not all edges have 0–1 weights.
Finally, since the sum of weights of all the sets of cycle covers inducing any particular satisfying assignment is 
 
 
 
 
 12
 
 m
 
 
 
 
 {\displaystyle 12^{m}}
 
, and the sum of weights of all other sets of cycle covers is 0, one has 
 
 
 
 Perm
 ⁡
 (
 
 G
 
 ϕ
 
 
 )
 =
 
 12
 
 m
 
 
 ⋅
 (
 #
 ϕ
 )
 
 
 {\displaystyle \operatorname {Perm} (G_{\phi })=12^{m}\cdot (\#\phi )}
 
. The following section reduces computing 
 
 
 
 Perm
 ⁡
 (
 
 G
 
 ϕ
 
 
 )
 
 
 {\displaystyle \operatorname {Perm} (G_{\phi })}
 
 to the permanent of a 01 matrix.

<h3>01-Matrix</h3>
The above section has shown that Permanent is #P-hard. Through a series of reductions, any permanent can be reduced to the permanent of a matrix with entries only 0 or 1. This will prove that 01-Permanent is #P-hard as well.

<h4>Reduction to a non-negative matrix</h4>
Using <a href="/facts/Modular_arithmetic/0wtRa5dU">modular arithmetic</a>, convert an integer matrix 
 
 
 
 A
 
 
 {\displaystyle A}
 
 into an equivalent non-negative matrix 
 
 
 
 
 A
 ′
 
 
 
 {\displaystyle A'}
 
 so that the permanent of 
 
 
 
 A
 
 
 {\displaystyle A}
 
 can be computed easily from the permanent of 
 
 
 
 
 A
 ′
 
 
 
 {\displaystyle A'}
 
, as follows:
Let 
 
 
 
 A
 
 
 {\displaystyle A}
 
 be an 
 
 
 
 n
 ×
 n
 
 
 {\displaystyle n\times n}
 
 integer matrix where no entry has a magnitude larger than 
 
 
 
 μ
 
 
 {\displaystyle \mu }
 
.

<ul><li>Compute 
 
 
 
 Q
 =
 2
 ⋅
 n
 !
 ⋅
 
 μ
 
 n
 
 
 +
 1
 
 
 {\displaystyle Q=2\cdot n!\cdot \mu ^{n}+1}
 
. The choice of 
 
 
 
 Q
 
 
 {\displaystyle Q}
 
 is due to the fact that 
 
 
 
 
 |
 
 Perm
 ⁡
 (
 A
 )
 
 |
 
 ≤
 n
 !
 ⋅
 
 μ
 
 n
 
 
 
 
 {\displaystyle |\operatorname {Perm} (A)|\leq n!\cdot \mu ^{n}}
 
</li>
<li>Compute 
 
 
 
 
 A
 ′
 
 =
 A
 
 
 mod
 
 
 
 
 Q
 
 
 {\displaystyle A'=A\,{\bmod {\,}}Q}
 
</li>
<li>Compute 
 
 
 
 P
 =
 Perm
 ⁡
 (
 
 A
 ′
 
 )
 
 mod
 
 Q
 
 
 
 
 {\displaystyle P=\operatorname {Perm} (A'){\bmod {Q}}}
 
</li>
<li>If 
 
 
 
 P
 <
 Q
 
 /
 
 2
 
 
 {\displaystyle P<Q/2}
 
 then Perm(A) = P. Otherwise 
 
 
 
 Perm
 ⁡
 (
 A
 )
 =
 P
 −
 Q
 
 
 {\displaystyle \operatorname {Perm} (A)=P-Q}
 
</li></ul>
The transformation of 
 
 
 
 A
 
 
 {\displaystyle A}
 
 into 
 
 
 
 
 A
 ′
 
 
 
 {\displaystyle A'}
 
 is polynomial in 
 
 
 
 n
 
 
 {\displaystyle n}
 
 and 
 
 
 
 log
 ⁡
 (
 μ
 )
 
 
 {\displaystyle \log(\mu )}
 
, since the number of bits required to represent 
 
 
 
 Q
 
 
 {\displaystyle Q}
 
 is polynomial in 
 
 
 
 n
 
 
 {\displaystyle n}
 
 and 
 
 
 
 log
 ⁡
 (
 μ
 )
 
 
 {\displaystyle \log(\mu )}

An example of the transformation and why it works is given below.

A
        =
        
          
            [
            
              
                
                  2
                
                
                  −
                  2
                
              
              
                
                  −
                  2
                
                
                  1
                
              
            
            ]
          
        
      
    
    {\displaystyle A={\begin{bmatrix}2&-2\\-2&1\end{bmatrix}}}

Perm
        ⁡
        (
        A
        )
        =
        2
        ⋅
        1
        +
        (
        −
        2
        )
        ⋅
        (
        −
        2
        )
        =
        6.
      
    
    {\displaystyle \operatorname {Perm} (A)=2\cdot 1+(-2)\cdot (-2)=6.}

Here, 
 
 
 
 n
 =
 2
 
 
 {\displaystyle n=2}
 
, 
 
 
 
 μ
 =
 2
 
 
 {\displaystyle \mu =2}
 
, and 
 
 
 
 
 μ
 
 n
 
 
 =
 4
 
 
 {\displaystyle \mu ^{n}=4}
 
, so 
 
 
 
 Q
 =
 17
 
 
 {\displaystyle Q=17}
 
. Thus

A
          ′
        
        =
        A
        
          mod
          
            1
          
        
        7
        =
        
          
            [
            
              
                
                  2
                
                
                  15
                
              
              
                
                  15
                
                
                  1
                
              
            
            ]
          
        
        .
      
    
    {\displaystyle A'=A{\bmod {1}}7={\begin{bmatrix}2&15\\15&1\end{bmatrix}}.}

Note how the elements are non-negative because of the modular arithmetic. It is simple to compute the permanent

Perm
        ⁡
        (
        
          A
          ′
        
        )
        =
        2
        ⋅
        1
        +
        15
        ⋅
        15
        =
        227
      
    
    {\displaystyle \operatorname {Perm} (A')=2\cdot 1+15\cdot 15=227}

so 
 
 
 
 P
 =
 227
 
 mod
 
 1
 
 
 7
 =
 6
 
 
 {\displaystyle P=227{\bmod {1}}7=6}
 
. Then 
 
 
 
 P
 <
 Q
 
 /
 
 2
 
 
 {\displaystyle P<Q/2}
 
, so 
 
 
 
 Perm
 ⁡
 (
 A
 )
 =
 P
 =
 6.
 
 
 {\displaystyle \operatorname {Perm} (A)=P=6.}

<h4>Reduction to powers of 2</h4>

Note that any number can be <a href="/facts/Binary_numeral_system/a6JDSRPs">decomposed into a sum of powers of 2</a>. For example,

13
        =
        
          2
          
            3
          
        
        +
        
          2
          
            2
          
        
        +
        
          2
          
            0
          
        
      
    
    {\displaystyle 13=2^{3}+2^{2}+2^{0}}

This fact is used to convert a non-negative matrix into an equivalent matrix whose entries are all powers of 2. The reduction can be expressed in terms of graphs equivalent to the matrices.
Let 
 
 
 
 G
 
 
 {\displaystyle G}
 
 be a 
 
 
 
 n
 
 
 {\displaystyle n}
 
-node weighted directed graph with non-negative weights, where largest weight is 
 
 
 
 W
 
 
 {\displaystyle W}
 
. Every edge 
 
 
 
 e
 
 
 {\displaystyle e}
 
 with weight 
 
 
 
 w
 
 
 {\displaystyle w}
 
 is converted into an equivalent edge with weights in powers of 2 as follows:

w
        =
        
          2
          
            
              x
              
                1
              
            
          
        
        +
        
          2
          
            
              x
              
                2
              
            
          
        
        +
        ⋯
        +
        
          2
          
            
              x
              
                r
              
            
          
        
      
    
    {\displaystyle w=2^{x_{1}}+2^{x_{2}}+\cdots +2^{x_{r}}}
  
, 
  
    
      
        0
        ≤
        
          x
          
            1
          
        
        ≤
        
          x
          
            2
          
        
        ≤
        ⋯
        ≤
        
          x
          
            r
          
        
        ≤
        log
        ⁡
        (
        w
        )
      
    
    {\displaystyle 0\leq x_{1}\leq x_{2}\leq \cdots \leq x_{r}\leq \log(w)}

This can be seen graphically in the Figure 1. The subgraph that replaces the existing edge contains 
 
 
 
 r
 
 
 {\displaystyle r}
 
 nodes and 
 
 
 
 3
 r
 
 
 {\displaystyle 3r}
 
 edges.
To prove that this produces an equivalent graph 
 
 
 
 
 G
 ′
 
 
 
 {\displaystyle G'}
 
 that has the same permanent as the original, one must show the correspondence between the cycle covers of 
 
 
 
 G
 
 
 {\displaystyle G}
 
 and 
 
 
 
 
 G
 ′
 
 
 
 {\displaystyle G'}
 
.
Consider some cycle-cover 
 
 
 
 R
 
 
 {\displaystyle R}
 
 in 
 
 
 
 G
 
 
 {\displaystyle G}
 
.

<ul><li>If an edge 
 
 
 
 e
 
 
 {\displaystyle e}
 
 is not in 
 
 
 
 R
 
 
 {\displaystyle R}
 
, then to cover all the nodes in the new sub graph, one must use the self-loops. Since all self-loops have a weight of 1, the weight of cycle-covers in 
 
 
 
 R
 
 
 {\displaystyle R}
 
 and 
 
 
 
 
 R
 ′
 
 
 
 {\displaystyle R'}
 
 match.</li>
<li>If 
 
 
 
 e
 
 
 {\displaystyle e}
 
 is in 
 
 
 
 R
 
 
 {\displaystyle R}
 
, then in all the corresponding cycle-covers in 
 
 
 
 
 G
 ′
 
 
 
 {\displaystyle G'}
 
, there must be a path from 
 
 
 
 u
 
 
 {\displaystyle u}
 
 to 
 
 
 
 v
 
 
 {\displaystyle v}
 
, where 
 
 
 
 u
 
 
 {\displaystyle u}
 
 and 
 
 
 
 v
 
 
 {\displaystyle v}
 
 are the nodes of edge 
 
 
 
 e
 
 
 {\displaystyle e}
 
. From the construction, one can see that there are 
 
 
 
 r
 
 
 {\displaystyle r}
 
 different paths and sum of all these paths equal to the weight of the edge in the original graph 
 
 
 
 G
 
 
 {\displaystyle G}
 
. So the weight of corresponding cycle-covers in 
 
 
 
 G
 
 
 {\displaystyle G}
 
 and 
 
 
 
 
 G
 ′
 
 
 
 {\displaystyle G'}
 
 match.</li></ul>
Note that the size of 
 
 
 
 
 G
 ′
 
 
 
 {\displaystyle G'}
 
 is polynomial in 
 
 
 
 n
 
 
 {\displaystyle n}
 
 and 
 
 
 
 log
 ⁡
 W
 
 
 {\displaystyle \log W}
 
.

<h4>Reduction to 0–1</h4>

The objective here is to reduce a matrix whose entries are powers of 2 into an equivalent matrix containing only zeros and ones (i.e. a directed graph where each edge has a weight of 1).
Let 
 
 
 
 G
 
 
 {\displaystyle G}
 
 be a 
 
 
 
 n
 
 
 {\displaystyle n}
 
-node directed graph where all the weights on edges are powers of two. Construct a graph, 
 
 
 
 
 G
 ′
 
 
 
 {\displaystyle G'}
 
, where the weight of each edge is 1 and 
 
 
 
 Perm
 ⁡
 (
 G
 )
 =
 Perm
 ⁡
 (
 
 G
 ′
 
 )
 
 
 {\displaystyle \operatorname {Perm} (G)=\operatorname {Perm} (G')}
 
. The size of this new graph, 
 
 
 
 (
 
 G
 ′
 
 )
 
 
 {\displaystyle (G')}
 
, is polynomial in 
 
 
 
 n
 
 
 {\displaystyle n}
 
 and 
 
 
 
 p
 
 
 {\displaystyle p}
 
 where the maximal weight of any edge in graph 
 
 
 
 G
 
 
 {\displaystyle G}
 
 is 
 
 
 
 
 2
 
 p
 
 
 
 
 {\displaystyle 2^{p}}
 
.
This reduction is done locally at each edge in 
 
 
 
 G
 
 
 {\displaystyle G}
 
 that has a weight larger than 1. Let 
 
 
 
 e
 =
 (
 u
 ,
 v
 )
 
 
 {\displaystyle e=(u,v)}
 
 be an edge in 
 
 
 
 G
 
 
 {\displaystyle G}
 
 with a weight 
 
 
 
 w
 =
 
 2
 
 r
 
 
 >
 1
 
 
 {\displaystyle w=2^{r}>1}
 
. It is replaced by a subgraph 
 
 
 
 
 J
 
 e
 
 
 
 
 {\displaystyle J_{e}}
 
 that is made up of 
 
 
 
 2
 r
 
 
 {\displaystyle 2r}
 
 nodes and 
 
 
 
 6
 r
 
 
 {\displaystyle 6r}
 
 edges as seen in Figure 2. Each edge in 
 
 
 
 
 J
 
 e
 
 
 
 
 {\displaystyle J_{e}}
 
 has a weight of 1. Thus, the resulting graph 
 
 
 
 
 G
 ′
 
 
 
 {\displaystyle G'}
 
 contains only edges with a weight of 1.
Consider some cycle-cover 
 
 
 
 R
 
 
 {\displaystyle R}
 
 in 
 
 
 
 G
 
 
 {\displaystyle G}
 
.

<ul><li>If an original edge 
 
 
 
 e
 
 
 {\displaystyle e}
 
 from graph 
 
 
 
 G
 
 
 {\displaystyle G}
 
 is not in 
 
 
 
 R
 
 
 {\displaystyle R}
 
, one cannot create a path through the new subgraph 
 
 
 
 
 J
 
 e
 
 
 
 
 {\displaystyle J_{e}}
 
. The only way to form a cycle cover over 
 
 
 
 
 J
 
 e
 
 
 
 
 {\displaystyle J_{e}}
 
 in such a case is for each node in the subgraph to take its self-loop. As each edge has a weight of one, the weight of the resulting cycle cover is equal to that of the original cycle cover.</li>
<li>However, if the edge in 
 
 
 
 G
 
 
 {\displaystyle G}
 
 is a part of the cycle cover then in any cycle cover of 
 
 
 
 
 G
 ′
 
 
 
 {\displaystyle G'}
 
 there must be a path from 
 
 
 
 u
 
 
 {\displaystyle u}
 
 to 
 
 
 
 v
 
 
 {\displaystyle v}
 
 in the subgraph. At each step down the subgraph there are two choices one can make to form such a path. One must make this choice 
 
 
 
 r
 
 
 {\displaystyle r}
 
 times, resulting in 
 
 
 
 
 2
 
 r
 
 
 
 
 {\displaystyle 2^{r}}
 
 possible paths from 
 
 
 
 u
 
 
 {\displaystyle u}
 
 to 
 
 
 
 v
 
 
 {\displaystyle v}
 
. Thus, there are 
 
 
 
 
 2
 
 r
 
 
 
 
 {\displaystyle 2^{r}}
 
 possible cycle covers and since each path has a weight of 1, the sum of the weights of all these cycle covers equals the weight of the original cycle cover.</li></ul>
<h2 id="aaronsons-proof">Aaronson's proof</h2>
In 2011, quantum computer scientist <a href="/facts/Scott_Aaronson/htGK5zuz">Scott Aaronson</a> proved that the permanent is #P-hard using quantum methods.<a class="footnote-ref" id="fnref:17" href="#fn:17">17</a>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Christos H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994. ISBN 0-201-53082-1. Page 443 <a href="/wiki/Christos_Papadimitriou" target="_blank">/wiki/Christos_Papadimitriou</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Allen Kent, James G. Williams, Rosalind Kent and Carolyn M. Hall (editors). Encyclopedia of microcomputers.Marcel Dekker, 1999. ISBN 978-0-8247-2722-2; p. 34 <a href="/wiki/Allen_Kent" target="_blank">/wiki/Allen_Kent</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Jin-Yi Cai, A. Pavan and D. Sivakumar, On the Hardness of Permanent. In: STACS, '99: 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4–6, 1999 Proceedings. pp. 90–99. Springer-Verlag, New York, LLC
Pub. Date: October 2007. ISBN 978-3-540-65691-3; p. 90. <a href="https://books.google.com/books?id=fIAMFv4doooC&dq=%22permanent+of+a+matrix%22+valiant&pg=PA90" target="_blank">https://books.google.com/books?id=fIAMFv4doooC&dq=%22permanent+of+a+matrix%22+valiant&pg=PA90</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Leslie G. Valiant (1979). "The Complexity of Computing the Permanent". Theoretical Computer Science. 8 (2). Elsevier: 189–201. doi:10.1016/0304-3975(79)90044-6. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Lance Fortnow. My Favorite Ten Complexity Theorems of the Past Decade. Foundations of Software Technology and Theoretical Computer Science: Proceedings of the 14th Conference, Madras, India, December 15–17, 1994. P. S. Thiagarajan (editor), pp. 256–275, Springer-Verlag, New York, 2007. ISBN 978-3-540-58715-6; p. 265 <a href="/wiki/Lance_Fortnow" target="_blank">/wiki/Lance_Fortnow</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Bürgisser, Peter (2000). Completeness and reduction in algebraic complexity theory. Algorithms and Computation in Mathematics. Vol. 7. Berlin: Springer-Verlag. p. 2. ISBN 978-3-540-66752-0. Zbl 0948.68082. <a href="978-3-540-66752-0" target="_blank">978-3-540-66752-0</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Christos H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994. ISBN 0-201-53082-1. Page 443 <a href="/wiki/Christos_Papadimitriou" target="_blank">/wiki/Christos_Papadimitriou</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">John E. Hopcroft, Richard M. Karp: An 
 
 
 
 
 n
 
 5
 
 /
 
 2
 
 
 
 
 {\displaystyle n^{5/2}}
 
 Algorithm for Maximum Matchings in Bipartite Graphs. SIAM J. Comput. 2(4), 225–231 (1973) <a href="/wiki/John_Hopcroft" target="_blank">/wiki/John_Hopcroft</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford (2001) [1990]. "26.5: The relabel-to-front algorithm". Introduction to Algorithms (2nd ed.). MIT Press and McGraw-Hill. pp. 696–697. ISBN 0-262-03293-7. <a href="0-262-03293-7" target="_blank">0-262-03293-7</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Dexter Kozen. The Design and Analysis of Algorithms. Springer-Verlag, New York, 1991.
ISBN 978-0-387-97687-7; pp. 141–142 <a href="/wiki/Dexter_Kozen" target="_blank">/wiki/Dexter_Kozen</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Dexter Kozen. The Design and Analysis of Algorithms. Springer-Verlag, New York, 1991.
ISBN 978-0-387-97687-7; pp. 141–142 <a href="/wiki/Dexter_Kozen" target="_blank">/wiki/Dexter_Kozen</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Seinosuke Toda. PP is as Hard as the Polynomial-Time Hierarchy. SIAM Journal on Computing, Volume 20 (1991), Issue 5, pp. 865–877. <a href="/wiki/Seinosuke_Toda" target="_blank">/wiki/Seinosuke_Toda</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">"1998 Gödel Prize. Seinosuke Toda". Archived from the original on 2014-01-08. Retrieved 2016-07-06. <a href="https://web.archive.org/web/20140108203934/http://www.sigact.org/Prizes/Godel/1998.html" target="_blank">https://web.archive.org/web/20140108203934/http://www.sigact.org/Prizes/Godel/1998.html</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">Ketan Mulmuley. Lower Bounds in a Parallel Model without Bit Operations. SIAM Journal on Computing, Volume 28 (1999), Issue 4, pp. 1460–1509. <a href="/wiki/Ketan_Mulmuley" target="_blank">/wiki/Ketan_Mulmuley</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">W. Hartmann. On the complexity of immanants. Linear and Multilinear Algebra 18 (1985), no. 2, pp. 127–140. <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">Ben-Dor, Amir; Halevi, Shai (1993). "Zero-one permanent is #P-complete, a simpler proof". Proceedings of the 2nd Israel Symposium on the Theory and Computing Systems (PDF). pp. 108–117. <a href="http://people.csail.mit.edu/shaih/pubs/01perm.pdf" target="_blank">http://people.csail.mit.edu/shaih/pubs/01perm.pdf</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">S. Aaronson, A Linear-Optical Proof that the Permanent is #P-Hard <a href="/wiki/Scott_Aaronson" target="_blank">/wiki/Scott_Aaronson</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
</ol>

♯P-completeness of 01-permanent open-in-new

♯P-completeness of 01-permanent