SCIP
Solving Constraint Integer Programs
conflict_general.c File Reference
Detailed Description
methods and datastructures for conflict analysis
SCIP contains two kinds of conflict analysis:
- In graph based conflict analysis, the graph consisting of derived is analysed. Code and documentation is available in conflict_graphanalysis.h
- In dual proof analysis, an infeasible LP relaxation is analysed. Using the dual solution, a valid constraint is derived that is violated by all values in the domain. This constraint is added to the problem and can then be used for domain propagation. Code is available in conflict_dualproofanalysis.h This file contains the methods that are shared by both kinds of conflict analysis.
Definition in file conflict_general.c.
#include "lpi/lpi.h"#include "scip/clock.h"#include "scip/conflict.h"#include "scip/conflictstore.h"#include "scip/cons.h"#include "scip/cons_linear.h"#include "scip/cuts.h"#include "scip/history.h"#include "scip/lp.h"#include "scip/presolve.h"#include "scip/prob.h"#include "scip/prop.h"#include "scip/pub_conflict.h"#include "scip/pub_cons.h"#include "scip/pub_lp.h"#include "scip/pub_message.h"#include "scip/pub_misc.h"#include "scip/pub_misc_sort.h"#include "scip/pub_paramset.h"#include "scip/pub_prop.h"#include "scip/pub_tree.h"#include "scip/pub_var.h"#include "scip/scip_conflict.h"#include "scip/scip_cons.h"#include "scip/scip_mem.h"#include "scip/scip_sol.h"#include "scip/scip_var.h"#include "scip/set.h"#include "scip/sol.h"#include "scip/struct_conflict.h"#include "scip/struct_lp.h"#include "scip/struct_prob.h"#include "scip/struct_set.h"#include "scip/struct_stat.h"#include "scip/struct_tree.h"#include "scip/struct_var.h"#include "scip/tree.h"#include "scip/var.h"#include "scip/visual.h"#include <string.h>#include <strings.h>Go to the source code of this file.
Macros | |
| #define | NUMSTOP 9007199254740992.0 |
Macro Definition Documentation
◆ NUMSTOP
| #define NUMSTOP 9007199254740992.0 |
Definition at line 96 of file conflict_general.c.
Referenced by SCIPgetDualProof(), and SCIPgetFarkasProof().
Function Documentation
◆ SCIPconflictGetNConflicts()
| int SCIPconflictGetNConflicts | ( | SCIP_CONFLICT * | conflict | ) |
returns the current number of conflict sets in the conflict set storage
- Parameters
-
conflict conflict analysis data
Definition at line 99 of file conflict_general.c.
References SCIP_Conflict::nconflictsets, and NULL.
Referenced by propAndSolve(), SCIPgetNConflictConssFoundNode(), SCIPgetVarStrongbranchWithPropagation(), and solveNode().
◆ SCIPconflictGetNAppliedConss()
| SCIP_Longint SCIPconflictGetNAppliedConss | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of conflict constraints that were added to the problem
- Parameters
-
conflict conflict analysis data
Definition at line 109 of file conflict_general.c.
References SCIP_Conflict::nappliedglbconss, SCIP_Conflict::nappliedlocconss, and NULL.
Referenced by SCIPgetNConflictConssApplied().
◆ SCIPconflictGetNAppliedLiterals()
| SCIP_Longint SCIPconflictGetNAppliedLiterals | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of literals in conflict constraints that were added to the problem
- Parameters
-
conflict conflict analysis data
Definition at line 119 of file conflict_general.c.
References SCIP_Conflict::nappliedglbliterals, SCIP_Conflict::nappliedlocliterals, and NULL.
◆ SCIPconflictGetNGlobalChgBds()
| SCIP_Longint SCIPconflictGetNGlobalChgBds | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of global bound changes applied by the conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 129 of file conflict_general.c.
References SCIP_Conflict::nglbchgbds, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNAppliedGlobalConss()
| SCIP_Longint SCIPconflictGetNAppliedGlobalConss | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of conflict constraints that were added globally to the problem
- Parameters
-
conflict conflict analysis data
Definition at line 139 of file conflict_general.c.
References SCIP_Conflict::nappliedglbconss, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNAppliedGlobalLiterals()
| SCIP_Longint SCIPconflictGetNAppliedGlobalLiterals | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of literals in conflict constraints that were added globally to the problem
- Parameters
-
conflict conflict analysis data
Definition at line 149 of file conflict_general.c.
References SCIP_Conflict::nappliedglbliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNLocalChgBds()
| SCIP_Longint SCIPconflictGetNLocalChgBds | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of local bound changes applied by the conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 159 of file conflict_general.c.
References SCIP_Conflict::nlocchgbds, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNAppliedLocalConss()
| SCIP_Longint SCIPconflictGetNAppliedLocalConss | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of conflict constraints that were added locally to the problem
- Parameters
-
conflict conflict analysis data
Definition at line 169 of file conflict_general.c.
References SCIP_Conflict::nappliedlocconss, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNAppliedLocalLiterals()
| SCIP_Longint SCIPconflictGetNAppliedLocalLiterals | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of literals in conflict constraints that were added locally to the problem
- Parameters
-
conflict conflict analysis data
Definition at line 179 of file conflict_general.c.
References SCIP_Conflict::nappliedlocliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIP_DECL_SORTPTRCOMP()
|
static |
compares two conflict set entries, such that bound changes inferred later are ordered prior to ones that were inferred earlier
Definition at line 192 of file conflict_general.c.
References NULL, SCIPbdchgidxIsEarlierNonNull(), SCIPbdchginfoGetIdx(), and SCIPbdchginfoIsRedundant().
◆ SCIPconflictEnableOrDisableClocks()
| void SCIPconflictEnableOrDisableClocks | ( | SCIP_CONFLICT * | conflict, |
| SCIP_Bool | enable | ||
| ) |
enables or disables all clocks of conflict, depending on the value of the flag
- Parameters
-
conflict the conflict analysis data for which all clocks should be enabled or disabled enable should the clocks of the conflict analysis data be enabled?
Definition at line 214 of file conflict_general.c.
References SCIP_Conflict::boundlpanalyzetime, SCIP_Conflict::dIBclock, SCIP_Conflict::inflpanalyzetime, NULL, SCIP_Conflict::propanalyzetime, SCIP_Conflict::pseudoanalyzetime, SCIP_Conflict::sbanalyzetime, and SCIPclockEnableOrDisable().
Referenced by SCIPconflictCreate(), and SCIPenableOrDisableStatisticTiming().
◆ SCIPconflictCreate()
| SCIP_RETCODE SCIPconflictCreate | ( | SCIP_CONFLICT ** | conflict, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set | ||
| ) |
creates conflict analysis data for propagation conflicts
- Parameters
-
conflict pointer to conflict analysis data blkmem block memory of transformed problem set global SCIP settings
Definition at line 230 of file conflict_general.c.
References BMSallocMemory, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_OKAY, SCIPclockCreate(), SCIPconflictEnableOrDisableClocks(), SCIPconflictInitProofset(), SCIPconflictsetCreate(), and SCIPpqueueCreate().
Referenced by SCIPtransformProb().
◆ SCIPconflictFree()
| SCIP_RETCODE SCIPconflictFree | ( | SCIP_CONFLICT ** | conflict, |
| BMS_BLKMEM * | blkmem | ||
| ) |
frees conflict analysis data for propagation conflicts
- Parameters
-
conflict pointer to conflict analysis data blkmem block memory of transformed problem
Definition at line 320 of file conflict_general.c.
References BMSfreeMemory, BMSfreeMemoryArrayNull, NULL, SCIP_OKAY, SCIPclockFree(), SCIPconflictsetFree(), SCIPpqueueFree(), and SCIPproofsetFree().
Referenced by freeTransform(), and freeTransforming().
◆ SCIPconflictGetVarLb()
| SCIP_Real SCIPconflictGetVarLb | ( | SCIP_CONFLICT * | conflict, |
| SCIP_VAR * | var | ||
| ) |
returns the conflict lower bound if the variable is present in the current conflict set; otherwise the global lower bound
- Parameters
-
conflict conflict analysis data var problem variable
Definition at line 357 of file conflict_general.c.
References SCIP_Var::conflictlb, SCIP_Var::conflictlbcount, SCIP_Var::conflictrelaxedlb, SCIP_Conflict::count, EPSGE, and SCIPvarGetLbGlobal().
Referenced by SCIPgetConflictVarLb().
◆ SCIPconflictGetVarUb()
| SCIP_Real SCIPconflictGetVarUb | ( | SCIP_CONFLICT * | conflict, |
| SCIP_VAR * | var | ||
| ) |
returns the conflict upper bound if the variable is present in the current conflict set; otherwise the global upper bound
- Parameters
-
conflict conflict analysis data var problem variable
Definition at line 374 of file conflict_general.c.
References SCIP_Var::conflictrelaxedub, SCIP_Var::conflictub, SCIP_Var::conflictubcount, SCIP_Conflict::count, EPSLE, and SCIPvarGetUbGlobal().
Referenced by SCIPgetConflictVarUb().
◆ SCIPconflictGetGlobalApplTime()
| SCIP_Real SCIPconflictGetGlobalApplTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for preprocessing global conflict constraint before appliance
- Parameters
-
conflict conflict analysis data
Definition at line 389 of file conflict_general.c.
References SCIP_Conflict::dIBclock, NULL, and SCIPclockGetTime().
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetPropTime()
| SCIP_Real SCIPconflictGetPropTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing propagation conflicts
- Parameters
-
conflict conflict analysis data
Definition at line 399 of file conflict_general.c.
References NULL, SCIP_Conflict::propanalyzetime, and SCIPclockGetTime().
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNPropCalls()
| SCIP_Longint SCIPconflictGetNPropCalls | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to propagation conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 409 of file conflict_general.c.
References SCIP_Conflict::npropcalls, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNPropSuccess()
| SCIP_Longint SCIPconflictGetNPropSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to propagation conflict analysis that yield at least one conflict constraint
- Parameters
-
conflict conflict analysis data
Definition at line 419 of file conflict_general.c.
References SCIP_Conflict::npropsuccess, and NULL.
Referenced by SCIPprintConflictStatistics(), and SCIPsolveCIP().
◆ SCIPconflictGetNPropConflictConss()
| SCIP_Longint SCIPconflictGetNPropConflictConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of conflict constraints detected in propagation conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 429 of file conflict_general.c.
References SCIP_Conflict::npropconfconss, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNPropConflictLiterals()
| SCIP_Longint SCIPconflictGetNPropConflictLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in conflict constraints created in propagation conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 439 of file conflict_general.c.
References SCIP_Conflict::npropconfliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNPropReconvergenceConss()
| SCIP_Longint SCIPconflictGetNPropReconvergenceConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of reconvergence constraints detected in propagation conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 449 of file conflict_general.c.
References SCIP_Conflict::npropreconvconss, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNPropReconvergenceLiterals()
| SCIP_Longint SCIPconflictGetNPropReconvergenceLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in reconvergence constraints created in propagation conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 459 of file conflict_general.c.
References SCIP_Conflict::npropreconvliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetInfeasibleLPTime()
| SCIP_Real SCIPconflictGetInfeasibleLPTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing infeasible LP conflicts
- Parameters
-
conflict conflict analysis data
Definition at line 469 of file conflict_general.c.
References SCIP_Conflict::inflpanalyzetime, NULL, and SCIPclockGetTime().
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNInfeasibleLPCalls()
| SCIP_Longint SCIPconflictGetNInfeasibleLPCalls | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to infeasible LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 479 of file conflict_general.c.
References SCIP_Conflict::ninflpcalls, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNInfeasibleLPSuccess()
| SCIP_Longint SCIPconflictGetNInfeasibleLPSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to infeasible LP conflict analysis that yield at least one conflict constraint
- Parameters
-
conflict conflict analysis data
Definition at line 489 of file conflict_general.c.
References SCIP_Conflict::ninflpsuccess, and NULL.
Referenced by SCIPprintConflictStatistics(), and SCIPsolveCIP().
◆ SCIPconflictGetNInfeasibleLPConflictConss()
| SCIP_Longint SCIPconflictGetNInfeasibleLPConflictConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of conflict constraints detected in infeasible LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 499 of file conflict_general.c.
References SCIP_Conflict::ninflpconfconss, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNInfeasibleLPConflictLiterals()
| SCIP_Longint SCIPconflictGetNInfeasibleLPConflictLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in conflict constraints created in infeasible LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 509 of file conflict_general.c.
References SCIP_Conflict::ninflpconfliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNInfeasibleLPReconvergenceConss()
| SCIP_Longint SCIPconflictGetNInfeasibleLPReconvergenceConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of reconvergence constraints detected in infeasible LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 519 of file conflict_general.c.
References SCIP_Conflict::ninflpreconvconss, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNInfeasibleLPReconvergenceLiterals()
| SCIP_Longint SCIPconflictGetNInfeasibleLPReconvergenceLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in reconvergence constraints created in infeasible LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 529 of file conflict_general.c.
References SCIP_Conflict::ninflpreconvliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNInfeasibleLPIterations()
| SCIP_Longint SCIPconflictGetNInfeasibleLPIterations | ( | SCIP_CONFLICT * | conflict | ) |
gets number of LP iterations in infeasible LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 539 of file conflict_general.c.
References SCIP_Conflict::ninflpiterations, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetBoundexceedingLPTime()
| SCIP_Real SCIPconflictGetBoundexceedingLPTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing bound exceeding LP conflicts
- Parameters
-
conflict conflict analysis data
Definition at line 549 of file conflict_general.c.
References SCIP_Conflict::boundlpanalyzetime, NULL, and SCIPclockGetTime().
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNBoundexceedingLPCalls()
| SCIP_Longint SCIPconflictGetNBoundexceedingLPCalls | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to bound exceeding LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 559 of file conflict_general.c.
References SCIP_Conflict::nboundlpcalls, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNBoundexceedingLPSuccess()
| SCIP_Longint SCIPconflictGetNBoundexceedingLPSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to bound exceeding LP conflict analysis that yield at least one conflict constraint
- Parameters
-
conflict conflict analysis data
Definition at line 569 of file conflict_general.c.
References SCIP_Conflict::nboundlpsuccess, and NULL.
Referenced by SCIPprintConflictStatistics(), and SCIPsolveCIP().
◆ SCIPconflictGetNBoundexceedingLPConflictConss()
| SCIP_Longint SCIPconflictGetNBoundexceedingLPConflictConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of conflict constraints detected in bound exceeding LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 579 of file conflict_general.c.
References SCIP_Conflict::nboundlpconfconss, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNBoundexceedingLPConflictLiterals()
| SCIP_Longint SCIPconflictGetNBoundexceedingLPConflictLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in conflict constraints created in bound exceeding LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 589 of file conflict_general.c.
References SCIP_Conflict::nboundlpconfliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNBoundexceedingLPReconvergenceConss()
| SCIP_Longint SCIPconflictGetNBoundexceedingLPReconvergenceConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of reconvergence constraints detected in bound exceeding LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 599 of file conflict_general.c.
References SCIP_Conflict::nboundlpreconvconss, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNBoundexceedingLPReconvergenceLiterals()
| SCIP_Longint SCIPconflictGetNBoundexceedingLPReconvergenceLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in reconvergence constraints created in bound exceeding LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 609 of file conflict_general.c.
References SCIP_Conflict::nboundlpreconvliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNBoundexceedingLPIterations()
| SCIP_Longint SCIPconflictGetNBoundexceedingLPIterations | ( | SCIP_CONFLICT * | conflict | ) |
gets number of LP iterations in bound exceeding LP conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 619 of file conflict_general.c.
References SCIP_Conflict::nboundlpiterations, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetStrongbranchTime()
| SCIP_Real SCIPconflictGetStrongbranchTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing infeasible strong branching conflicts
- Parameters
-
conflict conflict analysis data
Definition at line 629 of file conflict_general.c.
References NULL, SCIP_Conflict::sbanalyzetime, and SCIPclockGetTime().
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNDualproofsInfSuccess()
| SCIP_Longint SCIPconflictGetNDualproofsInfSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of successful calls to dual proof analysis derived from infeasible LPs
- Parameters
-
conflict conflict analysis data
Definition at line 639 of file conflict_general.c.
References SCIP_Conflict::ndualproofsinfsuccess, and NULL.
Referenced by SCIPgetNConflictDualproofsApplied(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNDualproofsInfGlobal()
| SCIP_Longint SCIPconflictGetNDualproofsInfGlobal | ( | SCIP_CONFLICT * | conflict | ) |
gets number of globally valid dual proof constraints derived from infeasible LPs
- Parameters
-
conflict conflict analysis data
Definition at line 649 of file conflict_general.c.
References SCIP_Conflict::ndualproofsinfglobal, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNDualproofsInfLocal()
| SCIP_Longint SCIPconflictGetNDualproofsInfLocal | ( | SCIP_CONFLICT * | conflict | ) |
gets number of locally valid dual proof constraints derived from infeasible LPs
- Parameters
-
conflict conflict analysis data
Definition at line 659 of file conflict_general.c.
References SCIP_Conflict::ndualproofsinflocal, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNDualproofsInfNonzeros()
| SCIP_Longint SCIPconflictGetNDualproofsInfNonzeros | ( | SCIP_CONFLICT * | conflict | ) |
gets average length of dual proof constraints derived from infeasible LPs
- Parameters
-
conflict conflict analysis data
Definition at line 669 of file conflict_general.c.
References SCIP_Conflict::dualproofsinfnnonzeros, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNDualproofsBndSuccess()
| SCIP_Longint SCIPconflictGetNDualproofsBndSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of successfully analyzed dual proofs derived from bound exceeding LPs
- Parameters
-
conflict conflict analysis data
Definition at line 679 of file conflict_general.c.
References SCIP_Conflict::ndualproofsbndsuccess, and NULL.
Referenced by SCIPgetNConflictDualproofsApplied(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNDualproofsBndGlobal()
| SCIP_Longint SCIPconflictGetNDualproofsBndGlobal | ( | SCIP_CONFLICT * | conflict | ) |
gets number of globally applied dual proofs derived from bound exceeding LPs
- Parameters
-
conflict conflict analysis data
Definition at line 689 of file conflict_general.c.
References SCIP_Conflict::ndualproofsbndglobal, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNDualproofsBndLocal()
| SCIP_Longint SCIPconflictGetNDualproofsBndLocal | ( | SCIP_CONFLICT * | conflict | ) |
gets number of locally applied dual proofs derived from bound exceeding LPs
- Parameters
-
conflict conflict analysis data
Definition at line 699 of file conflict_general.c.
References SCIP_Conflict::ndualproofsbndlocal, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNDualproofsBndNonzeros()
| SCIP_Longint SCIPconflictGetNDualproofsBndNonzeros | ( | SCIP_CONFLICT * | conflict | ) |
gets average length of dual proofs derived from bound exceeding LPs
- Parameters
-
conflict conflict analysis data
Definition at line 709 of file conflict_general.c.
References SCIP_Conflict::dualproofsbndnnonzeros, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNStrongbranchCalls()
| SCIP_Longint SCIPconflictGetNStrongbranchCalls | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to infeasible strong branching conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 719 of file conflict_general.c.
References SCIP_Conflict::nsbcalls, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNStrongbranchSuccess()
| SCIP_Longint SCIPconflictGetNStrongbranchSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to infeasible strong branching conflict analysis that yield at least one conflict constraint
- Parameters
-
conflict conflict analysis data
Definition at line 729 of file conflict_general.c.
References SCIP_Conflict::nsbsuccess, and NULL.
Referenced by SCIPprintConflictStatistics(), and SCIPsolveCIP().
◆ SCIPconflictGetNStrongbranchConflictConss()
| SCIP_Longint SCIPconflictGetNStrongbranchConflictConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of conflict constraints detected in infeasible strong branching conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 739 of file conflict_general.c.
References SCIP_Conflict::nsbconfconss, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNStrongbranchConflictLiterals()
| SCIP_Longint SCIPconflictGetNStrongbranchConflictLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in conflict constraints created in infeasible strong branching conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 749 of file conflict_general.c.
References SCIP_Conflict::nsbconfliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNStrongbranchReconvergenceConss()
| SCIP_Longint SCIPconflictGetNStrongbranchReconvergenceConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of reconvergence constraints detected in infeasible strong branching conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 759 of file conflict_general.c.
References SCIP_Conflict::nsbreconvconss, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNStrongbranchReconvergenceLiterals()
| SCIP_Longint SCIPconflictGetNStrongbranchReconvergenceLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in reconvergence constraints created in infeasible strong branching conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 769 of file conflict_general.c.
References SCIP_Conflict::nsbreconvliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNStrongbranchIterations()
| SCIP_Longint SCIPconflictGetNStrongbranchIterations | ( | SCIP_CONFLICT * | conflict | ) |
gets number of LP iterations in infeasible strong branching conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 779 of file conflict_general.c.
References SCIP_Conflict::nsbiterations, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ addRowToAggrRow()
|
static |
adds a weighted LP row to an aggregation row
- Parameters
-
set global SCIP settings row LP row weight weight for scaling aggrrow aggregation row
Definition at line 790 of file conflict_general.c.
References SCIP_Row::constant, SCIP_Row::lhs, SCIP_Row::local, SCIP_Row::lpdepth, NULL, SCIP_Row::rhs, SCIP_CALL, SCIP_OKAY, SCIPaggrRowAddRow(), SCIPaggrRowGetRhs(), SCIProwGetName(), SCIPsetDebugMsg, and SCIPsetIsInfinity().
Referenced by addLocalRows(), SCIPgetDualProof(), and SCIPgetFarkasProof().
◆ checkDualFeasibility()
|
static |
checks validity of an LP row and a corresponding weight
- Parameters
-
set global SCIP settings row LP row weight weight for scaling zerocontribution pointer to store whether every row entry is zero within tolerances
Definition at line 822 of file conflict_general.c.
References FALSE, SCIP_Row::len, SCIP_Row::lhs, QUAD_EPSILON, REALABS, SCIP_Row::rhs, SCIP_Bool, SCIProwGetName(), SCIPsetDebugMsg, SCIPsetIsDualfeasZero(), SCIPsetIsInfinity(), TRUE, and SCIP_Row::vals.
Referenced by addLocalRows(), SCIPgetDualProof(), and SCIPgetFarkasProof().
◆ SCIPaggrRowGetMinActivity()
| SCIP_Real SCIPaggrRowGetMinActivity | ( | SCIP_SET * | set, |
| SCIP_PROB * | transprob, | ||
| SCIP_AGGRROW * | aggrrow, | ||
| SCIP_Real * | curvarlbs, | ||
| SCIP_Real * | curvarubs, | ||
| SCIP_Bool * | infdelta | ||
| ) |
calculates the minimal activity of a given aggregation row
- Parameters
-
set global SCIP settings transprob transformed problem data aggrrow aggregation row curvarlbs current lower bounds of active problem variables (or NULL for global bounds) curvarubs current upper bounds of active problem variables (or NULL for global bounds) infdelta pointer to store whether at least one variable contributes with an infinite value
Definition at line 869 of file conflict_general.c.
References FALSE, NULL, QUAD, QUAD_ASSIGN, QUAD_TO_DBL, SCIP_Real, SCIPaggrRowGetInds(), SCIPaggrRowGetNNz(), SCIPaggrRowGetProbvarValue(), SCIPprobGetVars(), SCIPquadprecProdDD, SCIPquadprecSumQQ, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetProbindex(), SCIPvarGetUbGlobal(), and TRUE.
Referenced by addLocalRows(), SCIPconflictAnalyzeDualProof(), SCIPgetDualProof(), SCIPgetFarkasProof(), and separateAlternativeProofs().
◆ sortLocalRows()
|
static |
sort local rows by increasing depth and number of nonzeros as tie-breaker
- Parameters
-
set global SCIP settings aggrrow aggregation row rows array of local rows rowinds array of row indices rowdepth array of LP depths nrows number of local rows
Definition at line 949 of file conflict_general.c.
References SCIP_Row::len, NULL, SCIP_CALL, SCIP_OKAY, SCIPsetAllocBufferArray, SCIPsetFreeBufferArray, SCIPsortIntInt(), and SCIPsortIntIntInt().
Referenced by addLocalRows().
◆ addLocalRows()
|
static |
adds locally valid rows to the proof constraint
- Parameters
-
set global SCIP settings transprob transformed problem lp LP data proofrow aggregated row representing the proof rows array if locally valid rows dualsols dual solution vector localrowinds array of row indecies localrowdepth array of row depths nlocalrows number of local rows stored in rows array proofact pointer to store the activity of the proof constraint validdepth pointer to store the depth where the proof constraint is valid curvarlbs current lower bounds of active problem variables curvarubs current upper bounds of active problem variables valid pointer store whether the proof constraint is valid
Definition at line 1017 of file conflict_general.c.
References addRowToAggrRow(), checkDualFeasibility(), SCIP_Row::cols, FALSE, SCIP_Row::len, SCIP_Row::local, SCIP_Row::lpdepth, SCIP_Lp::lpirows, NULL, r, REALABS, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPaggrRowGetMinActivity(), SCIPaggrRowGetRhs(), SCIPaggrRowRemoveZeros(), SCIPsetDebugMsg, SCIPsetIsDualfeasZero(), SCIPsetIsGT(), SCIPsetIsInfinity(), SCIPsetIsLE(), sortLocalRows(), TRUE, and SCIP_Row::vals.
Referenced by SCIPgetDualProof(), and SCIPgetFarkasProof().
◆ SCIPgetFarkasProof()
| SCIP_RETCODE SCIPgetFarkasProof | ( | SCIP_SET * | set, |
| SCIP_PROB * | prob, | ||
| SCIP_LP * | lp, | ||
| SCIP_LPI * | lpi, | ||
| SCIP_TREE * | tree, | ||
| SCIP_AGGRROW * | farkasrow, | ||
| SCIP_Real * | farkasact, | ||
| int * | validdepth, | ||
| SCIP_Real * | curvarlbs, | ||
| SCIP_Real * | curvarubs, | ||
| SCIP_Bool * | valid | ||
| ) |
calculates a Farkas proof from the current dual LP solution
- Parameters
-
set global SCIP settings prob transformed problem lp LP data lpi LPI data tree tree data farkasrow aggregated row representing the proof farkasact maximal activity of the proof constraint validdepth pointer to store the valid depth of the proof constraint curvarlbs current lower bounds of active problem variables curvarubs current upper bounds of active problem variables valid pointer store whether the proof constraint is valid
Definition at line 1157 of file conflict_general.c.
References addLocalRows(), addRowToAggrRow(), BMSclearMemoryArray, checkDualFeasibility(), SCIP_Row::cols, FALSE, SCIP_Lp::flushed, SCIP_Row::len, SCIP_Row::local, SCIP_Lp::lpirows, SCIP_Lp::nlpirows, NULL, NUMSTOP, r, REALABS, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaggrRowGetMinActivity(), SCIPaggrRowGetRhs(), SCIPaggrRowRemoveZeros(), SCIPfreeBufferArrayNull, SCIPlpDivingObjChanged(), SCIPlpGetNRows(), SCIPlpGetRows(), SCIPlpiGetDualfarkas(), SCIPlpiHasDualRay(), SCIPlpiIsDualFeasible(), SCIPlpiIsObjlimExc(), SCIPlpiIsPrimalInfeasible(), SCIProwGetLPDepth(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsetIsDualfeasZero(), SCIPsetIsFeasLE(), SCIPtreeGetFocusDepth(), SCIP_Lp::solved, TRUE, and SCIP_Row::vals.
Referenced by conflictAnalyzeLP(), and SCIPrunBoundHeuristic().
◆ SCIPgetDualProof()
| SCIP_RETCODE SCIPgetDualProof | ( | SCIP_SET * | set, |
| SCIP_PROB * | transprob, | ||
| SCIP_LP * | lp, | ||
| SCIP_LPI * | lpi, | ||
| SCIP_TREE * | tree, | ||
| SCIP_AGGRROW * | farkasrow, | ||
| SCIP_Real * | farkasact, | ||
| int * | validdepth, | ||
| SCIP_Real * | curvarlbs, | ||
| SCIP_Real * | curvarubs, | ||
| SCIP_Bool * | valid | ||
| ) |
calculates a dual proof from the current dual LP solution
- Parameters
-
set global SCIP settings transprob transformed problem lp LP data lpi LPI data tree tree data farkasrow aggregated row representing the proof farkasact maximal activity of the proof constraint validdepth pointer to store the valid depth of the proof constraint curvarlbs current lower bounds of active problem variables curvarubs current upper bounds of active problem variables valid pointer store whether the proof constraint is valid
Definition at line 1328 of file conflict_general.c.
References addLocalRows(), addRowToAggrRow(), checkDualFeasibility(), SCIP_Row::cols, SCIP_Lp::cutoffbound, FALSE, SCIP_Lp::flushed, SCIP_Row::len, SCIP_Row::local, SCIP_Lp::lpirows, SCIP_Lp::nlpirows, NULL, NUMSTOP, r, REALABS, SCIP_Bool, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowClear(), SCIPaggrRowGetMinActivity(), SCIPaggrRowGetRhs(), SCIPaggrRowRemoveZeros(), SCIPfreeBufferArrayNull, SCIPlpGetNCols(), SCIPlpGetNRows(), SCIPlpGetRows(), SCIPlpiGetObjval(), SCIPlpiGetSol(), SCIPprobIsObjIntegral(), SCIProwGetLPDepth(), SCIPsetAllocBufferArray, SCIPsetCutoffbounddelta(), SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsetIsDualfeasZero(), SCIPsetIsFeasLE(), SCIPtreeGetFocusDepth(), SCIP_Lp::solved, TRUE, and SCIP_Row::vals.
Referenced by conflictAnalyzeLP(), and SCIPrunBoundHeuristic().
◆ SCIPconflictAnalyzePseudo()
| SCIP_RETCODE SCIPconflictAnalyzePseudo | ( | SCIP_CONFLICT * | conflict, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PROB * | transprob, | ||
| SCIP_PROB * | origprob, | ||
| SCIP_TREE * | tree, | ||
| SCIP_REOPT * | reopt, | ||
| SCIP_LP * | lp, | ||
| SCIP_BRANCHCAND * | branchcand, | ||
| SCIP_EVENTQUEUE * | eventqueue, | ||
| SCIP_CLIQUETABLE * | cliquetable, | ||
| SCIP_Bool * | success | ||
| ) |
analyzes a pseudo solution with objective value exceeding the current cutoff to find out the bound changes on variables that were responsible for the objective value degradation; on success, calls standard conflict analysis with the responsible variables as starting conflict set, thus creating a conflict constraint out of the resulting conflict set; updates statistics for pseudo solution conflict analysis
- Parameters
-
conflict conflict analysis data blkmem block memory of transformed problem set global SCIP settings stat problem statistics transprob transformed problem origprob original problem tree branch and bound tree reopt reoptimization data structure lp LP data branchcand branching candidate storage eventqueue event queue cliquetable clique table data structure success pointer to store whether a conflict constraint was created, or NULL
Definition at line 1563 of file conflict_general.c.
References SCIP_Conflict::conflictset, SCIP_ConflictSet::conflicttype, SCIP_Lp::cutoffbound, FALSE, SCIP_Lp::lpi, SCIP_Conflict::nconflictsets, SCIP_Var::nlbchginfos, SCIP_Conflict::npseudocalls, SCIP_Conflict::npseudoconfconss, SCIP_Conflict::npseudoconfliterals, SCIP_Conflict::npseudoreconvconss, SCIP_Conflict::npseudoreconvliterals, SCIP_Conflict::npseudosuccess, SCIP_Var::nubchginfos, NULL, SCIP_Prob::nvars, SCIP_Conflict::pseudoanalyzetime, SCIP_CALL, SCIP_CONFTYPE_BNDEXCEEDING, SCIP_OKAY, SCIP_Real, SCIPclockStart(), SCIPclockStop(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictFlushConss(), SCIPlpGetPseudoObjval(), SCIPprobIsObjIntegral(), SCIPsetAllocBufferArray, SCIPsetCutoffbounddelta(), SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsetIsFeasEQ(), SCIPsetIsFeasGT(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPtreeGetCurrentDepth(), SCIPundoBdchgsProof(), SCIPvarGetLbLocal(), SCIPvarGetObj(), SCIPvarGetUbLocal(), TRUE, SCIP_ConflictSet::usescutoffbound, and SCIP_Prob::vars.
Referenced by applyBounding().
◆ SCIPconflictGetPseudoTime()
| SCIP_Real SCIPconflictGetPseudoTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing pseudo solution conflicts
- Parameters
-
conflict conflict analysis data
Definition at line 1715 of file conflict_general.c.
References NULL, SCIP_Conflict::pseudoanalyzetime, and SCIPclockGetTime().
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNPseudoCalls()
| SCIP_Longint SCIPconflictGetNPseudoCalls | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to pseudo solution conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 1725 of file conflict_general.c.
References SCIP_Conflict::npseudocalls, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNPseudoSuccess()
| SCIP_Longint SCIPconflictGetNPseudoSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to pseudo solution conflict analysis that yield at least one conflict constraint
- Parameters
-
conflict conflict analysis data
Definition at line 1735 of file conflict_general.c.
References SCIP_Conflict::npseudosuccess, and NULL.
Referenced by SCIPprintConflictStatistics(), and SCIPsolveCIP().
◆ SCIPconflictGetNPseudoConflictConss()
| SCIP_Longint SCIPconflictGetNPseudoConflictConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of conflict constraints detected in pseudo solution conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 1745 of file conflict_general.c.
References SCIP_Conflict::npseudoconfconss, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNPseudoConflictLiterals()
| SCIP_Longint SCIPconflictGetNPseudoConflictLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in conflict constraints created in pseudo solution conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 1755 of file conflict_general.c.
References SCIP_Conflict::npseudoconfliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ SCIPconflictGetNPseudoReconvergenceConss()
| SCIP_Longint SCIPconflictGetNPseudoReconvergenceConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of reconvergence constraints detected in pseudo solution conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 1765 of file conflict_general.c.
References SCIP_Conflict::npseudoreconvconss, and NULL.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
◆ SCIPconflictGetNPseudoReconvergenceLiterals()
| SCIP_Longint SCIPconflictGetNPseudoReconvergenceLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in reconvergence constraints created in pseudo solution conflict analysis
- Parameters
-
conflict conflict analysis data
Definition at line 1775 of file conflict_general.c.
References SCIP_Conflict::npseudoreconvliterals, and NULL.
Referenced by SCIPprintConflictStatistics().
◆ conflictAnalyzeLP()
|
static |
actually performs analysis of infeasible LP
- Parameters
-
conflict conflict analysis data conflictstore conflict store blkmem block memory of transformed problem set global SCIP settings stat problem statistics transprob transformed problem origprob original problem tree branch and bound tree reopt reoptimization data structure lp LP data branchcand branching candidate storage eventqueue event queue cliquetable clique table data structure diving are we in strong branching or diving mode? dualproofsuccess pointer to store success result of dual proof analysis iterations pointer to store the total number of LP iterations used nconss pointer to store the number of generated conflict constraints nliterals pointer to store the number of literals in generated conflict constraints nreconvconss pointer to store the number of generated reconvergence constraints nreconvliterals pointer to store the number of literals generated reconvergence constraints marklpunsolved whether LP should be marked unsolved after analysis (needed for strong branching)
Definition at line 1786 of file conflict_general.c.
References BMSclearMemoryArray, SCIP_Stat::conflictlptime, SCIP_Conflict::conflictset, SCIP_ConflictSet::conflicttype, FALSE, SCIP_Lp::flushed, SCIP_Lp::lpiitlim, SCIP_Lp::lpiobjlim, SCIP_Stat::nconflictlpiterations, SCIP_Stat::nconflictlps, SCIP_Conflict::nconflictsets, SCIP_Var::nlbchginfos, SCIP_Conflict::nproofsets, SCIP_Var::nubchginfos, NULL, SCIP_Prob::nvars, SCIP_Conflict::proofset, SCIP_Bool, SCIP_CALL, SCIP_CONFTYPE_BNDEXCEEDING, SCIP_CONFTYPE_INFEASLP, SCIP_LONGINT_FORMAT, SCIP_LPERROR, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_OBJLIM, SCIP_OKAY, SCIP_Real, SCIPaggrRowCreate(), SCIPaggrRowFree(), SCIPaggrRowGetInds(), SCIPaggrRowGetNNz(), SCIPaggrRowGetProbvarValue(), SCIPaggrRowGetRhs(), SCIPclockStart(), SCIPclockStop(), SCIPconflictAnalyzeDualProof(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictFlushConss(), SCIPconflictFlushProofset(), SCIPgetDualProof(), SCIPgetFarkasProof(), SCIPlpDivingObjChanged(), SCIPlpGetLPI(), SCIPlpiGetIterations(), SCIPlpiGetObjval(), SCIPlpiGetRealpar(), SCIPlpiInfinity(), SCIPlpiIsDualFeasible(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), SCIPlpiIsPrimalInfeasible(), SCIPlpiSetIntpar(), SCIPlpiSetRealpar(), SCIPlpiSolveDual(), SCIPprobAllColsInLP(), SCIPprobGetNVars(), SCIPproofsetGetNVars(), SCIPrunBoundHeuristic(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsetIsEQ(), SCIPsetIsGT(), SCIPsetIsLT(), SCIPtreeGetCurrentDepth(), SCIPtreeGetEffectiveRootDepth(), SCIPvarGetLbLocal(), SCIPvarGetLbLP(), SCIPvarGetProbindex(), SCIPvarGetUbLocal(), SCIPvarGetUbLP(), SCIP_Lp::solved, TRUE, and SCIP_Prob::vars.
Referenced by conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), and SCIPconflictAnalyzeStrongbranch().
◆ SCIPconflictAnalyzeStrongbranch()
| SCIP_RETCODE SCIPconflictAnalyzeStrongbranch | ( | SCIP_CONFLICT * | conflict, |
| SCIP_CONFLICTSTORE * | conflictstore, | ||
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PROB * | transprob, | ||
| SCIP_PROB * | origprob, | ||
| SCIP_TREE * | tree, | ||
| SCIP_REOPT * | reopt, | ||
| SCIP_LP * | lp, | ||
| SCIP_BRANCHCAND * | branchcand, | ||
| SCIP_EVENTQUEUE * | eventqueue, | ||
| SCIP_CLIQUETABLE * | cliquetable, | ||
| SCIP_COL * | col, | ||
| SCIP_Bool * | downconflict, | ||
| SCIP_Bool * | upconflict | ||
| ) |
analyses infeasible strong branching sub problems for conflicts
- Parameters
-
conflict conflict analysis data conflictstore conflict store blkmem block memory buffers set global SCIP settings stat dynamic problem statistics transprob transformed problem origprob original problem tree branch and bound tree reopt reoptimization data structure lp LP data branchcand branching candidate storage eventqueue event queue cliquetable clique table data structure col LP column with at least one infeasible strong branching subproblem downconflict pointer to store whether a conflict constraint was created for an infeasible downwards branch, or NULL upconflict pointer to store whether a conflict constraint was created for an infeasible upwards branch, or NULL
Definition at line 2103 of file conflict_general.c.
References conflictAnalyzeLP(), SCIP_Stat::conflictlptime, SCIP_Conflict::conflictset, SCIP_ConflictSet::conflicttype, SCIP_Lp::cutoffbound, FALSE, SCIP_Lp::flushed, SCIP_Col::lb, SCIP_Lp::lpi, SCIP_Col::lpipos, SCIP_Stat::nconflictlpiterations, SCIP_Stat::nconflictlps, SCIP_Lp::nlpicols, SCIP_Lp::nlpirows, SCIP_Conflict::nsbcalls, SCIP_Conflict::nsbconfconss, SCIP_Conflict::nsbconfliterals, SCIP_Conflict::nsbiterations, SCIP_Conflict::nsbreconvconss, SCIP_Conflict::nsbreconvliterals, SCIP_Conflict::nsbsuccess, NULL, SCIP_Col::primsol, SCIP_Conflict::sbanalyzetime, SCIP_Col::sbdown, SCIP_Col::sbdownvalid, SCIP_Col::sbup, SCIP_Col::sbupvalid, SCIP_Bool, SCIP_CALL, SCIP_CONFTYPE_INFEASLP, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPclockStart(), SCIPclockStop(), SCIPcolGetVar(), SCIPlpiChgBounds(), SCIPlpiEndStrongbranch(), SCIPlpiGetBase(), SCIPlpiGetIterations(), SCIPlpiSetBase(), SCIPlpiSolveDual(), SCIPlpiStartStrongbranch(), SCIPprobAllColsInLP(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetFeasCeil(), SCIPsetFeasFloor(), SCIPsetFreeBufferArray, SCIPsetIsGE(), SCIPtreeGetCurrentDepth(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), SCIP_Lp::solved, TRUE, and SCIP_Col::ub.
Referenced by analyzeStrongbranch().
◆ conflictAnalyzeInfeasibleLP()
|
static |
analyzes an infeasible LP to find out the bound changes on variables that were responsible for the infeasibility; on success, calls standard conflict analysis with the responsible variables as starting conflict set, thus creating a conflict constraint out of the resulting conflict set; updates statistics for infeasible LP conflict analysis
- Parameters
-
conflict conflict analysis data conflictstore conflict store blkmem block memory of transformed problem set global SCIP settings stat problem statistics transprob transformed problem origprob original problem tree branch and bound tree reopt reoptimization data structure lp LP data branchcand branching candidate storage eventqueue event queue cliquetable clique table data structure success pointer to store whether a conflict constraint was created, or NULL
Definition at line 2345 of file conflict_general.c.
References conflictAnalyzeLP(), SCIP_Conflict::conflictset, SCIP_ConflictSet::conflicttype, FALSE, SCIP_Conflict::inflpanalyzetime, SCIP_Conflict::ndualproofsinfsuccess, SCIP_Conflict::ninflpcalls, SCIP_Conflict::ninflpconfconss, SCIP_Conflict::ninflpconfliterals, SCIP_Conflict::ninflpiterations, SCIP_Conflict::ninflpreconvconss, SCIP_Conflict::ninflpreconvliterals, SCIP_Conflict::ninflpsuccess, NULL, SCIP_Bool, SCIP_CALL, SCIP_CONFTYPE_INFEASLP, SCIP_Longint, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPlpDiving(), SCIPlpDivingObjChanged(), SCIPlpGetSolstat(), SCIPprobAllColsInLP(), SCIPsetDebugMsg, SCIPtreeGetCurrentDepth(), and TRUE.
Referenced by SCIPconflictAnalyzeLP().
◆ conflictAnalyzeBoundexceedingLP()
|
static |
analyzes a bound exceeding LP to find out the bound changes on variables that were responsible for exceeding the primal bound; on success, calls standard conflict analysis with the responsible variables as starting conflict set, thus creating a conflict constraint out of the resulting conflict set; updates statistics for bound exceeding LP conflict analysis
- Parameters
-
conflict conflict analysis data conflictstore conflict store blkmem block memory of transformed problem set global SCIP settings stat problem statistics transprob transformed problem origprob original problem tree branch and bound tree reopt reoptimization data structure lp LP data branchcand branching candidate storage eventqueue event queue cliquetable clique table data structure success pointer to store whether a conflict constraint was created, or NULL
Definition at line 2421 of file conflict_general.c.
References SCIP_Conflict::boundlpanalyzetime, conflictAnalyzeLP(), SCIP_Conflict::conflictset, SCIP_ConflictSet::conflicttype, FALSE, SCIP_Conflict::nboundlpcalls, SCIP_Conflict::nboundlpconfconss, SCIP_Conflict::nboundlpconfliterals, SCIP_Conflict::nboundlpiterations, SCIP_Conflict::nboundlpreconvconss, SCIP_Conflict::nboundlpreconvliterals, SCIP_Conflict::nboundlpsuccess, SCIP_Conflict::ndualproofsbndsuccess, SCIP_Conflict::ndualproofsinfsuccess, NULL, SCIP_Bool, SCIP_CALL, SCIP_CONFTYPE_BNDEXCEEDING, SCIP_Longint, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPlpDiving(), SCIPlpDivingObjChanged(), SCIPlpGetSolstat(), SCIPprobAllColsInLP(), SCIPsetDebugMsg, SCIPtreeGetCurrentDepth(), TRUE, and SCIP_ConflictSet::usescutoffbound.
Referenced by SCIPconflictAnalyzeLP().
◆ SCIPconflictAnalyzeLP()
| SCIP_RETCODE SCIPconflictAnalyzeLP | ( | SCIP_CONFLICT * | conflict, |
| SCIP_CONFLICTSTORE * | conflictstore, | ||
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PROB * | transprob, | ||
| SCIP_PROB * | origprob, | ||
| SCIP_TREE * | tree, | ||
| SCIP_REOPT * | reopt, | ||
| SCIP_LP * | lp, | ||
| SCIP_BRANCHCAND * | branchcand, | ||
| SCIP_EVENTQUEUE * | eventqueue, | ||
| SCIP_CLIQUETABLE * | cliquetable, | ||
| SCIP_Bool * | success | ||
| ) |
analyzes an infeasible or bound exceeding LP to find out the bound changes on variables that were responsible for the infeasibility or for exceeding the primal bound; on success, calls standard conflict analysis with the responsible variables as starting conflict set, thus creating a conflict constraint out of the resulting conflict set; updates statistics for infeasible or bound exceeding LP conflict analysis; may only be called if SCIPprobAllColsInLP()
- Parameters
-
conflict conflict analysis data conflictstore conflict store blkmem block memory of transformed problem set global SCIP settings stat problem statistics transprob transformed problem origprob original problem tree branch and bound tree reopt reoptimization data structure lp LP data branchcand branching candidate storage eventqueue event queue cliquetable clique table data structure success pointer to store whether a conflict constraint was created, or NULL
Definition at line 2500 of file conflict_general.c.
References SCIP_RowSolVals::activity, SCIP_Row::activity, SCIP_ColSolVals::basisstatus, SCIP_RowSolVals::basisstatus, SCIP_Col::basisstatus, SCIP_Row::basisstatus, SCIP_Lp::cols, conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), SCIP_LpSolVals::dualchecked, SCIP_Lp::dualchecked, SCIP_Row::dualfarkas, SCIP_LpSolVals::dualfeasible, SCIP_Lp::dualfeasible, SCIP_RowSolVals::dualsol, SCIP_Row::dualsol, FALSE, SCIP_Lp::flushed, SCIP_LpSolVals::lpissolved, SCIP_LpSolVals::lpobjval, SCIP_Lp::lpobjval, SCIP_LpSolVals::lpsolstat, SCIP_Lp::lpsolstat, SCIP_Lp::ncols, SCIP_Lp::nrows, NULL, SCIP_LpSolVals::primalchecked, SCIP_Lp::primalchecked, SCIP_LpSolVals::primalfeasible, SCIP_Lp::primalfeasible, SCIP_ColSolVals::primsol, SCIP_Col::primsol, r, SCIP_ColSolVals::redcost, SCIP_Col::redcost, SCIP_Lp::rows, SCIP_CALL, SCIP_LPSOLSTAT_INFEASIBLE, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_LPSOLSTAT_OBJLIMIT, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIPlpGetLPI(), SCIPlpGetSolstat(), SCIPlpiIsPrimalInfeasible(), SCIPlpiWasSolved(), SCIPprobAllColsInLP(), SCIPsetAllocBufferArray, SCIPsetFreeBufferArray, SCIP_LpSolVals::solisbasic, SCIP_Lp::solisbasic, and SCIP_Lp::solved.
Referenced by priceAndCutLoop(), SCIPsolveDiveLP(), and solveProbingLP().