|
|
제 목 |
[RE]dispatcher solve 결과 이해하기 |
|
작성자 |
유환주 |
작성일 |
2007-04-26 |
조회수 |
1045 회 |
|
| 첨부파일 |
첨부된 파일없음.
|
|
visit18 weight[0..8] time[15.8114..18.5725] distance[15.8114..1.#INF)
위의 의미는 visit18의 weight 변수의 값이 0에서 8 사이의 범위에 있고, time 변수는 15.8114에서 18.5725 사이에 있으며, distance 변수는 15.8114에서 무한대(infinity)의 범위에 있다는 의미 입니다. 즉, 변수의 [lower bound, upper bound]를 표시하고 있습니다.
해를 찾은 경우에는 각각의 변수가 하나의 값으로 결정되는데, 위의 상태는 해를 찾은 경우가 아닌 상태에서 문제를 출력한 것 같습니다. |
|
|
|
