A New Connection Between Node and Edge Depth Robust Graphs

10/20/2019
by   Jeremiah Blocki, et al.
0

We create a graph reduction that transforms an (e, d)-edge-depth-robust graph with m edges into a (e/4,d)-depth-robust graph with O(m) nodes and constant indegree. An (e,d)-depth robust graph is a directed, acyclic graph with the property that that after removing any e nodes of the graph there remains a path with length at least d. Similarly, an (e, d)-edge-depth robust graph is a directed, acyclic graph with the property that after removing any e edges of the graph there remains a path with length at least d. Our reduction relies on constructing graphs with a property we define and analyze called ST-Robustness. We say that a directed, acyclic graph with n inputs and n outputs is (k_1, k_2)-ST-Robust if we can remove any k_1 nodes and there exists a subgraph containing at least k_2 inputs and k_2 outputs such that each of the k_2 inputs is connected to all of the k_2 outputs. We use our reduction on a well known edge-depth-robust graph to construct an (n loglog n/log n, n/log n (log n)^loglog n)-depth-robust graph.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/08/2021

On Explicit Constructions of Extremely Depth Robust Graphs

A directed acyclic graph G=(V,E) is said to be (e,d)-depth robust if for...
research
07/03/2020

b-articulation points and b-bridges in strongly biconnected directed graphs

A directed graph G=(V,E) is called strongly biconnected if G is strongly...
research
08/25/2022

Edge-coloured graph homomorphisms, paths, and duality

We present a edge-coloured analogue of the duality theorem for transitiv...
research
09/25/2018

Syntactic Conditions for Antichain Property in Consistency Restoring Prolog

We study syntactic conditions which guarantee when a CR-Prolog (Consiste...
research
11/24/2022

Fast Möbius and Zeta Transforms

Möbius inversion of functions on partially ordered sets (posets) 𝒫 is a ...
research
06/19/2020

On the Security of Proofs of Sequential Work in a Post-Quantum World

A proof of sequential work allows a prover to convince a resource-bounde...
research
07/27/2022

A Simple and Elegant Mathematical Formulation for the Acyclic DAG Partitioning Problem

This work addresses the NP-Hard problem of acyclic directed acyclic grap...

Please sign up or login with your details

Forgot password? Click here to reset