Sequential Shortest Path Interdiction with Incomplete Information and Limited Feedback

2021 ◽  
Author(s):  
Jing Yang ◽  
Juan S. Borrero ◽  
Oleg A. Prokopyev ◽  
Denis Sauré

We study sequential shortest path interdiction, where in each period an interdictor with incomplete knowledge of the arc costs blocks at most [Formula: see text] arcs, and an evader with complete knowledge about the costs traverses a shortest path between two fixed nodes in the interdicted network. In each period, the interdictor, who aims at maximizing the evader’s cumulative cost over a finite time horizon, and whose initial knowledge is limited to valid lower and upper bounds on the costs, observes only the total cost of the path traversed by the evader, but not the path itself. This limited information feedback is then used by the interdictor to refine knowledge of the network’s costs, which should lead to better decisions. Different interdiction decisions lead to different responses by the evader and thus to different feedback. Focusing on minimizing the number of periods it takes a policy to recover a full information interdiction decision (that taken by an interdictor with complete knowledge about costs), we show that a class of greedy interdiction policies requires, in the worst case, an exponential number of periods to converge. Nonetheless, we show that under less stringent modes of feedback, convergence in polynomial time is possible. In particular, we consider different versions of imperfect randomized feedback that allow establishing polynomial expected convergence bounds. Finally, we also discuss a generalization of our approach for the case of a strategic evader, who does not necessarily follow a shortest path in each period.

2020 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Warattaya Chinnakum ◽  
Laura Berrout Ramos ◽  
Olugbenga Iyiola ◽  
Vladik Kreinovich

Purpose In real life, we only know the consequences of each possible action with some uncertainty. A typical example is interval uncertainty, when we only know the lower and upper bounds on the expected gain. A usual way to compare such interval-valued alternatives is to use the optimism–pessimism criterion developed by Nobelist Leo Hurwicz. In this approach, a weighted combination of the worst-case and the best-case gains is maximized. There exist several justifications for this criterion; however, some of the assumptions behind these justifications are not 100% convincing. The purpose of this paper is to find a more convincing explanation. Design/methodology/approach The authors used utility approach to decision-making. Findings The authors proposed new, hopefully more convincing, justifications for Hurwicz’s approach. Originality/value This is a new, more intuitive explanation of Hurwicz’s approach to decision-making under interval uncertainty.


Author(s):  
Nafiseh Masoudi ◽  
Georges M. Fadel ◽  
Margaret M. Wiecek

Abstract Routing or path-planning is the problem of finding a collision-free and preferably shortest path in an environment usually scattered with polygonal or polyhedral obstacles. The geometric algorithms oftentimes tackle the problem by modeling the environment as a collision-free graph. Search algorithms such as Dijkstra’s can then be applied to find an optimal path on the created graph. Previously developed methods to construct the collision-free graph, without loss of generality, explore the entire workspace of the problem. For the single-source single-destination planning problems, this results in generating some unnecessary information that has little value and could increase the time complexity of the algorithm. In this paper, first a comprehensive review of the previous studies on the path-planning subject is presented. Next, an approach to address the planar problem based on the notion of convex hulls is introduced and its efficiency is tested on sample planar problems. The proposed algorithm focuses only on a portion of the workspace interacting with the straight line connecting the start and goal points. Hence, we are able to reduce the size of the roadmap while generating the exact globally optimal solution. Considering the worst case that all the obstacles in a planar workspace are intersecting, the algorithm yields a time complexity of O(n log(n/f)), with n being the total number of vertices and f being the number of obstacles. The computational complexity of the algorithm outperforms the previous attempts in reducing the size of the graph yet generates the exact solution.


2010 ◽  
Vol 18 (3) ◽  
pp. 357-381 ◽  
Author(s):  
Christian Horoba

We present a natural vector-valued fitness function f for the multi-objective shortest path problem, which is a fundamental multi-objective combinatorial optimization problem known to be NP-hard. Thereafter, we conduct a rigorous runtime analysis of a simple evolutionary algorithm (EA) optimizing f. Interestingly, this simple general algorithm is a fully polynomial-time randomized approximation scheme (FPRAS) for the problem under consideration, which exemplifies how EAs are able to find good approximate solutions for hard problems. Furthermore, we present lower bounds for the worst-case optimization time.


