Гіпотеза Аандераа-Карп-Розенберг
У теоретичній інформатиці гіпотеза Аандераа-Карп-Розенберга - це група пов'язаних з цим припущень про кількість питань форми "Чи є ребро між вершиною і вершиною?" на які потрібно відповісти, щоб визначити, чи має неорієнтований граф певну властивість, таку як планарність або подвійність. Їх називають Сталь Аандера, Річард М. Карп та Арнольд Л. Розенберг. Згідно з уявленнями, для широкого класу властивостей жоден алгоритм не може гарантувати, що він зможе пропустити будь-які питання: будь-який алгоритм визначення того, чи є граф має властивість, незалежно від того, наскільки розумним, може знадобитися вивчити кожну пару вершин перш ніж він зможе дати свою відповідь. Властивість, що задовольняє цю гіпотезу, називається укріплюючою. Точніше, гіпотеза Аандераа-Розенберга стверджує, що будь-який детерміністичний алгоритм повинен протестувати принаймні постійну частку всіх можливих пар вершин, у гіршому випадку, для визначення будь-якого нетривіального властивості монотонного графа; у цьому контексті властивість монотонна, якщо воно залишається вірним, коли додано ребра.