Mixed logical-linear programming (Q1961464)

From MaRDI portal





scientific article; zbMATH DE number 1389880
Language Label Description Also known as
default for all languages
No label defined
    English
    Mixed logical-linear programming
    scientific article; zbMATH DE number 1389880

      Statements

      Mixed logical-linear programming (English)
      0 references
      0 references
      11 October 2000
      0 references
      Theoretical and algorithmic aspects and applications of mixed logical linear programming are discussed. This is an extension of mixed integer linear programming, and the model has the following form: \[ \min cx\text{ s.t. }p_j(y,h)\to (A^jx\geq a^j),\;j\in J,\;q_i(y,h),\;i\in I. \] \(y\) is a set of logical variables and \(h\) is a set of discrete variables, combined by logical and arithmetical operations respectively. As an example \(q_i(y,h)\) could be \((y_1\vee y_2)\wedge(h_1\neq h_2)\). A system \(A^jx\geq a^j\) is enforced when \(p_j(y,h)\) is true, and this is the continuous part. \((x,y,h)\) is then feasible if \((y,h)\) makes all \(q_i(y,h)\) true and \(x\) satisfies the linear systems corresponding to the formulas \(p_j(y,h)\) that \((y,h)\) makes true.
      0 references
      mixed logical linear programming
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers