Koncepcja wykorzystania właściwości lokalnie posiadanych przez wykres może być jeszcze bardziej rozwinięta. Dawar, Grohe i Kreutzer w Lokalnie wyłączeniem Minor uważane klas grafów, które lokalnie wykluczają małoletni i Dvoraka, Kral i Thomas w Decydując właściwości pierwszego rzędu dla nielicznych wykresów rozważanych klas grafów, które (lokalnie) ograniczonych ekspansję.
Obie te klasy są uwzględnione przez klasy nigdzie gęstych grafów, wprowadzone przez Nesetrila i Ossona de Mendez.
Grohe ogłosił w tym tygodniu na konferencji Highlights, że Grohe, Kreutzer i Siebertz. udowodnili, że każdą właściwość grafów definiowalną w logice pierwszego rzędu można rozwiązać w prawie liniowym czasie na nigdzie gęstych klasach grafów. To implikuje wiele wyników pomiaru parametrów stałych na nigdzie gęstych wykresach, np. Dla (połączonego) dominującego zestawu i jądra digrafa (oba sparametryzowane wielkością rozwiązania), drzewa Steiner'a (sparametryzowanego rozmiarem drzewa) i satysfakcji obwodu ( sparametryzowane przez głębokość obwodu i masę Hamminga roztworu).
Sebastian Siebertz
źródło