Detailed Description

Problem data for stp problem.

Author: Gerald Gamrath; Thorsten Koch; Michael Winkler; Daniel Rehfeldt

This file implements the problem data for Steiner problems. For more details see Main problem data page.

#include "scip/scip.h"
#include "graph.h"

Macros
#define	STP_MODE_CUT 0

#define	STP_MODE_FLOW 1

#define	STP_MODE_PRICE 2

#define	STP_CONS_NEVER 0

#define	STP_CONS_ALWAYS 1

#define	STP_CONS_AUTOMATIC 2

#define	STP_USEDP_NEVER 0

#define	STP_USEDP_ALWAYS 1

#define	STP_USEDP_AUTOMATIC 2

Functions
SCIP_RETCODE	SCIPprobdataSetDefaultParams (SCIP *scip)

SCIP_RETCODE	SCIPprobdataCreate (SCIP scip, const char filename)

SCIP_RETCODE	SCIPprobdataCreateFromGraph (SCIP scip, SCIP_Real offset, const char probname, SCIP_Bool isSubProb, GRAPH *graph_move)

void	SCIPprobdataSetGraph (SCIP_PROBDATA probdata, GRAPH graph)

GRAPH *	SCIPprobdataGetGraph (SCIP_PROBDATA *probdata)

GRAPH *	SCIPprobdataGetGraph2 (SCIP *scip)

void	SCIPprobdataSetOffset (SCIP_PROBDATA *probdata, SCIP_Real offset)

SCIP_VAR **	SCIPprobdataGetVars (SCIP *scip)

SCIP_VAR **	SCIPprobdataGetEdgeVars (SCIP *scip)

int *	SCIPprobdataGetRTerms (SCIP *scip)

int *	SCIPprobdataGetPctermsorder (SCIP *scip)

int	SCIPprobdataGetNLayers (SCIP *scip)

int	SCIPprobdataGetNVars (SCIP *scip)

int	SCIPprobdataGetNTerms (SCIP *scip)

int	SCIPprobdataGetRNTerms (SCIP *scip)

int	SCIPprobdataGetRoot (SCIP *scip)

int	SCIPprobdataGetNorgEdges (SCIP *scip)

int	SCIPprobdataGetNEdges (SCIP *scip)

int	SCIPprobdataGetNNodes (SCIP *scip)

SCIP_Real	SCIPprobdataGetOffset (SCIP *scip)

SCIP_Real	SCIPprobdataGetPresolUpperBound (SCIP *scip)

SCIP_Real	SCIPprobdataGetPresolUpperBoundWithOffset (SCIP *scip)

SCIP_VAR *	SCIPprobdataGetedgeVarByIndex (SCIP *scip, int idx)

SCIP_Real *	SCIPprobdataGetXval (SCIP scip, SCIP_SOL sol)

SCIP_CONS **	SCIPprobdataGetEdgeConstraints (SCIP *scip)

SCIP_CONS **	SCIPprobdataGetPathConstraints (SCIP *scip)

SCIP_RETCODE	SCIPprobdataPrintGraph (SCIP scip, const char filename, SCIP_SOL *sol, SCIP_Bool printsol)

SCIP_Bool	SCIPprobdataIsBigt (SCIP *scip)

SCIP_Bool	SCIPprobdataObjIsIntegral (SCIP *scip)

SCIP_Bool	SCIPprobdataIsSubproblem (SCIP *scip)

SCIP_Bool	SCIPprobdataProbIsAdversarial (SCIP *scip)

SCIP_RETCODE	SCIPprobdataWriteIntermediateSolution (SCIP *scip)

SCIP_RETCODE	SCIPprobdataWriteSolution (SCIP scip, FILE file)

void	SCIPprobdataWriteLogLine (SCIP scip, const char formatstr,...)

SCIP_RETCODE	SCIPprobdataAddNewSol (SCIP scip, SCIP_Real nval, SCIP_HEUR heur, SCIP_Bool success)

void	SCIPprobdataSetDualBound (SCIP *scip, SCIP_Real dual)

