Conjecture d'Aanderaa-Karp-Rosenberg
💰 Fortune / Salaire :
2 216,00 € *
En informatique théorique, la conjecture d'Aanderaa-Karp-Rosenberg est un ensemble de conjectures concernant le nombre de questions de la forme « existe-t-il une arête entre le sommet et sommet ? » dans un graphe auxquelles il faut répondre pour déterminer si oui ou non un graphe non orienté possède une propriété donnée telle que la planarité ou le caractère biparti. Elles portent les noms de Stål Aanderaa, Richard M. Karp et Arnold L. Rosenberg. La conjecture affirme que, pour une large classe de propriétés, tout algorithme pour déterminer si un graphe possède une de ces propriétés, aussi élaboré soit-il, peut être amené à examiner toute paire de sommets avant de donner sa réponse. Une propriété satisfaisant cette conjecture est dite évasive.
