Variable gadget in Valiant's permanent reduction
= Variable gadget in Valiant's permanent reduction
{c}
The <Variable gadget in Valiant's permanent reduction> is a track with two coherent routing choices. Each takes one side's literal junctions; clause tracks must take the other side. Interpret the global choice as a <truth value>, making all occurrences consistent.<The Complexity of Computing the Permanent by Leslie G. Valiant>[Figure 1 and proof of Lemma 3.1]{ref}