scholarly journals Unary automatic graphs: an algorithmic perspective

2009 ◽  
Vol 19 (1) ◽  
pp. 133-152 ◽  
Author(s):  
BAKHADYR KHOUSSAINOV ◽  
JIAMOU LIU ◽  
MIA MINNES
Keyword(s):  
Polynomial Time ◽  
Finite Automata ◽  
Infinite Graphs ◽  
Input Graph ◽  
Finite Degree ◽  
Finite Graphs ◽  
Polynomial Time Algorithms ◽  
Infinite Component ◽  
Fixed Input ◽  
Finite Presentations

This paper studies infinite graphs produced from a natural unfolding operation applied to finite graphs. Graphs produced using such operations are of finite degree and automatic over the unary alphabet (that is, they can be described by finite automata over the unary alphabet). We investigate algorithmic properties of such unfolded graphs given their finite presentations. In particular, we ask whether a given node belongs to an infinite component, whether two given nodes in the graph are reachable from one another and whether the graph is connected. We give polynomial-time algorithms for each of these questions. For a fixed input graph, the algorithm for the first question is in constant time and the second question is decided using an automaton that recognises the reachability relation in a uniform way. Hence, we improve on previous work, in which non-elementary or non-uniform algorithms were found.

scholarly journals On Structural Parameterizations of the Edge Disjoint Paths Problem

Algorithmica ◽  
2021 ◽  
Author(s):  
Robert Ganian ◽  
Sebastian Ordyniak ◽  
M. S. Ramanujan
Keyword(s):  
Polynomial Time ◽  
Disjoint Paths ◽  
Structural Parameter ◽  
Input Graph ◽  
Feedback Vertex Set ◽  
Fpt Algorithms ◽  
Edge Disjoint ◽  
Fpt Algorithm ◽  
Vertex Set ◽  
Terminal Pair

AbstractIn this paper we revisit the classical edge disjoint paths (EDP) problem, where one is given an undirected graph G and a set of terminal pairs P and asks whether G contains a set of pairwise edge-disjoint paths connecting every terminal pair in P. Our focus lies on structural parameterizations for the problem that allow for efficient (polynomial-time or FPT) algorithms. As our first result, we answer an open question stated in Fleszar et al. (Proceedings of the ESA, 2016), by showing that the problem can be solved in polynomial time if the input graph has a feedback vertex set of size one. We also show that EDP parameterized by the treewidth and the maximum degree of the input graph is fixed-parameter tractable. Having developed two novel algorithms for EDP using structural restrictions on the input graph, we then turn our attention towards the augmented graph, i.e., the graph obtained from the input graph after adding one edge between every terminal pair. In constrast to the input graph, where EDP is known to remain -hard even for treewidth two, a result by Zhou et al. (Algorithmica 26(1):3--30, 2000) shows that EDP can be solved in non-uniform polynomial time if the augmented graph has constant treewidth; we note that the possible improvement of this result to an FPT-algorithm has remained open since then. We show that this is highly unlikely by establishing the [1]-hardness of the problem parameterized by the treewidth (and even feedback vertex set) of the augmented graph. Finally, we develop an FPT-algorithm for EDP by exploiting a novel structural parameter of the augmented graph.

scholarly journals Liftings in Finite Graphs and Linkages in Infinite Graphs with Prescribed Edge-Connectivity

2016 ◽  
Vol 32 (6) ◽  
pp. 2575-2589
Author(s):  
Seongmin Ok ◽  
R. Bruce Richter ◽  
Carsten Thomassen
Keyword(s):  
Infinite Graphs ◽  
Edge Connectivity ◽  
Finite Graphs

scholarly journals On Ramsey-Minimal Infinite Graphs

2021 ◽  
Vol 28 (1) ◽  
Author(s):  
Jordan Barrett ◽  
Valentino Vito
Keyword(s):  
Ramsey Theory ◽  
Infinite Graphs ◽  
Minimal Graph ◽  
Finite Graphs ◽  
Minimal Graphs ◽  
Finite Case ◽  
Ramsey Minimal Graph ◽  
General Conditions

For fixed finite graphs $G$, $H$, a common problem in Ramsey theory is to study graphs $F$ such that $F \to (G,H)$, i.e. every red-blue coloring of the edges of $F$ produces either a red $G$ or a blue $H$. We generalize this study to infinite graphs $G$, $H$; in particular, we want to determine if there is a minimal such $F$. This problem has strong connections to the study of self-embeddable graphs: infinite graphs which properly contain a copy of themselves. We prove some compactness results relating this problem to the finite case, then give some general conditions for a pair $(G,H)$ to have a Ramsey-minimal graph. We use these to prove, for example, that if $G=S_\infty$ is an infinite star and $H=nK_2$, $n \geqslant 1$ is a matching, then the pair $(S_\infty,nK_2)$ admits no Ramsey-minimal graphs.

scholarly journals Topological Infinite Gammoids, and a New Menger-Type Theorem for Infinite Graphs

10.37236/6083 ◽  
2018 ◽  
Vol 25 (3) ◽  
Author(s):  
Johannes Carmesin
Keyword(s):  
Type Theorem ◽  
Main Tool ◽  
Infinite Graphs ◽  
Disjoint Paths ◽  
Natural Topology ◽  
Locally Finite ◽  
Finite Graphs ◽  
Locally Finite Graphs ◽  
Vertex Sets ◽  
Special Case

Answering a question of Diestel, we develop a topological notion of gammoids in infinite graphs which, unlike traditional infinite gammoids, always define a matroid.As our main tool, we prove for any infinite graph $G$ with vertex-sets $A$ and $B$, if every finite subset of $A$ is linked to $B$ by disjoint paths, then the whole of $A$ can be linked to the closure of $B$ by disjoint paths or rays in a natural topology on $G$ and its ends.This latter theorem implies the topological Menger theorem of Diestel for locally finite graphs. It also implies a special case of the infinite Menger theorem of Aharoni and Berger.

scholarly journals An Overview of Algorithms for Network Survivability

2012 ◽  
Vol 2012 ◽  
pp. 1-19 ◽  
Author(s):  
F. A. Kuipers
Keyword(s):  
Polynomial Time ◽  
Network Connectivity ◽  
Network Survivability ◽  
Disjoint Paths ◽  
Polynomial Time Algorithms ◽  
Concise Overview ◽  
Main Components

Network survivability—the ability to maintain operation when one or a few network components fail—is indispensable for present-day networks. In this paper, we characterize three main components in establishing network survivability for an existing network, namely, (1) determining network connectivity, (2) augmenting the network, and (3) finding disjoint paths. We present a concise overview of network survivability algorithms, where we focus on presenting a few polynomial-time algorithms that could be implemented by practitioners and give references to more involved algorithms.

Sign in / Sign up

Export Citation Format

Share Document