The space complexity of sum labelling

H Fernau, K Gajjar - Theory of Computing Systems, 2023 - Springer
Theory of Computing Systems, 2023Springer
A graph is called a sum graph if its vertices can be labelled by distinct positive integers such
that there is an edge between two vertices if and only if the sum of their labels is the label of
another vertex of the graph. Most papers on sum graphs consider combinatorial questions
like the minimum number of isolated vertices that need to be added to a given graph to make
it a sum graph. In this paper, we initiate the study of sum graphs from the viewpoint of
computational complexity. Notice that every n-vertex sum graph can be represented by a …
Abstract
A graph is called a sum graph if its vertices can be labelled by distinct positive integers such that there is an edge between two vertices if and only if the sum of their labels is the label of another vertex of the graph. Most papers on sum graphs consider combinatorial questions like the minimum number of isolated vertices that need to be added to a given graph to make it a sum graph. In this paper, we initiate the study of sum graphs from the viewpoint of computational complexity. Notice that every n-vertex sum graph can be represented by a sorted list of n positive integers where edge queries can be answered in time. Therefore, upper-bounding the numbers used as vertex labels also upper-bounds the space complexity of storing the graph in the database. We show that every n-vertex, m-edge, d-degenerate graph can be made a sum graph by adding at most m isolated vertices to it, such that the largest numbers used as vertex labels grows as . This enables us to store the graph using bits of memory. For sparse graphs (graphs with edges), this matches the trivial lower bound of . As planar graphs and forests have constant degeneracy, our result implies an upper bound of on their label numbers. The previously best known upper bound on the numbers needed for labelling general graphs with the minimum number of isolated vertices was , due to Kratochvíl, Miller & Nguyen (2001). Furthermore, their proof was existential, whereas our labelling can be constructed in polynomial time.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果