1 research outputs found
Linear-Time Compression of Bounded-Genus Graphs into Information-Theoretically Optimal Number of Bits
A for a class of graphs
consists of an encoding algorithm that computes a binary
string for any given graph in and a
decoding algorithm that recovers from
. A compression scheme for is
if both and run in
linear time and the number of bits of for any -node
graph in is information-theoretically optimal to within
lower-order terms. Trees and plane triangulations were the only known
nontrivial graph classes that admit optimal compression schemes. Based upon
Goodrich's separator decomposition for planar graphs and Djidjev and
Venkatesan's planarizers for bounded-genus graphs, we give an optimal
compression scheme for any hereditary (i.e., closed under taking subgraphs)
class under the premise that any -node graph of to
be encoded comes with a genus- embedding. By Mohar's
linear-time algorithm that embeds a bounded-genus graph on a genus-
surface, our result implies that any hereditary class of genus- graphs
admits an optimal compression scheme. For instance, our result yields the
first-known optimal compression schemes for planar graphs, plane graphs, graphs
embedded on genus- surfaces, graphs with genus or less, -colorable
directed plane graphs, -outerplanar graphs, and forests with degree at most
. For non-hereditary graph classes, we also give a methodology for obtaining
optimal compression schemes. From this methodology, we give the first known
optimal compression schemes for triangulations of genus- surfaces and
floorplans.Comment: 26 pages, 9 figures, accepted to SIAM Journal on Computin