Sciweavers

3 search results - page 1 / 1
» Constrained-Path Labellings on Graphs of Bounded Clique-Widt...
Sort
View
MST
2010
106views more  MST 2010»
13 years 3 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»
13 years 4 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...
SWAT
1998
Springer
108views Algorithms» more  SWAT 1998»
13 years 9 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...