arXiv++ Combinatorics

Let $V$ be a finite set of $n$ elements, $f: 2^V \rightarrow \mathbb{R}_+$ be a nonnegative monotone supermodular function, and $k$ be a positive integer no greater than $n$. This paper addresses the problem of maximizing $f(S)$ over all subsets $S \subseteq V$ subject to the cardinality constraint $|S| = k$ or $|S|\le k$. Let $r$ be a constant integer. The function $f$ is assumed to be {\em $r$-decomposable}, meaning there exist $m\,(\ge1)$ subsets $V_1, \dots, V_m$ of $V$, each with a cardinality at most $r$, and a corresponding set of nonnegative supermodular functions $f_i : 2^{V_i} \rightarrow \mathbb{R}_+$, $i=1,\ldots,m$ such that $f(S) =\sum_{i=1}^m f_i(S \cap V_i)$ holds for each $S \subseteq V$. Given $r$ as an input, we present a polynomial-time $O(n^{(r-1)/2})$-approximation algorithm for this maximization problem, which does not require prior knowledge of the specific decomposition. When the decomposition $(V_i,f_i)_{i=1}^m$ is known, an additional connectivity requirement is introduced to the problem. Let $G$ be the graph with vertex set $V$ and edge set $\cup_{i=1}^m \{uv:u,v\in V_i,u\neq v\}$. The cardinality constrained solution set $S$ is required to induce a connected subgraph in $G$. This model generalizes the well-known problem of finding the densest connected $k$-subgraph. We propose a polynomial time $O(n^{(r-1)/2})$-approximation algorithm for this generalization. Notably, this algorithm gives an $O(n^{1/2})$-approximation for the densest connected $k$-subgraph problem, improving upon the previous best-known approximation ratio of $O(n^{2/3})$.

Given a simple graph $G=(V,E)$, a subset of $E$ is called a triangle cover if it intersects each triangle of $G$. Let $ν_t(G)$ and $τ_t(G)$ denote the maximum number of pairwise edge-disjoint triangles in $G$ and the minimum cardinality of a triangle cover of $G$, respectively. Tuza conjectured in 1981 that $τ_t(G)/ν_t(G)\le2$ holds for every graph $G$. In this paper, using a hypergraph approach, we design polynomial-time combinatorial algorithms for finding small triangle covers. These algorithms imply new sufficient conditions for Tuza's conjecture on covering and packing triangles. More precisely, suppose that the set $\mathscr T_G$ of triangles covers all edges in $G$. We show that a triangle cover of $G$ with cardinality at most $2ν_t(G)$ can be found in polynomial time if one of the following conditions is satisfied: (i) $ν_t(G)/|\mathscr T_G|\ge\frac13$, (ii) $ν_t(G)/|E|\ge\frac14$, (iii) $|E|/|\mathscr T_G|\ge2$. Keywords: Triangle cover, Triangle packing, Linear 3-uniform hypergraphs, Combinatorial algorithms

Locating source of diffusion in networks is crucial for controlling and preventing epidemic risks. It has been studied under various probabilistic models. In this paper, we study source location from a deterministic point of view by modeling it as the minimum weighted doubly resolving set (DRS) problem, which is a strengthening of the well-known metric dimension problem. Let $G$ be a vertex weighted undirected graph on $n$ vertices. A vertex subset $S$ of $G$ is DRS of $G$ if for every pair of vertices $u,v$ in $G$, there exist $x,y\in S$ such that the difference of distances (in terms of number of edges) between $u$ and $x,y$ is not equal to the difference of distances between $v$ and $x,y$. The minimum weighted DRS problem consists of finding a DRS in $G$ with minimum total weight. We establish $Θ(\ln n)$ approximability of the minimum DRS problem on general graphs for both weighted and unweighted versions. This is the first work providing explicit approximation lower and upper bounds for minimum (weighted) DRS problem, which are nearly tight. Moreover, we design first known strongly polynomial time algorithms for the minimum weighted DRS problem on general wheels and trees with additional constant $k\ge0$ edges.