Zi-Meng Wang

Certified Elimination of Source Candidates Under Capacity, Transit-Time, and Deadline Constraints

Source identification is constrained not only by network connectivity but also by whether a finite message can reach observed nodes before a deadline. We study deterministic source-candidate elimination in directed networks with arc capacities and transit times. A time-expanded construction gives an exact causal networ...