Variable gadget in Valiant's permanent reduction
= Variable gadget in Valiant's permanent reduction
{c}
The variable gadget has two relevant cycle-cover states, representing the two truth values, and exposes ports that transmit the chosen value to occurrences of the variable.