Proportionally dense subgraphs of maximum size in degree-constrained graphs

Narmina Baghirova,Antoine Castillon

2024-05-31

Abstract:A proportionally dense subgraph (PDS) of a graph is an induced subgraph of size at least two such that every vertex in the subgraph has proportionally as many neighbors inside as outside of the subgraph. Then, maxPDS is the problem of determining a PDS of maximum size in a given graph. If we further require that a PDS induces a connected subgraph, we refer to such problem as connected maxPDS. In this paper, we study the complexity of maxPDS with respect to parameters representing the density of a graph and its complement. We consider $\Delta$, representing the maximum degree, $h$, representing the $h$-index, and degen, representing the degeneracy of a graph. We show that maxPDS is NP-hard parameterized by $\Delta,h$ and degen. More specifically, we show that maxPDS is NP-hard on graphs with $\Delta=4$, $h=4$ and degen=2. Then, we show that maxPDS is NP-hard when restricted to dense graphs, more specifically graphs $G$ such that $\Delta(\overline{G})\leq 6$, and graphs $G$ such that $degen(\overline{G}) \leq 2$ and $\overline{G}$ is bipartite, where $\overline{G}$ represents the complement of $G$. On the other hand, we show that maxPDS is polynomial-time solvable on graphs with $h\le2$. Finally, we consider graphs $G$ such that $h(\overline{G})\le 2$ and show that there exists a polynomial-time algorithm for finding a PDS of maximum size in such graphs. This result implies polynomial-time complexity on graphs with $n$ vertices of minimum degree $n-3$, i.e. graphs $G$ such that $\Delta(\overline{G})\le 2$. For each result presented in this paper, we consider connected maxPDS and explain how to extend it when we require connectivity.

Computational Complexity

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the complexity of finding the Proportionally Dense Subgraph (PDS) in degree - bounded graphs. Specifically, a PDS is an induced subgraph in which each vertex has the same or more proportion of neighbors inside and outside it. The Max - PDS (Maximum Proportionally Dense Subgraph) problem aims to determine the PDS of the largest scale in a given graph.

### Problem Description

1. **Definitions**:
- **Proportionally Dense Subgraph (PDS)**: For a graph \(G=(V, E)\), if a subgraph \(S\subseteq V\) satisfies that for each vertex \(v\in S\), the proportion of neighbors inside and outside \(S\) is equal or greater, then \(S\) is called a proportionally dense subgraph.
- **Max - PDS (Maximum Proportionally Dense Subgraph) Problem**: Given a graph \(G\), find a PDS of the largest scale.

2. **Connected Max - PDS (Connected Maximum Proportionally Dense Subgraph) Problem**: If it is further required that the subgraph induced by PDS is connected, it is called the connected Max - PDS problem.

### Research Motivation

- **Community Detection**: The Max - PDS problem is inspired by network community detection, aiming to identify sets of nodes with similar properties in the network. This problem has wide applications in areas such as network analysis, social media algorithm design, and protein - interaction networks in bioinformatics.

### Main Research Contents

1. **Complexity Analysis**:
- The author studies the complexity of the Max - PDS problem under different graph parameters, including the maximum degree \(\Delta\), the h - index \(h\), and the degeneracy \(\text{degen}\).
- The results show that Max - PDS is NP - hard under these parameters, especially on graphs with \(\Delta = 4\), \(h = 4\) and \(\text{degen}=2\).

2. **Polynomial - Time Solvable Cases**:
- For graphs with \(h\leq2\), Max - PDS can be solved in polynomial time.
- This result implies that on some specific types of graphs, such as graphs with a minimum degree of at least \(n - 3\), Max - PDS is also solvable in polynomial time.

3. **Connected Max - PDS**:
- The paper also considers the connected Max - PDS problem and explains how to extend the above results to the case where connectivity is required.

### Formula Representation

- **Definition Formula of PDS**:
\[
\frac{d_S(u)}{|S|- 1}\geq\frac{d_S(u)}{|S|}
\]
or equivalently:
\[
\frac{d_S(u)}{|S|- 1}\geq\frac{d(u)}{|V|- 1}
\]
\[
\frac{d(u)}{|V|- 1}\geq\frac{d_S(u)}{|S|}
\]

### Summary

This paper reveals the difficulty of the Max - PDS problem on various graph structures by analyzing its complexity under different graph parameters, and provides results that are solvable in polynomial time in some special cases. This provides a theoretical basis for future research and helps to understand the key challenges in network community detection.