Bonjour! Je souhaite approfondir mes connaissances sur la complexité computationnelle mais je ne sais pas quel livre lire.
Voici quelques informations de base : j'ai réussi un cours de théorie de la récursivité (familier avec c.c.), un cours de complexité computationnelle (dans lequel le programme était un mélange du livre de papadimitriou et du livre de sipser et nous nous concentrions principalement sur les réductions) et un cours d'algorithmes paramétrés ( livre de cygan et al.).
Voici la question : (je ne suis pas mathématicien, je suis informaticien et) je ne sais pas comment continuer ! Je pensais au livre d'arora-barak mais d'après ce que je sais, ce livre est un peu dur et saute quelques détails sur certains points. Avez-vous d'autres recommandations ? Mes compétences en algorithmique sont plus que correctes, je pense, mais je veux aussi en savoir plus sur c.c. la théorie.