Andrew Bloch-Hansen , Roberto Solis-Oba , Daniel R. Page
{"title":"有向无环图上的小偷定向问题算法","authors":"Andrew Bloch-Hansen , Roberto Solis-Oba , Daniel R. Page","doi":"10.1016/j.tcs.2024.114900","DOIUrl":null,"url":null,"abstract":"<div><div>We consider the scenario of routing an agent called a <em>thief</em> through a weighted graph <span><math><mi>G</mi><mo>=</mo><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>)</mo></math></span> from a start vertex <em>s</em> to an end vertex <em>t</em>. A set <em>I</em> of items each with weight <span><math><msub><mrow><mi>w</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> and profit <span><math><msub><mrow><mi>p</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is distributed among <span><math><mi>V</mi><mo>∖</mo><mo>{</mo><mi>s</mi><mo>,</mo><mi>t</mi><mo>}</mo></math></span>. The thief, who has a knapsack of capacity <em>W</em>, must follow a simple path from <em>s</em> to <em>t</em> within a given time <em>T</em> while packing in the knapsack a set of items taken from the vertices along the path of total weight at most <em>W</em> and maximum profit. The travel time across an edge depends on the edge length and current knapsack load.</div><div>The thief orienteering problem (ThOP) is a generalization of the orienteering problem, the longest path problem, and the 0-1 knapsack problem. We prove that there exists no approximation algorithm for ThOP with constant approximation ratio unless <span><math><mtext>P</mtext><mo>=</mo><mtext>NP</mtext></math></span>, and we present a polynomial-time approximation scheme (PTAS) for a relaxed version of ThOP when <em>G</em> is directed and acyclic that produces solutions that use time at most <span><math><mi>T</mi><mo>(</mo><mn>1</mn><mo>+</mo><mi>ϵ</mi><mo>)</mo></math></span> for any constant <span><math><mi>ϵ</mi><mo>></mo><mn>0</mn></math></span>. We also present a fully polynomial-time approximation scheme (FPTAS) for ThOP on arbitrary undirected graphs where the travel time depends only on the lengths of the edges and <em>T</em> is the length of a shortest path from <em>s</em> to <em>t</em> plus a constant <em>K</em>. Finally, we present a FPTAS for a restricted version of the problem where the input graph is a clique.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1023 ","pages":"Article 114900"},"PeriodicalIF":0.9000,"publicationDate":"2024-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Algorithms for the thief orienteering problem on directed acyclic graphs\",\"authors\":\"Andrew Bloch-Hansen , Roberto Solis-Oba , Daniel R. Page\",\"doi\":\"10.1016/j.tcs.2024.114900\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>We consider the scenario of routing an agent called a <em>thief</em> through a weighted graph <span><math><mi>G</mi><mo>=</mo><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>)</mo></math></span> from a start vertex <em>s</em> to an end vertex <em>t</em>. A set <em>I</em> of items each with weight <span><math><msub><mrow><mi>w</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> and profit <span><math><msub><mrow><mi>p</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is distributed among <span><math><mi>V</mi><mo>∖</mo><mo>{</mo><mi>s</mi><mo>,</mo><mi>t</mi><mo>}</mo></math></span>. The thief, who has a knapsack of capacity <em>W</em>, must follow a simple path from <em>s</em> to <em>t</em> within a given time <em>T</em> while packing in the knapsack a set of items taken from the vertices along the path of total weight at most <em>W</em> and maximum profit. The travel time across an edge depends on the edge length and current knapsack load.</div><div>The thief orienteering problem (ThOP) is a generalization of the orienteering problem, the longest path problem, and the 0-1 knapsack problem. We prove that there exists no approximation algorithm for ThOP with constant approximation ratio unless <span><math><mtext>P</mtext><mo>=</mo><mtext>NP</mtext></math></span>, and we present a polynomial-time approximation scheme (PTAS) for a relaxed version of ThOP when <em>G</em> is directed and acyclic that produces solutions that use time at most <span><math><mi>T</mi><mo>(</mo><mn>1</mn><mo>+</mo><mi>ϵ</mi><mo>)</mo></math></span> for any constant <span><math><mi>ϵ</mi><mo>></mo><mn>0</mn></math></span>. We also present a fully polynomial-time approximation scheme (FPTAS) for ThOP on arbitrary undirected graphs where the travel time depends only on the lengths of the edges and <em>T</em> is the length of a shortest path from <em>s</em> to <em>t</em> plus a constant <em>K</em>. Finally, we present a FPTAS for a restricted version of the problem where the input graph is a clique.</div></div>\",\"PeriodicalId\":49438,\"journal\":{\"name\":\"Theoretical Computer Science\",\"volume\":\"1023 \",\"pages\":\"Article 114900\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-10-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Theoretical Computer Science\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0304397524005176\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397524005176","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
摘要
我们考虑的情况是,让一个名为 "小偷 "的代理通过加权图 G=(V,E) 从起点顶点 s 到终点顶点 t。小偷有一个容量为 W 的背包,他必须在给定的时间 T 内沿着一条简单的路径从 s 到 t,同时在背包中装入一组从沿路顶点取来的物品,这些物品的总重量最多为 W,利润最大。小偷定向问题(ThOP)是定向问题、最长路径问题和 0-1 包问题的一般化。我们证明了除非 P=NP 否则不存在近似率恒定的 ThOP 近似算法,并针对 G 为有向、无环的松弛版 ThOP 提出了多项式时间近似方案 (PTAS),对于任意常数ϵ>0,该方案产生的解最多耗时 T(1+ϵ)。我们还为任意无向图上的 ThOP 提出了一种全多项式时间近似方案 (FPTAS),在这种近似方案中,旅行时间只取决于边的长度,T 是 s 到 t 的最短路径长度加上常数 K。
Algorithms for the thief orienteering problem on directed acyclic graphs
We consider the scenario of routing an agent called a thief through a weighted graph from a start vertex s to an end vertex t. A set I of items each with weight and profit is distributed among . The thief, who has a knapsack of capacity W, must follow a simple path from s to t within a given time T while packing in the knapsack a set of items taken from the vertices along the path of total weight at most W and maximum profit. The travel time across an edge depends on the edge length and current knapsack load.
The thief orienteering problem (ThOP) is a generalization of the orienteering problem, the longest path problem, and the 0-1 knapsack problem. We prove that there exists no approximation algorithm for ThOP with constant approximation ratio unless , and we present a polynomial-time approximation scheme (PTAS) for a relaxed version of ThOP when G is directed and acyclic that produces solutions that use time at most for any constant . We also present a fully polynomial-time approximation scheme (FPTAS) for ThOP on arbitrary undirected graphs where the travel time depends only on the lengths of the edges and T is the length of a shortest path from s to t plus a constant K. Finally, we present a FPTAS for a restricted version of the problem where the input graph is a clique.
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.