English
Related papers

Related papers: Completing the solution of the directed Oberwolfac…

200 papers

Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 4$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair…

Combinatorics · Mathematics 2016-07-15 Samvel Kh. Darbinyan

We show that every connected graph has a spanning tree that displays all its topological ends. This proves a 1964 conjecture of Halin in corrected form, and settles a problem of Diestel from 1992.

Combinatorics · Mathematics 2018-02-07 Johannes Carmesin

In the Directed Disjoint Paths problem, we are given a digraph $D$ and a set of requests $\{(s_1, t_1), \ldots, (s_k, t_k)\}$, and the task is to find a collection of pairwise vertex-disjoint paths $\{P_1, \ldots, P_k\}$ such that each…

Data Structures and Algorithms · Computer Science 2021-12-21 Raul Lopes , Ignasi Sau

A digraph $D=(V(D)$, $A(D))$ of order $n\geq 3$ is pancyclic, whenever $D$ contains a directed cycle of length $k$ for each $k\in \{3,\ldots,n\}$; and $D$ is vertex-pancyclic iff, for each vertex $v\in V(D)$ and each $k\in \{3,\ldots,n\}$,…

Combinatorics · Mathematics 2020-11-04 N. Cordero-Michel , H. Galeana-Sánchez

We consider a variation of the spectral sparsification problem where we are required to keep a subgraph of the original graph. Formally, given a union of two weighted graphs $G$ and $W$ and an integer $k$, we are asked to find a $k$-edge…

Discrete Mathematics · Computer Science 2009-12-10 Alexandra Kolla , Yury Makarychev , Amin Saberi , Shanghua Teng

We consider the ideal orientation problem in planar graphs. In this problem, we are given an undirected graph $G$ with positive edge lengths and $k$ pairs of distinct vertices $(s_1, t_1), \dots, (s_k, t_k)$ called terminals, and we want to…

Data Structures and Algorithms · Computer Science 2019-12-04 Yipu Wang

Given a finite directed graph, a coloring of its edges turns the graph into a finite-state automaton. A k-synchronizing word of a deterministic automaton is a word in the alphabet of colors at its edges that maps the state set of the…

Formal Languages and Automata Theory · Computer Science 2022-06-16 A. N. Trahtman

Boolean-width is a recently introduced graph parameter. Many problems are fixed parameter tractable when parametrized by boolean-width, for instance "Minimum Weighted Dominating Set" (MWDS) problem can be solved in $O^*(2^{3k})$ time given…

Discrete Mathematics · Computer Science 2011-07-11 Rémy Belmonte , Martin Vatshelle

We initiate a general study of what we call orientation completion problems. For a fixed class C of oriented graphs, the orientation completion problem asks whether a given partially oriented graph P can be completed to an oriented graph in…

Discrete Mathematics · Computer Science 2015-09-07 Joergen Bang-Jensen , J. Huang , Xuding Zhu

It is conjectured that every edge-colored complete graph $G$ on $n$ vertices satisfying $\Delta^{mon}(G)\leq n-3k+1$ contains $k$ vertex-disjoint properly edge-colored cycles. We confirm this conjecture for $k=2$, prove several additional…

Combinatorics · Mathematics 2017-08-30 Ruonan Li , Hajo Broersma , Shenggui Zhang

We prove that the canonical orientation of the generalized Kneser graph $KG(n,k,s)$ contains a directed Hamiltonian cycle for all integers $s \geq 3$ and $n>sk$. Furthermore, we establish that the dichromatic number of this oriented graph…

Combinatorics · Mathematics 2026-05-28 Shahram Mehry

For every fixed $k \ge 4$, it is proved that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint directed $k$-cycles, then there exists a set of at most $\frac{2}{3}kt+ o(n^2)$ arcs that meets all directed $k$-cycles and…

Combinatorics · Mathematics 2023-12-05 Raphael Yuster

We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique applies to general families of problems where standard dynamic…

Data Structures and Algorithms · Computer Science 2015-03-19 Juanjo Rué , Ignasi Sau , Dimitrios M. Thilikos

Mkrtchyan and Steffen [J. Graph Theory, 70 (4), 473--482, 2012] showed that every class II simple graph can be decomposed into a maximum $\Delta$-edge-colorable subgraph and a matching. They further conjectured that every graph $G$ with…

Combinatorics · Mathematics 2022-11-14 Yan Cao , Guangming Jing , Rong Luo , Vahan Mkrtchyan , Cun-Quan Zhang , Yue Zhao

We show that every directed graph with minimum out-degree at least $18k$ contains at least $k$ vertex disjoint cycles. This is an improvement over the result of Alon who showed this result for digraphs of minimum out-degree at least $64k$.…

Combinatorics · Mathematics 2018-12-11 Matija Bucić

We extend the edge version of the classical Menger's Theorem for undirected graphs to $n$-dimensional simplicial complexes with chains over the field $\mathbb{F}_2$. The classical Menger's Theorem states that two different vertices in an…

Geometric Topology · Mathematics 2021-11-19 Avraham Goldstein , Yonah Cherniavsky

Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges does not disconnect these two vertices. Alternatively, there…

Combinatorics · Mathematics 2022-04-05 Avraham Goldstein

Erd\H{o}s and Hajnal proposed a problem that: is it true that every $(2n+1)$-vertex graph with $n^2+n+1$ edges contains two vertices of equal degree connected by a path of length three? The edge bound is sharp by the complete bipartite…

Combinatorics · Mathematics 2026-05-06 Xiamiao Zhao , Yichen Wang , Mei Lu

Given a directed graph $G$, a set of $k$ terminals and an integer $p$, the \textsc{Directed Vertex Multiway Cut} problem asks if there is a set $S$ of at most $p$ (nonterminal) vertices whose removal disconnects each terminal from all other…

Data Structures and Algorithms · Computer Science 2015-03-19 Rajesh Chitnis , MohammadTaghi Hajiaghayi , Dániel Marx

An out-(in-)branching B_s^+ (B_s^-) rooted at s in a digraph D is a connected spanning subdigraph of D in which every vertex x != s has precisely one arc entering (leaving) it and s has no arcs entering (leaving) it. We settle the…

Combinatorics · Mathematics 2012-03-22 Jørgen Bang-Jensen , Sven Simonsen