Llevan el nombre de Stål Aanderaa, Richard M. Karp, y Arnold L. Rosenberg.
Más precisamente, la conjetura Aanderaa-Rosenberg afirma que cualquier algoritmo determinista debe probar al menos una fracción constante de todos los posibles pares de vértices, en el peor de los casos, para determinar cualquier propiedad gráfica monótona no trivial; en este contexto, una propiedad es monótona si sigue siendo cierto cuando se añaden bordes (tan planitud no es monótona, pero no planaridad es monótona).
Ellos llevan el nombre de Stål Aanderaa, Richard M. Karp, y Arnold L. Rosenberg.
Más precisamente, la conjetura Aanderaa-Rosenberg afirma que cualquier algoritmo determinista debe probar al menos una fracción constante de todos los posibles pares de vértices, en el peor de los casos, para determinar cualquier propiedad gráfica monótona no trivial; en este contexto, una propiedad es monótona si sigue siendo cierto cuando se añaden bordes (tan planitud no es monótona, pero no planaridad es monótona).
Si un borde es que se ha encontrado de esta manera, romper el lazo, y el informe que la gráfica es no vacío, y si el bucle finaliza sin haber encontrado ningún borde, luego de informar que el gráfico está vacía.