거기 대회에 대한 정수 프로그래밍이 가능한가요?

Question

거기 대회에 대한 정수 프로그래밍을 다음과 같이스 토 고 MAXSAT?

Answer 1

제약 만족도 솔버에 대한 경쟁이 있습니다.일부 문제는 IP 솔버로 쉽게 번역 될 수 있습니다.예를 들어, Minizinc Challenge 2008 년 이후 연간 수행되었거나 xcsp 경쟁 .

Answer 2

기 대회를 타겟팅이 일반적인 정수 프로그래밍 또는 혼합의 정수 프로그래밍하지만,거기(또는)벤치마킹,등 MIPLIB (선형)및 MINLPLIB (비선형).

거기 대회에 대한 하위 집합(PB,SAT,max-토)고에 대한 제약 조건을 프로그래밍으로,당신과 다른 답변이 지적했다.당신은 찾을 수 많은 대회(DIMACS 전, 예를 들어)NP-하드할 수 있는 문제로 공식화 IP,too.

그래서,가 없는 이유는 무엇입니까 같은 대회?나 개인적인 생각은 그것이 온다:

• 구현 복잡합니다.좋은 정수 프로그래밍 솔버는 거대하고 복잡합니다.SAT 대회와 같은 재미있기 때문에 많은(small)팀이 경쟁할 수 있는 기술을 얻을 수 있다.There are only a few IP 해법,그리고 그들 모두는 많은 년간의 작동합니다.
• 너무 일반적입니다.많은 많은 IP 인스턴스가 서로 다른 특성을 가진.하는 것은 어려울 만들이 균형 기준을 설정합니다.
• 성숙한 분야이다.의 해법은 주로 상업 및 회사에 관심을 조직하거나 부분에서 같은 대회.

Answer 3

2005-2012 년 부실아 솔버 경쟁이 있었지만 (내가 말할 수있는 한 멀리 말할 수있는 한).Integer Linear Programming은 의사 부울 프로그래밍의 하위 집합입니다. 2012 대회 페이지 다른 경쟁 결과에 대한 링크를 참조하십시오.