Muitos problemas difíceis do LeetCode são apenas problemas de restrição fáceis

O autor relata uma experiência frustrante de entrevista em que um problema aparentemente simples de troco o deixou perplexo devido à sua falta de habilidades de programação dinâmica. Ele argumenta que muitos problemas desafiadores do LeetCode são, na verdade, facilmente solucionáveis usando solucionadores de restrições como MiniZinc, Z3 ou OR-Tools. O artigo apresenta vários exemplos, incluindo maximizar o lucro com ações e encontrar o maior retângulo em um histograma, demonstrando a simplicidade e o poder elegantes dos solucionadores de restrições, especialmente ao lidar com restrições complexas.