Aanderaa–Karp–Rosenberg_conjecture