Aanderaa-Karp-Rosenberg przypuszczenie
W teoretycznej informatyce, przypuszczenie Aanderaa-Karp-Rosenberga jest grupą pokrewieństw związanych z liczbą pytań formy "Czy istnieje krawędź między wierzchołkiem u a wierzchołkiem v?" które muszą zostać udzielone, aby ustalić, czy niekierowany wykres ma szczególną właściwość, taką jak planarność czy bipartiteness. Są imiona Stål Aanderaa, Richard M. Karp i Arnold L. Rosenberg. Zgodnie z przypuszczeniem, dla szerokiej klasy właściwości żaden algorytm nie może zagwarantować, że będzie mógł pominąć jakiekolwiek pytania: dowolny algorytm pozwalający określić, czy wykres ma właściwość, bez względu na to, jak mądrą, trzeba będzie zbadać każdą parę wierzchołków zanim da odpowiedź. Właściwość zaspokajająca ten przypuszczenie nazywa się ucieczką. Dokładniej, przypuszczalna koncepcja Aanderaa-Rosenberga mówi, że każdy deterministyczny algorytm musi przetestować co najmniej stałą część wszystkich możliwych par wierzchołków w najgorszym przypadku, aby określić dowolną nietrywialną właściwość wykresu monotonnego; w tym kontekście własność jest monotonna, jeśli pozostaje prawdą, gdy dodawane są krawędzie.