Package org.spectrumauctions.sats.opt.model.srvm

Class SRVM_MIP

  • All Implemented Interfaces:
    org.marketdesignresearch.mechlib.instrumentation.MipInstrumentationable, org.marketdesignresearch.mechlib.outcomerules.AllocationRule
    public class SRVM_MIP
extends ModelMIP
    Author:
    Fabio Isler

    • Nested Class Summary

      • Nested classes/interfaces inherited from class org.marketdesignresearch.mechlib.winnerdetermination.WinnerDetermination

        org.marketdesignresearch.mechlib.winnerdetermination.WinnerDetermination.PoolMode

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.math.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 Description
      SRVM_MIP​(java.util.Collection<SRVMBidder> bidders)  

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.marketdesignresearch.mechlib.core.Allocation adaptMIPResult​(edu.harvard.econcs.jopt.solver.ISolution solution)  
      void addConstraint​(edu.harvard.econcs.jopt.solver.mip.Constraint constraint)  
      void addVariable​(edu.harvard.econcs.jopt.solver.mip.Variable variable)  
      static java.math.BigDecimal biggestUnscaledPossibleValue​(java.util.Collection<SRVMBidder> bidders)
      Returns the biggest possible value any of the passed bidders can have
      static double calculateScalingFactor​(java.util.Collection<SRVMBidder> bidders)  
      ModelMIP copyOf()  
      java.util.Map<SRVMBidder,​SRVMBidderPartialMIP> getBidderPartialMips()  
      ModelMIP getMIPWithout​(org.marketdesignresearch.mechlib.core.bidder.Bidder bidder)  
      protected java.util.Collection<java.util.Collection<edu.harvard.econcs.jopt.solver.mip.Variable>> getVariablesOfInterest()
      ModelMIPs have to explicitly set variables of interest
      SRVMWorldPartialMip getWorldPartialMip()  

      • Methods inherited from class org.marketdesignresearch.mechlib.winnerdetermination.WinnerDetermination

        getAllocation, getBestAllocations, getBestAllocations, getIntermediateSolutions, getMipInstrumentation, getPurpose, getSolutionPoolMode, getTimeLimit, setAbsolutePoolMode4Tolerance, setAcceptSuboptimal, setDisplayOutput, setEpsilon, setLowerBound, setMipInstrumentation, setPurpose, setRelativePoolMode4Tolerance, setTimeLimit, setTimeLimitPoolMode4, solveWinnerDetermination

      • 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 java.math.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​(java.util.Collection<SRVMBidder> bidders)

    • Method Detail

      • calculateScalingFactor

        public static double calculateScalingFactor​(java.util.Collection<SRVMBidder> bidders)

      • biggestUnscaledPossibleValue

        public static java.math.BigDecimal biggestUnscaledPossibleValue​(java.util.Collection<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)

      • getMIPWithout

        public ModelMIP getMIPWithout​(org.marketdesignresearch.mechlib.core.bidder.Bidder bidder)
        Specified by:
        getMIPWithout in class ModelMIP

      • adaptMIPResult

        public org.marketdesignresearch.mechlib.core.Allocation adaptMIPResult​(edu.harvard.econcs.jopt.solver.ISolution solution)
        Specified by:
        adaptMIPResult in class ModelMIP

      • getVariablesOfInterest

        protected java.util.Collection<java.util.Collection<edu.harvard.econcs.jopt.solver.mip.Variable>> getVariablesOfInterest()
        Description copied from class: ModelMIP
        ModelMIPs have to explicitly set variables of interest
        Specified by:
        getVariablesOfInterest in class ModelMIP