Clause gadget in Valiant's permanent reduction
= Clause gadget in Valiant's permanent reduction
{c}
The <Clause gadget in Valiant's permanent reduction> is an interchange that can take every proper subset of its literal junctions, uniquely, but cannot take all. <Variable> tracks must therefore take at least one junction, representing a true literal. An unsatisfied clause has no good route.<The Complexity of Computing the Permanent by Leslie G. Valiant>[Figure 1 and proof of Lemma 3.1]{ref}