Beaucoup de problèmes difficiles de LeetCode sont simplement des problèmes de contraintes faciles

L'auteur raconte une expérience d'entretien frustrante où un problème de rendu de monnaie apparemment simple l'a déconcerté en raison de son manque de compétences en programmation dynamique. Il soutient que de nombreux problèmes difficiles de LeetCode sont, en fait, facilement résolubles à l'aide de solveurs de contraintes tels que MiniZinc, Z3 ou OR-Tools. L'article présente plusieurs exemples, notamment la maximisation du profit boursier et la recherche du plus grand rectangle dans un histogramme, démontrant la simplicité et la puissance élégantes des solveurs de contraintes, en particulier lorsqu'il s'agit de contraintes complexes.