Discrete Optimization最新文献

筛选
英文 中文
Reinforcement learning enhanced multi-neighborhood tabu search for the max-mean dispersion problem 强化学习对最大均值分散问题的多邻域禁忌搜索进行了改进
IF 1.1 4区 数学
Discrete Optimization Pub Date : 2022-05-01 DOI: 10.1016/j.disopt.2021.100625
Xunhao Gu, Songzheng Zhao, Yang Wang
{"title":"Reinforcement learning enhanced multi-neighborhood tabu search for the max-mean dispersion problem","authors":"Xunhao Gu,&nbsp;Songzheng Zhao,&nbsp;Yang Wang","doi":"10.1016/j.disopt.2021.100625","DOIUrl":"10.1016/j.disopt.2021.100625","url":null,"abstract":"<div><p>This paper presents a highly effective reinforcement learning enhancement of multi-neighborhood tabu search for the max-mean dispersion problem. The reinforcement learning component uses the Q-learning mechanism that incorporates the accumulated feedback information collected from the actions performed during the search to guide the generation of diversified solutions. The tabu search component employs 1-flip and reduced 2-flip neighborhoods to collaboratively perform the neighborhood exploration for attaining high-quality local optima. A learning automata method is integrated in tabu search to adaptively determine the probability of selecting each neighborhood. Computational experiments on 80 challenging benchmark instances demonstrate that the proposed algorithm is favorably competitive with the state-of-the-art algorithms in the literature, by finding new lower bounds for 3 instances and matching the best known results for the other instances. Key elements and properties are also analyzed to disclose the source of the benefits of our integration of learning mechanisms and tabu search.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"44 ","pages":"Article 100625"},"PeriodicalIF":1.1,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2021.100625","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127187036","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Approximate separable multichoice optimization over monotone systems 单调系统的近似可分离多选择优化
IF 1.1 4区 数学
Discrete Optimization Pub Date : 2022-05-01 DOI: 10.1016/j.disopt.2021.100629
Martin Koutecký , Asaf Levin , Syed M. Meesum , Shmuel Onn
{"title":"Approximate separable multichoice optimization over monotone systems","authors":"Martin Koutecký ,&nbsp;Asaf Levin ,&nbsp;Syed M. Meesum ,&nbsp;Shmuel Onn","doi":"10.1016/j.disopt.2021.100629","DOIUrl":"10.1016/j.disopt.2021.100629","url":null,"abstract":"<div><p>With each separable optimization problem over a given set of vectors is associated its <em>multichoice</em> counterpart which involves choosing <span><math><mi>n</mi></math></span><span> rather than one solutions from the set so as to maximize the given separable function over the sum of the chosen solutions. Such problems have been studied in various contexts under various names, such as load balancing in machine scheduling, congestion routing, minimum shared and vulnerable edge problems, and shifted optimization. Separable multichoice optimization has a very broad expressive power and can be hard already for explicitly given sets of binary points. In this article we consider the problem over </span><em>monotone systems</em><span>, also called independence systems. Typically such a system has exponential size, and we assume that it is presented implicitly by a linear optimization oracle. Our main results for separable multichoice optimization are the following. First, the problem over any monotone system with any separable concave function<span> can be approximated in polynomial time with a constant approximation ratio which is independent of </span></span><span><math><mi>n</mi></math></span>. Second, the problem over any monotone system with an arbitrary separable function can be approximated in polynomial time with an approximation ratio of <span><math><mrow><mn>1</mn><mo>/</mo><mrow><mo>(</mo><mi>O</mi><mrow><mo>(</mo><mo>log</mo><mi>n</mi><mo>)</mo></mrow><mo>)</mo></mrow></mrow></math></span>.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"44 ","pages":"Article 100629"},"PeriodicalIF":1.1,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2021.100629","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133117962","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Computational study of a branching algorithm for the maximum k-cut problem 最大k割问题分支算法的计算研究
IF 1.1 4区 数学
Discrete Optimization Pub Date : 2022-05-01 DOI: 10.1016/j.disopt.2021.100656
Vilmar Jefté Rodrigues de Sousa , Miguel F. Anjos , Sébastien Le Digabel
{"title":"Computational study of a branching algorithm for the maximum k-cut problem","authors":"Vilmar Jefté Rodrigues de Sousa ,&nbsp;Miguel F. Anjos ,&nbsp;Sébastien Le Digabel","doi":"10.1016/j.disopt.2021.100656","DOIUrl":"10.1016/j.disopt.2021.100656","url":null,"abstract":"<div><p><span>This work considers the graph partitioning problem known as maximum </span><span><math><mi>k</mi></math></span>-cut. It focuses on investigating features of a branch-and-bound method to obtain global solutions. An exhaustive experimental study is carried out for the two main components of a branch-and-bound algorithm: Computing bounds and branching strategies. In particular, we propose the use of a variable neighborhood search metaheuristic to compute good feasible solutions, the <span><math><mi>k</mi></math></span><span>-chotomic strategy to split the problem, and a branching rule based on edge weights to select variables. Moreover, we analyze a linear relaxation strengthened by semidefinite-based constraints, a cutting plane algorithm, and node selection strategies. Computational results show that the resulting method outperforms the state-of-the-art approach and discovers the solution of several instances, especially for problems with </span><span><math><mrow><mi>k</mi><mo>≥</mo><mn>5</mn></mrow></math></span>.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"44 ","pages":"Article 100656"},"PeriodicalIF":1.1,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2021.100656","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123551884","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
BDD-based optimization for the quadratic stable set problem 基于bdd的二次稳定集问题优化
IF 1.1 4区 数学
Discrete Optimization Pub Date : 2022-05-01 DOI: 10.1016/j.disopt.2020.100610
Jaime E. González , Andre A. Cire , Andrea Lodi , Louis-Martin Rousseau
{"title":"BDD-based optimization for the quadratic stable set problem","authors":"Jaime E. González ,&nbsp;Andre A. Cire ,&nbsp;Andrea Lodi ,&nbsp;Louis-Martin Rousseau","doi":"10.1016/j.disopt.2020.100610","DOIUrl":"10.1016/j.disopt.2020.100610","url":null,"abstract":"<div><p>The quadratic stable set<span> problem (QSSP) is a natural extension of the well-known maximum stable set problem. The QSSP is NP-hard and can be formulated as a binary quadratic program<span>, which makes it an interesting case study to be tackled from different optimization paradigms. In this paper, we propose a novel representation for the QSSP through binary decision diagrams (BDDs) and adapt a hybrid optimization approach which integrates BDDs and mixed-integer programming (MIP) for solving the QSSP. The exact framework highlights the modeling flexibility offered through decision diagrams to handle nonlinear problems. In addition, the hybrid approach leverages two different representations by exploring, in a complementary way, the solution space with BDD and MIP technologies. Machine learning then becomes a valuable component within the method to guide the search mechanisms. In the numerical experiments, the hybrid approach shows to be superior, by at least one order of magnitude, than two leading commercial MIP solvers with quadratic programming capabilities and a semidefinite-based branch-and-bound solver.</span></span></p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"44 ","pages":"Article 100610"},"PeriodicalIF":1.1,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2020.100610","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126365359","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
The Bipartite Boolean Quadric Polytope 二部布尔二次多边形
IF 1.1 4区 数学
Discrete Optimization Pub Date : 2022-05-01 DOI: 10.1016/j.disopt.2021.100657
Piyashat Sripratak , Abraham P. Punnen , Tamon Stephen
{"title":"The Bipartite Boolean Quadric Polytope","authors":"Piyashat Sripratak ,&nbsp;Abraham P. Punnen ,&nbsp;Tamon Stephen","doi":"10.1016/j.disopt.2021.100657","DOIUrl":"10.1016/j.disopt.2021.100657","url":null,"abstract":"<div><p>We consider the <span><em>Bipartite Boolean </em><em>Quadratic Programming</em><em> Problem</em></span><span> (BQP01), which generalizes the well-known Boolean quadratic programming problem (QP01). The model has applications in graph theory, matrix factorization and bioinformatics, among others. The primary focus of this paper is on studying the structure of the </span><span><em>Bipartite Boolean Quadric </em><em>Polytope</em></span> (BQP<span><math><msup><mrow></mrow><mrow><mi>m</mi><mo>,</mo><mi>n</mi></mrow></msup></math></span><span>) resulting from a linearization of a quadratic integer programming formulation of BQP01.</span></p><p>We present some basic properties and partial relaxations of BQP<span><math><msup><mrow></mrow><mrow><mi>m</mi><mo>,</mo><mi>n</mi></mrow></msup></math></span><span>, as well as some families of facets and valid inequalities. We find facet-defining inequalities including a family of odd-cycle inequalities. We discuss various approaches to obtain a valid inequality and facets from those of the related Boolean quadric polytope. The key strategy is based on rounding<span> coefficients, and it is applied to the families of clique and cut inequalities in BQP</span></span><span><math><msup><mrow></mrow><mrow><mi>m</mi><mo>,</mo><mi>n</mi></mrow></msup></math></span>.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"44 ","pages":"Article 100657"},"PeriodicalIF":1.1,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2021.100657","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127255795","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
On inequalities with bounded coefficients and pitch for the min knapsack polytope 最小背包多面体的有界系数和节距不等式
IF 1.1 4区 数学
Discrete Optimization Pub Date : 2022-05-01 DOI: 10.1016/j.disopt.2020.100567
Daniel Bienstock , Yuri Faenza , Igor Malinović , Monaldo Mastrolilli , Ola Svensson , Mark Zuckerberg
{"title":"On inequalities with bounded coefficients and pitch for the min knapsack polytope","authors":"Daniel Bienstock ,&nbsp;Yuri Faenza ,&nbsp;Igor Malinović ,&nbsp;Monaldo Mastrolilli ,&nbsp;Ola Svensson ,&nbsp;Mark Zuckerberg","doi":"10.1016/j.disopt.2020.100567","DOIUrl":"10.1016/j.disopt.2020.100567","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>\u0000(<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":1.1,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2020.100567","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115276159","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Integer programming in parameterized complexity: Five miniatures 参数化复杂性中的整数规划:五个缩影
IF 1.1 4区 数学
Discrete Optimization Pub Date : 2022-05-01 DOI: 10.1016/j.disopt.2020.100596
Tomáš Gavenčiak , Martin Koutecký , Dušan Knop
{"title":"Integer programming in parameterized complexity: Five miniatures","authors":"Tomáš Gavenčiak ,&nbsp;Martin Koutecký ,&nbsp;Dušan Knop","doi":"10.1016/j.disopt.2020.100596","DOIUrl":"10.1016/j.disopt.2020.100596","url":null,"abstract":"<div><p>Powerful results from the theory of integer programming have recently led to substantial advances in parameterized complexity. However, our perception is that, except for Lenstra’s algorithm for solving integer linear programming in fixed dimension, there is still little understanding in the parameterized complexity community of the strengths and limitations of the available tools. This is understandable: it is often difficult to infer exact runtimes or even the distinction between <span><math><mi>FPT</mi></math></span> and <span><math><mi>XP</mi></math></span> algorithms, and some knowledge is simply unwritten folklore in a different community. We wish to make a step in remedying this situation. To that end, we first provide an easy to navigate quick reference guide of integer programming algorithms from the perspective of parameterized complexity. Then, we show their applications in three case studies, obtaining <span><math><mi>FPT</mi></math></span> algorithms with runtime <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></mrow></math></span>poly<span><math><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></math></span>. We focus on: </p><ul><li><span>•</span><span><p><em>Modeling</em>: since the algorithmic results follow by applying existing algorithms to new models, we shift the focus from the complexity result to the modeling result, highlighting common patterns and tricks which are used.</p></span></li><li><span>•</span><span><p><em>Optimality program:</em> after giving an <span><math><mi>FPT</mi></math></span> algorithm, we are interested in reducing the dependence on the parameter; we show which algorithms and tricks are often useful for speed-ups.</p></span></li><li><span>•</span><span><p><em>Minding the</em> poly<span><math><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></math></span>: reducing <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></mrow></math></span> often has the unintended consequence of increasing poly<span><math><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></math></span>; so we highlight the common trade-offs and show how to get the best of both worlds.</p></span></li></ul> Specifically, we consider graphs of bounded neighborhood diversity which are in a sense the simplest of dense graphs, and we show several <span><math><mi>FPT</mi></math></span> algorithms for <span>Capacitated Dominating Set</span>, <span>Sum Coloring</span>, <span>Max-</span>\u0000<span><math><mi>q</mi></math></span>\u0000<span>-Cut</span>, and certain other coloring problems by modeling them as convex programs in fixed dimension, <span><math><mi>n</mi></math></span>-fold integer programs, bounded dual treewidth programs, indefinite quadratic programs in fixed dimension, parametric integer programs in fixed dimension, and 2-stage stochastic integer programs.</div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"44 ","pages":"Article 100596"},"PeriodicalIF":1.1,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2020.100596","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130068932","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
On the intrinsic volumes of intersections of congruent balls 全等球交点的内禀体积
IF 1.1 4区 数学
Discrete Optimization Pub Date : 2022-05-01 DOI: 10.1016/j.disopt.2019.03.002
Károly Bezdek
{"title":"On the intrinsic volumes of intersections of congruent balls","authors":"Károly Bezdek","doi":"10.1016/j.disopt.2019.03.002","DOIUrl":"10.1016/j.disopt.2019.03.002","url":null,"abstract":"<div><p>Let <span><math><msup><mrow><mi>E</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> denote the <span><math><mi>d</mi></math></span>-dimensional Euclidean space. The <span><math><mi>r</mi></math></span>-ball body generated by a given set in <span><math><msup><mrow><mi>E</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> is the intersection of balls of radius <span><math><mi>r</mi></math></span> centered at the points of the given set. In this paper we prove the following Blaschke–Santaló-type inequalities for <span><math><mi>r</mi></math></span>-ball bodies: for all <span><math><mn>1</mn><mo>≤</mo><mi>k</mi><mo>≤</mo><mi>d</mi></math></span> and for any set of given volume in <span><math><msup><mrow><mi>E</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> the <span><math><mi>k</mi></math></span>th intrinsic volume of the <span><math><mi>r</mi></math></span>-ball body generated by the set becomes maximal if the set is a ball. As an application we investigate the Gromov–Klee–Wagon problem for congruent balls in <span><math><msup><mrow><mi>E</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span>, which is a question on proving or disproving that if the centers of a family of <span><math><mi>N</mi></math></span> congruent balls in <span><math><msup><mrow><mi>E</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span><span> are contracted, then the volume of the intersection does not decrease. In particular, we investigate this problem for uniform contractions, which are contractions where all the pairwise distances in the first set of centers are larger than all the pairwise distances in the second set of centers, that is, when the pairwise distances of the two sets are separated by some positive real number. Bezdek and Naszódi (2018), proved that the intrinsic volumes of the intersection of </span><span><math><mi>N</mi></math></span> congruent balls in <span><math><msup><mrow><mi>E</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span>, <span><math><mi>d</mi><mo>&gt;</mo><mn>1</mn></math></span> increase under any uniform contraction of the center points when <span><math><mi>N</mi><mo>≥</mo><msup><mrow><mfenced><mrow><mn>1</mn><mo>+</mo><msqrt><mrow><mn>2</mn></mrow></msqrt></mrow></mfenced></mrow><mrow><mi>d</mi></mrow></msup></math></span>. We give a short proof of this result using the Blaschke–Santaló-type inequalities of <span><math><mi>r</mi></math></span>-ball bodies and improve it for <span><math><mi>d</mi><mo>≥</mo><mn>42</mn></math></span>.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"44 ","pages":"Article 100539"},"PeriodicalIF":1.1,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2019.03.002","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116315316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Minimum energy configurations on a toric lattice as a quadratic assignment problem 作为二次分配问题的圆环晶格上的最小能量构型
IF 1.1 4区 数学
Discrete Optimization Pub Date : 2022-05-01 DOI: 10.1016/j.disopt.2020.100612
Daniel Brosch, Etienne de Klerk
{"title":"Minimum energy configurations on a toric lattice as a quadratic assignment problem","authors":"Daniel Brosch,&nbsp;Etienne de Klerk","doi":"10.1016/j.disopt.2020.100612","DOIUrl":"10.1016/j.disopt.2020.100612","url":null,"abstract":"<div><p>We consider three known bounds for the quadratic assignment problem (QAP): an eigenvalue, a convex quadratic programming (CQP), and a semidefinite programming (SDP) bound. Since the last two bounds were not compared directly before, we prove that the SDP bound is stronger than the CQP bound. We then apply these to improve known bounds on a discrete energy minimization problem, reformulated as a QAP, which aims to minimize the potential energy between repulsive particles on a toric grid. Thus we are able to prove optimality for several configurations of particles and grid sizes, complementing earlier results by Bouman et al. (2013). The semidefinite programs in question are too large to solve without pre-processing, and we use a symmetry reduction method by Permenter and Parrilo (2020) to make computation of the SDP bounds possible.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"44 ","pages":"Article 100612"},"PeriodicalIF":1.1,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2020.100612","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114210427","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Circuit walks in integral polyhedra 电路以整体多面体行走
IF 1.1 4区 数学
Discrete Optimization Pub Date : 2022-05-01 DOI: 10.1016/j.disopt.2019.100566
Steffen Borgwardt, Charles Viss
{"title":"Circuit walks in integral polyhedra","authors":"Steffen Borgwardt,&nbsp;Charles Viss","doi":"10.1016/j.disopt.2019.100566","DOIUrl":"10.1016/j.disopt.2019.100566","url":null,"abstract":"<div><p><span><span>Circuits play a fundamental role in the theory of linear programming due to their intimate connection to algorithms of combinatorial optimization and the efficiency of the simplex method<span>. We are interested in better understanding the properties of circuit walks in integral polyhedra. In this paper, we introduce a hierarchy for integral polyhedra based on different types of behavior exhibited by their circuit walks. Many problems in combinatorial optimization fall into the most interesting categories of this hierarchy — steps of circuit walks only stop at </span></span>integer points, at vertices, or follow actual edges. We classify several classical families of polyhedra within the hierarchy, including </span><span><math><mrow><mn>0</mn><mo>/</mo><mn>1</mn></mrow></math></span><span>-polytopes, polyhedra defined by totally unimodular matrices, and more specifically matroid polytopes, transportation polytopes, and partition polytopes. Finally, we prove three characterizations of the simple polytopes that appear in the bottom level of the hierarchy where all circuit walks are edge walks, showing that such polytopes constitute a generalization of simplices and parallelotopes.</span></p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"44 ","pages":"Article 100566"},"PeriodicalIF":1.1,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2019.100566","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129798260","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信