El número de formas de cubrir completamente un $m$ -por- $n$ rectángulo con $mn/2$ dominó fue resuelto por Kasteleyn y así como Temperley y Fisher , ambos en 1961. Este problema equivale a contar el número de combinaciones perfectas en el $m$ -por- $n$ gráfico de rejilla .
En 1967, Kasteleyn generalizó este resultado a los grafos planos. Sin embargo, en lugar de una forma cerrada, el número de emparejamientos perfectos es computable en tiempo polinómico . El algoritmo se denomina Algoritmo FKT en su honor de los tres investigadores. Publicó este algoritmo en el capítulo titulado "Graph theory and crystal physics" del libro Teoría de Grafos y Física Teórica .
En 1988, Vijay Vazirani generalizado el algoritmo FKT a los grafos que no contienen un subgrafo homeomorfo a $K_{3,3}$ el gráfico bipartito completo con 3 vértices en cada partición.