summaryrefslogtreecommitdiff
path: root/thirdparty/linux/include/coin1/CoinPresolveEmpty.hpp
blob: 336f1fd2229ad23aa8372938fcbc0823e0fc822b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
/* $Id: CoinPresolveEmpty.hpp 1561 2012-11-24 00:32:16Z lou $ */
// 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 CoinPresolveEmpty_H
#define CoinPresolveEmpty_H

/*! \file

  Drop/reinsert empty rows/columns.
*/

const int DROP_ROW = 3;
const int DROP_COL = 4;

/*! \class drop_empty_cols_action
    \brief Physically removes empty columns in presolve, and reinserts
	   empty columns in postsolve.

  Physical removal of rows and columns should be the last activities
  performed during presolve. Do them exactly once. The row-major matrix
  is <b>not</b> maintained by this transform.

  To physically drop the columns, CoinPrePostsolveMatrix::mcstrt_ and
  CoinPrePostsolveMatrix::hincol_ are compressed, along with column bounds,
  objective, and (if present) the column portions of the solution. This
  renumbers the columns. drop_empty_cols_action::presolve will reconstruct
  CoinPresolveMatrix::clink_.

  \todo Confirm correct behaviour with solution in presolve.
*/

class drop_empty_cols_action : public CoinPresolveAction {
private:
  const int nactions_;

  struct action {
    double clo;
    double cup;
    double cost;
    double sol;
    int jcol;
  };
  const action *const actions_;

  drop_empty_cols_action(int nactions,
			 const action *const actions,
			 const CoinPresolveAction *next) :
    CoinPresolveAction(next),
    nactions_(nactions), 
    actions_(actions)
  {}

 public:
  const char *name() const { return ("drop_empty_cols_action"); }

  static const CoinPresolveAction *presolve(CoinPresolveMatrix *,
					 const int *ecols,
					 int necols,
					 const CoinPresolveAction*);

  static const CoinPresolveAction *presolve(CoinPresolveMatrix *prob,
					 const CoinPresolveAction *next);

  void postsolve(CoinPostsolveMatrix *prob) const;

  virtual ~drop_empty_cols_action() { deleteAction(actions_,action*); }
};


/*! \class drop_empty_rows_action
    \brief Physically removes empty rows in presolve, and reinserts
	   empty rows in postsolve.

  Physical removal of rows and columns should be the last activities
  performed during presolve. Do them exactly once. The row-major matrix
  is <b>not</b> maintained by this transform.

  To physically drop the rows, the rows are renumbered, excluding empty
  rows. This involves rewriting CoinPrePostsolveMatrix::hrow_ and compressing
  the row bounds and (if present) the row portions of the solution.

  \todo Confirm behaviour when a solution is present in presolve.
*/
class drop_empty_rows_action : public CoinPresolveAction {
private:
  struct action {
    double rlo;
    double rup;
    int row;
    int fill_row;	// which row was moved into position row to fill it
  };

  const int nactions_;
  const action *const actions_;

  drop_empty_rows_action(int nactions,
			 const action *actions,
			 const CoinPresolveAction *next) :
    CoinPresolveAction(next),
    nactions_(nactions), actions_(actions)
{}

 public:
  const char *name() const { return ("drop_empty_rows_action"); }

  static const CoinPresolveAction *presolve(CoinPresolveMatrix *prob,
					    const CoinPresolveAction *next);

  void postsolve(CoinPostsolveMatrix *prob) const;

  virtual ~drop_empty_rows_action() { deleteAction(actions_,action*); }
};
#endif