! "# $$$
% &
" ' ( #)
%
' ' &
' *
+ , -./ -"
&
0 1 2
2 ".)"-.)"3 4
2 # 4
20 ' 4
22 5 ! 4 6 7
! 8 7
0 ")0 9:; $ 0 < 9
0 0 0 2 3 0
00 -# 2
02 - 2
04 ! 04 +5 # ! 040 ' # : 042 # 7
044 + # 09
0! 0
0: < 04
07 ## 0:
2 % 0$
2 . 0$
2 0 .. "#;) 20 2 2 % 24
2 4 ' ) )' 24
20 & " "< 27
20 ". 27
200 ="- 42
22 ". < 44
22 ' 4!
220 # . 47
222 # . 47
4 6 - ) ! 4 - !0
4 0 - " !2
4 2 " !2
4 4 - # !> 4 ! -." 8 :0
4 : . :2
4 7 & :: 40 ? ". "-. :7
42 # % 79
42 . ) 70
420 " 72
422 ( ( @(6(A 74
424 % . ) 77
42! ( @(6A 7$
42: ( &) . @(&.A >0
427 . (&. @(&.BA >!
42> % ' >:
! 6 ( $
!0 ; . $0
!2 ##; . $!
!4 ( ( $>
!! 6 99
! "# $
" % $&
% '
"#()
)
* +
1 'C 2
0 ".)"-.)"3 :
0 ' ")0 9:; 9
00 &
02 -# ,)&)' )
2
04 # +5 # :
0! ' # 04 7
0: ## # >
07 ' $
0> +5 # '#04 00
0$ + # '#04 00
0 9 '#0!.# <)
# 0!
2 & ' "#;) 20
20 ' ) )' '#24 2:
22 5 # '#2! 2$
24 <5 # '# 2! 49
2! * <5 # '# 2! 49
4 " '#44 !4
40 " '#4! !!
42 " '#4: !!
44 " '#47 !7
4! < " '#4 9 !$
4: " - # :
47 < " '#4 0 :
4> " '#4 ! :!
4$ " '#4 : :7
4 9 " '#40 7:
4 " " >9
4 0 " % >2
' 6## ' !
2 " ' 6## 42
20 "< ' 6## 42
22 . " ' 6## 42
24 . "< ' 6## 44
2! -./ "
' 6## 4:
2: -./ "<
' 6## 4:
27 -./ ' 6## ' 47
2> (-./ "
" ' 6## 4>
2$ (-./ "
"< ' 6## 4>
2 9 D+ $7E ##; )
, 3 " ' 6## 4$
2 D+ $7E ##; )
, 3 "< ' 6## 4$
4 6## =# 7
40 . " @" A 74
42 . ( ( 77
44 . " ' ,%
. ) 7>
4! . "< ' ,%
. ) 7>
4: . " ' * )
. ) 7>
47 . ( >0
4> . ( &) . >4
4$ . (&.B @" (A >:
4 9 . (6( @" A ' 6##' >:
4 . (6 @" A ' 6##' >7
4 0 . (&.B@" (A ' 6##' >7
4 2 . ./ >$
! ( . ; . ". "-.
" ' 6## $2
!0 ( . ; . ". "-.
"< ' 6## $4
!2 ( . ; . ". "-.
" ' 6##' $4
!4 ( . ; . ". "-.
"< ' 6##' $!
!! (. ##; ."')
6## $:
!: ( . ##; . "<
' 6## $:
!7 ( ' ,% * $7
!> ( ##; .
" ' 6## $7
!$ ( ##; .
"< ' 6## $>
! 9 # "
' 6## $$
! ( # )
(6 @" A " ' 6## $$
" ' 6## 97
0 "< ' 6## 9>
2 " ' 6## ' 9>
4 "< ' 6##' 9>
* F " # @ A )
+ #
+ "
"
* & )-
# , @ 3A D- $!E
& 5
. + "
&-#5 @)
A ( ; "# @'
-# "# @ AA "
@'A. " )
), '#
# =# "#C )
"
-# " #G)
' -H
" '
# '# <
( ; "#
< ' '# Æ )
" ' 3
' - ;)
# )-# .# "
# D(1"$!E
( G - )
" # &
, " +#; )
I
&
-# " )
# '# -
-# - % )
'# @A <
+ ( &
.
@A '#
#
.)&
@AD1 $:E&# +
D+ $7E ")0 9:; # # ".)
& " " ')
@A ) )
63 63
# .)
".) D+ $7E @A
I .
.# .-
6 ##; (
. -H
. J - )
@ A & ()
F )
D >$E ( .
6 , .
- '
- ".)& -. )
1 ? 'C
-. # ".)& -.)
' & )
# # . . )
1
? 1 'C
&
" "< ".) "-.)& .
-. # (".)&&&
# ".) "-.)
# . . -. &
'C % " .
( . .
& .
-. K
. 5; #
<
&( .
Simplex- Algorithmus
Branch-and- Bound
Modell
SILP-Programm SCLP-Programm
2. Lösung des Problems
ILP-Verfahren CLP-Verfahren
SILP-Modell SCLP-Modell
Lösungsstrategien Constraint basierte Suche
Constraint Propagation (IS und ISRA)
1. Beschreibung des Problems
J 1 'C
1(=# .-.
'# - " # , ( )
. '
-H < ' # . )
1 Æ .
? ! )
#
( & @".A (
' (
1 ? %J
< .)( D+ $7E )
.
0 ".)& "-.)&
2 . -.)( ')
-H #
4 ( '
".)"-.)"3?1)
# 2
< ' 20 )
. 5
22 0
".)"-.)"3 #J
, . )
. ".)
- #
-.&-." ')
"-.)
- @ " A + D+ $7E
& . D. $7E %
# ".)
-- % + ".)
"-.)
* +# G '
' " # ' -
" 6## ' @6##A
D+ $7E" '## ()
6## 4$ 1 '
'## @6## 'A $2
' ' G %
4 1 I ' ')
6 # )