많은 어려운 LeetCode 문제들은 사실 간단한 제약 문제다

저자는 동적 계획 알고리즘 기술 부족으로 인해 간단해 보이는 거스름돈 문제에 막혀 좌절했던 면접 경험을 이야기합니다. 그리고 많은 어려운 LeetCode 문제들이 사실 MiniZinc, Z3, OR-Tools와 같은 제약 솔버를 사용하면 쉽게 풀 수 있는 제약 문제라고 주장합니다. 이 글에서는 주식 이익 극대화, 히스토그램에서 가장 큰 직사각형 찾기 등 여러 가지 예를 제시하여 제약 솔버의 우아한 단순함과 강력함, 특히 복잡한 제약 조건을 다룰 때의 강력함을 보여줍니다.