void	SCIPprobdataSetNSolvers (SCIP *scip, int nSolvers)

int	SCIPprobdataGetType (SCIP *scip)

SCIP_RETCODE	SCIPprobdataWriteLogfileEnd (SCIP *scip)

void	initReceivedSubproblem (SCIP scip, const int lLinearConsNames, const char linearConsNames, const int lSetppcConsNames, const char *setppcConsNames)

Macro Definition Documentation

◆ STP_MODE_CUT

#define STP_MODE_CUT 0

branch and cut

Definition at line 39 of file probdata_stp.h.

Referenced by addRedsol(), createConstraints(), createInitialCuts(), createModel(), createVariables(), freeConstraintsCutModel(), freeConstraintsNonCutModel(), initReceivedSubproblem(), probdataFree(), SCIP_DECL_PROBCOPY(), SCIP_DECL_PROBDELORIG(), SCIP_DECL_PROBTRANS(), SCIPprobdataAddNewSol(), SCIPprobdataCreateFromGraph(), and setStpSolvingMode().

◆ STP_MODE_FLOW

#define STP_MODE_FLOW 1

use flow model

Definition at line 40 of file probdata_stp.h.

Referenced by createConstraints(), createVariables(), freeConstraintsNonCutModel(), SCIP_DECL_PROBCOPY(), SCIP_DECL_PROBTRANS(), SCIPprobdataAddNewSol(), and setStpSolvingMode().

◆ STP_MODE_PRICE

#define STP_MODE_PRICE 2

branch and price

Definition at line 41 of file probdata_stp.h.

Referenced by createConstraints(), createVariables(), freeConstraintsNonCutModel(), SCIP_DECL_PROBCOPY(), SCIP_DECL_PROBTRANS(), and SCIPprobdataAddNewSol().

◆ STP_CONS_NEVER

#define STP_CONS_NEVER 0

never use (respective) constraints

Definition at line 43 of file probdata_stp.h.

Referenced by SCIPprobdataCreateFromGraph().

◆ STP_CONS_ALWAYS

#define STP_CONS_ALWAYS 1

always use (respective) constraints

Definition at line 44 of file probdata_stp.h.

Referenced by SCIPprobdataCreateFromGraph(), and setParams().

◆ STP_CONS_AUTOMATIC

#define STP_CONS_AUTOMATIC 2

use (respective) constraints depending on the problem instance

Definition at line 45 of file probdata_stp.h.

Referenced by SCIPprobdataCreateFromGraph(), and setParams().

◆ STP_USEDP_NEVER

#define STP_USEDP_NEVER 0

never use DP

Definition at line 47 of file probdata_stp.h.

Referenced by SCIPprobdataCreateFromGraph().

◆ STP_USEDP_ALWAYS

#define STP_USEDP_ALWAYS 1

always use

Definition at line 48 of file probdata_stp.h.

Referenced by SCIPprobdataCreateFromGraph().

◆ STP_USEDP_AUTOMATIC

#define STP_USEDP_AUTOMATIC 2

let SCIP-Jack decide

Definition at line 49 of file probdata_stp.h.

Referenced by SCIPprobdataCreateFromGraph().

Function Documentation

◆ SCIPprobdataSetDefaultParams()

SCIP_RETCODE SCIPprobdataSetDefaultParams ( SCIP * scip )

sets up the problem data

Parameters

scip	SCIP data structure

Definition at line 2645 of file probdata_stp.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPlpiGetSolverName(), SCIPsetBoolParam(), SCIPsetCharParam(), SCIPsetIntParam(), SCIPsetRealParam(), SCIPsetSubscipsOff(), and TRUE.

Referenced by initReceivedSubproblem(), runShell(), and subscipSetupParameters().

◆ SCIPprobdataCreate()

SCIP_RETCODE SCIPprobdataCreate	(	SCIP *	scip,
		const char *	filename
	)

sets up the problem data

Parameters

scip	SCIP data structure
filename	file name

Definition at line 2728 of file probdata_stp.c.

