<p>Given an edge-weighted graph $G=(V,E)$ the problem of finding the shortest path is known to be in P ---and indeed a simple approach would be Dijkstra's algorithm which can solve this problem in $O(V^2)$. A similar problem is to find the maximum path in G from a source node to a target node and this can be solved with Integer Programming so that, as far as I know, this is not known to be in P.</p>

<p>Now, the problem of finding a path in G such that it deviates the minimum from a given target value (typically larger than the optimal distance but less than the maximum distance that separates the source and target nodes) has been conjectured to be in EXPTIME (see section "Conventions" of <a href="http://search-conference.org/index.php/Main/SOCS09program" rel="nofollow">A depth-first approach to target-value search</a> in the proceedings of SoCS 2009). In particular, this paper addresses this particular problem for  directed acyclic graphs (DAGs). A previous work is <a href="http://www.uwosh.edu/faculty_staff/furcyd/search_symposium_2008/schedule.html" rel="nofollow">Heuristic Search for Target-Value Path Problem</a>. There is event a US Patent of this algorithm <a href="http://www.google.es/patents?hl=es&amp;lr=&amp;vid=USPATAPP12497353&amp;id=gojwAAAAEBAJ&amp;oi=fnd&amp;dq=%22depth-first+search+for+target+value+problems%22&amp;printsec=abstract#v=onepage&amp;q=%22depth-first%20search%20for%20target%20value%20problems%22&amp;f=false" rel="nofollow">US 2011/0004625</a>.</p>

<p>I've been searching for related problems in other fields of Computer Science and Mathematics and strikingly, I have found none though this problem is clearly relevant in practice ---there are tons of opportunities to look for a specific target value instead of the minimum or the maximum path.</p>

<p>Do you know related problems to this or additional bibliographical references to this problem? Any information on this problem including studies of their complexity would be very welcome</p>

CC BY-SA 3.0
2012-04-28T13:59:22.640Z
Do you mean "conjectured to be EXPTIME-complete"?  Membership in EXPTIME seems pretty easy: Enumerate all simple paths by brute force.
Jeffε
CC BY-SA 3.0
2012-04-28T21:32:07.613Z
Well, the authors refer just to EXPTIME but you are definitely right and that is trivial. I guess they meant EXPTIME-complete
Carlos Linares López
<cc.complexity-theory><graph-theory><graph-algorithms>
Target-Value Search
Carlos Linares López
# Target-Value Search

(Asked by: username_0 on 2012-04-28)

Given an edge-weighted graph $G=(V,E)$ the problem of finding the shortest path is known to be in P ---and indeed a simple approach would be Dijkstra's algorithm which can solve this problem in $O(V^2)$. A similar problem is to find the maximum path in G from a source node to a target node and this can be solved with Integer Programming so that, as far as I know, this is not known to be in P.

Now, the problem of finding a path in G such that it deviates the minimum from a given target value (typically larger than the optimal distance but less than the maximum distance that separates the source and target nodes) has been conjectured to be in EXPTIME (see section "Conventions" of [A depth-first approach to target-value search](http://search-conference.org/index.php/Main/SOCS09program) in the proceedings of SoCS 2009). In particular, this paper addresses this particular problem for directed acyclic graphs (DAGs). A previous work is [Heuristic Search for Target-Value Path Problem](http://www.uwosh.edu/faculty_staff/furcyd/search_symposium_2008/schedule.html). There is event a US Patent of this algorithm [US 2011/0004625](http://www.google.es/patents?hl=es&lr=&vid=USPATAPP12497353&id=gojwAAAAEBAJ&oi=fnd&dq=%22depth-first+search+for+target+value+problems%22&printsec=abstract#v=onepage&q=%22depth-first%20search%20for%20target%20value%20problems%22&f=false).

I've been searching for related problems in other fields of Computer Science and Mathematics and strikingly, I have found none though this problem is clearly relevant in practice ---there are tons of opportunities to look for a specific target value instead of the minimum or the maximum path.

Do you know related problems to this or additional bibliographical references to this problem? Any information on this problem including studies of their complexity would be very welcome

**Tags:** cc.complexity-theory, graph-theory, graph-algorithms
> **Comments:**
> **username_1**: Do you mean "conjectured to be EXPTIME-complete"?  Membership in EXPTIME seems pretty easy: Enumerate all simple paths by brute force.  
> **username_0**: Well, the authors refer just to EXPTIME but you are definitely right and that is trivial. I guess they meant EXPTIME-complete  

---

## 0 answers

