arXiv++ Combinatorics

The maximum independent set (MIS) problem is a fundamental NP-hard combinatorial optimization problem with applications in scheduling, resource allocation, and network analysis. Exact solvers can provide high-quality solutions or optimality certificates, but their computational cost grows rapidly with graph size, while hand-crafted heuristics improve scalability at the expense of guarantees. Learning-based methods offer an alternative by exploiting structural patterns across graph instances, yet directly predicting independent sets can make global coordination difficult on large graphs. We instead use learning to guide multilevel graph coarsening while retaining combinatorial search for final decision making. Our Dual-GNN Multilevel Coarsening framework uses a Partition GNN to score candidate contractions and a Representative GNN to select top-k local independent-set states for each final cluster. Experiments on Erdős--Rényi graphs with up to 2,000 vertices demonstrate a favorable quality--runtime trade-off. On 500-vertex instances with certified optima, our method achieves an average independent-set size of 19.20, corresponding to 99.5\% of the optimal value of 19.30, while reducing the mean wall-clock time from 643.57 seconds for exact solving to 3.41 seconds, yielding an approximately 189$\times$ speedup. On larger graphs with 1,000 and 2,000 vertices, our method achieves the best mean solution quality among all evaluated methods. Moreover, although trained only on Erdős--Rényi graphs with edge probability $p=0.35$, the learned coarsening policy generalizes effectively across both unseen graph densities and structurally different graph families.

For a graph $G = (V, E)$ with vertex set $V$ and edge set $E$, a subset $F$ of $E$ is called an $\emph{edge dominating set}$ (resp. a $\emph{total edge dominating set}$) if every edge in $E\backslash F$ (resp. in $E$) is adjacent to at least one edge in $F$, the minimum cardinality of an edge dominating set (resp. a total edge dominating set) of $G$ is the {\em edge domination number} (resp. {\em total edge domination number}) of $G$, denoted by $γ^{'}(G)$ (resp. $γ_t^{'}(G)$). In the present paper, we prove that the total edge domination problem is NP-complete for bipartite graphs with maximum degree 3. We also design a linear-time algorithm for solving this problem for trees. Finally, for a graph $G$, we give the inequality $γ^{'}(G)\leqslant γ^{'}_{t}(G)\leqslant 2γ^{'}(G)$ and characterize the trees $T$ which obtain the upper or lower bounds in the inequality.

The anti-Kekulé number of a connected graph $G$ is the smallest number of edges whose deletion results in a connected subgraph having no Kekulé structures (perfect matchings). As a common generalization of (conditional) matching preclusion number and anti-Kekulé number of a graph $G$, we introduce $s$-restricted matching preclusion number of $G$ as the smallest number of edges whose deletion results in a subgraph without perfect matchings such that each component has at least $s+1$ vertices. In this paper, we first show that conditional matching preclusion problem and anti-Kekulé problem are NP-complete, respectively, then generalize this result to $s$-restricted matching preclusion problem. Moreover, we give some sufficient conditions to compute $s$-restricted matching preclusion numbers of regular graphs. As applications, $s$-restricted matching preclusion numbers of complete graphs, hypercubes and hyper Petersen networks are determined.