Explore les contraintes, l'efficacité et la complexité de l'algèbre linéaire, en mettant l'accent sur la convexité et la complexité du pire des cas dans l'analyse algorithmique.
S'insère dans la théorie de la complexité, en se concentrant sur le problème P vs NP et la classification des problèmes informatiques en fonction de l'efficacité.
Introduit un algorithme amélioré pour les jeux de parité à trois couleurs, en mettant l'accent sur les mesures de progrès, l'accélération et la rapidité pratique.