summaryrefslogtreecommitdiff
path: root/build/Bonmin/include/coin/ClpNonLinearCost.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'build/Bonmin/include/coin/ClpNonLinearCost.hpp')
-rw-r--r--build/Bonmin/include/coin/ClpNonLinearCost.hpp401
1 files changed, 0 insertions, 401 deletions
diff --git a/build/Bonmin/include/coin/ClpNonLinearCost.hpp b/build/Bonmin/include/coin/ClpNonLinearCost.hpp
deleted file mode 100644
index 1007865..0000000
--- a/build/Bonmin/include/coin/ClpNonLinearCost.hpp
+++ /dev/null
@@ -1,401 +0,0 @@
-/* $Id: ClpNonLinearCost.hpp 1769 2011-07-26 09:31:51Z forrest $ */
-// Copyright (C) 2002, International Business Machines
-// Corporation and others. All Rights Reserved.
-// This code is licensed under the terms of the Eclipse Public License (EPL).
-
-#ifndef ClpNonLinearCost_H
-#define ClpNonLinearCost_H
-
-
-#include "CoinPragma.hpp"
-
-class ClpSimplex;
-class CoinIndexedVector;
-
-/** Trivial class to deal with non linear costs
-
- I don't make any explicit assumptions about convexity but I am
- sure I do make implicit ones.
-
- One interesting idea for normal LP's will be to allow non-basic
- variables to come into basis as infeasible i.e. if variable at
- lower bound has very large positive reduced cost (when problem
- is infeasible) could it reduce overall problem infeasibility more
- by bringing it into basis below its lower bound.
-
- Another feature would be to automatically discover when problems
- are convex piecewise linear and re-formulate to use non-linear.
- I did some work on this many years ago on "grade" problems, but
- while it improved primal interior point algorithms were much better
- for that particular problem.
-*/
-/* status has original status and current status
- 0 - below lower so stored is upper
- 1 - in range
- 2 - above upper so stored is lower
- 4 - (for current) - same as original
-*/
-#define CLP_BELOW_LOWER 0
-#define CLP_FEASIBLE 1
-#define CLP_ABOVE_UPPER 2
-#define CLP_SAME 4
-inline int originalStatus(unsigned char status)
-{
- return (status & 15);
-}
-inline int currentStatus(unsigned char status)
-{
- return (status >> 4);
-}
-inline void setOriginalStatus(unsigned char & status, int value)
-{
- status = static_cast<unsigned char>(status & ~15);
- status = static_cast<unsigned char>(status | value);
-}
-inline void setCurrentStatus(unsigned char &status, int value)
-{
- status = static_cast<unsigned char>(status & ~(15 << 4));
- status = static_cast<unsigned char>(status | (value << 4));
-}
-inline void setInitialStatus(unsigned char &status)
-{
- status = static_cast<unsigned char>(CLP_FEASIBLE | (CLP_SAME << 4));
-}
-inline void setSameStatus(unsigned char &status)
-{
- status = static_cast<unsigned char>(status & ~(15 << 4));
- status = static_cast<unsigned char>(status | (CLP_SAME << 4));
-}
-// Use second version to get more speed
-//#define FAST_CLPNON
-#ifndef FAST_CLPNON
-#define CLP_METHOD1 ((method_&1)!=0)
-#define CLP_METHOD2 ((method_&2)!=0)
-#else
-#define CLP_METHOD1 (false)
-#define CLP_METHOD2 (true)
-#endif
-class ClpNonLinearCost {
-
-public:
-
-public:
-
- /**@name Constructors, destructor */
- //@{
- /// Default constructor.
- ClpNonLinearCost();
- /** Constructor from simplex.
- This will just set up wasteful arrays for linear, but
- later may do dual analysis and even finding duplicate columns .
- */
- ClpNonLinearCost(ClpSimplex * model, int method = 1);
- /** Constructor from simplex and list of non-linearities (columns only)
- First lower of each column has to match real lower
- Last lower has to be <= upper (if == then cost ignored)
- This could obviously be changed to make more user friendly
- */
- ClpNonLinearCost(ClpSimplex * model, const int * starts,
- const double * lower, const double * cost);
- /// Destructor
- ~ClpNonLinearCost();
- // Copy
- ClpNonLinearCost(const ClpNonLinearCost&);
- // Assignment
- ClpNonLinearCost& operator=(const ClpNonLinearCost&);
- //@}
-
-
- /**@name Actual work in primal */
- //@{
- /** Changes infeasible costs and computes number and cost of infeas
- Puts all non-basic (non free) variables to bounds
- and all free variables to zero if oldTolerance is non-zero
- - but does not move those <= oldTolerance away*/
- void checkInfeasibilities(double oldTolerance = 0.0);
- /** Changes infeasible costs for each variable
- The indices are row indices and need converting to sequences
- */
- void checkInfeasibilities(int numberInArray, const int * index);
- /** Puts back correct infeasible costs for each variable
- The input indices are row indices and need converting to sequences
- for costs.
- On input array is empty (but indices exist). On exit just
- changed costs will be stored as normal CoinIndexedVector
- */
- void checkChanged(int numberInArray, CoinIndexedVector * update);
- /** Goes through one bound for each variable.
- If multiplier*work[iRow]>0 goes down, otherwise up.
- The indices are row indices and need converting to sequences
- Temporary offsets may be set
- Rhs entries are increased
- */
- void goThru(int numberInArray, double multiplier,
- const int * index, const double * work,
- double * rhs);
- /** Takes off last iteration (i.e. offsets closer to 0)
- */
- void goBack(int numberInArray, const int * index,
- double * rhs);
- /** Puts back correct infeasible costs for each variable
- The input indices are row indices and need converting to sequences
- for costs.
- At the end of this all temporary offsets are zero
- */
- void goBackAll(const CoinIndexedVector * update);
- /// Temporary zeroing of feasible costs
- void zapCosts();
- /// Refreshes costs always makes row costs zero
- void refreshCosts(const double * columnCosts);
- /// Puts feasible bounds into lower and upper
- void feasibleBounds();
- /// Refresh - assuming regions OK
- void refresh();
- /** Sets bounds and cost for one variable
- Returns change in cost
- May need to be inline for speed */
- double setOne(int sequence, double solutionValue);
- /** Sets bounds and infeasible cost and true cost for one variable
- This is for gub and column generation etc */
- void setOne(int sequence, double solutionValue, double lowerValue, double upperValue,
- double costValue = 0.0);
- /** Sets bounds and cost for outgoing variable
- may change value
- Returns direction */
- int setOneOutgoing(int sequence, double &solutionValue);
- /// Returns nearest bound
- double nearest(int sequence, double solutionValue);
- /** Returns change in cost - one down if alpha >0.0, up if <0.0
- Value is current - new
- */
- inline double changeInCost(int sequence, double alpha) const {
- double returnValue = 0.0;
- if (CLP_METHOD1) {
- int iRange = whichRange_[sequence] + offset_[sequence];
- if (alpha > 0.0)
- returnValue = cost_[iRange] - cost_[iRange-1];
- else
- returnValue = cost_[iRange] - cost_[iRange+1];
- }
- if (CLP_METHOD2) {
- returnValue = (alpha > 0.0) ? infeasibilityWeight_ : -infeasibilityWeight_;
- }
- return returnValue;
- }
- inline double changeUpInCost(int sequence) const {
- double returnValue = 0.0;
- if (CLP_METHOD1) {
- int iRange = whichRange_[sequence] + offset_[sequence];
- if (iRange + 1 != start_[sequence+1] && !infeasible(iRange + 1))
- returnValue = cost_[iRange] - cost_[iRange+1];
- else
- returnValue = -1.0e100;
- }
- if (CLP_METHOD2) {
- returnValue = -infeasibilityWeight_;
- }
- return returnValue;
- }
- inline double changeDownInCost(int sequence) const {
- double returnValue = 0.0;
- if (CLP_METHOD1) {
- int iRange = whichRange_[sequence] + offset_[sequence];
- if (iRange != start_[sequence] && !infeasible(iRange - 1))
- returnValue = cost_[iRange] - cost_[iRange-1];
- else
- returnValue = 1.0e100;
- }
- if (CLP_METHOD2) {
- returnValue = infeasibilityWeight_;
- }
- return returnValue;
- }
- /// This also updates next bound
- inline double changeInCost(int sequence, double alpha, double &rhs) {
- double returnValue = 0.0;
-#ifdef NONLIN_DEBUG
- double saveRhs = rhs;
-#endif
- if (CLP_METHOD1) {
- int iRange = whichRange_[sequence] + offset_[sequence];
- if (alpha > 0.0) {
- assert(iRange - 1 >= start_[sequence]);
- offset_[sequence]--;
- rhs += lower_[iRange] - lower_[iRange-1];
- returnValue = alpha * (cost_[iRange] - cost_[iRange-1]);
- } else {
- assert(iRange + 1 < start_[sequence+1] - 1);
- offset_[sequence]++;
- rhs += lower_[iRange+2] - lower_[iRange+1];
- returnValue = alpha * (cost_[iRange] - cost_[iRange+1]);
- }
- }
- if (CLP_METHOD2) {
-#ifdef NONLIN_DEBUG
- double saveRhs1 = rhs;
- rhs = saveRhs;
-#endif
- unsigned char iStatus = status_[sequence];
- int iWhere = currentStatus(iStatus);
- if (iWhere == CLP_SAME)
- iWhere = originalStatus(iStatus);
- // rhs always increases
- if (iWhere == CLP_FEASIBLE) {
- if (alpha > 0.0) {
- // going below
- iWhere = CLP_BELOW_LOWER;
- rhs = COIN_DBL_MAX;
- } else {
- // going above
- iWhere = CLP_ABOVE_UPPER;
- rhs = COIN_DBL_MAX;
- }
- } else if (iWhere == CLP_BELOW_LOWER) {
- assert (alpha < 0);
- // going feasible
- iWhere = CLP_FEASIBLE;
- rhs += bound_[sequence] - model_->upperRegion()[sequence];
- } else {
- assert (iWhere == CLP_ABOVE_UPPER);
- // going feasible
- iWhere = CLP_FEASIBLE;
- rhs += model_->lowerRegion()[sequence] - bound_[sequence];
- }
- setCurrentStatus(status_[sequence], iWhere);
-#ifdef NONLIN_DEBUG
- assert(saveRhs1 == rhs);
-#endif
- returnValue = fabs(alpha) * infeasibilityWeight_;
- }
- return returnValue;
- }
- /// Returns current lower bound
- inline double lower(int sequence) const {
- return lower_[whichRange_[sequence] + offset_[sequence]];
- }
- /// Returns current upper bound
- inline double upper(int sequence) const {
- return lower_[whichRange_[sequence] + offset_[sequence] + 1];
- }
- /// Returns current cost
- inline double cost(int sequence) const {
- return cost_[whichRange_[sequence] + offset_[sequence]];
- }
- //@}
-
-
- /**@name Gets and sets */
- //@{
- /// Number of infeasibilities
- inline int numberInfeasibilities() const {
- return numberInfeasibilities_;
- }
- /// Change in cost
- inline double changeInCost() const {
- return changeCost_;
- }
- /// Feasible cost
- inline double feasibleCost() const {
- return feasibleCost_;
- }
- /// Feasible cost with offset and direction (i.e. for reporting)
- double feasibleReportCost() const;
- /// Sum of infeasibilities
- inline double sumInfeasibilities() const {
- return sumInfeasibilities_;
- }
- /// Largest infeasibility
- inline double largestInfeasibility() const {
- return largestInfeasibility_;
- }
- /// Average theta
- inline double averageTheta() const {
- return averageTheta_;
- }
- inline void setAverageTheta(double value) {
- averageTheta_ = value;
- }
- inline void setChangeInCost(double value) {
- changeCost_ = value;
- }
- inline void setMethod(int value) {
- method_ = value;
- }
- /// See if may want to look both ways
- inline bool lookBothWays() const {
- return bothWays_;
- }
- //@}
- ///@name Private functions to deal with infeasible regions
- inline bool infeasible(int i) const {
- return ((infeasible_[i>>5] >> (i & 31)) & 1) != 0;
- }
- inline void setInfeasible(int i, bool trueFalse) {
- unsigned int & value = infeasible_[i>>5];
- int bit = i & 31;
- if (trueFalse)
- value |= (1 << bit);
- else
- value &= ~(1 << bit);
- }
- inline unsigned char * statusArray() const {
- return status_;
- }
- /// For debug
- void validate();
- //@}
-
-private:
- /**@name Data members */
- //@{
- /// Change in cost because of infeasibilities
- double changeCost_;
- /// Feasible cost
- double feasibleCost_;
- /// Current infeasibility weight
- double infeasibilityWeight_;
- /// Largest infeasibility
- double largestInfeasibility_;
- /// Sum of infeasibilities
- double sumInfeasibilities_;
- /// Average theta - kept here as only for primal
- double averageTheta_;
- /// Number of rows (mainly for checking and copy)
- int numberRows_;
- /// Number of columns (mainly for checking and copy)
- int numberColumns_;
- /// Starts for each entry (columns then rows)
- int * start_;
- /// Range for each entry (columns then rows)
- int * whichRange_;
- /// Temporary range offset for each entry (columns then rows)
- int * offset_;
- /** Lower bound for each range (upper bound is next lower).
- For various reasons there is always an infeasible range
- at bottom - even if lower bound is - infinity */
- double * lower_;
- /// Cost for each range
- double * cost_;
- /// Model
- ClpSimplex * model_;
- // Array to say which regions are infeasible
- unsigned int * infeasible_;
- /// Number of infeasibilities found
- int numberInfeasibilities_;
- // new stuff
- /// Contains status at beginning and current
- unsigned char * status_;
- /// Bound which has been replaced in lower_ or upper_
- double * bound_;
- /// Feasible cost array
- double * cost2_;
- /// Method 1 old, 2 new, 3 both!
- int method_;
- /// If all non-linear costs convex
- bool convex_;
- /// If we should look both ways for djs
- bool bothWays_;
- //@}
-};
-
-#endif