- Generated on for SCIP Doxygen Documentation by
1.15.0
methods and datastructures for conflict analysis
SCIP contains two 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/certificate.h"#include "scip/cons.h"#include "scip/cons_linear.h"#include "scip/cuts.h"#include "scip/history.h"#include "scip/lp.h"#include "scip/lpexact.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_certificate.h"#include "scip/scip_conflict.h"#include "scip/scip_cons.h"#include "scip/scip_exact.h"#include "scip/scip_mem.h"#include "scip/scip_numerics.h"#include "scip/scip_sol.h"#include "scip/scip_var.h"#include "scip/scip_prob.h"#include "scip/scip_lp.h"#include "scip/scip_lpexact.h"#include "scip/scip_solvingstats.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_scip.h"#include "scip/struct_set.h"#include "scip/struct_certificate.h"#include "scip/struct_stat.h"#include "scip/struct_tree.h"#include "scip/struct_lpexact.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 |
| #define | SOLSTOP 10000000.0 |
| #define NUMSTOP 9007199254740992.0 |
Definition at line 108 of file conflict_general.c.
Referenced by SCIPgetDualProof(), and SCIPgetFarkasProof().
| #define SOLSTOP 10000000.0 |
Definition at line 112 of file conflict_general.c.
Referenced by SCIPgetDualProof(), and SCIPgetFarkasProof().
return TRUE if conflict analysis is applicable; In case the function returns FALSE there is no need to initialize the conflict analysis since it will not be applied
| set | global SCIP settings |
Definition at line 117 of file conflict_general.c.
References assert(), FALSE, NULL, SCIP_Bool, and TRUE.
Referenced by SCIPisConflictAnalysisApplicable().
| int SCIPconflictGetNConflicts | ( | SCIP_CONFLICT * | conflict | ) |
returns the current number of conflict sets in the conflict set storage
| conflict | conflict analysis data |
Definition at line 130 of file conflict_general.c.
References assert(), SCIP_Conflict::nconflictsets, and NULL.
Referenced by propAndSolve(), SCIPgetNConflictConssFoundNode(), SCIPgetVarStrongbranchWithPropagation(), and solveNode().
| SCIP_Longint SCIPconflictGetNAppliedConss | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of conflict constraints that were added to the problem
| conflict | conflict analysis data |
Definition at line 140 of file conflict_general.c.
References assert(), SCIP_Conflict::nappliedglbconss, SCIP_Conflict::nappliedlocconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssApplied().
| SCIP_Longint SCIPconflictGetNAppliedResConss | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of resolution conflict constraints that were added to the problem
| conflict | conflict analysis data |
Definition at line 150 of file conflict_general.c.
References assert(), SCIP_Conflict::nappliedglbresconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNResConflictConssApplied().
| SCIP_Longint SCIPconflictGetNAppliedLiterals | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of literals in conflict constraints that were added to the problem
| conflict | conflict analysis data |
Definition at line 160 of file conflict_general.c.
References assert(), SCIP_Conflict::nappliedglbliterals, SCIP_Conflict::nappliedlocliterals, NULL, and SCIP_Longint.
| SCIP_Longint SCIPconflictGetNGlobalChgBds | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of global bound changes applied by the conflict analysis
| conflict | conflict analysis data |
Definition at line 170 of file conflict_general.c.
References assert(), SCIP_Conflict::nglbchgbds, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNAppliedGlobalConss | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of conflict constraints that were added globally to the problem
| conflict | conflict analysis data |
Definition at line 180 of file conflict_general.c.
References assert(), SCIP_Conflict::nappliedglbconss, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNAppliedGlobalLiterals | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of literals in conflict constraints that were added globally to the problem
| conflict | conflict analysis data |
Definition at line 190 of file conflict_general.c.
References assert(), SCIP_Conflict::nappliedglbliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNLocalChgBds | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of local bound changes applied by the conflict analysis
| conflict | conflict analysis data |
Definition at line 200 of file conflict_general.c.
References assert(), SCIP_Conflict::nlocchgbds, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNAppliedLocalConss | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of conflict constraints that were added locally to the problem
| conflict | conflict analysis data |
Definition at line 210 of file conflict_general.c.
References assert(), SCIP_Conflict::nappliedlocconss, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNAppliedLocalLiterals | ( | SCIP_CONFLICT * | conflict | ) |
returns the total number of literals in conflict constraints that were added locally to the problem
| conflict | conflict analysis data |
Definition at line 220 of file conflict_general.c.
References assert(), SCIP_Conflict::nappliedlocliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
|
static |
compares two conflict set entries, such that bound changes inferred later are ordered prior to ones that were inferred earlier
Definition at line 233 of file conflict_general.c.
References assert(), NULL, SCIPbdchgidxIsEarlierNonNull(), SCIPbdchginfoGetIdx(), and SCIPbdchginfoIsRedundant().
| void SCIPconflictEnableOrDisableClocks | ( | SCIP_CONFLICT * | conflict, |
| SCIP_Bool | enable ) |
enables or disables all clocks of conflict, depending on the value of the flag
| 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 255 of file conflict_general.c.
References assert(), SCIP_Conflict::boundlpanalyzetime, SCIP_Conflict::dIBclock, SCIP_Conflict::inflpanalyzetime, NULL, SCIP_Conflict::propanalyzetime, SCIP_Conflict::pseudoanalyzetime, SCIP_Conflict::resanalyzetime, SCIP_Conflict::sbanalyzetime, SCIP_Bool, and SCIPclockEnableOrDisable().
Referenced by SCIPconflictCreate(), and SCIPenableOrDisableStatisticTiming().
| SCIP_RETCODE SCIPconflictCreate | ( | SCIP_CONFLICT ** | conflict, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set ) |
creates conflict analysis data for propagation conflicts
| conflict | pointer to conflict analysis data |
| blkmem | block memory of transformed problem |
| set | global SCIP settings |
Definition at line 272 of file conflict_general.c.
References assert(), BMSallocMemory, FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_OKAY, SCIPclockCreate(), SCIPconflictEnableOrDisableClocks(), SCIPconflictInitProofset(), SCIPconflictInitRows(), SCIPconflictsetCreate(), and SCIPpqueueCreate().
Referenced by SCIPtransformProb().
| SCIP_RETCODE SCIPconflictFree | ( | SCIP_CONFLICT ** | conflict, |
| BMS_BLKMEM * | blkmem ) |
frees conflict analysis data for propagation conflicts
| conflict | pointer to conflict analysis data |
| blkmem | block memory of transformed problem |
Definition at line 384 of file conflict_general.c.
References assert(), BMSfreeMemory, BMSfreeMemoryArrayNull, NULL, SCIP_OKAY, SCIPclockFree(), SCIPconflictRowFree(), SCIPconflictsetFree(), SCIPpqueueFree(), and SCIPproofsetFree().
Referenced by freeTransform(), and freeTransforming().
| SCIP_RETCODE SCIPconflictClearQueues | ( | SCIP_CONFLICT * | conflict | ) |
clears conflict analysis bound changes queues for propagation conflicts
| conflict | pointer to conflict analysis data |
Definition at line 429 of file conflict_general.c.
References assert(), SCIP_Conflict::bdchgqueue, SCIP_Conflict::forcedbdchgqueue, NULL, SCIP_OKAY, and SCIPpqueueClear().
| 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
| conflict | conflict analysis data |
| var | problem variable |
Definition at line 444 of file conflict_general.c.
References assert(), SCIP_Conflict::count, EPSGE, SCIP_Real, SCIPvarGetLbGlobal(), and var.
Referenced by SCIPgetConflictVarLb().
| 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
| conflict | conflict analysis data |
| var | problem variable |
Definition at line 461 of file conflict_general.c.
References assert(), SCIP_Conflict::count, EPSLE, SCIP_Real, SCIPvarGetUbGlobal(), and var.
Referenced by SCIPgetConflictVarUb().
| SCIP_Real SCIPconflictGetGlobalApplTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for preprocessing global conflict constraint before appliance
| conflict | conflict analysis data |
Definition at line 476 of file conflict_general.c.
References assert(), SCIP_Conflict::dIBclock, NULL, SCIP_Real, and SCIPclockGetTime().
Referenced by SCIPprintConflictStatistics().
| SCIP_Real SCIPconflictGetPropTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing propagation conflicts
| conflict | conflict analysis data |
Definition at line 486 of file conflict_general.c.
References assert(), NULL, SCIP_Conflict::propanalyzetime, SCIP_Real, and SCIPclockGetTime().
Referenced by SCIPcollectConflictStatistics(), and SCIPprintConflictStatistics().
| SCIP_Real SCIPconflictGetResTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing propagation conflicts with generalized resolution
| conflict | conflict analysis data |
Definition at line 496 of file conflict_general.c.
References assert(), NULL, SCIP_Conflict::resanalyzetime, SCIP_Real, and SCIPclockGetTime().
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNPropCalls | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to propagation conflict analysis
| conflict | conflict analysis data |
Definition at line 506 of file conflict_general.c.
References assert(), SCIP_Conflict::npropcalls, NULL, and SCIP_Longint.
Referenced by SCIPcollectConflictStatistics(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNPropSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to propagation conflict analysis that yield at least one conflict constraint
| conflict | conflict analysis data |
Definition at line 516 of file conflict_general.c.
References assert(), SCIP_Conflict::npropsuccess, NULL, and SCIP_Longint.
Referenced by SCIPcollectConflictStatistics(), SCIPprintConflictStatistics(), and SCIPsolveCIP().
| SCIP_Longint SCIPconflictGetNPropConflictConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of conflict constraints detected in propagation conflict analysis
| conflict | conflict analysis data |
Definition at line 526 of file conflict_general.c.
References assert(), SCIP_Conflict::npropconfconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNPropConflictLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in conflict constraints created in propagation conflict analysis
| conflict | conflict analysis data |
Definition at line 536 of file conflict_general.c.
References assert(), SCIP_Conflict::npropconfliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNResConflictVars | ( | SCIP_CONFLICT * | conflict | ) |
returns total number of variables in resolution conflict constraints created in propagation conflict analysis
| conflict | conflict analysis data |
Definition at line 546 of file conflict_general.c.
References assert(), SCIP_Conflict::nresconfvariables, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNPropReconvergenceConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of reconvergence constraints detected in propagation conflict analysis
| conflict | conflict analysis data |
Definition at line 556 of file conflict_general.c.
References assert(), SCIP_Conflict::npropreconvconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNPropReconvergenceLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in reconvergence constraints created in propagation conflict analysis
| conflict | conflict analysis data |
Definition at line 566 of file conflict_general.c.
References assert(), SCIP_Conflict::npropreconvliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Real SCIPconflictGetInfeasibleLPTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing infeasible LP conflicts
| conflict | conflict analysis data |
Definition at line 576 of file conflict_general.c.
References assert(), SCIP_Conflict::inflpanalyzetime, NULL, SCIP_Real, and SCIPclockGetTime().
Referenced by SCIPcollectConflictStatistics(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNInfeasibleLPCalls | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to infeasible LP conflict analysis
| conflict | conflict analysis data |
Definition at line 586 of file conflict_general.c.
References assert(), SCIP_Conflict::ninflpcalls, NULL, and SCIP_Longint.
Referenced by SCIPcollectConflictStatistics(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNInfeasibleLPSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to infeasible LP conflict analysis that yield at least one conflict constraint
| conflict | conflict analysis data |
Definition at line 596 of file conflict_general.c.
References assert(), SCIP_Conflict::ninflpsuccess, NULL, and SCIP_Longint.
Referenced by SCIPcollectConflictStatistics(), SCIPprintConflictStatistics(), and SCIPsolveCIP().
| SCIP_Longint SCIPconflictGetNInfeasibleLPConflictConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of conflict constraints detected in infeasible LP conflict analysis
| conflict | conflict analysis data |
Definition at line 606 of file conflict_general.c.
References assert(), SCIP_Conflict::ninflpconfconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNInfeasibleLPConflictLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in conflict constraints created in infeasible LP conflict analysis
| conflict | conflict analysis data |
Definition at line 616 of file conflict_general.c.
References assert(), SCIP_Conflict::ninflpconfliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNInfeasibleLPReconvergenceConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of reconvergence constraints detected in infeasible LP conflict analysis
| conflict | conflict analysis data |
Definition at line 626 of file conflict_general.c.
References assert(), SCIP_Conflict::ninflpreconvconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNInfeasibleLPReconvergenceLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in reconvergence constraints created in infeasible LP conflict analysis
| conflict | conflict analysis data |
Definition at line 636 of file conflict_general.c.
References assert(), SCIP_Conflict::ninflpreconvliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNInfeasibleLPIterations | ( | SCIP_CONFLICT * | conflict | ) |
gets number of LP iterations in infeasible LP conflict analysis
| conflict | conflict analysis data |
Definition at line 646 of file conflict_general.c.
References assert(), SCIP_Conflict::ninflpiterations, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Real SCIPconflictGetBoundexceedingLPTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing bound exceeding LP conflicts
| conflict | conflict analysis data |
Definition at line 656 of file conflict_general.c.
References assert(), SCIP_Conflict::boundlpanalyzetime, NULL, SCIP_Real, and SCIPclockGetTime().
Referenced by SCIPcollectConflictStatistics(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNBoundexceedingLPCalls | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to bound exceeding LP conflict analysis
| conflict | conflict analysis data |
Definition at line 666 of file conflict_general.c.
References assert(), SCIP_Conflict::nboundlpcalls, NULL, and SCIP_Longint.
Referenced by SCIPcollectConflictStatistics(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNBoundexceedingLPSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to bound exceeding LP conflict analysis that yield at least one conflict constraint
| conflict | conflict analysis data |
Definition at line 676 of file conflict_general.c.
References assert(), SCIP_Conflict::nboundlpsuccess, NULL, and SCIP_Longint.
Referenced by SCIPcollectConflictStatistics(), SCIPprintConflictStatistics(), and SCIPsolveCIP().
| SCIP_Longint SCIPconflictGetNBoundexceedingLPConflictConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of conflict constraints detected in bound exceeding LP conflict analysis
| conflict | conflict analysis data |
Definition at line 686 of file conflict_general.c.
References assert(), SCIP_Conflict::nboundlpconfconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNBoundexceedingLPConflictLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in conflict constraints created in bound exceeding LP conflict analysis
| conflict | conflict analysis data |
Definition at line 696 of file conflict_general.c.
References assert(), SCIP_Conflict::nboundlpconfliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNBoundexceedingLPReconvergenceConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of reconvergence constraints detected in bound exceeding LP conflict analysis
| conflict | conflict analysis data |
Definition at line 706 of file conflict_general.c.
References assert(), SCIP_Conflict::nboundlpreconvconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNBoundexceedingLPReconvergenceLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in reconvergence constraints created in bound exceeding LP conflict analysis
| conflict | conflict analysis data |
Definition at line 716 of file conflict_general.c.
References assert(), SCIP_Conflict::nboundlpreconvliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNBoundexceedingLPIterations | ( | SCIP_CONFLICT * | conflict | ) |
gets number of LP iterations in bound exceeding LP conflict analysis
| conflict | conflict analysis data |
Definition at line 726 of file conflict_general.c.
References assert(), SCIP_Conflict::nboundlpiterations, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Real SCIPconflictGetStrongbranchTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing infeasible strong branching conflicts
| conflict | conflict analysis data |
Definition at line 736 of file conflict_general.c.
References assert(), NULL, SCIP_Conflict::sbanalyzetime, SCIP_Real, and SCIPclockGetTime().
Referenced by SCIPcollectConflictStatistics(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNDualproofsInfSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of successful calls to dual proof analysis derived from infeasible LPs
| conflict | conflict analysis data |
Definition at line 746 of file conflict_general.c.
References assert(), SCIP_Conflict::ndualproofsinfsuccess, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictDualproofsApplied(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNDualproofsInfGlobal | ( | SCIP_CONFLICT * | conflict | ) |
gets number of globally valid dual proof constraints derived from infeasible LPs
| conflict | conflict analysis data |
Definition at line 756 of file conflict_general.c.
References assert(), SCIP_Conflict::ndualproofsinfglobal, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNDualproofsInfLocal | ( | SCIP_CONFLICT * | conflict | ) |
gets number of locally valid dual proof constraints derived from infeasible LPs
| conflict | conflict analysis data |
Definition at line 766 of file conflict_general.c.
References assert(), SCIP_Conflict::ndualproofsinflocal, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNDualproofsInfNonzeros | ( | SCIP_CONFLICT * | conflict | ) |
gets average length of dual proof constraints derived from infeasible LPs
| conflict | conflict analysis data |
Definition at line 776 of file conflict_general.c.
References assert(), SCIP_Conflict::dualproofsinfnnonzeros, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNDualproofsBndSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of successfully analyzed dual proofs derived from bound exceeding LPs
| conflict | conflict analysis data |
Definition at line 786 of file conflict_general.c.
References assert(), SCIP_Conflict::ndualproofsbndsuccess, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictDualproofsApplied(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNDualproofsBndGlobal | ( | SCIP_CONFLICT * | conflict | ) |
gets number of globally applied dual proofs derived from bound exceeding LPs
| conflict | conflict analysis data |
Definition at line 796 of file conflict_general.c.
References assert(), SCIP_Conflict::ndualproofsbndglobal, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNDualproofsBndLocal | ( | SCIP_CONFLICT * | conflict | ) |
gets number of locally applied dual proofs derived from bound exceeding LPs
| conflict | conflict analysis data |
Definition at line 806 of file conflict_general.c.
References assert(), SCIP_Conflict::ndualproofsbndlocal, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNDualproofsBndNonzeros | ( | SCIP_CONFLICT * | conflict | ) |
gets average length of dual proofs derived from bound exceeding LPs
| conflict | conflict analysis data |
Definition at line 816 of file conflict_general.c.
References assert(), SCIP_Conflict::dualproofsbndnnonzeros, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNStrongbranchCalls | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to infeasible strong branching conflict analysis
| conflict | conflict analysis data |
Definition at line 826 of file conflict_general.c.
References assert(), SCIP_Conflict::nsbcalls, NULL, and SCIP_Longint.
Referenced by SCIPcollectConflictStatistics(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNStrongbranchSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to infeasible strong branching conflict analysis that yield at least one conflict constraint
| conflict | conflict analysis data |
Definition at line 836 of file conflict_general.c.
References assert(), SCIP_Conflict::nsbsuccess, NULL, and SCIP_Longint.
Referenced by SCIPcollectConflictStatistics(), SCIPprintConflictStatistics(), and SCIPsolveCIP().
| SCIP_Longint SCIPconflictGetNStrongbranchConflictConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of conflict constraints detected in infeasible strong branching conflict analysis
| conflict | conflict analysis data |
Definition at line 846 of file conflict_general.c.
References assert(), SCIP_Conflict::nsbconfconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNStrongbranchConflictLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in conflict constraints created in infeasible strong branching conflict analysis
| conflict | conflict analysis data |
Definition at line 856 of file conflict_general.c.
References assert(), SCIP_Conflict::nsbconfliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNStrongbranchReconvergenceConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of reconvergence constraints detected in infeasible strong branching conflict analysis
| conflict | conflict analysis data |
Definition at line 866 of file conflict_general.c.
References assert(), SCIP_Conflict::nsbreconvconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNStrongbranchReconvergenceLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in reconvergence constraints created in infeasible strong branching conflict analysis
| conflict | conflict analysis data |
Definition at line 876 of file conflict_general.c.
References assert(), SCIP_Conflict::nsbreconvliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNStrongbranchIterations | ( | SCIP_CONFLICT * | conflict | ) |
gets number of LP iterations in infeasible strong branching conflict analysis
| conflict | conflict analysis data |
Definition at line 886 of file conflict_general.c.
References assert(), SCIP_Conflict::nsbiterations, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
|
static |
adds a weighted LP row to an aggregation row
| set | global SCIP settings |
| row | LP row |
| weight | weight for scaling |
| aggrrow | aggregation row |
| safely | should the addition be performed safely? |
| success | was adding the row successful? |
Definition at line 897 of file conflict_general.c.
References assert(), SCIP_Row::constant, FALSE, SCIP_Row::lhs, SCIP_Row::local, SCIP_Row::lpdepth, NULL, SCIP_Row::rhs, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaggrRowAddRow(), SCIPaggrRowAddRowSafely(), SCIPaggrRowGetRhs(), SCIProwGetName(), SCIPsetDebugMsg, SCIPsetIsInfinity(), and TRUE.
Referenced by addLocalRows(), SCIPgetDualProof(), and SCIPgetFarkasProof().
|
static |
checks validity of an LP row and a corresponding weight
| 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 941 of file conflict_general.c.
References FALSE, i, SCIP_Row::len, SCIP_Row::lhs, QUAD_EPSILON, REALABS, SCIP_Row::rhs, SCIP_Bool, SCIP_Real, SCIProwGetName(), SCIPsetDebugMsg, SCIPsetIsDualfeasZero(), SCIPsetIsInfinity(), TRUE, valid, and SCIP_Row::vals.
Referenced by addLocalRows(), SCIPgetDualProof(), and SCIPgetFarkasProof().
|
static |
calculates the minimal activity of a given aggregation row
| 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 989 of file conflict_general.c.
References assert(), FALSE, i, NULL, REALABS, SCIP_Bool, SCIP_Real, SCIPaggrRowGetInds(), SCIPaggrRowGetNNz(), SCIPintervalGetRoundingMode(), SCIPintervalSetRoundingMode(), SCIPintervalSetRoundingModeDownwards(), SCIPprobGetVars(), SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetProbindex(), SCIPvarGetUbGlobal(), TRUE, SCIP_AggrRow::vals, and vars.
Referenced by 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
| 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 1076 of file conflict_general.c.
References aggrRowGetMinActivitySafely(), assert(), FALSE, i, NULL, QUAD, QUAD_ASSIGN, QUAD_TO_DBL, SCIP_Bool, SCIP_Real, SCIPaggrRowGetInds(), SCIPaggrRowGetNNz(), SCIPaggrRowGetProbvarValue(), SCIPprobGetVars(), SCIPquadprecProdDD, SCIPquadprecSumQQ, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetProbindex(), SCIPvarGetUbGlobal(), TRUE, and vars.
Referenced by addLocalRows(), SCIPconflictAnalyzeDualProof(), SCIPgetDualProof(), SCIPgetFarkasProof(), separateAlternativeProofs(), and tightenDualproof().
|
static |
sort local rows by increasing depth and number of nonzeros as tie-breaker
| 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 1159 of file conflict_general.c.
References assert(), i, SCIP_Row::len, NULL, SCIP_CALL, SCIP_OKAY, SCIPsetAllocBufferArray, SCIPsetFreeBufferArray, SCIPsortIntInt(), and SCIPsortIntIntInt().
Referenced by addLocalRows().
|
static |
adds locally valid rows to the proof constraint
| 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 1227 of file conflict_general.c.
References addRowToAggrRow(), assert(), checkDualFeasibility(), SCIP_Row::cols, FALSE, i, SCIP_Row::len, SCIP_Row::local, SCIP_Row::lpdepth, SCIP_Lp::lpirows, NULL, r, REALABS, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaggrRowGetMinActivity(), SCIPaggrRowGetRhs(), SCIPaggrRowRemoveZeros(), SCIPsetDebugMsg, SCIPsetIsDualfeasZero(), SCIPsetIsGT(), SCIPsetIsInfinity(), SCIPsetIsLE(), sortLocalRows(), TRUE, valid, and SCIP_Row::vals.
Referenced by SCIPgetDualProof(), and 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
| 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 1370 of file conflict_general.c.
References ABS, addLocalRows(), addRowToAggrRow(), assert(), BMSclearMemoryArray, SCIP_AggrRow::certificateline, checkDualFeasibility(), SCIP_Row::cols, FALSE, SCIP_Lp::flushed, i, SCIP_AggrRow::inds, SCIP_Row::len, SCIP_Row::local, SCIP_Lp::lpirows, SCIP_Lp::nlpirows, SCIP_AggrRow::nnz, SCIP_AggrRow::nrows, NULL, NUMSTOP, r, REALABS, SCIP_Certificate::rowdatahash, SCIP_Row::rowexact, SCIP_AggrRow::rowsinds, SCIP_AggrRow::rowweights, SCIP_Bool, SCIP_CALL, SCIP_Longint, SCIP_OKAY, SCIP_Real, SCIP_ROWORIGINTYPE_SEPA, SCIPaggrRowGetMinActivity(), SCIPaggrRowGetRhs(), SCIPaggrRowRemoveZeros(), SCIPallocBufferArray, SCIPcertificateGetRowIndex(), SCIPcertificatePrintAggrrow(), SCIPcertificatePrintMirCut(), SCIPfreeBufferArray, SCIPfreeBufferArrayNull, SCIPgetCertificate(), SCIPgetLPRows(), SCIPhashmapGetImageLong(), SCIPisCertified(), SCIPlpDivingObjChanged(), SCIPlpGetNRows(), SCIPlpGetRows(), SCIPlpiGetDualfarkas(), SCIPlpiHasDualRay(), SCIPlpiIsDualFeasible(), SCIPlpiIsObjlimExc(), SCIPlpiIsPrimalInfeasible(), SCIProwGetLPDepth(), SCIProwGetOrigintype(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsetIsDualfeasZero(), SCIPsetIsFeasLE(), SCIPsetIsInfinity(), SCIPtreeGetFocusDepth(), SOLSTOP, SCIP_Lp::solved, TRUE, valid, SCIP_AggrRow::vals, and SCIP_Row::vals.
Referenced by conflictAnalyzeLP(), and SCIPrunBoundHeuristic().
|
static |
creates a numerically safe row (with corresponding exact row) from the objective, provided rhs is an exactly valid cutoffbound
| scip | SCIP data structure |
| row | pointer to store the row |
| rhs | right-hand side of the artificial row |
| success | pointer to store whether adding the row was successful |
Definition at line 1593 of file conflict_general.c.
References assert(), FALSE, i, SCIP_ColExact::lb, SCIP_ColExact::obj, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_R_ROUND_DOWNWARDS, SCIP_R_ROUND_UPWARDS, SCIP_Real, SCIPallocBufferArray, SCIPbuffer(), SCIPcreateRowExact(), SCIPcreateRowUnspec(), SCIPdebugMessage, SCIPfreeBufferArray, SCIPgetNLPCols(), SCIPinfinity(), SCIPintervalGetRoundingMode(), SCIPintervalSetRoundingMode(), SCIPintervalSetRoundingModeUpwards(), SCIPisExact(), SCIPisObjIntegral(), SCIPisZero(), SCIPrationalCreateBuffer(), SCIPrationalFreeBuffer(), SCIPrationalIsFpRepresentable(), SCIPrationalIsInfinity(), SCIPrationalIsNegInfinity(), SCIPrationalIsZero(), SCIPrationalRoundInteger(), SCIPrationalRoundReal(), SCIPrationalSetNegInfinity(), SCIPrationalSetReal(), SCIProwGetNNonz(), SCIPvarGetLbGlobal(), SCIPvarGetObj(), SCIPvarGetUbGlobal(), TRUE, SCIP_ColExact::ub, and SCIP_ColExact::var.
Referenced by 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 Farkas proof from the current dual LP solution
| 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 1710 of file conflict_general.c.
References addLocalRows(), addRowToAggrRow(), assert(), SCIP_AggrRow::certificateline, checkDualFeasibility(), SCIP_Row::cols, SCIP_Lp::cutoffbound, FALSE, SCIP_Lp::flushed, getObjectiveRow(), i, SCIP_Row::len, SCIP_Row::local, SCIP_Lp::lpirows, SCIP_Lp::nlpirows, SCIP_AggrRow::nrows, NULL, NUMSTOP, objval, r, REALABS, SCIP_Certificate::rowdatahash, SCIP_Row::rowexact, SCIP_AggrRow::rowsinds, SCIP_AggrRow::rowweights, SCIP_Bool, SCIP_CALL, SCIP_Longint, SCIP_LONGINT_MAX, SCIP_LPERROR, SCIP_OKAY, SCIP_R_ROUND_UPWARDS, SCIP_Real, SCIP_ROWORIGINTYPE_SEPA, SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowClear(), SCIPaggrRowClearSafely(), SCIPaggrRowGetMinActivity(), SCIPaggrRowGetRhs(), SCIPaggrRowRemoveZeros(), SCIPallocBufferArray, SCIPcertificatePrintAggrrow(), SCIPcertificatePrintCutoffBound(), SCIPcertificatePrintMirCut(), SCIPfreeBufferArray, SCIPfreeBufferArrayNull, SCIPgetCertificate(), SCIPgetCutoffboundExact(), SCIPgetLPCols(), SCIPgetLPRows(), SCIPgetNLPCols(), SCIPhashmapGetImageLong(), SCIPhashmapInsertLong(), SCIPhashmapRemove(), SCIPisCertified(), SCIPlpGetNCols(), SCIPlpGetNRows(), SCIPlpGetRows(), SCIPlpiGetObjval(), SCIPlpiGetSol(), SCIPprobIsObjIntegral(), SCIPrationalRoundReal(), SCIPreleaseRow(), SCIPreleaseRowExact(), SCIProwGetLPDepth(), SCIProwGetOrigintype(), SCIPsetAllocBufferArray, SCIPsetCutoffbounddelta(), SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsetIsDualfeasZero(), SCIPsetIsFeasLE(), SCIPsetIsInfinity(), SCIPtreeGetFocusDepth(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), SOLSTOP, SCIP_Lp::solved, TRUE, valid, SCIP_Row::vals, and var.
Referenced by conflictAnalyzeLP(), and SCIPrunBoundHeuristic().
| 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_EVENTFILTER * | eventfilter, | ||
| 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
| 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 |
| eventfilter | global event filter |
| cliquetable | clique table data structure |
| success | pointer to store whether a conflict constraint was created, or NULL |
Definition at line 2015 of file conflict_general.c.
References assert(), SCIP_Conflict::bdchgonlyconfqueue, SCIP_Conflict::conflictset, SCIP_ConflictSet::conflicttype, SCIP_Lp::cutoffbound, FALSE, SCIP_Lp::lpi, SCIP_Conflict::nconflictsets, SCIP_Conflict::npseudocalls, SCIP_Conflict::npseudoconfconss, SCIP_Conflict::npseudoconfliterals, SCIP_Conflict::npseudoreconvconss, SCIP_Conflict::npseudoreconvliterals, SCIP_Conflict::npseudosuccess, NULL, nvars, SCIP_Prob::nvars, SCIP_Conflict::pseudoanalyzetime, SCIP_Bool, 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, var, SCIP_Prob::vars, and vars.
Referenced by applyBounding().
| SCIP_Real SCIPconflictGetPseudoTime | ( | SCIP_CONFLICT * | conflict | ) |
gets time in seconds used for analyzing pseudo solution conflicts
| conflict | conflict analysis data |
Definition at line 2175 of file conflict_general.c.
References assert(), NULL, SCIP_Conflict::pseudoanalyzetime, SCIP_Real, and SCIPclockGetTime().
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNPseudoCalls | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to pseudo solution conflict analysis
| conflict | conflict analysis data |
Definition at line 2185 of file conflict_general.c.
References assert(), SCIP_Conflict::npseudocalls, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNPseudoSuccess | ( | SCIP_CONFLICT * | conflict | ) |
gets number of calls to pseudo solution conflict analysis that yield at least one conflict constraint
| conflict | conflict analysis data |
Definition at line 2195 of file conflict_general.c.
References assert(), SCIP_Conflict::npseudosuccess, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics(), and SCIPsolveCIP().
| SCIP_Longint SCIPconflictGetNPseudoConflictConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of conflict constraints detected in pseudo solution conflict analysis
| conflict | conflict analysis data |
Definition at line 2205 of file conflict_general.c.
References assert(), SCIP_Conflict::npseudoconfconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNPseudoConflictLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in conflict constraints created in pseudo solution conflict analysis
| conflict | conflict analysis data |
Definition at line 2215 of file conflict_general.c.
References assert(), SCIP_Conflict::npseudoconfliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNPseudoReconvergenceConss | ( | SCIP_CONFLICT * | conflict | ) |
gets number of reconvergence constraints detected in pseudo solution conflict analysis
| conflict | conflict analysis data |
Definition at line 2225 of file conflict_general.c.
References assert(), SCIP_Conflict::npseudoreconvconss, NULL, and SCIP_Longint.
Referenced by SCIPgetNConflictConssFound(), and SCIPprintConflictStatistics().
| SCIP_Longint SCIPconflictGetNPseudoReconvergenceLiterals | ( | SCIP_CONFLICT * | conflict | ) |
gets total number of literals in reconvergence constraints created in pseudo solution conflict analysis
| conflict | conflict analysis data |
Definition at line 2235 of file conflict_general.c.
References assert(), SCIP_Conflict::npseudoreconvliterals, NULL, and SCIP_Longint.
Referenced by SCIPprintConflictStatistics().
|
static |
actually performs analysis of infeasible LP
| 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 |
| eventfilter | global event filter |
| 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 2246 of file conflict_general.c.
References assert(), SCIP_Conflict::bdchgonlyconfqueue, BMSclearMemoryArray, SCIP_Stat::conflictlptime, SCIP_Conflict::conflictset, SCIP_ConflictSet::conflicttype, FALSE, SCIP_Lp::flushed, i, SCIP_Lp::lpiitlim, SCIP_Lp::lpiobjlim, SCIP_Stat::nconflictlpiterations, SCIP_Stat::nconflictlps, SCIP_Conflict::nconflictsets, SCIP_Conflict::nproofsets, NULL, nvars, SCIP_Prob::nvars, objval, 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(), SCIPgetCutoffbound(), 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, valid, var, SCIP_Prob::vars, and vars.
Referenced by conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), and 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_EVENTFILTER * | eventfilter, | ||
| SCIP_CLIQUETABLE * | cliquetable, | ||
| SCIP_COL * | col, | ||
| SCIP_Bool * | downconflict, | ||
| SCIP_Bool * | upconflict ) |
analyses infeasible strong branching sub problems for conflicts
| 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 |
| eventfilter | global event filter |
| 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 2578 of file conflict_general.c.
References assert(), 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(), SCIPlpiIsStable(), 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().
|
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
| 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 |
| eventfilter | global event filter |
| cliquetable | clique table data structure |
| success | pointer to store whether a conflict constraint was created, or NULL |
Definition at line 2827 of file conflict_general.c.
References assert(), 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().
|
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
| 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 |
| eventfilter | global event filter |
| cliquetable | clique table data structure |
| success | pointer to store whether a conflict constraint was created, or NULL |
Definition at line 2904 of file conflict_general.c.
References assert(), 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().
| 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_EVENTFILTER * | eventfilter, | ||
| 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()
| 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 |
| eventfilter | global event filter |
| cliquetable | clique table data structure |
| success | pointer to store whether a conflict constraint was created, or NULL |
Definition at line 2984 of file conflict_general.c.
References SCIP_Row::activity, SCIP_RowSolVals::activity, assert(), SCIP_Col::basisstatus, SCIP_ColSolVals::basisstatus, SCIP_Row::basisstatus, SCIP_RowSolVals::basisstatus, c, SCIP_Lp::cols, conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), SCIP_Lp::dualchecked, SCIP_LpSolVals::dualchecked, SCIP_Row::dualfarkas, SCIP_Lp::dualfeasible, SCIP_LpSolVals::dualfeasible, SCIP_Row::dualsol, SCIP_RowSolVals::dualsol, FALSE, SCIP_Lp::flushed, SCIP_LpSolVals::lpissolved, SCIP_Lp::lpobjval, SCIP_LpSolVals::lpobjval, SCIP_Lp::lpsolstat, SCIP_LpSolVals::lpsolstat, SCIP_Lp::ncols, SCIP_Lp::nrows, NULL, SCIP_Lp::primalchecked, SCIP_LpSolVals::primalchecked, SCIP_Lp::primalfeasible, SCIP_LpSolVals::primalfeasible, SCIP_Col::primsol, SCIP_ColSolVals::primsol, r, SCIP_Col::redcost, SCIP_ColSolVals::redcost, SCIP_Lp::rows, SCIP_Bool, SCIP_CALL, SCIP_LPSOLSTAT_INFEASIBLE, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_LPSOLSTAT_OBJLIMIT, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIPlpGetLPI(), SCIPlpGetSolstat(), SCIPlpiIsPrimalInfeasible(), SCIPlpiWasSolved(), SCIPprobAllColsInLP(), SCIPsetAllocBufferArray, SCIPsetFreeBufferArray, SCIP_Lp::solisbasic, SCIP_LpSolVals::solisbasic, and SCIP_Lp::solved.
Referenced by priceAndCutLoop(), SCIPsolveDiveLP(), and solveProbingLP().
1.15.0