Scippy

    SCIP

    Solving Constraint Integer Programs

    heur_padm.h
    Go to the documentation of this file.
    1/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
    2/* */
    3/* This file is part of the program and library */
    4/* SCIP --- Solving Constraint Integer Programs */
    5/* */
    6/* Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) */
    7/* */
    8/* Licensed under the Apache License, Version 2.0 (the "License"); */
    9/* you may not use this file except in compliance with the License. */
    10/* You may obtain a copy of the License at */
    11/* */
    12/* http://www.apache.org/licenses/LICENSE-2.0 */
    13/* */
    14/* Unless required by applicable law or agreed to in writing, software */
    15/* distributed under the License is distributed on an "AS IS" BASIS, */
    16/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. */
    17/* See the License for the specific language governing permissions and */
    18/* limitations under the License. */
    19/* */
    20/* You should have received a copy of the Apache-2.0 license */
    21/* along with SCIP; see the file LICENSE. If not visit scipopt.org. */
    22/* */
    23/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
    24
    25/**@file heur_padm.h
    26 * @ingroup PRIMALHEURISTICS
    27 * @brief PADM primal heuristic
    28 * @author Dieter Weninger
    29 * @author Katrin Halbig
    30 *
    31 * Primal heuristic based on ideas published in the papers
    32 * "A Decomposition Heuristic for Mixed-Integer Supply Chain Problems" by Martin Schmidt, Lars Schewe, and Dieter Weninger,
    33 * and "Exploiting user-supplied Decompositions inside Heuristics" by Katrin Halbig, Adrian Göß and Dieter Weninger.
    34 *
    35 * The penalty alternating direction method (PADM) heuristic is a construction heuristic which additionally needs a
    36 * user decomposition with linking variables only.
    37 *
    38 * PADM splits the problem into several sub-SCIPs according to the decomposition, whereby the linking variables get
    39 * copied and the difference is penalized. Then the sub-SCIPs are solved on an alternating basis until they arrive at
    40 * the same values of the linking variables (ADM-loop). If they don't reconcile after a couple of iterations,
    41 * the penalty parameters are increased (penalty-loop) and the sub-SCIPs are solved again on an alternating basis.
    42 */
    43
    44/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
    45
    46#ifndef __SCIP_HEUR_PADM_H__
    47#define __SCIP_HEUR_PADM_H__
    48
    49#include "scip/def.h"
    50#include "scip/type_retcode.h"
    51#include "scip/type_scip.h"
    52
    53#ifdef __cplusplus
    54extern "C" {
    55#endif
    56
    57/** creates the PADM primal heuristic and includes it in SCIP
    58 *
    59 * @ingroup PrimalHeuristicIncludes
    60 */
    61SCIP_EXPORT
    63 SCIP* scip /**< SCIP data structure */
    64 );
    65
    66#ifdef __cplusplus
    67}
    68#endif
    69
    70#endif
    common defines and data types used in all packages of SCIP
    SCIP_RETCODE SCIPincludeHeurPADM(SCIP *scip)
    Definition: heur_padm.c:2041
    type definitions for return codes for SCIP methods
    enum SCIP_Retcode SCIP_RETCODE
    Definition: type_retcode.h:63
    type definitions for SCIP's main datastructure