Can every undirected graph be transformed into an equivalent graph (for the purposes of path-finding) with a maximum degree of 3 in logspace?
Given an undirected graph G
, is there another graph, H
, such that:
- all vertices of
G
are inH
- H is allowed extra vertices not in G
- if
a
andb
are connected inG
,a
andb
are also connected in inH
(possibly with at least some of the extra vertices in theH
path froma
tob
) - if
c
andd
are not connected inG
,c
andd
are not connected inH
- each vertex in
H
has degree at most 3 - the edges of
H
can be enumerated in logspace given an inputG
Maybe this could be called a logspace reduction of G to a graph that has max degree of 3 that preserves connectivity?