Pub Date : 2025-05-01Epub Date: 2025-04-02DOI: 10.1016/j.disopt.2025.100888
İmdat Kara, Gözde Önder Uzun
In this paper, we show that, the formulation given in a recent paper [1] for the travelling salesman problem with time windows (TSPTW), may not find the optimal solution and then we recommend to add a new constraint to the model.
{"title":"A remark on the formulation given in “A note on the lifted Miller-Tucker-Zemlin subtour elimination constraints for routing problems with time windows”","authors":"İmdat Kara, Gözde Önder Uzun","doi":"10.1016/j.disopt.2025.100888","DOIUrl":"10.1016/j.disopt.2025.100888","url":null,"abstract":"<div><div>In this paper, we show that, the formulation given in a recent paper [1] for the travelling salesman problem with time windows (TSPTW), may not find the optimal solution and then we recommend to add a new constraint to the model.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"56 ","pages":"Article 100888"},"PeriodicalIF":0.9,"publicationDate":"2025-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143748273","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}
Pub Date : 2025-05-01Epub Date: 2025-05-12DOI: 10.1016/j.disopt.2025.100889
Mohammed Lalou , Hamamache Kheddouci
We consider the k-way vertex cut problem that consists in finding a subset of vertices of a given cardinality, in a graph, whose removal partitions the graph into the maximum connected components. This problem has been proven to be NP-complete on general graphs, split and planar graphs. In this paper, we consider it on bipartite graphs and we show that it remains NP-complete even restricted on this class of graphs. However, for the subclass of bipartite-permutation graphs, we develop a polynomial-time algorithm using the dynamic programming approach for solving the problem. The algorithm runs in time and space, where is the graph order, and is the number of deleted vertices. We also extend our attention by considering vertex deletion costs, and we adapt the proposed dynamic program to the case where non-negative costs are associated to vertex deletion. The obtained algorithm is of time and space complexity and , respectively.
{"title":"The k-way vertex cut problem on bipartite graphs: Complexity results and algorithms","authors":"Mohammed Lalou , Hamamache Kheddouci","doi":"10.1016/j.disopt.2025.100889","DOIUrl":"10.1016/j.disopt.2025.100889","url":null,"abstract":"<div><div>We consider the <em>k-way vertex cut problem</em> that consists in finding a subset of vertices of a given cardinality, in a graph, whose removal partitions the graph into the maximum connected components. This problem has been proven to be NP-complete on general graphs, split and planar graphs. In this paper, we consider it on bipartite graphs and we show that it remains NP-complete even restricted on this class of graphs. However, for the subclass of bipartite-permutation graphs, we develop a polynomial-time algorithm using the dynamic programming approach for solving the problem. The algorithm runs in <span><math><mrow><mi>O</mi><mrow><mo>(</mo><mi>n</mi><msup><mrow><mi>K</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> time and <span><math><mrow><mi>O</mi><mrow><mo>(</mo><mi>n</mi><mi>K</mi><mo>)</mo></mrow></mrow></math></span> space, where <span><math><mi>n</mi></math></span> is the graph order, and <span><math><mi>K</mi></math></span> is the number of deleted vertices. We also extend our attention by considering vertex deletion costs, and we adapt the proposed dynamic program to the case where non-negative costs are associated to vertex deletion. The obtained algorithm is of time and space complexity <span><math><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> and <span><math><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span>, respectively.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"56 ","pages":"Article 100889"},"PeriodicalIF":0.9,"publicationDate":"2025-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143937847","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}
Pub Date : 2025-05-01Epub Date: 2025-03-01DOI: 10.1016/j.disopt.2025.100880
Gökçe Çakmak , Ali Deniz , Şahin Koçak
V. Turaev defined recently an operation of “Trimming” for pseudo-metric spaces and analyzed the tight span of (pseudo-)metric spaces via this process. In this work we investigate the trimming of finite subspaces of the Manhattan plane. We show that this operation amounts for them to taking the metric center set and we give an algorithm to construct the tight spans via trimming.
V. Turaev最近定义了伪度量空间的“修剪”操作,并通过此过程分析了(伪)度量空间的紧跨度。在这项工作中,我们研究了曼哈顿平面的有限子空间的修剪。我们证明了这种操作相当于取度量中心集,并给出了一种通过切边构造紧跨的算法。
{"title":"Trimming of finite subsets of the Manhattan plane","authors":"Gökçe Çakmak , Ali Deniz , Şahin Koçak","doi":"10.1016/j.disopt.2025.100880","DOIUrl":"10.1016/j.disopt.2025.100880","url":null,"abstract":"<div><div>V. Turaev defined recently an operation of “Trimming” for pseudo-metric spaces and analyzed the tight span of (pseudo-)metric spaces via this process. In this work we investigate the trimming of finite subspaces of the Manhattan plane. We show that this operation amounts for them to taking the metric center set and we give an algorithm to construct the tight spans via trimming.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"56 ","pages":"Article 100880"},"PeriodicalIF":0.9,"publicationDate":"2025-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143520774","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}
Pub Date : 2025-02-01Epub Date: 2025-01-01DOI: 10.1016/j.disopt.2024.100877
Yasemin Büyükçolak
Given a graph , a vertex ve-dominates all edges incident to any vertex in the closed neighborhood . A subset is a vertex-edge dominating set if, for each edge , there exists a vertex such that ve-dominates . The objective of the ve-domination problem is to find a minimum cardinality ve-dominating set in . In this paper, we present a linear time algorithm to find a minimum cardinality ve-dominating set for convex bipartite graphs, which is a superclass of bipartite permutation graphs and a subclass of bipartite graphs, where the ve-domination problem is solvable in linear time and NP-complete, respectively. We also establish the relationship for convex bipartite graphs. Our approach leverages a chain decomposition of convex bipartite graphs, allowing for efficient identification of minimum ve-dominating sets and extending algorithmic insights into ve-domination for specific structured graph classes.
{"title":"Linear time algorithm for the vertex-edge domination problem in convex bipartite graphs","authors":"Yasemin Büyükçolak","doi":"10.1016/j.disopt.2024.100877","DOIUrl":"10.1016/j.disopt.2024.100877","url":null,"abstract":"<div><div>Given a graph <span><math><mrow><mi>G</mi><mo>=</mo><mrow><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>)</mo></mrow></mrow></math></span>, a vertex <span><math><mrow><mi>u</mi><mo>∈</mo><mi>V</mi></mrow></math></span> <em>ve-dominates</em> all edges incident to any vertex in the closed neighborhood <span><math><mrow><mi>N</mi><mrow><mo>[</mo><mi>u</mi><mo>]</mo></mrow></mrow></math></span>. A subset <span><math><mrow><mi>D</mi><mo>⊆</mo><mi>V</mi></mrow></math></span> is <em>a vertex-edge dominating set</em> if, for each edge <span><math><mrow><mi>e</mi><mo>∈</mo><mi>E</mi></mrow></math></span>, there exists a vertex <span><math><mrow><mi>u</mi><mo>∈</mo><mi>D</mi></mrow></math></span> such that <span><math><mi>u</mi></math></span> ve-dominates <span><math><mi>e</mi></math></span>. The objective of the <em>ve-domination problem</em> is to find a minimum cardinality ve-dominating set in <span><math><mi>G</mi></math></span>. In this paper, we present a linear time algorithm to find a minimum cardinality ve-dominating set for convex bipartite graphs, which is a superclass of bipartite permutation graphs and a subclass of bipartite graphs, where the ve-domination problem is solvable in linear time and NP-complete, respectively. We also establish the relationship <span><math><mrow><msub><mrow><mi>γ</mi></mrow><mrow><mi>v</mi><mi>e</mi></mrow></msub><mo>=</mo><msub><mrow><mi>i</mi></mrow><mrow><mi>v</mi><mi>e</mi></mrow></msub></mrow></math></span> for convex bipartite graphs. Our approach leverages a chain decomposition of convex bipartite graphs, allowing for efficient identification of minimum ve-dominating sets and extending algorithmic insights into ve-domination for specific structured graph classes.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"55 ","pages":"Article 100877"},"PeriodicalIF":0.9,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143178624","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}
Pub Date : 2025-02-01Epub Date: 2024-11-28DOI: 10.1016/j.disopt.2024.100866
Cécile Rottner
Consider a time horizon and a set of possible states for a given system. The system must be in exactly one state at a time. In this paper, we generalize classical results on min-up/min-down constraints for a 2-state system to an -state system with . The minimum-time constraints enforce that if the system switches to state at time , then it must remain in state for a minimum number of time steps. The minimum-time polytope is defined as the convex hull of integer solutions satisfying the minimum-time constraints. A variant of minimum-time constraints is also considered, namely the no-spike constraints. They enforce that if state is switched on at time , the system must remain on states during a minimum time. Symmetrically, they also enforce that if state is switched off at time , the system must remain on states during a minimum time. The no-spike polytope is defined as the convex hull of integer solutions satisfying the no-spike constraints. For both the minimum-time polytope and the no-spike polytope, we introduce families of valid inequalities. We prove that these inequalities are facet-defining and lead to a complete description of polynomial size for each polytope.
{"title":"Generalized min-up/min-down polytopes","authors":"Cécile Rottner","doi":"10.1016/j.disopt.2024.100866","DOIUrl":"10.1016/j.disopt.2024.100866","url":null,"abstract":"<div><div>Consider a time horizon and a set of <span><math><mi>N</mi></math></span> possible states for a given system. The system must be in exactly one state at a time. In this paper, we generalize classical results on min-up/min-down constraints for a 2-state system to an <span><math><mi>N</mi></math></span>-state system with <span><math><mrow><mi>N</mi><mo>≥</mo><mn>3</mn></mrow></math></span>. The minimum-time constraints enforce that if the system switches to state <span><math><mi>i</mi></math></span> at time <span><math><mi>t</mi></math></span>, then it must remain in state <span><math><mi>i</mi></math></span> for a minimum number of time steps. The minimum-time polytope is defined as the convex hull of integer solutions satisfying the minimum-time constraints. A variant of minimum-time constraints is also considered, namely the no-spike constraints. They enforce that if state <span><math><mi>i</mi></math></span> is switched on at time <span><math><mi>t</mi></math></span>, the system must remain on states <span><math><mrow><mi>j</mi><mo>≥</mo><mi>i</mi></mrow></math></span> during a minimum time. Symmetrically, they also enforce that if state <span><math><mi>i</mi></math></span> is switched off at time <span><math><mi>t</mi></math></span>, the system must remain on states <span><math><mrow><mi>j</mi><mo><</mo><mi>i</mi></mrow></math></span> during a minimum time. The no-spike polytope is defined as the convex hull of integer solutions satisfying the no-spike constraints. For both the minimum-time polytope and the no-spike polytope, we introduce families of valid inequalities. We prove that these inequalities are facet-defining and lead to a complete description of polynomial size for each polytope.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"55 ","pages":"Article 100866"},"PeriodicalIF":0.9,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142745018","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}
Pub Date : 2025-02-01Epub Date: 2024-12-05DOI: 10.1016/j.disopt.2024.100867
Eleonore Bach , Friedrich Eisenbrand , Rom Pinchasi
An integer vector is a degree sequence if there exists a hypergraph with vertices such that each is the number of hyperedges containing . The degree-sequence polytope is the convex hull of all degree sequences. We show that all but a fraction of integer vectors in the degree sequence polytope are degree sequences. Furthermore, the corresponding hypergraph of these points can be computed in time via linear programming techniques. This is substantially faster than the running time of the current-best algorithm for the degree-sequence problem. We also show that for , contains integer points that are not degree sequences. Furthermore, we prove that both the degree sequence problem itself and the linear optimization problem over are -hard. The latter complements a recent result of Deza et al. (2018) who provide an algorithm that is polynomial in and the number of hyperedges.
{"title":"Integer points in the degree-sequence polytope","authors":"Eleonore Bach , Friedrich Eisenbrand , Rom Pinchasi","doi":"10.1016/j.disopt.2024.100867","DOIUrl":"10.1016/j.disopt.2024.100867","url":null,"abstract":"<div><div>An integer vector <span><math><mrow><mi>b</mi><mo>∈</mo><msup><mrow><mi>Z</mi></mrow><mrow><mi>d</mi></mrow></msup></mrow></math></span> is a <em>degree sequence</em> if there exists a hypergraph with vertices <span><math><mrow><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>d</mi><mo>}</mo></mrow></math></span> such that each <span><math><msub><mrow><mi>b</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is the number of hyperedges containing <span><math><mi>i</mi></math></span>. The <em>degree-sequence polytope</em> <span><math><msup><mrow><mi>Z</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> is the convex hull of all degree sequences. We show that all but a <span><math><msup><mrow><mn>2</mn></mrow><mrow><mo>−</mo><mi>Ω</mi><mrow><mo>(</mo><mi>d</mi><mo>)</mo></mrow></mrow></msup></math></span> fraction of integer vectors in the degree sequence polytope are degree sequences. Furthermore, the corresponding hypergraph of these points can be computed in time <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>O</mi><mrow><mo>(</mo><mi>d</mi><mo>)</mo></mrow></mrow></msup></math></span> via linear programming techniques. This is substantially faster than the <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></msup></math></span> running time of the current-best algorithm for the degree-sequence problem. We also show that for <span><math><mrow><mi>d</mi><mo>⩾</mo><mn>98</mn></mrow></math></span>, <span><math><msup><mrow><mi>Z</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> contains integer points that are not degree sequences. Furthermore, we prove that both the degree sequence problem itself and the linear optimization problem over <span><math><msup><mrow><mi>Z</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> are <span><math><mi>NP</mi></math></span>-hard. The latter complements a recent result of Deza et al. (2018) who provide an algorithm that is polynomial in <span><math><mi>d</mi></math></span> and the number of hyperedges.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"55 ","pages":"Article 100867"},"PeriodicalIF":0.9,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143178625","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}
Pub Date : 2025-02-01Epub Date: 2025-01-10DOI: 10.1016/j.disopt.2024.100876
Bjoern Andres , Silvia Di Gregorio , Jannik Irmai , Jan-Hendrik Lange
{"title":"Corrigendum to “A polyhedral study of lifted multicuts” [Discrete Optim. 47 (2023) 100757]","authors":"Bjoern Andres , Silvia Di Gregorio , Jannik Irmai , Jan-Hendrik Lange","doi":"10.1016/j.disopt.2024.100876","DOIUrl":"10.1016/j.disopt.2024.100876","url":null,"abstract":"","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"55 ","pages":"Article 100876"},"PeriodicalIF":0.9,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143177281","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}
Pub Date : 2025-02-01Epub Date: 2025-02-09DOI: 10.1016/j.disopt.2025.100879
Hadi Charkhgard , Hanieh Rastegar Moghaddam , Ali Eshragh , Sasan Mahmoudinazlou , Kimia Keshanian
We study a class of bi-objective integer programs known as bi-objective knapsack problems (BOKPs). Our research focuses on the development of innovative exact and approximate solution methods for BOKPs by synergizing algorithmic concepts from two distinct domains: multi-objective integer programming and (deep) reinforcement learning. While novel reinforcement learning techniques have been applied successfully to single-objective integer programming in recent years, a corresponding body of work is yet to be explored in the field of multi-objective integer programming. This study is an effort to bridge this existing gap in the literature. Through a computational study, we demonstrate that although it is feasible to develop exact reinforcement learning-based methods for solving BOKPs, they come with significant computational costs. Consequently, we recommend an alternative research direction: approximating the entire nondominated frontier using deep reinforcement learning-based methods. We introduce two such methods, which extend classical methods from the multi-objective integer programming literature, and illustrate their ability to rapidly produce high-quality approximations.
{"title":"Solving hard bi-objective knapsack problems using deep reinforcement learning","authors":"Hadi Charkhgard , Hanieh Rastegar Moghaddam , Ali Eshragh , Sasan Mahmoudinazlou , Kimia Keshanian","doi":"10.1016/j.disopt.2025.100879","DOIUrl":"10.1016/j.disopt.2025.100879","url":null,"abstract":"<div><div>We study a class of bi-objective integer programs known as bi-objective knapsack problems (BOKPs). Our research focuses on the development of innovative exact and approximate solution methods for BOKPs by synergizing algorithmic concepts from two distinct domains: multi-objective integer programming and (deep) reinforcement learning. While novel reinforcement learning techniques have been applied successfully to single-objective integer programming in recent years, a corresponding body of work is yet to be explored in the field of multi-objective integer programming. This study is an effort to bridge this existing gap in the literature. Through a computational study, we demonstrate that although it is feasible to develop exact reinforcement learning-based methods for solving BOKPs, they come with significant computational costs. Consequently, we recommend an alternative research direction: approximating the entire nondominated frontier using deep reinforcement learning-based methods. We introduce two such methods, which extend classical methods from the multi-objective integer programming literature, and illustrate their ability to rapidly produce high-quality approximations.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"55 ","pages":"Article 100879"},"PeriodicalIF":0.9,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143372936","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}
Pub Date : 2025-02-01Epub Date: 2025-01-24DOI: 10.1016/j.disopt.2025.100878
Rajni Dabas, Neelima Gupta
In this paper, we present a framework to design approximation algorithms for capacitated facility location problems with penalties/outliers. We apply our framework to obtain first approximations for capacitated -facility location problem with penalties (CFLwP) and capacitated facility location problem with outliers (CFLwO), for hard uniform capacities. Our solutions incur slight violations in capacities, () for the problems without cardinality() constraint and () for the problems with the cardinality constraint. For the outlier variant, we also incur a small loss () in outliers. To the best of our knowledge, no results are known for CFLwO and CFLwP in the literature. For uniform facility opening cost, we get rid of violation in capacities for CFLwO. Our approach is based on LP rounding technique.
{"title":"Uniform capacitated facility location with outliers/penalties","authors":"Rajni Dabas, Neelima Gupta","doi":"10.1016/j.disopt.2025.100878","DOIUrl":"10.1016/j.disopt.2025.100878","url":null,"abstract":"<div><div>In this paper, we present a framework to design approximation algorithms for capacitated facility location problems with penalties/outliers. We apply our framework to obtain first approximations for capacitated <span><math><mi>k</mi></math></span>-facility location problem with penalties (C<span><math><mi>k</mi></math></span>FLwP) and capacitated facility location problem with outliers (CFLwO), for hard uniform capacities. Our solutions incur slight violations in capacities, (<span><math><mrow><mn>1</mn><mo>+</mo><mi>ϵ</mi></mrow></math></span>) for the problems without cardinality(<span><math><mi>k</mi></math></span>) constraint and (<span><math><mrow><mn>2</mn><mo>+</mo><mi>ϵ</mi></mrow></math></span>) for the problems with the cardinality constraint. For the outlier variant, we also incur a small loss (<span><math><mrow><mn>1</mn><mo>+</mo><mi>ϵ</mi></mrow></math></span>) in outliers. To the best of our knowledge, no results are known for CFLwO and C<span><math><mi>k</mi></math></span>FLwP in the literature. For uniform facility opening cost, we get rid of violation in capacities for CFLwO. Our approach is based on LP rounding technique.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"55 ","pages":"Article 100878"},"PeriodicalIF":0.9,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143177068","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}
Pub Date : 2025-02-01Epub Date: 2024-11-29DOI: 10.1016/j.disopt.2024.100865
Luerbio Faria, Mauro Nigro, Diana Sasaki
In 1988, Chetwynd and Hilton observed that a -total coloring induces a vertex coloring in the graph, they called it conformable. A -vertex coloring of a graph is called conformable if the number of color classes of parity different from that of is at most the deficiency of , where is the degree of a vertex of . In 1994, McDiarmid and Sánchez-Arroyo proved that deciding whether a graph has -total coloring is NP-complete even when is -regular bipartite with . However, the time-complexity of the problem of determining whether a graph admits a conformable coloring (Conformability problem) remains unknown. In this paper, we prove that Conformability problem is polynomial solvable for the class of -regular bipartite and for the class of subcubic graphs.
{"title":"A polynomial-time algorithm for conformable coloring on regular bipartite and subcubic graphs","authors":"Luerbio Faria, Mauro Nigro, Diana Sasaki","doi":"10.1016/j.disopt.2024.100865","DOIUrl":"10.1016/j.disopt.2024.100865","url":null,"abstract":"<div><div>In 1988, Chetwynd and Hilton observed that a <span><math><mrow><mo>(</mo><mi>Δ</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow></math></span>-total coloring induces a vertex coloring in the graph, they called it conformable. A <span><math><mrow><mo>(</mo><mi>Δ</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow></math></span>-vertex coloring of a graph <span><math><mrow><mi>G</mi><mo>=</mo><mrow><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>)</mo></mrow></mrow></math></span> is called <em>conformable</em> if the number of color classes of parity different from that of <span><math><mrow><mo>|</mo><mi>V</mi><mo>|</mo></mrow></math></span> is at most the deficiency <span><math><mrow><mo>def</mo><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><msub><mrow><mo>∑</mo></mrow><mrow><mi>v</mi><mo>∈</mo><mi>V</mi></mrow></msub><mrow><mo>(</mo><mi>Δ</mi><mo>−</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi></mrow></msub><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow><mo>)</mo></mrow></mrow></math></span> of <span><math><mi>G</mi></math></span>, where <span><math><mrow><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi></mrow></msub><mrow><mo>(</mo><mi>v</mi><mo>)</mo></mrow></mrow></math></span> is the degree of a vertex <span><math><mi>v</mi></math></span> of <span><math><mi>V</mi></math></span>. In 1994, McDiarmid and Sánchez-Arroyo proved that deciding whether a graph <span><math><mi>G</mi></math></span> has <span><math><mrow><mo>(</mo><mi>Δ</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow></math></span>-total coloring is NP-complete even when <span><math><mi>G</mi></math></span> is <span><math><mi>k</mi></math></span>-regular bipartite with <span><math><mrow><mi>k</mi><mo>≥</mo><mn>3</mn></mrow></math></span>. However, the time-complexity of the problem of determining whether a graph admits a conformable coloring (<span>Conformability</span> problem) remains unknown. In this paper, we prove that <span>Conformability</span> problem is polynomial solvable for the class of <span><math><mi>k</mi></math></span>-regular bipartite and for the class of subcubic graphs.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"55 ","pages":"Article 100865"},"PeriodicalIF":0.9,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142745017","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}