Table of Contents
Fetching ...

On balanceable and simply balanceable regular graphs

Milad Ahanjideh, Martin Milanič, Mary Servatius

Abstract

We continue the study of balanceable graphs, defined by Caro, Hansberg, and Montejano in 2021 as graphs $G$ such that any $2$-coloring of the edges of a sufficiently large complete graph containing sufficiently many edges of each color contains a balanced copy of $G$. While the problem of recognizing balanceable graphs was conjectured to be NP-complete by Dailly, Hansberg, and Ventura in 2021, balanceable graphs admit an elegant combinatorial characterization: a graph is balanceable if and only there exist two vertex subsets, one containing half of all the graph's edges and another one such that the corresponding cut contains half of all the graph's edges. We consider a special case of this property, namely when one of the two sets is a vertex cover, and call the corresponding graphs simply balanceable. We prove a number of results on balanceable and simply balanceable regular graphs. First, we characterize simply balanceable regular graphs via a condition involving the independence number of the graph. Second, we address a question of Dailly, Hansberg, and Ventura from 2021 and show that every cubic graph is balanceable. Third, using Brooks' theorem, we show that every $4$-regular graph with order divisible by $4$ is balanceable. Finally, we show that it is NP-complete to determine if a $9$-regular graph is simply balanceable.

On balanceable and simply balanceable regular graphs

Abstract

We continue the study of balanceable graphs, defined by Caro, Hansberg, and Montejano in 2021 as graphs such that any -coloring of the edges of a sufficiently large complete graph containing sufficiently many edges of each color contains a balanced copy of . While the problem of recognizing balanceable graphs was conjectured to be NP-complete by Dailly, Hansberg, and Ventura in 2021, balanceable graphs admit an elegant combinatorial characterization: a graph is balanceable if and only there exist two vertex subsets, one containing half of all the graph's edges and another one such that the corresponding cut contains half of all the graph's edges. We consider a special case of this property, namely when one of the two sets is a vertex cover, and call the corresponding graphs simply balanceable. We prove a number of results on balanceable and simply balanceable regular graphs. First, we characterize simply balanceable regular graphs via a condition involving the independence number of the graph. Second, we address a question of Dailly, Hansberg, and Ventura from 2021 and show that every cubic graph is balanceable. Third, using Brooks' theorem, we show that every -regular graph with order divisible by is balanceable. Finally, we show that it is NP-complete to determine if a -regular graph is simply balanceable.
Paper Structure (16 sections, 19 theorems, 25 equations, 1 figure, 2 tables)

This paper contains 16 sections, 19 theorems, 25 equations, 1 figure, 2 tables.

Key Result

Theorem 1.1

A graph $G$ is balanceable if and only if there exists an internally balanced set in $G$ as well as an externally balanced set in $G$.

Figures (1)

  • Figure 1: Proof of Case 2 of \ref{['Thm:cubic graph']} when $|N(\{x,y\})|=4$. The subgraph of $G$ induced by $X$ has a unique edge $xy$ and $e_G(X,V\setminus X)=3k+1$.

Theorems & Definitions (31)

  • Theorem 1.1
  • Theorem 2.1: A reformulation of \ref{['thm:CHM']}
  • Definition 2.2
  • Proposition 2.3
  • Proposition 2.4
  • Lemma 2.5
  • Proposition 2.6: Dailly, Hansberg, and Ventura main
  • Theorem 3.2
  • Corollary 3.3
  • Remark 3.4
  • ...and 21 more