Skip to main content
Figure 2 | BMC Bioinformatics

Figure 2

From: Linearization of ancestral multichromosomal genomes

Figure 2

(a) The variable gadget for variable x with literal vertices x1, x2 and ¬ x , as well as the four auxiliary vertices x ', x '', x ''', x '''' that do not appear in any other hyperedge of H ϕ . (b) 2-clause gadget with literal vertices p and q, as well as the two auxiliary vertices c and c' that do not appear in any other hyperedge of H ϕ . (c) 3-clause gadget with literal vertices p, q and r.

Back to article page
\