References createLogfile(), FALSE, presolve_info::fixed, graph_load(), NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPdebugMessage, SCIPerrorMessage, SCIPgetProbData(), SCIPgetStringParam(), SCIPprobdataCreateFromGraph(), SCIPsnprintf(), SCIPsplitFilename(), SCIPwriteOrigProblem(), GRAPH::stp_type, and writeCommentSection().

◆ SCIPprobdataCreateFromGraph()

SCIP_RETCODE SCIPprobdataCreateFromGraph	(	SCIP *	scip,
		SCIP_Real	offset,
		const char *	probname,
		SCIP_Bool	isSubProb,
		GRAPH *	graph_move
	)

sets up the problem data, given graph

sets up the problem data, given a graph

Parameters

scip	SCIP data structure
offset	offset
probname	problem name
isSubProb	is this a subproblem?
graph_move	graph; will be moved to probdata and pointer invalidated!

Definition at line 2784 of file probdata_stp.c.

References addRedsol(), createInitialCuts(), createModel(), FALSE, graph_copy(), graph_copyPseudoAncestors(), graph_findCentralTerminal(), graph_initPseudoAncestors(), graph_pc_isPcMw(), graph_typeIsSpgLike(), graph_writeGml(), GRAPH::knots, NULL, presolveStp(), probdataCreate(), reduce_solFree(), reduce_solGetOffset(), reduce_solInit(), SCIP_Bool, SCIP_CALL, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIPcreateProbBasic(), SCIPgetBoolParam(), SCIPgetIntParam(), SCIPsetObjsense(), SCIPsetProbCopy(), SCIPsetProbData(), SCIPsetProbDelorig(), SCIPsetProbDeltrans(), SCIPsetProbExitsol(), SCIPsetProbInitsol(), SCIPsetProbTrans(), SCIPStpcomponentsAllowsDecomposition(), SCIPStpcomponentsSetUp(), SCIPStpDpRelaxActivate(), SCIPStpDpRelaxIsPromising(), setParams(), setStpSolvingMode(), GRAPH::source, STP_CONS_ALWAYS, STP_CONS_AUTOMATIC, STP_CONS_NEVER, STP_MODE_CUT, STP_NWSPG, STP_REDUCTION_NONE, GRAPH::stp_type, STP_USEDP_ALWAYS, STP_USEDP_AUTOMATIC, STP_USEDP_NEVER, GRAPH::terms, and TRUE.

Referenced by SCIPprobdataCreate(), and subscipSolve().

◆ SCIPprobdataSetGraph()

void SCIPprobdataSetGraph	(	SCIP_PROBDATA *	probdata,
		GRAPH *	graph
	)

sets the probdata graph

Parameters

probdata	problem data
graph	graph data structure

Definition at line 2936 of file probdata_stp.c.

References NULL.

◆ SCIPprobdataGetGraph()

GRAPH* SCIPprobdataGetGraph ( SCIP_PROBDATA * probdata )

returns the graph

Parameters

probdata problem data

Definition at line 2948 of file probdata_stp.c.

References NULL.

