Andrew Bloch-Hansen , Roberto Solis-Oba , Daniel R. Page
{"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}
引用次数: 0
Abstract
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.