A Noncommutative Enumeration Problem

Figure 2

Illustration of the one-to-one correspondence between a coloured hard-dimer, its graph, and its tree.