Sciweavers

205 search results - page 4 / 41
» Grid Graph Reachability Problems
Sort
View
PLDI
2004
ACM
14 years 3 months ago
The set constraint/CFL reachability connection in practice
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
John Kodumal, Alexander Aiken
CCCG
2007
13 years 11 months ago
Hamilton Circuits in Hexagonal Grid Graphs
We look at a variant of the Hamilton circuit problem, where the input is restricted to hexagonal grid graphs. A hexagonal grid graph has a vertex set that is a subset of the grid ...
Kamrul Islam, Henk Meijer, Yurai Núñ...
CP
2005
Springer
14 years 3 months ago
Speeding Up Constrained Path Solvers with a Reachability Propagator
Constrained path problems have to do with finding paths in graphs subject to constraints. One way of constraining the graph is by enforcing reachability on nodes. For instance, i...
Luis Quesada, Peter Van Roy, Yves Deville
MOBICOM
2012
ACM
12 years 7 days ago
Temporal reachability graphs
While a natural fit for modeling and understanding mobile networks, time-varying graphs remain poorly understood. Indeed, many of the usual concepts of static graphs have no obvi...
John Whitbeck, Marcelo Dias de Amorim, Vania Conan...
FCS
2006
13 years 11 months ago
Negative-Weight Cycle Algorithms
The problem of finding a negative cycle in a weighted, directed graph is discussed here. First the algorithm for printing out a negative cycle reachable from the source s, with th...
Xiuzhen Huang