首页 > 最新文献

Discrete Optimization最新文献

英文 中文
A criterion space search feasibility pump heuristic for solving maximum multiplicative programs 求解最大乘法规划的准则空间搜索可行性泵浦启发式
IF 1.6 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-08-01 DOI: 10.1016/j.disopt.2025.100903
Ashim Khanal, Hadi Charkhgard
We study a class of nonlinear optimization problems with diverse practical applications, particularly in cooperative game theory. These problems are referred to as Maximum Multiplicative Programs (MMPs), and can be conceived as instances of “Optimization Over the Frontier” in multi-objective optimization. To solve MMPs, we introduce a feasibility pump-based heuristic that is specifically designed to search the criterion space of their multi-objective optimization counterparts. Through a computational study, we show the efficacy of the proposed method.
我们研究了一类具有多种实际应用的非线性优化问题,特别是合作博弈问题。这些问题被称为最大乘法规划(MMPs),可以看作是多目标优化中的“边界优化”实例。为了解决MMPs问题,我们引入了一种基于可行性泵的启发式算法,专门用于搜索其多目标优化对应的准则空间。通过计算研究,我们证明了该方法的有效性。
{"title":"A criterion space search feasibility pump heuristic for solving maximum multiplicative programs","authors":"Ashim Khanal,&nbsp;Hadi Charkhgard","doi":"10.1016/j.disopt.2025.100903","DOIUrl":"10.1016/j.disopt.2025.100903","url":null,"abstract":"<div><div>We study a class of nonlinear optimization problems with diverse practical applications, particularly in cooperative game theory. These problems are referred to as Maximum Multiplicative Programs (MMPs), and can be conceived as instances of “Optimization Over the Frontier” in multi-objective optimization. To solve MMPs, we introduce a feasibility pump-based heuristic that is specifically designed to search the criterion space of their multi-objective optimization counterparts. Through a computational study, we show the efficacy of the proposed method.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"57 ","pages":"Article 100903"},"PeriodicalIF":1.6,"publicationDate":"2025-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144738317","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
Disjoint dominating and 2-dominating sets in graphs: Hardness and approximation results 图中的不相交支配集和2支配集:硬度和近似结果
IF 0.9 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-07-24 DOI: 10.1016/j.disopt.2025.100902
Soumyashree Rana , Sounaka Mishra , Bhawani Sankar Panda
<div><div>A set <span><math><mrow><mi>D</mi><mo>⊆</mo><mi>V</mi></mrow></math></span> 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 a dominating set of <span><math><mi>G</mi></math></span> if each vertex <span><math><mrow><mi>v</mi><mo>∈</mo><mi>V</mi><mo>∖</mo><mi>D</mi></mrow></math></span> is adjacent to at least one vertex in <span><math><mrow><mi>D</mi><mo>,</mo></mrow></math></span> whereas a set <span><math><mrow><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⊆</mo><mi>V</mi></mrow></math></span> is a 2-dominating (double dominating) set of <span><math><mi>G</mi></math></span> if each vertex <span><math><mrow><mi>v</mi><mo>∈</mo><mi>V</mi><mo>∖</mo><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span> is adjacent to at least two vertices in <span><math><mrow><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>.</mo></mrow></math></span> A graph <span><math><mi>G</mi></math></span> is a <span><math><mrow><mi>D</mi><mspace></mspace><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span>-graph if there exists a pair (<span><math><mrow><mi>D</mi><mo>,</mo><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span>) of dominating set and 2-dominating set of <span><math><mi>G</mi></math></span> which are disjoint. In this paper, we give approximation algorithms for the problem of determining a minimal spanning <span><math><mrow><mi>D</mi><mspace></mspace><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span>-graph of minimum size (<span>Min-</span> <span><math><mrow><mi>D</mi><mspace></mspace><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span>) with an approximation ratio of 3; a minimal spanning <span><math><mrow><mi>D</mi><mspace></mspace><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span>-graph of maximum size (<span>Max-</span> <span><math><mrow><mi>D</mi><mspace></mspace><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span>) with an approximation ratio of 3; and for the problem of adding minimum number of edges to a graph <span><math><mi>G</mi></math></span> to make it a <span><math><mrow><mi>D</mi><mspace></mspace><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span>-graph (<span>Min-to-</span> <span><math><mrow><mi>D</mi><mspace></mspace><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span>) with an <span><math><mrow><mi>O</mi><mrow><mo>(</mo><mo>log</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span> approximation ratio. The above three results answer the open problems mentioned in the paper, Miotk et al. (2020). Furthermore, we prove that <span>Min-</span> <span><math><mrow><mi>D</mi><mspace></mspace><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span> and <s
当图G=(V,E)的每个顶点V∈V≠D与D中的至少一个顶点邻接,则集合D是G的控制集;当每个顶点V∈V∈D2与D2中的至少两个顶点邻接,则集合D2是G的2-控制(双控制)集。如果存在不相交的G的支配集和2-支配集对(D,D2),则图G是一个dd2图。本文给出了确定最小生成DD2图(Min- DD2)的近似算法,近似比为3;最小生成DD2图的最大尺寸(Max- DD2),近似比为3;以及为图G添加最小边数以使其成为具有O(logn)近似比的DD2图(Min-to- DD2)的问题。以上三个结果回答了Miotk et al.(2020)论文中提到的开放性问题。进一步证明了对于最大度为4的图,Min- DD2和Max- DD2是apx完全的。我们还表明,对于任何3正则图,Min- DD2和Max- DD2分别在1.8和1.5因子内近似。最后,我们给出了二部图的Max-Min-to- DD2的不可逼近性结果:除非P=NP,否则该问题不能在n16−_i内逼近任何_i >;0。
{"title":"Disjoint dominating and 2-dominating sets in graphs: Hardness and approximation results","authors":"Soumyashree Rana ,&nbsp;Sounaka Mishra ,&nbsp;Bhawani Sankar Panda","doi":"10.1016/j.disopt.2025.100902","DOIUrl":"10.1016/j.disopt.2025.100902","url":null,"abstract":"&lt;div&gt;&lt;div&gt;A set &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mo&gt;⊆&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; of a graph &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is a dominating set of &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; if each vertex &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mo&gt;∖&lt;/mo&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is adjacent to at least one vertex in &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; whereas a set &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;⊆&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is a 2-dominating (double dominating) set of &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; if each vertex &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mo&gt;∖&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is adjacent to at least two vertices in &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;.&lt;/mo&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; A graph &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; is a &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;-graph if there exists a pair (&lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;) of dominating set and 2-dominating set of &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; which are disjoint. In this paper, we give approximation algorithms for the problem of determining a minimal spanning &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;-graph of minimum size (&lt;span&gt;Min-&lt;/span&gt; &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;) with an approximation ratio of 3; a minimal spanning &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;-graph of maximum size (&lt;span&gt;Max-&lt;/span&gt; &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;) with an approximation ratio of 3; and for the problem of adding minimum number of edges to a graph &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; to make it a &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;-graph (&lt;span&gt;Min-to-&lt;/span&gt; &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;) with an &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mo&gt;log&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; approximation ratio. The above three results answer the open problems mentioned in the paper, Miotk et al. (2020). Furthermore, we prove that &lt;span&gt;Min-&lt;/span&gt; &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; and &lt;s","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"57 ","pages":"Article 100902"},"PeriodicalIF":0.9,"publicationDate":"2025-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144696742","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
On the integrality gap of small Asymmetric Traveling Salesman Problems: A polyhedral and computational approach 非对称小旅行商问题的完整性缺口:一个多面体和计算方法
IF 0.9 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-07-04 DOI: 10.1016/j.disopt.2025.100901
Eleonora Vercesi , Janos Barta , Luca Maria Gambardella , Stefano Gualandi , Monaldo Mastrolilli
In this paper, we investigate the integrality gap of the Asymmetric Traveling Salesman Problem (ATSP) with respect to the linear relaxation given by the Asymmetric Subtour Elimination Problem (ASEP) for instances with n nodes, where n is small. In particular, we focus on the geometric properties and symmetries of the ASEP polytope (PASEPn) and its vertices. The polytope’s symmetries are exploited to design a heuristic pivoting algorithm to search vertices where the integrality gap is maximized. Furthermore, a general procedure for the extension of vertices from PASEPn to PASEPn+1 is defined. The generated vertices improve the known lower bounds of the integrality gap for 16n22 and, provide small hard-to-solve ATSP instances.
本文研究了非对称旅行商问题(ATSP)在n个节点的情况下相对于非对称子游消除问题(ASEP)给出的线性松弛的完整性缺口,其中n很小。我们特别关注了ASEP多面体(PASEPn)及其顶点的几何性质和对称性。利用多面体的对称性,设计了一种启发式的旋转算法来搜索完整性间隙最大的顶点。此外,还定义了从PASEPn向PASEPn+1顶点扩展的一般过程。生成的顶点改善了已知的16≤n≤22的完整性间隙下界,并且提供了小的难以求解的ATSP实例。
{"title":"On the integrality gap of small Asymmetric Traveling Salesman Problems: A polyhedral and computational approach","authors":"Eleonora Vercesi ,&nbsp;Janos Barta ,&nbsp;Luca Maria Gambardella ,&nbsp;Stefano Gualandi ,&nbsp;Monaldo Mastrolilli","doi":"10.1016/j.disopt.2025.100901","DOIUrl":"10.1016/j.disopt.2025.100901","url":null,"abstract":"<div><div>In this paper, we investigate the integrality gap of the Asymmetric Traveling Salesman Problem (ATSP) with respect to the linear relaxation given by the Asymmetric Subtour Elimination Problem (ASEP) for instances with <span><math><mi>n</mi></math></span> nodes, where <span><math><mi>n</mi></math></span> is small. In particular, we focus on the geometric properties and symmetries of the ASEP polytope (<span><math><msubsup><mrow><mi>P</mi></mrow><mrow><mi>ASEP</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math></span>) and its vertices. The polytope’s symmetries are exploited to design a heuristic pivoting algorithm to search vertices where the integrality gap is maximized. Furthermore, a general procedure for the extension of vertices from <span><math><msubsup><mrow><mi>P</mi></mrow><mrow><mi>ASEP</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math></span> to <span><math><msubsup><mrow><mi>P</mi></mrow><mrow><mi>ASEP</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msubsup></math></span> is defined. The generated vertices improve the known lower bounds of the integrality gap for <span><math><mrow><mn>16</mn><mo>≤</mo><mi>n</mi><mo>≤</mo><mn>22</mn></mrow></math></span> and, provide small hard-to-solve ATSP instances.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"57 ","pages":"Article 100901"},"PeriodicalIF":0.9,"publicationDate":"2025-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144549222","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
Approximation algorithms for the cluster editing problem with small clusters 小聚类聚类编辑问题的逼近算法
IF 0.9 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-06-13 DOI: 10.1016/j.disopt.2025.100900
Alexander Kononov , Victor Il’ev
Clustering is the task of dividing objects into groups (called clusters) so that objects in the same group are similar to each other. The Cluster Editing problem is one of the most natural ways to model clustering on graphs. In this problem, the similarity relation between objects is given by an undirected graph whose vertices correspond to the objects, edges connect couples of similar objects, and it is required to partition the set of vertices into disjoint subsets minimizing the number of edges between clusters and the number of missing edges within clusters. We present new approximation algorithms with better worst-case performance guarantees when cluster sizes are upper bounded by three or four vertices.
聚类是将对象分成组(称为集群)的任务,以便同一组中的对象彼此相似。聚类编辑问题是对图进行聚类建模的最自然的方法之一。在该问题中,目标之间的相似关系由一个无向图给出,该无向图的顶点对应于目标,边缘连接相似目标的对,并要求将顶点集划分为不相交的子集,以最小化聚类之间的边数和聚类内部的缺边数。我们提出了新的近似算法,当聚类大小的上界是三个或四个顶点时,它具有更好的最坏情况性能保证。
{"title":"Approximation algorithms for the cluster editing problem with small clusters","authors":"Alexander Kononov ,&nbsp;Victor Il’ev","doi":"10.1016/j.disopt.2025.100900","DOIUrl":"10.1016/j.disopt.2025.100900","url":null,"abstract":"<div><div>Clustering is the task of dividing objects into groups (called clusters) so that objects in the same group are similar to each other. The Cluster Editing problem is one of the most natural ways to model clustering on graphs. In this problem, the similarity relation between objects is given by an undirected graph whose vertices correspond to the objects, edges connect couples of similar objects, and it is required to partition the set of vertices into disjoint subsets minimizing the number of edges between clusters and the number of missing edges within clusters. We present new approximation algorithms with better worst-case performance guarantees when cluster sizes are upper bounded by three or four vertices.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"57 ","pages":"Article 100900"},"PeriodicalIF":0.9,"publicationDate":"2025-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144279680","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
On degeneracy in the P-matroid oriented matroid complementarity problem 论面向p -拟阵互补问题的退化性
IF 0.9 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-06-11 DOI: 10.1016/j.disopt.2025.100891
Michaela Borzechowski , Simon Weber
Klaus showed that the Oriented Matroid Complementarity Problem (OMCP) can be solved by a reduction to the problem of sink-finding in a unique sink orientation (USO) if the input is promised to be given by a non-degenerate extension of a P-matroid. In this paper, we investigate the effect of degeneracy on this reduction. On the one hand, this understanding of degeneracies allows us to prove a linear lower bound on the number of vertex evaluations required for sink-finding in P-matroid USOs, the set of USOs obtainable through Klaus’ reduction. On the other hand, it allows us to adjust Klaus’ reduction to also work with degenerate instances. Furthermore, we introduce a total search version of the P-Matroid Oriented Matroid Complementarity Problem (P-OMCP). Given any extension of any oriented matroid M, by reduction to a total search version of USO sink-finding we can either solve the OMCP, or provide a polynomial-time verifiable certificate that M is not a P-matroid. This places the total search version of the P-OMCP in the complexity class Unique End of Potential Line (UEOPL).
Klaus证明了有向矩阵互补问题(OMCP)可以简化为在唯一集方向(USO)上寻找集的问题,如果输入是由p -矩阵的非退化扩展给出的话。在本文中,我们研究了简并对这种约简的影响。一方面,这种对退化的理解使我们能够证明p -矩阵USOs(通过Klaus约简可得到的USOs集合)中寻找sink所需顶点计算次数的线性下界。另一方面,它允许我们调整克劳斯的减少,也适用于退化的实例。进一步,我们引入了面向p -矩阵互补问题(P-OMCP)的一个全搜索版本。给定任意有向矩阵M的任意扩展,通过还原为USO sink-finding的总搜索版本,我们可以解出OMCP,或者提供一个多项式时间可验证的证明M不是p -矩阵。这将P-OMCP的总搜索版本放在复杂性类唯一潜在行结束(UEOPL)中。
{"title":"On degeneracy in the P-matroid oriented matroid complementarity problem","authors":"Michaela Borzechowski ,&nbsp;Simon Weber","doi":"10.1016/j.disopt.2025.100891","DOIUrl":"10.1016/j.disopt.2025.100891","url":null,"abstract":"<div><div>Klaus showed that the <span>Oriented Matroid Complementarity Problem</span> (<span>OMCP</span>) can be solved by a reduction to the problem of sink-finding in a <em>unique sink orientation (USO)</em> if the input is promised to be given by a <em>non-degenerate</em> extension of a <em>P-matroid</em>. In this paper, we investigate the effect of degeneracy on this reduction. On the one hand, this understanding of degeneracies allows us to prove a linear lower bound on the number of vertex evaluations required for sink-finding in <em>P-matroid USOs</em>, the set of USOs obtainable through Klaus’ reduction. On the other hand, it allows us to adjust Klaus’ reduction to also work with degenerate instances. Furthermore, we introduce a total search version of the <span>P-Matroid Oriented Matroid Complementarity Problem</span> (<span>P-OMCP</span>). Given <em>any</em> extension of <em>any</em> oriented matroid <span><math><mi>M</mi></math></span>, by reduction to a total search version of USO sink-finding we can either solve the <span>OMCP</span>, or provide a polynomial-time verifiable certificate that <span><math><mi>M</mi></math></span> is <em>not</em> a P-matroid. This places the total search version of the <span>P-OMCP</span> in the complexity class <span>Unique End of Potential Line</span> (<span>UEOPL</span>).</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"57 ","pages":"Article 100891"},"PeriodicalIF":0.9,"publicationDate":"2025-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144253723","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
Optimal partitions of the flat torus into parts of smaller diameter 平面环面最佳分割成较小直径的部分
IF 0.9 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-05-22 DOI: 10.1016/j.disopt.2025.100890
D.S. Protasov , A.D. Tolmachev , V.A. Voronov
We consider the problem of partitioning a two-dimensional flat torus T2 into m sets in order to minimize the maximum diameter of a part. For m25 we give numerical estimates for the maximum diameter dm(T2) at which the partition exists. Several approaches are proposed to obtain such estimates. In particular, we use the search for mesh partitions via the SAT solver, the global optimization approach for polygonal partitions, and the optimization of periodic hexagonal tilings. For m=3, the exact estimate is proved using elementary topological reasoning.
为了使零件的最大直径最小,我们考虑将二维平面环面T2划分为m个集的问题。对于m≤25,我们给出了分区存在的最大直径dm(T2)的数值估计。提出了几种方法来获得这种估计。特别是,我们使用了通过SAT求解器搜索网格分区,多边形分区的全局优化方法,以及周期性六边形平铺的优化方法。对于m=3,利用初等拓扑推理证明了精确估计。
{"title":"Optimal partitions of the flat torus into parts of smaller diameter","authors":"D.S. Protasov ,&nbsp;A.D. Tolmachev ,&nbsp;V.A. Voronov","doi":"10.1016/j.disopt.2025.100890","DOIUrl":"10.1016/j.disopt.2025.100890","url":null,"abstract":"<div><div>We consider the problem of partitioning a two-dimensional flat torus <span><math><msup><mrow><mi>T</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> into <span><math><mi>m</mi></math></span> sets in order to minimize the maximum diameter of a part. For <span><math><mrow><mi>m</mi><mo>⩽</mo><mn>25</mn></mrow></math></span> we give numerical estimates for the maximum diameter <span><math><mrow><msub><mrow><mi>d</mi></mrow><mrow><mi>m</mi></mrow></msub><mrow><mo>(</mo><msup><mrow><mi>T</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> at which the partition exists. Several approaches are proposed to obtain such estimates. In particular, we use the search for mesh partitions via the SAT solver, the global optimization approach for polygonal partitions, and the optimization of periodic hexagonal tilings. For <span><math><mrow><mi>m</mi><mo>=</mo><mn>3</mn></mrow></math></span>, the exact estimate is proved using elementary topological reasoning.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"57 ","pages":"Article 100890"},"PeriodicalIF":0.9,"publicationDate":"2025-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144116524","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
The k-way vertex cut problem on bipartite graphs: Complexity results and algorithms 二部图上的k路顶点切割问题:复杂度结果和算法
IF 0.9 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-05-01 DOI: 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 O(nK2) time and O(nK) space, where n is the graph order, and K 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 O(n3) and O(n2), respectively.
我们考虑k-way顶点切割问题,它包括在图中找到给定基数的顶点子集,其移除将图划分为最大连接分量。在一般图、分割图和平面图上证明了这个问题是np完全的。本文在二部图上考虑了它,并证明了它在这类图上仍然是np完全的。然而,对于双部置换图的子类,我们使用动态规划方法开发了一个多项式时间算法来求解问题。算法运行时间为O(nK2),空间为O(nK),其中n为图阶,K为删除顶点数。我们还通过考虑顶点删除成本来扩展我们的注意力,并使我们提出的动态规划适应与顶点删除相关的非负成本的情况。所得算法的时间复杂度为O(n3),空间复杂度为O(n2)。
{"title":"The k-way vertex cut problem on bipartite graphs: Complexity results and algorithms","authors":"Mohammed Lalou ,&nbsp;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}
引用次数: 0
Computation of lower tolerances of combinatorial bottleneck problems 组合瓶颈问题下容差的计算
IF 0.9 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-04-10 DOI: 10.1016/j.disopt.2025.100887
Gerold Jäger , Marcel Turkensteen
This paper considers the computation of lower tolerances of combinatorial optimization problems with an objective of type bottleneck, in which the objective is to minimize the element with maximum cost of a feasible solution. A lower tolerance can be defined as the supremum decrease such that the objective value remains the same. We develop a computational approach for generic problems with objective of type bottleneck and two specific approaches for the Linear Bottleneck Assignment Problem and the Bottleneck Shortest Path Problem, which have a similar complexity as solution approaches for these two problems. Finally, we present some experimental results on random instances for these problems.
本文考虑的是目标为瓶颈类型的组合优化问题的下公差计算,其中目标是最小化可行解中成本最大的元素。下限公差可定义为目标值保持不变的至高减小值。我们为具有瓶颈类型目标的一般问题开发了一种计算方法,并为线性瓶颈分配问题和瓶颈最短路径问题开发了两种具体方法,这两种方法与这两个问题的求解方法具有相似的复杂性。最后,我们介绍了这些问题在随机实例上的一些实验结果。
{"title":"Computation of lower tolerances of combinatorial bottleneck problems","authors":"Gerold Jäger ,&nbsp;Marcel Turkensteen","doi":"10.1016/j.disopt.2025.100887","DOIUrl":"10.1016/j.disopt.2025.100887","url":null,"abstract":"<div><div>This paper considers the computation of lower tolerances of combinatorial optimization problems with an objective of type bottleneck, in which the objective is to minimize the element with maximum cost of a feasible solution. A lower tolerance can be defined as the supremum decrease such that the objective value remains the same. We develop a computational approach for generic problems with objective of type bottleneck and two specific approaches for the Linear Bottleneck Assignment Problem and the Bottleneck Shortest Path Problem, which have a similar complexity as solution approaches for these two problems. Finally, we present some experimental results on random instances for these problems.</div></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"56 ","pages":"Article 100887"},"PeriodicalIF":0.9,"publicationDate":"2025-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143816640","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
A remark on the formulation given in “A note on the lifted Miller-Tucker-Zemlin subtour elimination constraints for routing problems with time windows” 对“带时间窗的路由问题的取消的Miller-Tucker-Zemlin子路线消去约束的注释”一文中公式的评注
IF 0.9 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-04-02 DOI: 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.
在本文中,我们证明了最近一篇论文[1]给出的带时间窗旅行推销员问题(TSPTW)的公式可能无法找到最优解,然后我们建议在模型中添加一个新的约束。
{"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,&nbsp;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-04-02","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}
引用次数: 0
Trimming of finite subsets of the Manhattan plane 曼哈顿平面有限子集的修剪
IF 0.9 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2025-03-01 DOI: 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 ,&nbsp;Ali Deniz ,&nbsp;Ş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-03-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}
引用次数: 0
期刊
Discrete Optimization
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1