org.spectrumauctions.sats.opt.model.srvm

Class SRVM_MIP

java.lang.Object

org.spectrumauctions.sats.opt.model.ModelMIP

org.spectrumauctions.sats.opt.model.srvm.SRVM_MIP

All Implemented Interfaces:

EfficientAllocator<GenericAllocation<org.spectrumauctions.sats.core.model.srvm.SRVMBand>>

public class SRVM_MIP
extends ModelMIP
implements EfficientAllocator<GenericAllocation<org.spectrumauctions.sats.core.model.srvm.SRVMBand>>

Author:

Fabio Isler

Field Summary

Fields

Modifier and Type	Field and Description
static BigDecimal	highestValidVal If the highest possible value any bidder can have is higher than MIP.MAX_VALUE - MAXVAL_SAFETYGAP} a non-zero scaling factor for the calculation is chosen.
static boolean	PRINT_SOLVER_RESULT

Constructor Summary

Constructors

Constructor and Description
SRVM_MIP(Collection<org.spectrumauctions.sats.core.model.srvm.SRVMBidder> bidders)

Method Summary

Modifier and Type	Method and Description
void	addConstraint(edu.harvard.econcs.jopt.solver.mip.Constraint constraint)
void	addVariable(edu.harvard.econcs.jopt.solver.mip.Variable variable)
static BigDecimal	biggestUnscaledPossibleValue(Collection<org.spectrumauctions.sats.core.model.srvm.SRVMBidder> bidders) Returns the biggest possible value any of the passed bidders can have
SRVMMipResult	calculateAllocation()
static double	calculateScalingFactor(Collection<org.spectrumauctions.sats.core.model.srvm.SRVMBidder> bidders)
Map<org.spectrumauctions.sats.core.model.srvm.SRVMBidder,SRVMBidderPartialMIP>	getBidderPartialMips()
SRVMWorldPartialMip	getWorldPartialMip()

Methods inherited from class org.spectrumauctions.sats.opt.model.ModelMIP

getMip, setAcceptSuboptimal, setDisplayOutput, setTimeLimit

Methods inherited from class java.lang.Object

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

Field Detail

PRINT_SOLVER_RESULT

public static boolean PRINT_SOLVER_RESULT

highestValidVal

public static BigDecimal highestValidVal

If the highest possible value any bidder can have is higher than MIP.MAX_VALUE - MAXVAL_SAFETYGAP} a non-zero scaling factor for the calculation is chosen.

Constructor Detail

SRVM_MIP

public SRVM_MIP(Collection<org.spectrumauctions.sats.core.model.srvm.SRVMBidder> bidders)

Method Detail

calculateScalingFactor

public static double calculateScalingFactor(Collection<org.spectrumauctions.sats.core.model.srvm.SRVMBidder> bidders)

biggestUnscaledPossibleValue

public static BigDecimal biggestUnscaledPossibleValue(Collection<org.spectrumauctions.sats.core.model.srvm.SRVMBidder> bidders)

Returns the biggest possible value any of the passed bidders can have

Returns:

addConstraint

public void addConstraint(edu.harvard.econcs.jopt.solver.mip.Constraint constraint)

addVariable

public void addVariable(edu.harvard.econcs.jopt.solver.mip.Variable variable)

calculateAllocation

public SRVMMipResult calculateAllocation()

Specified by:

calculateAllocation in interface EfficientAllocator<GenericAllocation<org.spectrumauctions.sats.core.model.srvm.SRVMBand>>

getWorldPartialMip

public SRVMWorldPartialMip getWorldPartialMip()

getBidderPartialMips

public Map<org.spectrumauctions.sats.core.model.srvm.SRVMBidder,SRVMBidderPartialMIP> getBidderPartialMips()