Abstract:The issue of counting independent sets of a graph, G, represented as i(G), is a significant challenge within combinatorial mathematics. This problem finds practical applications across various fields, including mathematics, computer science, physics, and chemistry. In chemistry, i(G) is recognized as the Merrifield–Simmons (M-S) index for molecular graphs, which is one of the most relevant topological indices related to the boiling point in chemical compounds. This article introduces an innovative algorithm designed for tallying independent sets within grid-like structures. The proposed algorithm is based on the 'branch-and-bound' technique and is applied to compute i(Gm,n) for a square grid formed by m rows and n columns. The proposed approach incorporates the widely recognized vertex reduction rule as the basis for splitting the current subgraph. The methodology involves breaking down the initial grid iteratively until outerplanar graphs are achieved, serving as the 'basic cases' linked to the leaf nodes of the computation tree or when no neighborhood is incident to a minimum of five rectangular internal faces. The time complexity of the branch-and-bound algorithm speeds up the computation of i(Gm,n) compared to traditional methods, like the transfer matrix method. Furthermore, the scope of the proposed algorithm is more general than the algorithms focused on grids since it could be applied to process general mesh graphs.

Counting Nodes in Smolyak Grids

Counting Rules for Computing the Number of Independent Sets of a Grid Graph

Counting Colored Tilings on Grids and Graphs

Proving some conjectures on Kekulé numbers for certain benzenoids by using Chebyshev polynomials

Generating functions and counting formulas for spanning trees and forests in hypergraphs

Counting mobiles by integrable systems

Casting light on integer compositions

Gaussian binomials and the number of sublattices

A Modified Scheme Of Sparse-Matrix Canonical-Grid Method Using Chebyshev Interpolating Green'S Function

Counting locally supercuspidal newforms

Smolyak Type Sparse Grid Collocation Method for Uncertainty Quantification of Nonlinear Stochastic Dynamic Equations

Grid homology for spatial graphs and a Künneth formula of connected sum

Counting Phylogenetic Networks with Few Reticulation Vertices: Galled and Reticulation-Visible Networks

Moss: A Scalable Tool for Efficiently Sampling and Counting 4- and 5-Node Graphlets

Combinatorial and Asymptotical Results on the Neighborhood Grid

Bimonotone Subdivisions of Point Configurations in the Plane

Counting points on Hessenberg Varieties over finite fields

Bivariate Lagrange interpolation at the checkerboard nodes

On the enumeration of three-rowed standard Young tableaux of skew shape in terms of Motzkin numbers

Minimal skew semistandard tableaux and the Hillman--Grassl correspondence