org.spectrumauctions.sats.opt.imip

Class PiecewiseLinearPartialMIP

java.lang.Object

org.spectrumauctions.sats.opt.imip.PartialMIP

org.spectrumauctions.sats.opt.imip.PiecewiseLinearPartialMIP

public final class PiecewiseLinearPartialMIP
extends PartialMIP

Author:

Michael Weiss

Constructor Summary

Constructors

Constructor and Description
PiecewiseLinearPartialMIP(org.spectrumauctions.sats.core.util.math.ContinuousPiecewiseLinearFunction func, edu.harvard.econcs.jopt.solver.mip.Variable functionInput, edu.harvard.econcs.jopt.solver.mip.Variable functionOutput, String auxiliaryPartialName)

Method Summary

Modifier and Type	Method and Description
void	appendConstraintsToMip(edu.harvard.econcs.jopt.solver.mip.MIP mip)
void	appendVariablesToMip(edu.harvard.econcs.jopt.solver.mip.MIP mip)
Set<edu.harvard.econcs.jopt.solver.mip.Constraint>	constrainAuxiliaryVariables() Returns a set of constraints which ensure that the auxiliary variables.
edu.harvard.econcs.jopt.solver.mip.Constraint	constrainFunctionOutputVariable() Encodes the actual continuous piecewise linear function, i.e., the following term: Y = \sum_{i =1}^r cornerY_{i-1}Z_i + slope(i) * condX_i - slope(i) * cornerX_{i-1} * Z_i
Set<edu.harvard.econcs.jopt.solver.mip.Variable>	getVariables()

Methods inherited from class org.spectrumauctions.sats.opt.imip.PartialMIP

addConstraint, addVariable, appendToMip

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PiecewiseLinearPartialMIP

public PiecewiseLinearPartialMIP(org.spectrumauctions.sats.core.util.math.ContinuousPiecewiseLinearFunction func,
                                 edu.harvard.econcs.jopt.solver.mip.Variable functionInput,
                                 edu.harvard.econcs.jopt.solver.mip.Variable functionOutput,
                                 String auxiliaryPartialName)

Method Detail

constrainAuxiliaryVariables

public Set<edu.harvard.econcs.jopt.solver.mip.Constraint> constrainAuxiliaryVariables()

Returns a set of constraints which ensure that the auxiliary variables. The general concept of how this is done is explained in this blog post

Returns:

constrainFunctionOutputVariable

public edu.harvard.econcs.jopt.solver.mip.Constraint constrainFunctionOutputVariable()

Encodes the actual continuous piecewise linear function, i.e., the following term:
Y = \sum_{i =1}^r cornerY_{i-1}Z_i + slope(i) * condX_i - slope(i) * cornerX_{i-1} * Z_i

Returns:

See Also:

this blog post

appendVariablesToMip

public void appendVariablesToMip(edu.harvard.econcs.jopt.solver.mip.MIP mip)

Overrides:

appendVariablesToMip in class PartialMIP

getVariables

public Set<edu.harvard.econcs.jopt.solver.mip.Variable> getVariables()

Overrides:

getVariables in class PartialMIP

appendConstraintsToMip

public void appendConstraintsToMip(edu.harvard.econcs.jopt.solver.mip.MIP mip)

Overrides:

appendConstraintsToMip in class PartialMIP