Referenced by initReceivedSubproblem(), pricing(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECPS(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINIT(), SCIP_DECL_PROPEXEC(), SCIP_DECL_READERREAD(), and SCIP_DECL_READERWRITE().

◆ SCIPprobdataGetGraph2()

GRAPH* SCIPprobdataGetGraph2 ( SCIP * scip )

returns the graph

Parameters

scip	problem data

Definition at line 2958 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by divideAndConquer(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPROP(), SCIP_DECL_RELAXEXEC(), SCIPStpConshdlrSetGraph(), SCIPStpPropCheckForInfeas(), SCIPStpPropGetGraph(), selectBranchingVertexBySol(), sepaspecial_pacliquesSeparate(), sepaspecial_pcimplicationsSeparate(), sepaspecial_vtimplicationsSeparate(), subscipGetSol(), and subsolFixOrgEdges().

◆ SCIPprobdataSetOffset()

void SCIPprobdataSetOffset	(	SCIP_PROBDATA *	probdata,
		SCIP_Real	offset
	)

sets the offset

Parameters

probdata	problem data
offset	the offset value

Definition at line 2973 of file probdata_stp.c.

References NULL.

◆ SCIPprobdataGetVars()

SCIP_VAR** SCIPprobdataGetVars ( SCIP * scip )

returns the array with all variables

Parameters

scip	SCIP data structure

Definition at line 3000 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by computeHistory(), computeHistoryPcMw(), consdataCheck(), daExec(), dualascent_execPcMw(), getGraphStatesDirected(), lpcutAdd(), mincutInitForLp(), mincutPrepareForLp(), reduce_boundHopRc(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPEXEC(), SCIPStpHeurTMRunLP(), SCIPStpPropGetGraph(), sep_flow(), sepaspecial_pacliquesSeparate(), sepaspecial_pcimplicationsSeparate(), sepaspecial_vtimplicationsSeparate(), and subsolFixOrgEdges().

◆ SCIPprobdataGetEdgeVars()

SCIP_VAR** SCIPprobdataGetEdgeVars ( SCIP * scip )

returns the array with all edge variables

Parameters

scip	SCIP data structure

Definition at line 3277 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by branchOnVertex(), buildsolgraph(), selectBranchingVertexByLp(), and selectBranchingVertexByLp2Flow().

◆ SCIPprobdataGetRTerms()

int* SCIPprobdataGetRTerms ( SCIP * scip )

returns the array with all terminals (without the root)

returns the array with all variables

Parameters

scip	SCIP data structure

Definition at line 3247 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by SCIP_DECL_PRICERINIT().

◆ SCIPprobdataGetPctermsorder()

int* SCIPprobdataGetPctermsorder ( SCIP * scip )

returns array

Parameters

scip	SCIP data structure

Definition at line 3262 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by SCIPStpHeurTMBuildTreePcMw(), and solstp_pcGetSolRoot().

◆ SCIPprobdataGetNLayers()

int SCIPprobdataGetNLayers ( SCIP * scip )

returns the number of layers

Parameters

scip	SCIP data structure

Definition at line 3015 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

◆ SCIPprobdataGetNVars()

int SCIPprobdataGetNVars ( SCIP * scip )

returns the number of vars

returns the number of variables

Parameters

scip	SCIP data structure

Definition at line 2985 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by consdataCheck(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPROP(), SCIP_DECL_HEUREXEC(), selectBranchingVertexBySol(), and solpool_addSolToScip().

◆ SCIPprobdataGetNTerms()

int SCIPprobdataGetNTerms ( SCIP * scip )

returns the number of terminals

Parameters

scip	SCIP data structure

Definition at line 3060 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by SCIPStpHeurTMBuildTreePcMw(), and solstp_pcGetSolRoot().

◆ SCIPprobdataGetRNTerms()

int SCIPprobdataGetRNTerms ( SCIP * scip )

returns the number of terminals without the root node

Parameters

scip	SCIP data structure

Definition at line 3075 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by SCIP_DECL_PRICERINIT(), and SCIP_DECL_PRICERINITSOL().

◆ SCIPprobdataGetRoot()

int SCIPprobdataGetRoot ( SCIP * scip )

returns root

Parameters

scip	SCIP data structure

Definition at line 3090 of file probdata_stp.c.

References NULL, SCIPgetProbData(), and GRAPH::source.

Referenced by SCIP_DECL_PRICERINIT().

◆ SCIPprobdataGetNorgEdges()

int SCIPprobdataGetNorgEdges ( SCIP * scip )

returns numer of original edges

Parameters

scip	SCIP data structure

Definition at line 3109 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by abortSlackPruneEarly(), and SCIPintListNodeAppendCopy().

◆ SCIPprobdataGetNEdges()

int SCIPprobdataGetNEdges ( SCIP * scip )

returns the number of edges

Parameters

scip	SCIP data structure

Definition at line 3030 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by SCIP_DECL_PRICERINIT(), and SCIP_DECL_PRICERINITSOL().

◆ SCIPprobdataGetNNodes()

int SCIPprobdataGetNNodes ( SCIP * scip )

returns the number of nodes

Parameters

scip	SCIP data structure

Definition at line 3045 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by SCIPStpHeurTMBuildTreePcMw(), and solstp_pcGetSolRoot().

◆ SCIPprobdataGetOffset()

SCIP_Real SCIPprobdataGetOffset ( SCIP * scip )

returns the offset

returns offset of the problem

Parameters

scip	SCIP data structure

Definition at line 3124 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by dualascent_execPcMw(), SCIP_DECL_HEUREXEC(), SCIP_DECL_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIPStpHeurSlackPruneRun(), and solAddTry().

◆ SCIPprobdataGetPresolUpperBound()

SCIP_Real SCIPprobdataGetPresolUpperBound ( SCIP * scip )

returns upper bound from presolving

returns upper bound from presolving NOTE: Mind to call the method in transformed stage!

Parameters

scip	SCIP data structure

Definition at line 3141 of file probdata_stp.c.

References GT, NULL, SCIP_Real, SCIPgetProbData(), SCIPgetTransObjoffset(), and SCIPgetTransObjscale().

Referenced by getCutoffbound().

◆ SCIPprobdataGetPresolUpperBoundWithOffset()

SCIP_Real SCIPprobdataGetPresolUpperBoundWithOffset ( SCIP * scip )

returns upper bound from presolving

Parameters

scip	SCIP data structure

Definition at line 3157 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

◆ SCIPprobdataGetedgeVarByIndex()

SCIP_VAR* SCIPprobdataGetedgeVarByIndex	(	SCIP *	scip,
		int	idx
	)

returns the edge variable for a given index

returns the variable for a given index

Parameters

scip	SCIP data structure
idx	index of the edge

Definition at line 3173 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

◆ SCIPprobdataGetXval()

SCIP_Real* SCIPprobdataGetXval	(	SCIP *	scip,
		SCIP_SOL *	sol
	)

returns the LP solution values

Parameters

scip	SCIP data structure
sol	solution to get values from

Definition at line 3190 of file probdata_stp.c.

References NULL, SCIP_CALL_ABORT, SCIP_Real, SCIPgetProbData(), and SCIPgetSolVals().

Referenced by mincutInitForLp(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_HEUREXEC(), SCIPStpHeurTMRunLP(), sep_flow(), sepaspecial_pacliquesSeparate(), sepaspecial_pcimplicationsSeparate(), sepaspecial_vtimplicationsSeparate(), solGetStpSol(), and solstp_getStpFromSCIPsol().

◆ SCIPprobdataGetEdgeConstraints()

SCIP_CONS** SCIPprobdataGetEdgeConstraints ( SCIP * scip )

returns all edge constraints

Parameters

scip	SCIP data structure

Definition at line 3218 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by SCIP_DECL_PRICERINIT().

◆ SCIPprobdataGetPathConstraints()

SCIP_CONS** SCIPprobdataGetPathConstraints ( SCIP * scip )

returns all path constraints

Parameters

scip	SCIP data structure

Definition at line 3232 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by SCIP_DECL_PRICERINIT().

◆ SCIPprobdataPrintGraph()

SCIP_RETCODE SCIPprobdataPrintGraph	(	SCIP *	scip,
		const char *	filename,
		SCIP_SOL *	sol,
		SCIP_Bool	printsol
	)

print (undirected) graph

print (undirected) graph in GML format

Parameters

scip	SCIP data structure
filename	name of the output file
sol	solution to be printed; or NULL for LP solution
printsol	should solution be printed?

Definition at line 3375 of file probdata_stp.c.

References FALSE, graph_writeGml(), NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPallocBufferArray, SCIPfreeBufferArray, SCIPgetProbData(), SCIPgetSolVal(), SCIPisZero(), and TRUE.

◆ SCIPprobdataIsBigt()

SCIP_Bool SCIPprobdataIsBigt ( SCIP * scip )

returns if 'T' model is being used

Parameters

scip	SCIP data structure

Definition at line 3292 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by SCIP_DECL_PRICERINIT().

◆ SCIPprobdataObjIsIntegral()

SCIP_Bool SCIPprobdataObjIsIntegral ( SCIP * scip )

Parameters

scip	SCIP data structure

Definition at line 3308 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

◆ SCIPprobdataIsSubproblem()

SCIP_Bool SCIPprobdataIsSubproblem ( SCIP * scip )

returns if in subproblem

Parameters

scip	SCIP data structure

Definition at line 3359 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

◆ SCIPprobdataProbIsAdversarial()

SCIP_Bool SCIPprobdataProbIsAdversarial ( SCIP * scip )

returns whether problem seems very hard

Parameters

scip	SCIP data structure

Definition at line 3324 of file probdata_stp.c.

References FALSE, getEdgeReductionRatio(), graph_pc_isPcMw(), GT, MINREDUCTION_RATIO_PCMW, MINREDUCTION_RATIO_STP, SCIP_Real, SCIPgetProbData(), and TRUE.

Referenced by branchruleGetType(), initSolNumberBounds(), and SCIP_DECL_HEUREXEC().

◆ SCIPprobdataWriteIntermediateSolution()

SCIP_RETCODE SCIPprobdataWriteIntermediateSolution ( SCIP * scip )

writes the best solution to the intermediate solution file

Parameters

scip	SCIP data structure

Definition at line 3419 of file probdata_stp.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPgetProbData(), and SCIPprobdataWriteSolution().

Referenced by SCIP_DECL_EVENTEXEC().

◆ SCIPprobdataWriteSolution()

SCIP_RETCODE SCIPprobdataWriteSolution	(	SCIP *	scip,
		FILE *	file
	)

writes the best solution to a file

Parameters

scip	SCIP data structure
file	file to write best solution to; or NULL, to write to stdout

Definition at line 3435 of file probdata_stp.c.

References FALSE, graph_grid_coordinates(), graph_pc_isPcMw(), GRAPH::grid_coordinates, GRAPH::grid_dim, GRAPH::grid_ncoords, GRAPH::head, solution_history::norgedges, GRAPH::norgmodelknots, solution_history::norgnodes, solution_history::nsoledges, solution_history::nsolnodes, NULL, GRAPH::orgedges, solution_history::orgedges_isInSol, GRAPH::orghead, GRAPH::orgknots, solution_history::orgnodes_isInSol, GRAPH::orgtail, GRAPH::pcancestors, SCIP_CALL, SCIP_OKAY, SCIPallocBufferArray, SCIPfreeBufferArray, SCIPgetBestSol(), SCIPgetProbData(), SCIPgetSolVal(), SCIPinfoMessage(), SCIPisZero(), SCIPprobdataWriteLogLine(), solhistory_computeHistory(), solhistory_free(), solhistory_init(), STP_DCSTP, STP_DHCSTP, STP_GSTP, STP_NWPTSPG, STP_NWSPG, STP_RPCSPG, STP_RSMT, STP_SAP, STP_SPG, GRAPH::stp_type, GRAPH::tail, and TRUE.

Referenced by SCIP_DECL_PROBEXITSOL(), SCIPprobdataWriteIntermediateSolution(), and SCIPprobdataWriteLogfileEnd().

◆ SCIPprobdataWriteLogLine()

void SCIPprobdataWriteLogLine	(	SCIP *	scip,
		const char *	formatstr,
			...
	)

writes a line to the log file

Parameters

scip	SCIP data structure
formatstr	format string like in printf() function

Definition at line 3659 of file probdata_stp.c.

References SCIP_Messagehdlr::logfile, NULL, SCIPgetMessagehdlr(), SCIPgetProbData(), and SCIPmessageVFPrintInfo().

Referenced by SCIP_DECL_EVENTEXEC(), SCIP_DECL_PROBEXITSOL(), SCIPprobdataWriteLogfileEnd(), SCIPprobdataWriteSolution(), and writeCommentSection().

◆ SCIPprobdataAddNewSol()

SCIP_RETCODE SCIPprobdataAddNewSol	(	SCIP *	scip,
		SCIP_Real *	nval,
		SCIP_HEUR *	heur,
		SCIP_Bool *	success
	)

add new solution

Parameters

scip	SCIP data structure
nval	array [0..nvars], nval[v] = 1 if node v is in the solution, nval[v] = 0 if not
heur	heuristic data
success	denotes whether the new solution has been successfully added

Definition at line 3693 of file probdata_stp.c.

References BMSclearMemoryArray, GRAPH::cost, EAT_LAST, shortest_path::edge, FALSE, FSP_MODE, graph_path_exec(), GRAPH::head, GRAPH::ieat, GRAPH::inpbeg, Is_term, GRAPH::knots, GRAPH::mark, NULL, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_CONTINUOUS, SCIPaddCoefLinear(), SCIPaddSolFree(), SCIPaddVar(), SCIPallocMemoryArray, SCIPcheckSol(), SCIPcheckSolOrig(), SCIPcreateOrigSol(), SCIPcreateSol(), SCIPcreateVarBasic(), SCIPdebugMessage, SCIPfreeMemoryArrayNull, SCIPfreeSol(), SCIPgetNOrigVars(), SCIPgetOrigVars(), SCIPgetProbData(), SCIPgetSolVal(), SCIPinfinity(), SCIPisEQ(), SCIPisGT(), SCIPisZero(), SCIPreleaseVar(), SCIPsetSolVal(), SCIPsetSolVals(), SCIPsnprintf(), SCIPsolGetHeur(), SCIPtrySolFree(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), SCIPvarIsActive(), GRAPH::source, STP_MODE_CUT, STP_MODE_FLOW, STP_MODE_PRICE, STP_MWCSP, STP_PCSPG, GRAPH::stp_type, GRAPH::tail, GRAPH::term, and TRUE.

Referenced by poolAddSol(), SCIP_DECL_HEUREXEC(), selectBranchingVertexBySol(), solAddTry(), solpool_addSolToScip(), and solstp_addSolToProb().

◆ SCIPprobdataSetDualBound()

void SCIPprobdataSetDualBound	(	SCIP *	scip,
		SCIP_Real	dual
	)

set dual bound by ug

writes end of log file

Parameters

scip	SCIP data structure
dual	dual bound

Definition at line 4048 of file probdata_stp.c.

References NULL, SCIPgetProbData(), and TRUE.

◆ SCIPprobdataSetNSolvers()

void SCIPprobdataSetNSolvers	(	SCIP *	scip,
		int	nSolvers
	)

set the number of solvers

writes end of log file

Parameters

scip	SCIP data structure
nSolvers	the number of solvers

Definition at line 4063 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

◆ SCIPprobdataGetType()

int SCIPprobdataGetType ( SCIP * scip )

returns problem type

Parameters

scip	SCIP data structure

Definition at line 3972 of file probdata_stp.c.

References NULL, and SCIPgetProbData().

Referenced by SCIP_DECL_EVENTEXEC(), and SCIPintListNodeAppendCopy().

◆ SCIPprobdataWriteLogfileEnd()

SCIP_RETCODE SCIPprobdataWriteLogfileEnd ( SCIP * scip )

writes end of log file

Parameters

scip	SCIP data structure

Definition at line 3987 of file probdata_stp.c.

References NULL, SCIP_CALL, SCIP_FILECREATEERROR, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIPgetDualbound(), SCIPgetNSols(), SCIPgetPrimalbound(), SCIPgetProbData(), SCIPgetTotalTime(), SCIPprobdataWriteLogLine(), SCIPprobdataWriteSolution(), STP_BRMWCSP, STP_MWCSP, and STP_RMWCSP.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ initReceivedSubproblem()

void initReceivedSubproblem	(	SCIP *	scip,
		const int	lLinearConsNames,
		const char *	linearConsNames,
		const int	lSetppcConsNames,
		const char *	setppcConsNames
	)

branching information from UG

Parameters

scip	SCIP data structure
lLinearConsNames	number of linear constraints
linearConsNames	linear constraints string
lSetppcConsNames	number of setppc constraints
setppcConsNames	number of setppc constraints

Definition at line 4077 of file probdata_stp.c.

References GRAPH::ancestors, BLOCKED, BRANCH_STP_VERTEX_KILLED, BRANCH_STP_VERTEX_TERM, GRAPH::cost, EAT_LAST, FALSE, flipedge, graph_copy(), graph_free(), graph_knot_chg(), graph_mincut_exit(), graph_mincut_init(), graph_path_exit(), graph_path_init(), graph_pc_enforceNode(), graph_pc_getRoot2PtermEdge(), graph_pc_getTwinTerm(), graph_pc_isMw(), graph_pc_isPcMw(), graph_pc_isRootedPcMw(), GRAPH::head, GRAPH::ieat, GRAPH::inpbeg, Is_anyTerm, Is_pseudoTerm, Is_term, GRAPH::knots, nnodes, NULL, GRAPH::prize, SCIP_Bool, SCIP_CALL_ABORT, SCIPallocBufferArray, SCIPdebugMessage, SCIPfreeBufferArray, SCIPgetProbData(), SCIPisEQ(), SCIPprobdataGetGraph(), SCIPprobdataSetDefaultParams(), SCIPStpBranchruleInitNodeState(), GRAPH::source, STP_MODE_CUT, STPStpBranchruleParseConsname(), GRAPH::tail, GRAPH::term, GRAPH::term2edge, and TRUE.

SCIP

Detailed Description

Macros

Functions

Macro Definition Documentation

◆ STP_MODE_CUT

◆ STP_MODE_FLOW

◆ STP_MODE_PRICE

◆ STP_CONS_NEVER

◆ STP_CONS_ALWAYS

◆ STP_CONS_AUTOMATIC

◆ STP_USEDP_NEVER

◆ STP_USEDP_ALWAYS

◆ STP_USEDP_AUTOMATIC

Function Documentation

◆ SCIPprobdataSetDefaultParams()

◆ SCIPprobdataCreate()

◆ SCIPprobdataCreateFromGraph()

◆ SCIPprobdataSetGraph()

◆ SCIPprobdataGetGraph()

◆ SCIPprobdataGetGraph2()

◆ SCIPprobdataSetOffset()

◆ SCIPprobdataGetVars()

◆ SCIPprobdataGetEdgeVars()

◆ SCIPprobdataGetRTerms()

◆ SCIPprobdataGetPctermsorder()

◆ SCIPprobdataGetNLayers()

◆ SCIPprobdataGetNVars()

◆ SCIPprobdataGetNTerms()

◆ SCIPprobdataGetRNTerms()

◆ SCIPprobdataGetRoot()

◆ SCIPprobdataGetNorgEdges()

◆ SCIPprobdataGetNEdges()

◆ SCIPprobdataGetNNodes()

◆ SCIPprobdataGetOffset()

◆ SCIPprobdataGetPresolUpperBound()

◆ SCIPprobdataGetPresolUpperBoundWithOffset()

◆ SCIPprobdataGetedgeVarByIndex()

◆ SCIPprobdataGetXval()

◆ SCIPprobdataGetEdgeConstraints()

◆ SCIPprobdataGetPathConstraints()

◆ SCIPprobdataPrintGraph()

◆ SCIPprobdataIsBigt()

◆ SCIPprobdataObjIsIntegral()

◆ SCIPprobdataIsSubproblem()

◆ SCIPprobdataProbIsAdversarial()

◆ SCIPprobdataWriteIntermediateSolution()

◆ SCIPprobdataWriteSolution()

◆ SCIPprobdataWriteLogLine()

◆ SCIPprobdataAddNewSol()

◆ SCIPprobdataSetDualBound()

◆ SCIPprobdataSetNSolvers()

◆ SCIPprobdataGetType()

◆ SCIPprobdataWriteLogfileEnd()

◆ initReceivedSubproblem()