옥수수 퍼즐, CP-SAT로 풀어내다
Solving a corn puzzle with CP-SAT
RC에서 옥수수 퍼즐을 풀다가 Claude에게 물어봤더니, Claude는 직접 백트래킹을 구현하는 대신 Google의 OR-Tools CP-SAT를 사용했다. 퍼즐은 Exact Cover 문제의 변형으로, 각 조각이 정확히 한 번 놓이고 각 칸이 정확히 한 번 덮이는 제약만으로 모델링된다. 이후 스도쿠에도 같은 도구를 적용해보며, 앞으로 비슷한 문제를 만나면 직접 구현하기보다 솔버를 쓰기로 배웠다.
앞으로 또 cp-sat 형태의 문제를 만나면, 직접 구현하기보다 솔버를 시도하고 필요한 건 문서를 읽어서 해결하겠다는 것을 배웠다.