arXiv reader

Complexity results on locally-balanced 2-partitions of graphs

Aram H. Gharibyan and Petros A. Petrosyan

arXiv
2401.15490v1 · PDF · 27 January 2024
Categories
math.CO
Licence
CC BY SA 4.0 The site shows the text.

Abstract

A 2-partition of a graph G is a function f:V(G)\rightarrow \{0,1\}. A 2-partition f of a graph G is a locally-balanced with an open neighborhood if for every v\in V(G),

\left\vert \vert \{u\in N_{G}(v)\colon\,f(u)=0\}\vert - \vert \{u\in N_{G}(v)\colon\,f(u)=1\}\vert \right\vert\leq 1.

A 2-partition f^{\prime} of a graph G is a locally-balanced with a closed neighborhood if for every v\in V(G),

\left\vert \vert \{u\in N_{G}[v]\colon\,f^{\prime}(u)=0\}\vert - \vert \{u\in N_{G}[v]\colon\,f^{\prime}(u)=1\}\vert \right\vert\leq 1.

In this paper we prove that the problem of the existence of locally-balanced 2-partition with an open (closed) neighborhood is NP-complete for some restricted classes of graphs. In particular, we show that the problem of deciding if a given graph has a locally-balanced 2-partition with an open neighborhood is NP-complete for biregular bipartite graphs and even bipartite graphs with maximum degree 4, and the problem of deciding if a given graph has a locally-balanced 2-partition with a closed neighborhood is NP-complete even for subcubic bipartite graphs and odd graphs with maximum degree 3. Last results prove a conjecture of Balikyan and Kamalian.

Items 18

Theorem

Theorem 2.1

D7PU

([Tutte]) Let k and r be integers such that 1 \leq k < r. Then every r-regular graph (where multiple edges and loops are allowed) has a [k, k + 1]-factor.

Problem

Problem 1 (NAE-3-Sat-E4)

9JD9

Instance: Given a set V=\{x_1,\ldots,x_n\} of variables and a collection C=\{c_1,\ldots,c_k\} of monotone 3-clauses over V such that every variable appears in exactly four clauses.

Question: Is f(x_1,\ldots,x_n)=NAE_3(c_1) \; \land \; \cdots \; \land \; NAE_3(c_k) formula satisfiable?

Lemma

Lemma 3.1

HN1Z

If \varphi is a locally-balanced 2-partition with an open neighborhood of a graph G, then for every v \in V(G) with d_G(v)=2, \varphi(u_1) \neq \varphi(u_2), where vu_1,vu_2 \in E(G) ~(u_1\neq u_2).

Theorem

Theorem 3.2

S7O3

A (2,2k+1)-biregular bipartite graph G (k\in \mathbb{N}) with bipartition (X,Y) has a locally-balanced 2-partition with an open neighborhood if and only if it has no cycle of length 2 \pmod{4}.

Problem

Problem 2

69AN

Instance: For a fixed r, given a (3,8r)-biregular bipartite graph G.

Question: Does G have a locally-balanced 2-partition with an open neighborhood?

Lemma

Lemma 3.4

3SPR

If a graph G=(F_1^i \left[p^i_1,p^i_2,p^i_3,p^i_4\right] \cup H)_{E'} has \varphi locally-balanced 2-partition with an open neighborhood, then \varphi(p^i_1) = \varphi(p^i_2) = \varphi(p^i_3) = \varphi(p^i_4).

Problem

Problem 3

GSRK

Instance: An even bipartite graph G with \Delta(G)=4.

Question: Does G have a locally-balanced 2-partition with an open neighborhood?

Lemma

Lemma 4.1

J7P3

If \varphi is a locally-balanced 2-partition with a closed neighborhood of graph G=(V,E), then for every v \in V(G) with d_G(v)=1, \varphi(u) \neq \varphi(v),\; where uv \in E(G).

Lemma

Lemma 4.2

2VJG

If a graph F_2 has \varphi locally-balanced 2-partition with a closed neighborhood, then \varphi(v_1) = \varphi(v_2) = \varphi(v_5) = \varphi(v_6) and \varphi(v_3) = \varphi(v_4) = 1 - \varphi(v_1).

Lemma

Lemma 4.3

9CIZ

If a graph G=(F_3^i \left[p^i_1,p^i_2,p^i_3,p^i_4 \right] \cup H)_{E'} has \varphi locally-balanced 2-partition with a closed neighborhood, then \varphi(p^i_1) = \varphi(p^i_2) = \varphi(p^i_3) = \varphi(p^i_4).

Lemma

Lemma 4.4

KM8G

If \varphi is a 2-partition of a graph G=(F_3^i \left[p^i_1,p^i_2,p^i_3,p^i_4 \right] \cup H)_{E'}, \varphi(p^i_j)=\varphi(v^i_l) (1 \leq j \leq 4, \; 1 \leq l \leq 22) and \varphi(u^i_j) = 1 - \varphi(p^i_1) (1 \leq j \leq 20), then \#[v^i_j]_\varphi = 0 (1 \leq j \leq 22), \#[u^i_j]_\varphi = 0 (1 \leq j \leq 20) and \#[p^i_j]_\varphi = \sum_{w \in \{a\;:\; ap^i_j\in E'\}}\varphi^*(w) (1 \leq j \leq 4).

Problem

Problem 4

9I1N

Instance: A bipartite graph G with \Delta(G)=3.

Question: Does G have a locally-balanced 2-partition with a closed neighborhood?

Problem

Problem 5

EXLC

Instance: An odd graph G with \Delta(G)=3.

Question: Does G have a locally-balanced 2-partition with a closed neighborhood?

Source and licence

The text on this page is from arXiv:2401.15490v1 by Aram H. Gharibyan and Petros A. Petrosyan, under the licence CC BY SA 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY SA 4.0.

The record of each item is in analysis/objects/2401/2401.15490.jsonl.