Toggle navigation
SCIP Optimization Suite
SCIP
SoPlex
ZIMPL
UG
GCG
Documentation
SCIP 9.2.0
SCIP 8.1.0
SCIP 7.0.3
SCIP 6.0.2
SCIP 5.0.1
SCIP 4.0.1
SCIP 3.2.1
SCIP
Solving Constraint Integer Programs
sepa_aggregation.h
Go to the documentation of this file.
1
/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2
/* */
3
/* This file is part of the program and library */
4
/* SCIP --- Solving Constraint Integer Programs */
5
/* */
6
/* Copyright (C) 2002-2017 Konrad-Zuse-Zentrum */
7
/* fuer Informationstechnik Berlin */
8
/* */
9
/* SCIP is distributed under the terms of the ZIB Academic License. */
10
/* */
11
/* You should have received a copy of the ZIB Academic License */
12
/* along with SCIP; see the file COPYING. If not email to scip@zib.de. */
13
/* */
14
/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15
16
/**@file sepa_aggregation.h
17
* @ingroup SEPARATORS
18
* @brief flow cover and complemented mixed integer rounding cuts separator (Marchand's version)
19
* @author Robert Lion Gottwald
20
* @author Kati Wolter
21
* @author Tobias Achterberg
22
*
23
* For an overview see:
24
*
25
* Marchand, H., & Wolsey, L. A. (2001).@n
26
* Aggregation and mixed integer rounding to solve MIPs.@n
27
* Operations research, 49(3), 363-371.
28
*
29
* Some remarks:
30
* - In general, continuous variables are less prefered than integer variables, since their cut
31
* coefficient is worse.
32
* - We seek for aggregations that project out continuous variables that are far away from their bound,
33
* since if it is at its bound then it doesn't contribute to the violation
34
* - These aggregations are also useful for the flowcover separation, so after building an aggregation
35
* we try to generate a MIR cut and a flowcover cut.
36
* - We only keep the best cut.
37
*/
38
39
/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
40
41
#ifndef __SCIP_SEPA_CMIR_H__
42
#define __SCIP_SEPA_CMIR_H__
43
44
45
#include "
scip/scip.h
"
46
47
#ifdef __cplusplus
48
extern
"C"
{
49
#endif
50
51
/** creates the aggregation separator and includes it in SCIP
52
*
53
* @ingroup SeparatorIncludes
54
*/
55
extern
56
SCIP_RETCODE
SCIPincludeSepaAggregation
(
57
SCIP
*
scip
/**< SCIP data structure */
58
);
59
60
#ifdef __cplusplus
61
}
62
#endif
63
64
#endif
Scip
Definition:
struct_scip.h:58
SCIP_RETCODE
enum SCIP_Retcode SCIP_RETCODE
Definition:
type_retcode.h:53
SCIPincludeSepaAggregation
SCIP_RETCODE SCIPincludeSepaAggregation(SCIP *scip)
Definition:
sepa_aggregation.c:1427
scip
Definition:
objbranchrule.h:33
scip.h
SCIP callable library.