검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Modelling Integer Programming with Logic: Language and Implementation 논리를 이용한 정수 계획법 모델링: 언어 및 구현

Qiang LI, Yike GUO, Tetsuo IDA

  • 조회수

    0

  • 이것을 인용

요약 :

정수 프로그래밍(IP)에 대한 고전적인 대수 모델링 접근 방식은 일부 실제 IP 문제에 적합하지 않습니다. 왜냐하면 대수 공식은 논리적 관계가 아닌 수학적 관계에 대한 설명만 허용하기 때문입니다. 이 논문에서는 언어를 제시합니다. + IP 문제의 논리적 사양을 작성하는 IP의 경우. + 술어 논리를 기반으로 하는 언어이지만 at_least(와 같은 메타 술어로 확장됩니다.m,S), 어디서 m 음수가 아닌 정수입니다. 즉, 세트에 m개 이상의 술어가 있음을 의미합니다. S 수식이 유지됩니다. 메타 술어는 IP 문제 모델에 대한 추론을 엄격하고 논리적으로 촉진합니다. + 수식은 다음과 같은 의미에서 실행 가능합니다. + IP 공식이라고 불리는 일련의 수학 공식으로 기계적으로 변환되며, 대부분의 기존 IP 솔버가 이를 수용합니다. 우리는 수식을 번역하는 체계적인 방법을 제공합니다. + IP 공식에. 번역은 Mathematica 3.0에서 엄격하게 정의, 검증 및 구현되었습니다. 우리 작업은 McKinnon과 Williams의 접근 방식을 따르며 (1) 엄격하게 정의되고, (2) IP 공식으로의 변환이 더욱 최적화되고 검증되었으며, (3) 변환이 Mathematica 3.0에서 완전히 제공되고, IP를 위한 도구로서 IP 해결 환경에 통합됩니다.

발행
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.8 pp.1673-1680
발행일
2000/08/25
공개일
온라인 ISSN
DOI
원고의 종류
PAPER
범주
수치해석 및 최적화

작성자

키워드