2014 ◽  
Vol 2014 ◽  
pp. 1-11 ◽  
Author(s):  
Zhenghao Xi ◽  
Heping Liu ◽  
Huaping Liu ◽  
Bin Yang

To solve the persistently multiple object tracking in cluttered environments, this paper presents a novel tracking association approach based on the shortest path faster algorithm. First, the multiple object tracking is formulated as an integer programming problem of the flow network. Then we relax the integer programming to a standard linear programming problem. Therefore, the global optimum can be quickly obtained using the shortest path faster algorithm. The proposed method avoids the difficulties of integer programming, and it has a lower worst-case complexity than competing methods but better robustness and tracking accuracy in complex environments. Simulation results show that the proposed algorithm takes less time than other state-of-the-art methods and can operate in real time.


2017 ◽  
Vol 72 (1) ◽  
pp. 17-28
Author(s):  
Robert E. Moses

Paul’s response to the issue concerning idol food at Corinth begins with two important cautions concerning knowledge (1 Cor 8:1–2) and praise for love (8:1, 3) that frame his argument concerning idol food in 8:1–11:1. Paul wants love to serve as a guide for how the Corinthians put their knowledge into practice, and he also shows that “the knowers” have incomplete knowledge. “The knowers” understand Jewish polemic against idolatry (that idols are nothing), but they have overlooked another view (that idols are the work of demons). This essay contends that Paul’s initial caution concerning knowledge at the beginning of his address of this issue serves as the foundation for understanding his stance on food sacrificed to idols. Any food explicitly identified as sacrificed to idols must be rejected by believers both for the sake of love and because of the threat that demons pose to believers.


1995 ◽  
Vol 2 (46) ◽  
Author(s):  
Dany Breslauer ◽  
Livio Colussi ◽  
Laura Toniolo

In this paper we study the exact comparison complexity of the string<br />prefix-matching problem in the deterministic sequential comparison model<br />with equality tests. We derive almost tight lower and upper bounds on<br />the number of symbol comparisons required in the worst case by on-line<br />prefix-matching algorithms for any fixed pattern and variable text. Unlike<br />previous results on the comparison complexity of string-matching and<br />prefix-matching algorithms, our bounds are almost tight for any particular pattern.<br />We also consider the special case where the pattern and the text are the<br />same string. This problem, which we call the string self-prefix problem, is<br />similar to the pattern preprocessing step of the Knuth-Morris-Pratt string-matching<br />algorithm that is used in several comparison efficient string-matching<br />and prefix-matching algorithms, including in our new algorithm.<br />We obtain roughly tight lower and upper bounds on the number of symbol<br />comparisons required in the worst case by on-line self-prefix algorithms.<br />Our algorithms can be implemented in linear time and space in the<br />standard uniform-cost random-access-machine model.


2013 ◽  
Vol 5 (2) ◽  
pp. 42-47
Author(s):  
Veronica Mutiana ◽  
Fitria Amastini ◽  
Noviana Mutiara

High level of traffic density can lead to traffic jam those will make troublesome for driver to reach destination with alternative shortest path on time. Therefore, it is neccessary to make an agent that can choose optimal route without being stuck on traffic jam. In this paper, algorithm for choose optimal route is A* method for shortest path problem and use backtrack process when there is a traffic jam occurs on several roads. The design of algorithm is tested by using data which contain 100 locations or nodes and 158 roads or paths in Gading Serpong with an agent that can searching shortest path and sensor module that can send the traffic status based on number of vehicle on several particular node. Based on testing, A* method does not guarantee for path selection if agent is not full observable with environment and there is some case that can lead a worst case. Index Terms— A* Algorithm, Backtrack, Shortest Path, Traffic Density


2004 ◽  
Vol 2004 (57) ◽  
pp. 3023-3036 ◽  
Author(s):  
P. K. Mishra

We prove the following property for safe marked graphs, safe conflict-free Petri nets, and live and safe extended free-choice Petri nets. We prove the following three results. If the Petri net is a marked graph, then the length of the shortest path is at most(|T|−1)⋅|T|/2. If the Petri net is conflict free, then the length of the shortest path is at most(|T|+1)⋅|T|/2. If the petrinet is live and extended free choice, then the length of the shortest path is at most|T|⋅|T+1|⋅|T+2|/6, whereTis the set of transitions of the net.


Sign in / Sign up

Export Citation Format

Share Document