首页 > 最新文献

Discrete Optimization最新文献

英文 中文
The complexity of 2-vertex-connected orientation in mixed graphs 混合图中2点连通方向的复杂度
IF 1.1 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2023-05-01 DOI: 10.1016/j.disopt.2023.100774
Florian Hörsch , Zoltán Szigeti

We consider two possible extensions of a theorem of Thomassen characterizing the graphs admitting a 2-vertex-connected orientation. First, we show that the problem of deciding whether a mixed graph has a 2-vertex-connected orientation is NP-hard. This answers a question of Bang-Jensen, Huang and Zhu. For the second part, we call a directed graph D=(V,A)2T-connected for some TV if D is 2-arc-connected and Dv is strongly connected for all vT. We deduce a characterization of the graphs admitting a 2T-connected orientation from the theorem of Thomassen.

我们考虑托马森定理的两个可能的扩展,该定理刻画了允许2-顶点连通方向的图。首先,我们证明了判定混合图是否具有2-顶点连通方向的问题是NP困难的。这回答了邦、黄、朱的一个问题。对于第二部分,我们称有向图D=(V,a)2T连通于某些T⊆V,如果D是2-arc连通的,并且D−V强连通于所有V∈T。我们从托马森定理中推导出了图的一个特征,它允许2T连通方向。
{"title":"The complexity of 2-vertex-connected orientation in mixed graphs","authors":"Florian Hörsch ,&nbsp;Zoltán Szigeti","doi":"10.1016/j.disopt.2023.100774","DOIUrl":"https://doi.org/10.1016/j.disopt.2023.100774","url":null,"abstract":"<div><p>We consider two possible extensions of a theorem of Thomassen characterizing the graphs admitting a 2-vertex-connected orientation. First, we show that the problem of deciding whether a mixed graph has a 2-vertex-connected orientation is NP-hard. This answers a question of Bang-Jensen, Huang and Zhu. For the second part, we call a directed graph <span><math><mrow><mi>D</mi><mo>=</mo><mrow><mo>(</mo><mi>V</mi><mo>,</mo><mi>A</mi><mo>)</mo></mrow></mrow></math></span>\u0000<span><math><mrow><mn>2</mn><mi>T</mi></mrow></math></span>-connected for some <span><math><mrow><mi>T</mi><mo>⊆</mo><mi>V</mi></mrow></math></span> if <span><math><mi>D</mi></math></span> is 2-arc-connected and <span><math><mrow><mi>D</mi><mo>−</mo><mi>v</mi></mrow></math></span> is strongly connected for all <span><math><mrow><mi>v</mi><mo>∈</mo><mi>T</mi></mrow></math></span>. We deduce a characterization of the graphs admitting a <span><math><mrow><mn>2</mn><mi>T</mi></mrow></math></span>-connected orientation from the theorem of Thomassen.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"48 ","pages":"Article 100774"},"PeriodicalIF":1.1,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49716350","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
Reachability in choice networks 选择网络的可达性
IF 1.1 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2023-05-01 DOI: 10.1016/j.disopt.2023.100761
Piotr Wojciechowski , K. Subramani , Alvaro Velasquez
<div><p>In this paper, we investigate the problem of determining <span><math><mrow><mi>s</mi><mo>−</mo><mi>t</mi></mrow></math></span> reachability in <strong>choice networks</strong>. In the traditional <span><math><mrow><mi>s</mi><mo>−</mo><mi>t</mi></mrow></math></span> reachability problem, we are given a weighted network tuple <span><math><mrow><mi>G</mi><mo>=</mo><mrow><mo>〈</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>,</mo><mi>c</mi><mo>,</mo><mi>s</mi><mo>,</mo><mi>t</mi><mo>〉</mo></mrow></mrow></math></span>, with the goal of checking if there exists a path from <span><math><mi>s</mi></math></span> to <span><math><mi>t</mi></math></span> in <span><math><mi>G</mi></math></span>. In an optional choice network, we are given a choice set <span><math><mrow><mi>S</mi><mo>⊆</mo><mi>E</mi><mo>×</mo><mi>E</mi></mrow></math></span>, in addition to the network tuple <span><math><mi>G</mi></math></span>. In the <span><math><mrow><mi>s</mi><mo>−</mo><mi>t</mi></mrow></math></span> reachability problem in choice networks (OCR<span><math><msub><mrow></mrow><mrow><mi>D</mi></mrow></msub></math></span>), the goal is to find whether there exists a path from vertex <span><math><mi>s</mi></math></span> to vertex <span><math><mi>t</mi></math></span>, with the caveat that at most one edge from each edge-pair <span><math><mrow><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mo>∈</mo><mi>S</mi></mrow></math></span> is used in the path. OCR<span><math><msub><mrow></mrow><mrow><mi>D</mi></mrow></msub></math></span> finds applications in a number of domains, including <strong>routing in wireless networks</strong> and <strong>sensor placement</strong>. We analyze the computational complexities of the OCR<span><math><msub><mrow></mrow><mrow><mi>D</mi></mrow></msub></math></span> problem and its variants from a number of algorithmic perspectives. We show that the problem is <strong>NP-complete</strong> in directed acyclic graphs with bounded pathwidth. Additionally, we show that its optimization version is <strong>NPO PB-complete</strong>. Additionally, we show that the problem is fixed-parameter tractable in the cardinality of the choice set <span><math><mi>S</mi></math></span>. In particular, we show that the problem can be solved in time <span><math><mrow><msup><mrow><mi>O</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mn>1</mn><mo>.</mo><mn>4</mn><msup><mrow><mn>2</mn></mrow><mrow><mrow><mo>|</mo><mi>S</mi><mo>|</mo></mrow></mrow></msup><mo>)</mo></mrow></mrow></math></span>. We also consider weighted versions of the OCR<span><math><msub><mrow></mrow><mrow><mi>D</mi></mrow></msub></math></span> problem and detail their computational complexities; in particular, the optimization version of the <span><math><mrow><mi>W</mi><mi>O</mi><mi>C</mi><msub><mrow><mi>R</mi></mrow><mrow><mi>D</mi></mrow></msub></mrow></math></span> problem is <strong>NPO-complete</strong>. While similar results have been obtained for related problems, our results improve
在本文中,我们研究了在选择网络中确定s−t可达性的问题。在传统的s−t可达性问题中,我们给出了一个加权网络元组G=〈V,E,c,s,t〉,目的是检查G中是否存在从s到t的路径。在可选选择网络中,除了网络元组G之外,我们还得到了一个选择集s⊆E×E,目标是找出是否存在从顶点s到顶点t的路径,但需要注意的是,该路径中最多使用每个边对(x,y)∈s中的一条边。OCRD在许多领域都有应用,包括无线网络中的路由和传感器放置。我们从多个算法角度分析了OCRD问题及其变体的计算复杂性。我们证明了具有有界路径宽度的有向无环图中的问题是NP完全的。此外,我们还展示了它的优化版本是NPO-PB完整的。此外,我们证明了该问题在选择集S的基数中是可处理的固定参数。特别地,我们证明该问题可以在时间O*(1.42|S|)内求解。我们还考虑了OCRD问题的加权版本,并详细说明了它们的计算复杂性;特别地,WOCRD问题的优化版本是NPO完全的。虽然相关问题也得到了类似的结果,但我们的结果通过提供更强的结果或提供更有限的图类型的结果来改进这些结果。
{"title":"Reachability in choice networks","authors":"Piotr Wojciechowski ,&nbsp;K. Subramani ,&nbsp;Alvaro Velasquez","doi":"10.1016/j.disopt.2023.100761","DOIUrl":"https://doi.org/10.1016/j.disopt.2023.100761","url":null,"abstract":"&lt;div&gt;&lt;p&gt;In this paper, we investigate the problem of determining &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; reachability in &lt;strong&gt;choice networks&lt;/strong&gt;. In the traditional &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; reachability problem, we are given a weighted network tuple &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;mi&gt;c&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;〉&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, with the goal of checking if there exists a path from &lt;span&gt;&lt;math&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; to &lt;span&gt;&lt;math&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; in &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. In an optional choice network, we are given a choice set &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;⊆&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mo&gt;×&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, in addition to the network tuple &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. In the &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; reachability problem in choice networks (OCR&lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt;), the goal is to find whether there exists a path from vertex &lt;span&gt;&lt;math&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; to vertex &lt;span&gt;&lt;math&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, with the caveat that at most one edge from each edge-pair &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is used in the path. OCR&lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; finds applications in a number of domains, including &lt;strong&gt;routing in wireless networks&lt;/strong&gt; and &lt;strong&gt;sensor placement&lt;/strong&gt;. We analyze the computational complexities of the OCR&lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; problem and its variants from a number of algorithmic perspectives. We show that the problem is &lt;strong&gt;NP-complete&lt;/strong&gt; in directed acyclic graphs with bounded pathwidth. Additionally, we show that its optimization version is &lt;strong&gt;NPO PB-complete&lt;/strong&gt;. Additionally, we show that the problem is fixed-parameter tractable in the cardinality of the choice set &lt;span&gt;&lt;math&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. In particular, we show that the problem can be solved in time &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;∗&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;.&lt;/mo&gt;&lt;mn&gt;4&lt;/mn&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;. We also consider weighted versions of the OCR&lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; problem and detail their computational complexities; in particular, the optimization version of the &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;W&lt;/mi&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;mi&gt;C&lt;/mi&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; problem is &lt;strong&gt;NPO-complete&lt;/strong&gt;. While similar results have been obtained for related problems, our results improve ","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"48 ","pages":"Article 100761"},"PeriodicalIF":1.1,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49716672","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
Graphs with equal Grundy domination and independence number 具有相等Grundy支配和独立数的图
IF 1.1 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2023-05-01 DOI: 10.1016/j.disopt.2023.100777
Gábor Bacsó , Boštjan Brešar , Kirsti Kuenzel , Douglas F. Rall

The Grundy domination number, γgr(G), of a graph G is the maximum length of a sequence (v1,v2,,vk) of vertices in G such that for every i{2,,k}, the closed neighborhood N[vi] contains a vertex that does not belong to any closed neighborhood N[vj], where j<i. It is well known that the Grundy domination number of any graph G is greater than or equal to the upper domination number Γ(G), which is in turn greater than or equal to the independence number α(G). In this paper, we initiate the study of the class of graphs G with Γ(G)=γgr(G) and its subclass consisting of graphs G with α(G)=γgr(G). We characterize the latter class of graphs among all twin-free connected graphs, provide a number of properties of these graphs, and prove that the hypercubes are members of this class. In addition, we give several necessary conditions for graphs G with Γ(G)=γgr(G) and present large families of such graphs.

图G的Grundy支配数γgr(G)是G中顶点序列(v1,v2,…,vk)的最大长度,使得对于每i∈{2,…,k},闭邻域N[vi]包含不属于任何闭邻域N[fj]的顶点,其中j<;i.众所周知,任何图G的Grundy控制数都大于或等于上控制数Γ(G),而上控制数又大于或等于独立数α(G)。本文研究了Γ(G)=γgr(G)的图G的一类及其由α(G)=γgr(G)的图组成的子类。我们刻画了所有双自由连通图中的后一类图,给出了这些图的一些性质,并证明了超立方体是这类图的成员。此外,我们给出了Γ(G)=γgr(G)的图G的几个必要条件,并给出了这类图的大族。
{"title":"Graphs with equal Grundy domination and independence number","authors":"Gábor Bacsó ,&nbsp;Boštjan Brešar ,&nbsp;Kirsti Kuenzel ,&nbsp;Douglas F. Rall","doi":"10.1016/j.disopt.2023.100777","DOIUrl":"https://doi.org/10.1016/j.disopt.2023.100777","url":null,"abstract":"<div><p>The Grundy domination number, <span><math><mrow><msub><mrow><mi>γ</mi></mrow><mrow><mi>gr</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, of a graph <span><math><mi>G</mi></math></span> is the maximum length of a sequence <span><math><mrow><mo>(</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></mrow></math></span> of vertices in <span><math><mi>G</mi></math></span> such that for every <span><math><mrow><mi>i</mi><mo>∈</mo><mrow><mo>{</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>k</mi><mo>}</mo></mrow></mrow></math></span>, the closed neighborhood <span><math><mrow><mi>N</mi><mrow><mo>[</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>]</mo></mrow></mrow></math></span> contains a vertex that does not belong to any closed neighborhood <span><math><mrow><mi>N</mi><mrow><mo>[</mo><msub><mrow><mi>v</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>]</mo></mrow></mrow></math></span>, where <span><math><mrow><mi>j</mi><mo>&lt;</mo><mi>i</mi></mrow></math></span>. It is well known that the Grundy domination number of any graph <span><math><mi>G</mi></math></span> is greater than or equal to the upper domination number <span><math><mrow><mi>Γ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>, which is in turn greater than or equal to the independence number <span><math><mrow><mi>α</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>. In this paper, we initiate the study of the class of graphs <span><math><mi>G</mi></math></span> with <span><math><mrow><mi>Γ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><msub><mrow><mi>γ</mi></mrow><mrow><mi>gr</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> and its subclass consisting of graphs <span><math><mi>G</mi></math></span> with <span><math><mrow><mi>α</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><msub><mrow><mi>γ</mi></mrow><mrow><mi>gr</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span>. We characterize the latter class of graphs among all twin-free connected graphs, provide a number of properties of these graphs, and prove that the hypercubes are members of this class. In addition, we give several necessary conditions for graphs <span><math><mi>G</mi></math></span> with <span><math><mrow><mi>Γ</mi><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow><mo>=</mo><msub><mrow><mi>γ</mi></mrow><mrow><mi>gr</mi></mrow></msub><mrow><mo>(</mo><mi>G</mi><mo>)</mo></mrow></mrow></math></span> and present large families of such graphs.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"48 ","pages":"Article 100777"},"PeriodicalIF":1.1,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49734399","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
EPTAS for load balancing problem on parallel machines with a non-renewable resource 不可再生资源并行机负载平衡问题的EPTAS
IF 1.1 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2023-05-01 DOI: 10.1016/j.disopt.2023.100775
G. Jaykrishnan, Asaf Levin

The problem considered is the non-preemptive scheduling of independent jobs that consume a resource (which is non-renewable and replenished regularly) on parallel uniformly related machines. The input defines the speed of machines, size of jobs, the quantity of the resource required by the jobs, the replenished quantities, and replenishment dates of the resource. Every job can start processing only after the required quantity of the resource is allocated to the job. The objective function is a generalization of makespan minimization and minimization of the lp-norm of the vector of loads of the machines. We present an EPTAS for this problem. Prior to our work only a PTAS was known in this non-renewable resource settings only for the special case of our problem of makespan minimization on identical machines.

所考虑的问题是在并行一致相关机器上消耗资源(不可再生且定期补充)的独立作业的非抢占式调度。输入定义机器的速度、作业的大小、作业所需的资源数量、补充的数量以及资源的补充日期。每个作业只有在分配了所需数量的资源后才能开始处理。目标函数是机器负载向量的lp范数的完工期最小化和最小化的推广。我们针对这个问题提出了EPTAS。在我们的工作之前,在这种不可再生资源环境中,只有一个PTAS是已知的,只是针对我们在相同机器上最大化生产时间问题的特殊情况。
{"title":"EPTAS for load balancing problem on parallel machines with a non-renewable resource","authors":"G. Jaykrishnan,&nbsp;Asaf Levin","doi":"10.1016/j.disopt.2023.100775","DOIUrl":"https://doi.org/10.1016/j.disopt.2023.100775","url":null,"abstract":"<div><p>The problem considered is the non-preemptive scheduling of independent jobs that consume a resource (which is non-renewable and replenished regularly) on parallel uniformly related machines. The input defines the speed of machines, size of jobs, the quantity of the resource required by the jobs, the replenished quantities, and replenishment dates of the resource. Every job can start processing only after the required quantity of the resource is allocated to the job. The objective function is a generalization of makespan minimization and minimization of the <span><math><msub><mrow><mi>l</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span><span>-norm of the vector of loads of the machines. We present an EPTAS for this problem. Prior to our work only a PTAS was known in this non-renewable resource settings only for the special case of our problem of makespan minimization on identical machines.</span></p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"48 ","pages":"Article 100775"},"PeriodicalIF":1.1,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49809021","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
Approximating single- and multi-objective nonlinear sum and product knapsack problems 单目标和多目标非线性和积背包问题的逼近
IF 1.1 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2023-05-01 DOI: 10.1016/j.disopt.2023.100771
Jan Boeckmann , Clemens Thielen , Ulrich Pferschy

We present a fully polynomial-time approximation scheme (FPTAS) for a very general version of the well-known knapsack problem. This generalization covers, with few exceptions, all versions of knapsack problems that have been studied in the literature so far and allows for an objective function consisting of sums or products of possibly nonlinear, separable item profits, while the knapsack constraint states an upper bound on the sum of possibly nonlinear, separable item weights. Moreover, we extend our FPTAS to a multi-objective fully polynomial-time approximation scheme (MFPTAS) for the multi-objective version of the problem.

As applications of our general algorithms, we obtain the first FPTAS for the recently-introduced 0–1 time-bomb knapsack problem as well as FPTASs for a variety of robust knapsack problems. Moreover, we extend our FPTAS to the minimization version of our general problem, which, in particular, allows us to explicitly state an FPTAS for the classical minimization knapsack problem, which has been missing in the literature so far.

我们提出了一个完全多项式时间近似方案(FPTAS)的一个非常普遍的版本众所周知的背包问题。除了少数例外,这种推广涵盖了迄今为止文献中研究的背包问题的所有版本,并允许由可能非线性、可分离的项目利润的和或乘积组成的目标函数,而背包约束规定了可能非线性、不可分的项目权重的和的上界。此外,我们将FPTAS扩展到该问题的多目标版本的多目标全多项式时间近似方案(MFPTAS)。作为我们通用算法的应用,我们获得了最近引入的0–1定时炸弹背包问题的第一个FPTAS,以及各种鲁棒背包问题的FPTAS。此外,我们将我们的FPTAS扩展到我们的一般问题的最小化版本,这特别允许我们明确地为经典最小化背包问题声明FPTAS,这在迄今为止的文献中是缺失的。
{"title":"Approximating single- and multi-objective nonlinear sum and product knapsack problems","authors":"Jan Boeckmann ,&nbsp;Clemens Thielen ,&nbsp;Ulrich Pferschy","doi":"10.1016/j.disopt.2023.100771","DOIUrl":"https://doi.org/10.1016/j.disopt.2023.100771","url":null,"abstract":"<div><p>We present a fully polynomial-time approximation scheme (FPTAS) for a very general version of the well-known knapsack problem. This generalization covers, with few exceptions, all versions of knapsack problems that have been studied in the literature so far and allows for an objective function consisting of sums or products of possibly nonlinear, separable item profits, while the knapsack constraint states an upper bound on the sum of possibly nonlinear, separable item weights. Moreover, we extend our FPTAS to a multi-objective fully polynomial-time approximation scheme (MFPTAS) for the multi-objective version of the problem.</p><p>As applications of our general algorithms, we obtain the first FPTAS for the recently-introduced 0–1 time-bomb knapsack problem as well as FPTASs for a variety of robust knapsack problems. Moreover, we extend our FPTAS to the minimization version of our general problem, which, in particular, allows us to explicitly state an FPTAS for the classical minimization knapsack problem, which has been missing in the literature so far.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"48 ","pages":"Article 100771"},"PeriodicalIF":1.1,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49716337","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
Reachability in choice networks 选择网络的可达性
IF 1.1 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2023-05-01 DOI: 10.1016/j.disopt.2023.100761
Piotr Wojciechowski , K. Subramani , Alvaro Velasquez
<div><p>In this paper, we investigate the problem of determining <span><math><mrow><mi>s</mi><mo>−</mo><mi>t</mi></mrow></math></span> reachability in <strong>choice networks</strong>. In the traditional <span><math><mrow><mi>s</mi><mo>−</mo><mi>t</mi></mrow></math></span> reachability problem, we are given a weighted network tuple <span><math><mrow><mi>G</mi><mo>=</mo><mrow><mo>〈</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>,</mo><mi>c</mi><mo>,</mo><mi>s</mi><mo>,</mo><mi>t</mi><mo>〉</mo></mrow></mrow></math></span>, with the goal of checking if there exists a path from <span><math><mi>s</mi></math></span> to <span><math><mi>t</mi></math></span> in <span><math><mi>G</mi></math></span>. In an optional choice network, we are given a choice set <span><math><mrow><mi>S</mi><mo>⊆</mo><mi>E</mi><mo>×</mo><mi>E</mi></mrow></math></span>, in addition to the network tuple <span><math><mi>G</mi></math></span>. In the <span><math><mrow><mi>s</mi><mo>−</mo><mi>t</mi></mrow></math></span> reachability problem in choice networks (OCR<span><math><msub><mrow></mrow><mrow><mi>D</mi></mrow></msub></math></span>), the goal is to find whether there exists a path from vertex <span><math><mi>s</mi></math></span> to vertex <span><math><mi>t</mi></math></span>, with the caveat that at most one edge from each edge-pair <span><math><mrow><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mo>∈</mo><mi>S</mi></mrow></math></span> is used in the path. OCR<span><math><msub><mrow></mrow><mrow><mi>D</mi></mrow></msub></math></span> finds applications in a number of domains, including <strong>routing in wireless networks</strong> and <strong>sensor placement</strong>. We analyze the computational complexities of the OCR<span><math><msub><mrow></mrow><mrow><mi>D</mi></mrow></msub></math></span> problem and its variants from a number of algorithmic perspectives. We show that the problem is <strong>NP-complete</strong> in directed acyclic graphs with bounded pathwidth. Additionally, we show that its optimization version is <strong>NPO PB-complete</strong>. Additionally, we show that the problem is fixed-parameter tractable in the cardinality of the choice set <span><math><mi>S</mi></math></span>. In particular, we show that the problem can be solved in time <span><math><mrow><msup><mrow><mi>O</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mn>1</mn><mo>.</mo><mn>4</mn><msup><mrow><mn>2</mn></mrow><mrow><mrow><mo>|</mo><mi>S</mi><mo>|</mo></mrow></mrow></msup><mo>)</mo></mrow></mrow></math></span>. We also consider weighted versions of the OCR<span><math><msub><mrow></mrow><mrow><mi>D</mi></mrow></msub></math></span> problem and detail their computational complexities; in particular, the optimization version of the <span><math><mrow><mi>W</mi><mi>O</mi><mi>C</mi><msub><mrow><mi>R</mi></mrow><mrow><mi>D</mi></mrow></msub></mrow></math></span> problem is <strong>NPO-complete</strong>. While similar results have been obtained for related problems, our results improve
在本文中,我们研究了在选择网络中确定s−t可达性的问题。在传统的s−t可达性问题中,我们给出了一个加权网络元组G=〈V,E,c,s,t〉,目的是检查G中是否存在从s到t的路径。在可选选择网络中,除了网络元组G之外,我们还得到了一个选择集s⊆E×E,目标是找出是否存在从顶点s到顶点t的路径,但需要注意的是,该路径中最多使用每个边对(x,y)∈s中的一条边。OCRD在许多领域都有应用,包括无线网络中的路由和传感器放置。我们从多个算法角度分析了OCRD问题及其变体的计算复杂性。我们证明了具有有界路径宽度的有向无环图中的问题是NP完全的。此外,我们还展示了它的优化版本是NPO-PB完整的。此外,我们证明了该问题在选择集S的基数中是可处理的固定参数。特别地,我们证明该问题可以在时间O*(1.42|S|)内求解。我们还考虑了OCRD问题的加权版本,并详细说明了它们的计算复杂性;特别地,WOCRD问题的优化版本是NPO完全的。虽然相关问题也得到了类似的结果,但我们的结果通过提供更强的结果或提供更有限的图类型的结果来改进这些结果。
{"title":"Reachability in choice networks","authors":"Piotr Wojciechowski ,&nbsp;K. Subramani ,&nbsp;Alvaro Velasquez","doi":"10.1016/j.disopt.2023.100761","DOIUrl":"https://doi.org/10.1016/j.disopt.2023.100761","url":null,"abstract":"&lt;div&gt;&lt;p&gt;In this paper, we investigate the problem of determining &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; reachability in &lt;strong&gt;choice networks&lt;/strong&gt;. In the traditional &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; reachability problem, we are given a weighted network tuple &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;mi&gt;c&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;〉&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, with the goal of checking if there exists a path from &lt;span&gt;&lt;math&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; to &lt;span&gt;&lt;math&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; in &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. In an optional choice network, we are given a choice set &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;⊆&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;mo&gt;×&lt;/mo&gt;&lt;mi&gt;E&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;, in addition to the network tuple &lt;span&gt;&lt;math&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. In the &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; reachability problem in choice networks (OCR&lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt;), the goal is to find whether there exists a path from vertex &lt;span&gt;&lt;math&gt;&lt;mi&gt;s&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; to vertex &lt;span&gt;&lt;math&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, with the caveat that at most one edge from each edge-pair &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is used in the path. OCR&lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; finds applications in a number of domains, including &lt;strong&gt;routing in wireless networks&lt;/strong&gt; and &lt;strong&gt;sensor placement&lt;/strong&gt;. We analyze the computational complexities of the OCR&lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; problem and its variants from a number of algorithmic perspectives. We show that the problem is &lt;strong&gt;NP-complete&lt;/strong&gt; in directed acyclic graphs with bounded pathwidth. Additionally, we show that its optimization version is &lt;strong&gt;NPO PB-complete&lt;/strong&gt;. Additionally, we show that the problem is fixed-parameter tractable in the cardinality of the choice set &lt;span&gt;&lt;math&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. In particular, we show that the problem can be solved in time &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;∗&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;.&lt;/mo&gt;&lt;mn&gt;4&lt;/mn&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;S&lt;/mi&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;. We also consider weighted versions of the OCR&lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; problem and detail their computational complexities; in particular, the optimization version of the &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;W&lt;/mi&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;mi&gt;C&lt;/mi&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; problem is &lt;strong&gt;NPO-complete&lt;/strong&gt;. While similar results have been obtained for related problems, our results improve ","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"48 ","pages":"Article 100761"},"PeriodicalIF":1.1,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49809017","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 complexity of 2-vertex-connected orientation in mixed graphs 混合图中2-顶点连通方向的复杂性
IF 1.1 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2023-05-01 DOI: 10.1016/j.disopt.2023.100774
Florian Hörsch , Zoltán Szigeti

We consider two possible extensions of a theorem of Thomassen characterizing the graphs admitting a 2-vertex-connected orientation. First, we show that the problem of deciding whether a mixed graph has a 2-vertex-connected orientation is NP-hard. This answers a question of Bang-Jensen, Huang and Zhu. For the second part, we call a directed graph D=(V,A)2T-connected for some TV if D is 2-arc-connected and Dv is strongly connected for all vT. We deduce a characterization of the graphs admitting a 2T-connected orientation from the theorem of Thomassen.

我们考虑托马森定理的两个可能的扩展,该定理刻画了允许2-顶点连通方向的图。首先,我们证明了判定混合图是否具有2-顶点连通方向的问题是NP困难的。这回答了邦、黄、朱的一个问题。对于第二部分,我们称有向图D=(V,a)2T连通于某些T⊆V,如果D是2-arc连通的,并且D−V强连通于所有V∈T。我们从托马森定理中推导出了图的一个特征,它允许2T连通方向。
{"title":"The complexity of 2-vertex-connected orientation in mixed graphs","authors":"Florian Hörsch ,&nbsp;Zoltán Szigeti","doi":"10.1016/j.disopt.2023.100774","DOIUrl":"https://doi.org/10.1016/j.disopt.2023.100774","url":null,"abstract":"<div><p>We consider two possible extensions of a theorem of Thomassen characterizing the graphs admitting a 2-vertex-connected orientation. First, we show that the problem of deciding whether a mixed graph has a 2-vertex-connected orientation is NP-hard. This answers a question of Bang-Jensen, Huang and Zhu. For the second part, we call a directed graph <span><math><mrow><mi>D</mi><mo>=</mo><mrow><mo>(</mo><mi>V</mi><mo>,</mo><mi>A</mi><mo>)</mo></mrow></mrow></math></span>\u0000<span><math><mrow><mn>2</mn><mi>T</mi></mrow></math></span>-connected for some <span><math><mrow><mi>T</mi><mo>⊆</mo><mi>V</mi></mrow></math></span> if <span><math><mi>D</mi></math></span> is 2-arc-connected and <span><math><mrow><mi>D</mi><mo>−</mo><mi>v</mi></mrow></math></span> is strongly connected for all <span><math><mrow><mi>v</mi><mo>∈</mo><mi>T</mi></mrow></math></span>. We deduce a characterization of the graphs admitting a <span><math><mrow><mn>2</mn><mi>T</mi></mrow></math></span>-connected orientation from the theorem of Thomassen.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"48 ","pages":"Article 100774"},"PeriodicalIF":1.1,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49809020","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 polytope of binary sequences with bounded variation 有界变差二值序列的多面体
IF 1.1 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2023-05-01 DOI: 10.1016/j.disopt.2023.100776
Christoph Buchheim, Maja Hügging

We investigate the problem of optimizing a linear objective function over the set of all binary vectors of length n with bounded variation, where the latter is defined as the number of pairs of consecutive entries with different value. This problem arises naturally in many applications, e.g., in unit commitment problems or when discretizing binary optimal control problems subject to a bounded total variation. We study two variants of the problem. In the first one, the variation of the binary vector is penalized in the objective function, while in the second one, it is bounded by a hard constraint. We show that the first variant is easy to deal with while the second variant turns out to be more complex, but still tractable. For the latter case, we present a complete polyhedral description of the convex hull of feasible solutions by facet-inducing inequalities and devise an exact linear-time separation algorithm. The proof of completeness also yields a new exact primal algorithm with a running time of O(nlogn), which is significantly faster than the straightforward dynamic programming approach. Finally, we devise a compact extended formulation.

A preliminary version of this article has been published in the Proceedings of the 7th International Symposium on Combinatorial Optimization (ISCO 2022) (Buchheim and Hügging, 2022).

我们研究了在长度为n的具有有界变化的所有二进制向量集上优化线性目标函数的问题,其中后者被定义为具有不同值的连续项对的数量。这个问题在许多应用中都会自然出现,例如,在单元组合问题中,或者在离散服从有界总变差的二元最优控制问题时。我们研究了这个问题的两种变体。在第一种方法中,二元向量的变化在目标函数中受到惩罚,而在第二种方法中则受到硬约束的约束。我们表明,第一种变体很容易处理,而第二种变体更复杂,但仍然易于处理。对于后一种情况,我们通过分面诱导不等式给出了可行解凸包的完整多面体描述,并设计了一个精确的线性时间分离算法。完整性的证明还产生了一个运行时间为O(nlogn)的新的精确原始算法,它比直接的动态规划方法快得多。最后,我们设计了一个紧凑的扩展公式。本文的初步版本已发表在《第七届国际组合优化研讨会论文集》(ISCO 2022)上(Buchheim和Hügging,2022)。
{"title":"The polytope of binary sequences with bounded variation","authors":"Christoph Buchheim,&nbsp;Maja Hügging","doi":"10.1016/j.disopt.2023.100776","DOIUrl":"https://doi.org/10.1016/j.disopt.2023.100776","url":null,"abstract":"<div><p><span>We investigate the problem of optimizing a linear objective function over the set of all binary vectors of length </span><span><math><mi>n</mi></math></span><span> with bounded variation<span>, where the latter is defined as the number of pairs of consecutive entries with different value. This problem arises naturally in many applications, e.g., in unit commitment problems or when discretizing binary optimal control problems<span> subject to a bounded total variation. We study two variants of the problem. In the first one, the variation of the binary vector is penalized in the objective function, while in the second one, it is bounded by a hard constraint. We show that the first variant is easy to deal with while the second variant turns out to be more complex, but still tractable. For the latter case, we present a complete polyhedral description of the convex hull of feasible solutions by facet-inducing inequalities and devise an exact linear-time separation algorithm. The proof of completeness also yields a new exact primal algorithm with a running time of </span></span></span><span><math><mrow><mi>O</mi><mrow><mo>(</mo><mi>n</mi><mo>log</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span>, which is significantly faster than the straightforward dynamic programming approach. Finally, we devise a compact extended formulation.</p><p>A preliminary version of this article has been published in the Proceedings of the 7th International Symposium on Combinatorial Optimization (ISCO 2022) (Buchheim and Hügging, 2022).</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"48 ","pages":"Article 100776"},"PeriodicalIF":1.1,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49716352","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
Minimum gradation in greyscales of graphs 图形灰度中的最小灰度
IF 1.1 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2023-05-01 DOI: 10.1016/j.disopt.2023.100773
Natalia de Castro , María A. Garrido-Vizuete , Rafael Robles , María Trinidad Villar-Liñán

In this paper we present the notion of greyscale of a graph as a colouring of its vertices that uses colours from the real interval [0,1]. Any greyscale induces another colouring by assigning to each edge the non-negative difference between the colours of its vertices. These edge colours are ordered in lexicographical decreasing ordering and give rise to a new element of the graph: the gradation vector. We introduce the notion of minimum gradation vector as a new invariant for the graph and give polynomial algorithms to obtain it. These algorithms also output all greyscales that produce the minimum gradation vector. This way we tackle and solve a novel vectorial optimization problem in graphs that may generate more satisfactory solutions than those generated by known scalar optimization approaches.

在本文中,我们提出了图的灰度作为其顶点的着色的概念,该着色使用实区间[0,1]中的颜色。任何灰度都会通过为每条边指定其顶点颜色之间的非负差异来引发另一种颜色。这些边缘颜色是按字典递减顺序排列的,并产生了图形的一个新元素:渐变矢量。我们引入了最小灰度矢量作为图的一个新不变量的概念,并给出了获得它的多项式算法,这些算法还输出了产生最小灰度矢量的所有灰度。通过这种方式,我们解决了图中的一个新的矢量优化问题,该问题可能会产生比已知标量优化方法更令人满意的解。
{"title":"Minimum gradation in greyscales of graphs","authors":"Natalia de Castro ,&nbsp;María A. Garrido-Vizuete ,&nbsp;Rafael Robles ,&nbsp;María Trinidad Villar-Liñán","doi":"10.1016/j.disopt.2023.100773","DOIUrl":"https://doi.org/10.1016/j.disopt.2023.100773","url":null,"abstract":"<div><p>In this paper we present the notion of greyscale of a graph as a colouring of its vertices that uses colours from the real interval [0,1]. Any greyscale induces another colouring by assigning to each edge the non-negative difference between the colours of its vertices. These edge colours are ordered in lexicographical decreasing ordering and give rise to a new element of the graph: the gradation vector. We introduce the notion of minimum gradation vector as a new invariant for the graph and give polynomial algorithms to obtain it. These algorithms also output all greyscales that produce the minimum gradation vector. This way we tackle and solve a novel vectorial optimization problem in graphs that may generate more satisfactory solutions than those generated by known scalar optimization approaches.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"48 ","pages":"Article 100773"},"PeriodicalIF":1.1,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49809019","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
Approximating single- and multi-objective nonlinear sum and product knapsack problems 单目标和多目标非线性和积背包问题的逼近
IF 1.1 4区 数学 Q3 MATHEMATICS, APPLIED Pub Date : 2023-05-01 DOI: 10.1016/j.disopt.2023.100771
Jan Boeckmann , Clemens Thielen , Ulrich Pferschy

We present a fully polynomial-time approximation scheme (FPTAS) for a very general version of the well-known knapsack problem. This generalization covers, with few exceptions, all versions of knapsack problems that have been studied in the literature so far and allows for an objective function consisting of sums or products of possibly nonlinear, separable item profits, while the knapsack constraint states an upper bound on the sum of possibly nonlinear, separable item weights. Moreover, we extend our FPTAS to a multi-objective fully polynomial-time approximation scheme (MFPTAS) for the multi-objective version of the problem.

As applications of our general algorithms, we obtain the first FPTAS for the recently-introduced 0–1 time-bomb knapsack problem as well as FPTASs for a variety of robust knapsack problems. Moreover, we extend our FPTAS to the minimization version of our general problem, which, in particular, allows us to explicitly state an FPTAS for the classical minimization knapsack problem, which has been missing in the literature so far.

我们提出了一个完全多项式时间近似方案(FPTAS)的一个非常普遍的版本众所周知的背包问题。除了少数例外,这种推广涵盖了迄今为止文献中研究的背包问题的所有版本,并允许由可能非线性、可分离的项目利润的和或乘积组成的目标函数,而背包约束规定了可能非线性、不可分的项目权重的和的上界。此外,我们将FPTAS扩展到该问题的多目标版本的多目标全多项式时间近似方案(MFPTAS)。作为我们通用算法的应用,我们获得了最近引入的0–1定时炸弹背包问题的第一个FPTAS,以及各种鲁棒背包问题的FPTAS。此外,我们将我们的FPTAS扩展到我们的一般问题的最小化版本,这特别允许我们明确地为经典最小化背包问题声明FPTAS,这在迄今为止的文献中是缺失的。
{"title":"Approximating single- and multi-objective nonlinear sum and product knapsack problems","authors":"Jan Boeckmann ,&nbsp;Clemens Thielen ,&nbsp;Ulrich Pferschy","doi":"10.1016/j.disopt.2023.100771","DOIUrl":"https://doi.org/10.1016/j.disopt.2023.100771","url":null,"abstract":"<div><p>We present a fully polynomial-time approximation scheme (FPTAS) for a very general version of the well-known knapsack problem. This generalization covers, with few exceptions, all versions of knapsack problems that have been studied in the literature so far and allows for an objective function consisting of sums or products of possibly nonlinear, separable item profits, while the knapsack constraint states an upper bound on the sum of possibly nonlinear, separable item weights. Moreover, we extend our FPTAS to a multi-objective fully polynomial-time approximation scheme (MFPTAS) for the multi-objective version of the problem.</p><p>As applications of our general algorithms, we obtain the first FPTAS for the recently-introduced 0–1 time-bomb knapsack problem as well as FPTASs for a variety of robust knapsack problems. Moreover, we extend our FPTAS to the minimization version of our general problem, which, in particular, allows us to explicitly state an FPTAS for the classical minimization knapsack problem, which has been missing in the literature so far.</p></div>","PeriodicalId":50571,"journal":{"name":"Discrete Optimization","volume":"48 ","pages":"Article 100771"},"PeriodicalIF":1.1,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49809024","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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1