Problema del tablero de ajedrez mutilado

El problema del tablero de ajedrez mutilado es un rompecabezas de enlosado propuesto por el filósofo analítico Max Black en su libro "Critical Thinking" (Pensamiento Crítico) (1946).

El problema se plantea como sigue: La mayoría de las consideraciones sobre este problema en la literatura relacionada proporcionan soluciones "en el sentido conceptual", pero sin pruebas.

[1]​ John McCarthy lo propuso como un "problema duro" para sistemas de prueba automatizada.

Si se quitan las dos esquinas blancas, entonces quedan 30 casillas blancas y 32 casillas negras para ser cubiertas por las piezas de dominó, lo que resulta imposible.

Este resultado se denomina teorema de Gomory y lleva el nombre de su descubridor, el matemático Ralph E. Gomory, que publicó la prueba en 1973.