<p>In this paper, we consider the bin covering problem with strong divisibility and rejection profit (the BC-SDRP problem, for short). Specifically, given a lot of identical bins with integer capacity <i>L</i> and a set <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(A=\{a_{1},a_{2},\ldots ,a_{n}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>=</mo> <mo stretchy="false">{</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>a</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>a</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> of <i>n</i> items with strongly divisible sizes, <i>i.e.</i>, either <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(s_{i}~|~s_{j}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mi>i</mi> </msub> <mrow> <mspace width="3.33333pt" /> <mo stretchy="false">|</mo> <mspace width="3.33333pt" /> </mrow> <msub> <mi>s</mi> <mi>j</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(s_{j}~|~s_{i}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mi>j</mi> </msub> <mrow> <mspace width="3.33333pt" /> <mo stretchy="false">|</mo> <mspace width="3.33333pt" /> </mrow> <msub> <mi>s</mi> <mi>i</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> for each pair of two distinct items <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(a_{i}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>a</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(a_{j}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>a</mi> <mi>j</mi> </msub> </math></EquationSource> </InlineEquation> in <i>A</i> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(s_{\max }~|~L\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mo movablelimits="true">max</mo> </msub> <mrow> <mspace width="3.33333pt" /> <mo stretchy="false">|</mo> <mspace width="3.33333pt" /> <mi>L</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where each item <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(a_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>a</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> in <i>A</i> has an integer size <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(s_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>s</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(s_{\max }=\max \{s_{i}~|~a_{i}\in A\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mo movablelimits="true">max</mo> </msub> <mo>=</mo> <mo movablelimits="true">max</mo> <mrow> <mo stretchy="false">{</mo> <msub> <mi>s</mi> <mi>i</mi> </msub> <mspace width="3.33333pt" /> <mo stretchy="false">|</mo> <mspace width="3.33333pt" /> <msub> <mi>a</mi> <mi>i</mi> </msub> <mo>∈</mo> <mi>A</mi> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, a bin with capacity <i>L</i> is called to be covered by the items if this bin receives some items with summation of sizes at least <i>L</i>, each item <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(a_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>a</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> in <i>A</i> is either put into a bin such that this bin used is covered, or rejected with rejection profit that we pay. No item can be put into more than one bin. We consider the BC-SDRP problem and its variation. (1) Given a rejection profit <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(p\in \mathbb {R}^{+}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, the BC-SDRP problem is asked to find a subset <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(X\subseteq A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>⊆</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> and a scheme of items in <i>X</i> to cover some identical bins with capacity <i>L</i>, the objective is to maximize the number <i>k</i>(<i>X</i>) of such bins covered by items in <i>X</i> plus the total rejection profit <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(p \cdot |A \setminus X|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>·</mo> <mo stretchy="false">|</mo> <mi>A</mi> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi>X</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation> of rejected items not in <i>X</i>; (2) Given a rejection cardinality <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(r_0\in \mathbb {Z}^{+}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>r</mi> <mn>0</mn> </msub> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, the bin covering problem with strong divisibility and bounded rejection cardinality (the BC-SDBRC problem, for short) is asked to find a subset <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(X\subseteq A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>⊆</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> and a scheme of items in <i>X</i> to cover some identical bins with capacity <i>L</i> under a constraint of the number of rejected items not in <i>X</i> at least <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(r_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>r</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>, the objective is to maximize the number <i>k</i>(<i>X</i>) of such bins covered by items in <i>X</i>.</p><p>As our main contributions, with the heavy aid of our exact algorithm in polynomial time provided to optimally solve the minimum cardinality bin covering problem with strong divisibility, we design two exact combinatorial algorithms to solve the BC-SDRP problem and the BC-SDBRC problem, respectively.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Exact combinatorial algorithms for solving the bin covering problems with strong divisibility and rejection profit

  • Jianping Li,
  • Lijian Cai,
  • Junran Lichen,
  • Pengxiang Pan

摘要

In this paper, we consider the bin covering problem with strong divisibility and rejection profit (the BC-SDRP problem, for short). Specifically, given a lot of identical bins with integer capacity L and a set \(A=\{a_{1},a_{2},\ldots ,a_{n}\}\) A = { a 1 , a 2 , , a n } of n items with strongly divisible sizes, i.e., either \(s_{i}~|~s_{j}\) s i | s j or \(s_{j}~|~s_{i}\) s j | s i for each pair of two distinct items \(a_{i}\) a i and \(a_{j}\) a j in A and \(s_{\max }~|~L\) s max | L , where each item \(a_i\) a i in A has an integer size \(s_i\) s i and \(s_{\max }=\max \{s_{i}~|~a_{i}\in A\}\) s max = max { s i | a i A } , a bin with capacity L is called to be covered by the items if this bin receives some items with summation of sizes at least L, each item \(a_i\) a i in A is either put into a bin such that this bin used is covered, or rejected with rejection profit that we pay. No item can be put into more than one bin. We consider the BC-SDRP problem and its variation. (1) Given a rejection profit \(p\in \mathbb {R}^{+}\) p R + , the BC-SDRP problem is asked to find a subset \(X\subseteq A\) X A and a scheme of items in X to cover some identical bins with capacity L, the objective is to maximize the number k(X) of such bins covered by items in X plus the total rejection profit \(p \cdot |A \setminus X|\) p · | A \ X | of rejected items not in X; (2) Given a rejection cardinality \(r_0\in \mathbb {Z}^{+}\) r 0 Z + , the bin covering problem with strong divisibility and bounded rejection cardinality (the BC-SDBRC problem, for short) is asked to find a subset \(X\subseteq A\) X A and a scheme of items in X to cover some identical bins with capacity L under a constraint of the number of rejected items not in X at least \(r_0\) r 0 , the objective is to maximize the number k(X) of such bins covered by items in X.

As our main contributions, with the heavy aid of our exact algorithm in polynomial time provided to optimally solve the minimum cardinality bin covering problem with strong divisibility, we design two exact combinatorial algorithms to solve the BC-SDRP problem and the BC-SDBRC problem, respectively.