sepa_partition.c File Reference

Detailed Description

partition-separator. Searches for two partitions of size 2 and 3 (extension of triangle-inequalities).

Author

Leon Eifler

Definition in file sepa_partition.c.

#include <assert.h>
#include <string.h>
#include "sepa_partition.h"
#include "probdata_cyc.h"
#include "scip/cons_linear.h"
#include "scip/cutsel_hybrid.h"

Go to the source code of this file.

Macros
#define	SEPA_NAME   "partition"
#define	SEPA_DESC   "separator to separate partition-inequalities in cycle-clustering application"
#define	SEPA_PRIORITY   1500
#define	SEPA_FREQ   5
#define	SEPA_MAXBOUNDDIST   0.0
#define	SEPA_USESSUBSCIP   FALSE
#define	SEPA_DELAY   FALSE
#define	MAXCUTS   2000
#define	MAXCUTSCREATED   10000
#define	MAXROUNDS   20
#define	MAXTRIANGLEDISTANCE   -0.2

Functions
static SCIP_RETCODE	createPartitionCut (SCIP *scip, SCIP_SEPA *sepa, SCIP_ROW ***cuts, int *cutsize, int *ncutscreated, int *firstpart, int *secondpart, int nfirst, int nsecond, SCIP_Real **violations, SCIP_Real violation)
static	SCIP_DECL_SEPACOPY (sepaCopyPartition)
static	SCIP_DECL_SEPAEXECLP (sepaExeclpPartition)
SCIP_RETCODE	SCIPincludeSepaPartition (SCIP *scip)

Macro Definition Documentation

SEPA_NAME

#define SEPA_NAME   "partition"

Definition at line 40 of file sepa_partition.c.

SEPA_DESC

#define SEPA_DESC   "separator to separate partition-inequalities in cycle-clustering application"

Definition at line 41 of file sepa_partition.c.

SEPA_PRIORITY

#define SEPA_PRIORITY   1500

Definition at line 42 of file sepa_partition.c.

SEPA_FREQ

#define SEPA_FREQ   5

Definition at line 43 of file sepa_partition.c.

SEPA_MAXBOUNDDIST

#define SEPA_MAXBOUNDDIST   0.0

Definition at line 44 of file sepa_partition.c.

SEPA_USESSUBSCIP

#define SEPA_USESSUBSCIP   FALSE

does the separator use a secondary SCIP instance?

Definition at line 45 of file sepa_partition.c.

SEPA_DELAY

#define SEPA_DELAY   FALSE

should separation method be delayed, if other separators found cuts?

Definition at line 46 of file sepa_partition.c.

MAXCUTS

#define MAXCUTS   2000

maximal number of cuts that can be added to cut pool

Definition at line 47 of file sepa_partition.c.

MAXCUTSCREATED

#define MAXCUTSCREATED   10000

maximal number of cuts to select from

Definition at line 48 of file sepa_partition.c.

MAXROUNDS

#define MAXROUNDS   20

maximal number of separation rounds per node

Definition at line 49 of file sepa_partition.c.

MAXTRIANGLEDISTANCE

#define MAXTRIANGLEDISTANCE   -0.2

maximal negative violation of triangle-inequality to construct cut from

Definition at line 50 of file sepa_partition.c.

Function Documentation

createPartitionCut()

static SCIP_RETCODE createPartitionCut ( SCIP *  scip, SCIP_SEPA *  sepa, SCIP_ROW ***  cuts, int *  cutsize, int *  ncutscreated, int *  firstpart, int *  secondpart, int  nfirst, int  nsecond, SCIP_Real **  violations, SCIP_Real  violation  )

static

Given two partitions S, T creates the corresponding cut and adds it do SCIP

Parameters

scip	SCIP data structure
sepa	separator
cuts	array to store generated cut
cutsize	size of the cut array
ncutscreated	number of created cuts
firstpart	the first partition
secondpart	the second partition
nfirst	number of states in first partition
nsecond	number of states in second partition
violations	array to stor the violation of each cut
violation	violation of the cut that should be created

Definition at line 55 of file sepa_partition.c.

References FALSE, getEdgevar(), MAX, MIN, NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPaddVarToRow(), SCIPcacheRowExtensions(), SCIPcreateEmptyRowSepa(), SCIPcycGetEdgevars(), SCIPdebug, SCIPflushRowExtensions(), SCIPinfinity(), SCIPprintRow(), SCIPreallocBufferArray, SCIPsnprintf(), and TRUE.

Referenced by SCIP_DECL_SEPAEXECLP().

SCIP_DECL_SEPACOPY()

static SCIP_DECL_SEPACOPY ( sepaCopyPartition  )

static

copy method for separator plugins (called when SCIP copies plugins)

Definition at line 135 of file sepa_partition.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPincludeSepaPartition(), SCIPsepaGetName(), and SEPA_NAME.

SCIP_DECL_SEPAEXECLP()

static SCIP_DECL_SEPAEXECLP ( sepaExeclpPartition  )

static

LP solution separation method of separator

Definition at line 149 of file sepa_partition.c.

References createPartitionCut(), edgesExist(), getEdgevar(), MAX, MAXCUTS, MAXCUTSCREATED, MAXROUNDS, MAXTRIANGLEDISTANCE, MIN, NULL, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_Real, SCIP_SEPARATED, SCIPaddPoolCut(), SCIPallocBlockMemoryArray, SCIPallocBufferArray, SCIPcycGetEdgeGraph(), SCIPcycGetEdgevars(), SCIPcycGetNBins(), SCIPcycGetNCluster(), SCIPdigraphGetNSuccessors(), SCIPdigraphGetSuccessors(), SCIPfreeBlockMemoryArray, SCIPfreeBufferArray, SCIPgetBoolParam(), SCIPgetRealParam(), SCIPinfinity(), SCIPisGE(), SCIPisPositive(), SCIPreleaseRow(), SCIPselectCutsHybrid(), SCIPsepaGetNCallsAtNode(), SCIPsortDownRealInt(), SCIPsortDownRealPtr(), and SCIPvarGetLPSol().

SCIPincludeSepaPartition()

SCIP_RETCODE SCIPincludeSepaPartition

(

SCIP *

scip

)

creates the Partition separator and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 476 of file sepa_partition.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPincludeSepaBasic(), SCIPsetSepaCopy(), SEPA_DELAY, SEPA_DESC, SEPA_FREQ, SEPA_MAXBOUNDDIST, SEPA_NAME, SEPA_PRIORITY, and SEPA_USESSUBSCIP.

Referenced by SCIP_DECL_SEPACOPY(), and SCIPincludeCycPlugins().