Daniel Bienstock , Yuri Faenza , Igor Malinović , Monaldo Mastrolilli , Ola Svensson , Mark Zuckerberg
{"title":"最小背包多面体的有界系数和节距不等式","authors":"Daniel Bienstock , Yuri Faenza , Igor Malinović , Monaldo Mastrolilli , Ola Svensson , Mark Zuckerberg","doi":"10.1016/j.disopt.2020.100567","DOIUrl":null,"url":null,"abstract":"<div><p>The min knapsack problem appears as a major component in the structure of capacitated covering problems. Its polyhedral relaxations have been extensively studied, leading to strong relaxations for networking, scheduling and facility location problems.</p><p>A valid inequality <span><math><mrow><msup><mrow><mi>α</mi></mrow><mrow><mi>T</mi></mrow></msup><mi>x</mi><mo>≥</mo><msub><mrow><mi>α</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow></math></span> with <span><math><mrow><mi>α</mi><mo>≥</mo><mn>0</mn></mrow></math></span> for a min knapsack instance is said to have pitch <span><math><mrow><mo>≤</mo><mi>π</mi></mrow></math></span>\n(<span><math><mi>π</mi></math></span> a positive integer) if the <span><math><mi>π</mi></math></span> smallest strictly positive <span><math><msub><mrow><mi>α</mi></mrow><mrow><mi>j</mi></mrow></msub></math></span> sum to at least <span><math><msub><mrow><mi>α</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>. An inequality with coefficients and right-hand side in <span><math><mrow><mo>{</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>π</mi><mo>}</mo></mrow></math></span> has pitch <span><math><mrow><mo>≤</mo><mi>π</mi></mrow></math></span><span>. The notion of pitch has been used for measuring the complexity of valid inequalities for the min knapsack polytope. Separating inequalities of pitch-1 is already NP-Hard. In this paper, we show an algorithm for efficiently separating inequalities with coefficients in </span><span><math><mrow><mo>{</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>π</mi><mo>}</mo></mrow></math></span> for any fixed <span><math><mi>π</mi></math></span><span> up to an arbitrarily small additive error. As a special case, this allows for approximate separation of inequalities with pitch at most 2. We moreover investigate the integrality gap of minimum knapsack instances when bounded pitch inequalities (possibly in conjunction with other inequalities) are added. Among other results, we show that the CG closure of minimum knapsack has unbounded integrality gap even after a constant number of rounds.</span></p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"44 ","pages":"Article 100567"},"PeriodicalIF":0.9000,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2020.100567","citationCount":"4","resultStr":"{\"title\":\"On inequalities with bounded coefficients and pitch for the min knapsack polytope\",\"authors\":\"Daniel Bienstock , Yuri Faenza , Igor Malinović , Monaldo Mastrolilli , Ola Svensson , Mark Zuckerberg\",\"doi\":\"10.1016/j.disopt.2020.100567\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>The min knapsack problem appears as a major component in the structure of capacitated covering problems. Its polyhedral relaxations have been extensively studied, leading to strong relaxations for networking, scheduling and facility location problems.</p><p>A valid inequality <span><math><mrow><msup><mrow><mi>α</mi></mrow><mrow><mi>T</mi></mrow></msup><mi>x</mi><mo>≥</mo><msub><mrow><mi>α</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow></math></span> with <span><math><mrow><mi>α</mi><mo>≥</mo><mn>0</mn></mrow></math></span> for a min knapsack instance is said to have pitch <span><math><mrow><mo>≤</mo><mi>π</mi></mrow></math></span>\\n(<span><math><mi>π</mi></math></span> a positive integer) if the <span><math><mi>π</mi></math></span> smallest strictly positive <span><math><msub><mrow><mi>α</mi></mrow><mrow><mi>j</mi></mrow></msub></math></span> sum to at least <span><math><msub><mrow><mi>α</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>. An inequality with coefficients and right-hand side in <span><math><mrow><mo>{</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>π</mi><mo>}</mo></mrow></math></span> has pitch <span><math><mrow><mo>≤</mo><mi>π</mi></mrow></math></span><span>. The notion of pitch has been used for measuring the complexity of valid inequalities for the min knapsack polytope. Separating inequalities of pitch-1 is already NP-Hard. In this paper, we show an algorithm for efficiently separating inequalities with coefficients in </span><span><math><mrow><mo>{</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>π</mi><mo>}</mo></mrow></math></span> for any fixed <span><math><mi>π</mi></math></span><span> up to an arbitrarily small additive error. As a special case, this allows for approximate separation of inequalities with pitch at most 2. We moreover investigate the integrality gap of minimum knapsack instances when bounded pitch inequalities (possibly in conjunction with other inequalities) are added. Among other results, we show that the CG closure of minimum knapsack has unbounded integrality gap even after a constant number of rounds.</span></p></div>\",\"PeriodicalId\":50571,\"journal\":{\"name\":\"Discrete Optimization\",\"volume\":\"44 \",\"pages\":\"Article 100567\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2022-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/j.disopt.2020.100567\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Discrete Optimization\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S1572528620300013\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete Optimization","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1572528620300013","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
On inequalities with bounded coefficients and pitch for the min knapsack polytope
The min knapsack problem appears as a major component in the structure of capacitated covering problems. Its polyhedral relaxations have been extensively studied, leading to strong relaxations for networking, scheduling and facility location problems.
A valid inequality with for a min knapsack instance is said to have pitch
( a positive integer) if the smallest strictly positive sum to at least . An inequality with coefficients and right-hand side in has pitch . The notion of pitch has been used for measuring the complexity of valid inequalities for the min knapsack polytope. Separating inequalities of pitch-1 is already NP-Hard. In this paper, we show an algorithm for efficiently separating inequalities with coefficients in for any fixed up to an arbitrarily small additive error. As a special case, this allows for approximate separation of inequalities with pitch at most 2. We moreover investigate the integrality gap of minimum knapsack instances when bounded pitch inequalities (possibly in conjunction with other inequalities) are added. Among other results, we show that the CG closure of minimum knapsack has unbounded integrality gap even after a constant number of rounds.
期刊介绍:
Discrete Optimization publishes research papers on the mathematical, computational and applied aspects of all areas of integer programming and combinatorial optimization. In addition to reports on mathematical results pertinent to discrete optimization, the journal welcomes submissions on algorithmic developments, computational experiments, and novel applications (in particular, large-scale and real-time applications). The journal also publishes clearly labelled surveys, reviews, short notes, and open problems. Manuscripts submitted for possible publication to Discrete Optimization should report on original research, should not have been previously published, and should not be under consideration for publication by any other journal.