Hacker News 의견

• 과거에 제약 해결기를 사용한 경험이 있으며, 이 도구들이 매우 놀라운 성능을 발휘함

  • 문제는 초보자를 위한 자료가 거의 없다는 점임
  • 대부분의 자료는 스도쿠 해결 방법이나 고도로 기술적인 연구 자료임
  • 더 많은 문제를 해결할 수 있는 도구들이 더 접근 가능했으면 좋겠음
  • 접근 가능하다는 것은 여전히 프로그래머가 필요하다는 의미임

• MiniZinc와 Python을 사용하는 짧은 챕터를 내 오래된 책에서 재작성 중임

  • MiniZinc는 제약 프로그래밍 시스템임
  • Coursera에서 MiniZinc를 사용하는 좋은 강의가 있음

• 많은 프로그램들이 단일 데이터 표현을 가지려고 노력하는데, 이는 대부분의 경우 비합리적임

  • 새로운 표현으로 알고리즘을 작동시키기 위해 많은 왜곡이 필요함
  • 더 자주 표현을 변환하지 않는 것이 항상 아쉬움
  • 표현을 변환하면 매우 간결한 표현을 얻을 수 있으며, 이는 더 빠른 실행을 가능하게 함

• 스포츠 캠프를 운영하는 고객이 있음

  • 아이들이 원하는 스포츠와 친구를 요청할 수 있음
  • 이는 인간에게는 어려운 일정 문제를 만듦
  • OR-Tools 기반의 최적화 도구를 사용하여 간단한 시스템을 구축함
  • 이제 몇 번의 클릭으로 일정이 완료됨

• 2000년대 초반에 많은 해결기를 사용한 경험이 있음

  • 현재는 Python을 사용하는 소프트웨어(웹) 작업 중임
  • 이 주제에 대한 깊은 탐구를 보게 되어 기쁨
  • 제약을 모델로 변환하는 것이 작업의 90%이며 가장 어려운 부분임

• 주로 제약 해결기로 작동하는 파라메트릭 CAD가 있는지 궁금함

  • 초기에는 신경 쓰지 않는 매개변수 값을 추정해야 하는 것이 자주 불편함
  • 대신 관심 있는 매개변수를 제약하고 나머지를 최적화하고 싶음

• 혼합 정수 프로그래밍과 비교하면 어떨지 궁금함