Mimicking Networks Parameterized by Connectivity

10/23/2019
by   Parinya Chalermsook, et al.
0

Given a graph G=(V,E), capacities w(e) on edges, and a subset of terminals T⊆ V: |T| = k, a mimicking network for (G,T) is a graph (H,w') that contains copies of T and preserves the value of minimum cuts separating any subset A, B ⊆T of terminals. Mimicking networks of size 2^2^k are known to exist and can be constructed algorithmically, while the best known lower bound is 2^Ω(k); therefore, an exponential size is required if one aims at preserving cuts exactly. In this paper, we study mimicking networks that preserve connectivity of the graph exactly up to the value of c, where c is a parameter. This notion of mimicking network is sufficient for some applications, as we will elaborate. We first show that a mimicking of size 3^c · k exists, that is, we can preserve cuts with small capacity using a network of size linear in k. Next, we show an algorithm that finds such a mimicking network in time 2^O(c^2)poly(m).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/08/2022

Vertex Sparsifiers for Hyperedge Connectivity

Recently, Chalermsook et al. [SODA'21(arXiv:2007.07862)] introduces a no...
research
07/15/2022

Exact Flow Sparsification Requires Unbounded Size

Given a large edge-capacitated network G and a subset of k vertices call...
research
07/15/2020

Vertex Sparsification for Edge Connectivity

Graph compression or sparsification is a basic information-theoretic and...
research
11/30/2020

Vertex Sparsification for Edge Connectivity in Polynomial Time

An important open question in the area of vertex sparsification is wheth...
research
05/01/2019

A note on 'A fully parallel 3D thinning algorithm and its applications'

A 3D thinning algorithm erodes a 3D binary image layer by layer to extra...
research
03/26/2018

Clustering to Given Connectivities

We define a general variant of the graph clustering problem where the cr...
research
05/12/2023

Parameterized Verification of Disjunctive Timed Networks

We introduce new techniques for the parameterized verification of disjun...

Please sign up or login with your details

Forgot password? Click here to reset