|
|
제 목 |
infeasible 확인 방법 |
|
작성자 |
임승빈 |
작성일 |
2008-10-09 |
조회수 |
1658 회 |
|
| 첨부파일 |
첨부된 파일없음.
|
|
안녕하세요.
추가적으로 infeasible 상황을 확인해 보는 방법을 알려드리겠습니다.
Interactive optimizer를 사용하는 방법인데요(매뉴얼 참고),
우선, mps 파일을 읽고 optimize를 한 후, infeasible이 발생된 경우,
conflict 를 입력하면, 몇개의 제약, 어떤 제약에서 infeasible이 발생되고 있는 지 확인할 수 있습니다.
매뉴얼의
''Limits of the conflict refiner in the Interactive Optimizer''
부분을 읽어보시면 도움이 될 것으로 생각됩니다.
아래는 infeasible이 발생하는 sam2.lp 모델을 사용한 예제입니다.
Interactive optimizer에서 수행하는 순서로서 참고하시기 바랍니다.
감사합니다.
예)
CPLEX> read sam2.lp
Problem ''sam2.lp'' read.
Read time = 0.00 sec.
CPLEX> optimize
Row ''c8'' infeasible, all entries at implied bounds.
Presolve time = -0.00 sec.
MIP - Integer infeasible.
Current MIP best bound is infinite.
Solution time = 0.00 sec. Iterations = 0 Nodes = 0
CPLEX> conf
Refine conflict on 12 members...
Iteration Max Members Min Members
1 9 0
2 8 0
3 7 0
4 2 0
Bound infeasibility column ''x1''.
Presolve time = 0.00 sec.
Tried aggregator 1 time.
MIP Presolve eliminated 10 rows and 22 columns.
All rows and columns eliminated.
Presolve time = 0.00 sec.
5 2 1
Warning: no solution found from MIP start values.
Retaining MIP start values for possible repair.
Tried aggregator 1 time.
MIP Presolve eliminated 10 rows and 22 columns.
All rows and columns eliminated.
Presolve time = 0.00 sec.
6 2 2
Minimal conflict: 2 linear constraint(s)
0 lower bound(s)
0 upper bound(s)
Conflict computation time = 0.00 sec. Iterations = 6 |
|
|
|
