Sciweavers

3 search results - page 1 / 1
» Constrained-Path Labellings on Graphs of Bounded Clique-Widt...
Sort
View
MST
2010
106views more  MST 2010»
14 years 8 months ago
Constrained-Path Labellings on Graphs of Bounded Clique-Width
Given a graph G we consider the problem of preprocessing it so that given two vertices x,y and a set X of vertices, we can efficiently report the shortest path (or just its length...
Bruno Courcelle, Andrew Twigg
CORR
2008
Springer
112views Education» more  CORR 2008»
14 years 10 months ago
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
71
Voted
SWAT
1998
Springer
108views Algorithms» more  SWAT 1998»
15 years 2 months ago
Formal Language Constrained Path Problems
Given an alphabet , a (directed) graph G whose edges are weighted and -labeled, and a formal language L , the formal-language-constrained shortest/simple path problem consists of ...
Christopher L. Barrett, Riko Jacob, Madhav V. Mara...