An alternative proof for the NP-completeness of the Grid Subgraph problem

Postgraduate Thesis uoadl:1320877 222 Read counter

Unit:
Διαπανεπιστημιακό ΠΜΣ Λογική και Θεωρία Αλγορίθμων και Υπολογισμού
Library of the School of Science
Deposit date:
2016-10-21
Year:
2016
Author:
Χατζηδημητρίου Δημήτριος
Supervisors info:
Δημήτριος Μ. Θηλυκός Καθηγητής
Original Title:
An alternative proof for the NP-completeness of the Grid Subgraph problem
Languages:
English
Translated title:
Μια εναλλακτική απόδειξη της NP-πληρότητας του προβλήματος "Υπογράφημα Σχάρας"
Summary:
In the field of Graph Drawing, there is great interest for results regarding
the embedding of a given graph on a grid, mainly due to the applications on the
VLSI circuit design. Moreover, determining whether a graph accepts a
unit-length embedding, i.e., a matching of its vertices and edges to vertices
and edges of a large enough grid, is the same as asking whether the graph is a
subgraph of that grid. We consider the Grid Subgraph problem, in which given a
planar (not necessarily connected) graph G, we need to determine if G is
isomorphic to a subgraph of a large enough grid. We prove that this problem is
NP-complete by employing simple and intuitive gadgets to perform a reduction
from a SAT-variant. In addition we prove that a special case of that problem,
the (k*k)-Grid Subgraph problem, in which the size of the grid is given in the
input, is also NP-complete.
Keywords:
Graph embedding, Orthogonal embedding, Unit-length embedding, VLSI design, NP-completeness
Index:
No
Number of index pages:
0
Contains images:
Yes
Number of references:
17
Number of pages:
vi, 30
document.pdf (464 KB) Open in new window