Thor Johnson, et al, en su artículo: Ancho de árbol dirigido , introdujeron una definición para la cuadrícula dirigida , y conjeturaron:
Para cada entero k existe un entero N tal que cada dígrafo con un ancho de árbol N o más tiene un isomorfo menor a J k .
Y continuaron diciendo:
Nos hemos convencido de que es válido para los dígrafos planos, pero el caso general está abierto.
Y estoy buscando este documento inédito (cómo demostraron la conjetura de los gráficos di-planar), o cosas relacionadas en este caso, en realidad cómo usar una cuadrícula de este tipo (quiero decir ).