Max/Min als MIP

Max/Min als MIP

Idee: max(x, y) = z ist äquivalent zu

$\displaystyle \exists$ b $\displaystyle \in$ {0, 1} :		x $\displaystyle \le$ z
	$\displaystyle \wedge$	y $\displaystyle \le$ z
	$\displaystyle \wedge$	z $\displaystyle \le$ x + M^.b
	$\displaystyle \wedge$	z $\displaystyle \le$ y + M^.(1 - b)

dabei M eine genügend große Konstante

(Übung: was heißt das?)

aber: je kleiner M, desto besser für die Solver.

2009-06-22