Labelling problems for graphs consist in building distributed
data structures, making it possible to check a given graph property
or to compute a given function, the arguments of which are vertices.
For an inductively computable function D,
if G is a graph with n vertices and of clique-width at most
k, where k is fixed, we can associate with each vertex
x of G a piece of information (bit sequence) lab(x) of length
O(log2(n)) such that we can compute D in constant
time, using only the labels of its arguments.
The preprocessing can be done in time O(h.n)
where h is the height of the syntactic tree of G.
We perform an inductive computation, without using
the tools of monadic second order logic.
This enables us to give an explicit labelling scheme and to
avoid constants of exponential size.