Finding Hamiltonian and Longest (s, t)-paths of C-shaped Supergrid Graphs in Linear Time

TL;DR

This paper investigates Hamiltonian paths and cycles in C-shaped supergrid graphs, proving Hamiltonian connectivity under certain conditions and providing linear-time algorithms for finding longest (s, t)-paths, with applications in manufacturing.

Contribution

It introduces linear-time algorithms for finding longest (s, t)-paths in C-shaped supergrid graphs and characterizes their Hamiltonian connectivity, a problem previously open for this class.

Findings

C-shaped supergrid graphs are Hamiltonian connected except under specific conditions.

Linear-time algorithms are developed for longest (s, t)-path computation.

Applications include optimizing stitching and printing traces in manufacturing.

Abstract

A supergrid graph is a finite vertex-induced subgraph of the infinite graph whose vertex set consists of all points of the plane with integer coordinates and in which two vertices are adjacent if the difference of their x or y coordinates is not larger than 1. The Hamiltonian path (cycle) problem is to determine whether a graph contains a simple path (cycle) in which each vertex of the graph appears exactly once. This problem is NP-complete for general graphs and it is also NP-complete for general supergrid graphs. Despite the many applications of the problem, it is still open for many classes, including solid supergrid graphs and supergrid graphs with some holes. A graph is called Hamiltonian connected if it contains a Hamiltonian path between any two distinct vertices. In this paper, first we will study the Hamiltonian cycle property of C-shaped supergrid graphs, which are a special case of rectangular supergrid graphs with a rectangular hole. Next, we will show that C-shaped supergrid graphs are Hamiltonian connected except few conditions. Finally, we will compute a longest path between two distinct vertices in these graphs. The Hamiltonian connectivity of C-shaped supergrid graphs can be applied to compute the optimal stitching trace of computer embroidery machines, and construct the minimum printing trace of 3D printers with a C-like component being printed.