El concepto de explotar propiedades que posee un gráfico localmente puede llevarse aún más lejos. Dawar, Grohe y Kreutzer en Excluyendo localmente un menor clases consideradas de gráficos que excluyen a un menor nivel local y Dvorak, Kral y Thomas en Decidir propiedades de primer orden para grafos dispersos clases de gráficos que han (localmente) la expansión delimitadas considerados.
Ambas clases están subsumidas por clases de gráficas densas en ninguna parte, introducidas por Nesetril y Ossona de Méndez.
Grohe anunció esta semana en la conferencia Highlights que Grohe, Kreutzer y Siebertz. han demostrado que todas las propiedades de los gráficos definibles en la lógica de primer orden se pueden resolver en un tiempo casi lineal en clases de gráficos densamente inexistentes. Esto implica muchos resultados de trazabilidad de parámetros fijos en gráficos densos en ninguna parte, por ejemplo, para el conjunto dominante (conectado) y el núcleo de dígrafo (ambos parametrizados por el tamaño de la solución), el árbol Steiner (parametrizado por el tamaño del árbol) y la capacidad de satisfacción del circuito ( parametrizado por la profundidad del circuito y el peso de Hamming de la solución).
Sebastian Siebertz
fuente