Piyashat Sripratak , Abraham P. Punnen , Tamon Stephen
{"title":"The Bipartite Boolean Quadric Polytope","authors":"Piyashat Sripratak , Abraham P. Punnen , Tamon Stephen","doi":"10.1016/j.disopt.2021.100657","DOIUrl":null,"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":0.9000,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.disopt.2021.100657","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete Optimization","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1572528621000360","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 5
Abstract
We consider the Bipartite Boolean Quadratic Programming Problem (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 Bipartite Boolean Quadric Polytope (BQP) resulting from a linearization of a quadratic integer programming formulation of BQP01.
We present some basic properties and partial relaxations of BQP, 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 coefficients, and it is applied to the families of clique and cut inequalities in BQP.
期刊介绍:
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.