scholarly journals Sparse Highly Connected Spanning Subgraphs in Dense Directed Graphs

2018 ◽  
Vol 28 (3) ◽  
pp. 423-464 ◽  
Author(s):  
DONG YEAP KANG

Mader proved that every strongly k-connected n-vertex digraph contains a strongly k-connected spanning subgraph with at most 2kn - 2k2 edges, where equality holds for the complete bipartite digraph DKk,n-k. For dense strongly k-connected digraphs, this upper bound can be significantly improved. More precisely, we prove that every strongly k-connected n-vertex digraph D contains a strongly k-connected spanning subgraph with at most kn + 800k(k + Δ(D)) edges, where Δ(D) denotes the maximum degree of the complement of the underlying undirected graph of a digraph D. Here, the additional term 800k(k + Δ(D)) is tight up to multiplicative and additive constants. As a corollary, this implies that every strongly k-connected n-vertex semicomplete digraph contains a strongly k-connected spanning subgraph with at most kn + 800k2 edges, which is essentially optimal since 800k2 cannot be reduced to the number less than k(k - 1)/2.We also prove an analogous result for strongly k-arc-connected directed multigraphs. Both proofs yield polynomial-time algorithms.

2011 ◽  
Vol 267 ◽  
pp. 334-337
Author(s):  
Wen Sheng Li ◽  
Hua Ming Xing

The concept of minus domination number of an undirected graph is transferred to directed graphs. Exact values are found for the directed cycle and particular types of tournaments. Furthermore, we present some lower bounds for minus domination number in terms of the order, the maximum degree, the maximum outdegree and the minimum outdegree of a directed graph.


2021 ◽  
Vol 32 (02) ◽  
pp. 209-233
Author(s):  
Yuichi Asahiro ◽  
Jesper Jansson ◽  
Eiji Miyano ◽  
Hirotaka Ono ◽  
T. P. Sandhya

The goal of an outdegree-constrained edge-modification problem is to find a spanning subgraph or supergraph [Formula: see text] of an input undirected graph [Formula: see text] such that either: (Type I) the number of edges in [Formula: see text] is minimized or maximized and [Formula: see text] can be oriented to satisfy some specified constraints on the vertices’ resulting outdegrees; or: (Type II) among all subgraphs or supergraphs of [Formula: see text] that can be constructed by deleting or inserting a fixed number of edges, [Formula: see text] admits an orientation optimizing some objective involving the vertices’ outdegrees. This paper introduces eight new outdegree-constrained edge-modification problems related to load balancing called (Type I) MIN-DEL-MAX, MIN-INS-MIN, MAX-INS-MAX, and MAX-DEL-MIN and (Type II) [Formula: see text]-DEL-MAX, [Formula: see text]-INS-MIN, [Formula: see text]-INS-MAX, and [Formula: see text]-DEL-MIN. In each of the eight problems, the input is a graph and the goal is to delete or insert edges so that the resulting graph has an orientation in which the maximum outdegree (taken over all vertices) is small or the minimum outdegree is large. We first present a framework that provides algorithms for solving all eight problems in polynomial time on unweighted graphs. Next we investigate the inapproximability of the edge-weighted versions of the problems, and design polynomial-time algorithms for six of the problems on edge-weighted trees.


Algorithmica ◽  
2021 ◽  
Author(s):  
Fedor V. Fomin ◽  
Petr A. Golovach ◽  
William Lochet ◽  
Pranabendu Misra ◽  
Saket Saurabh ◽  
...  

AbstractWe initiate the parameterized complexity study of minimum t-spanner problems on directed graphs. For a positive integer t, a multiplicative t-spanner of a (directed) graph G is a spanning subgraph H such that the distance between any two vertices in H is at most t times the distance between these vertices in G, that is, H keeps the distances in G up to the distortion (or stretch) factor t. An additive t-spanner is defined as a spanning subgraph that keeps the distances up to the additive distortion parameter t, that is, the distances in H and G differ by at most t. The task of Directed Multiplicative Spanner is, given a directed graph G with m arcs and positive integers t and k, decide whether G has a multiplicative t-spanner with at most $$m-k$$ m - k arcs. Similarly, Directed Additive Spanner asks whether G has an additive t-spanner with at most $$m-k$$ m - k arcs. We show that (i) Directed Multiplicative Spanner admits a polynomial kernel of size $$\mathcal {O}(k^4t^5)$$ O ( k 4 t 5 ) and can be solved in randomized $$(4t)^k\cdot n^{\mathcal {O}(1)}$$ ( 4 t ) k · n O ( 1 ) time, (ii) the weighted variant of Directed Multiplicative Spanner can be solved in $$k^{2k}\cdot n^{\mathcal {O}(1)}$$ k 2 k · n O ( 1 ) time on directed acyclic graphs, (iii) Directed Additive Spanner is $${{\,\mathrm{\mathsf{W}}\,}}[1]$$ W [ 1 ] -hard when parameterized by k for every fixed $$t\ge 1$$ t ≥ 1 even when the input graphs are restricted to be directed acyclic graphs. The latter claim contrasts with the recent result of Kobayashi from STACS 2020 that the problem for undirected graphs is $${{\,\mathrm{\mathsf{FPT}}\,}}$$ FPT when parameterized by t and k.


2020 ◽  
Vol 12 (02) ◽  
pp. 2050025
Author(s):  
Manal N. Al-Harere ◽  
Mohammed A. Abdlhusein

In this paper, a new model of domination in graphs called the pitchfork domination is introduced. Let [Formula: see text] be a finite, simple and undirected graph without isolated vertices, a subset [Formula: see text] of [Formula: see text] is a pitchfork dominating set if every vertex [Formula: see text] dominates at least [Formula: see text] and at most [Formula: see text] vertices of [Formula: see text], where [Formula: see text] and [Formula: see text] are non-negative integers. The domination number of [Formula: see text], denotes [Formula: see text] is a minimum cardinality over all pitchfork dominating sets in [Formula: see text]. In this work, pitchfork domination when [Formula: see text] and [Formula: see text] is studied. Some bounds on [Formula: see text] related to the order, size, minimum degree, maximum degree of a graph and some properties are given. Pitchfork domination is determined for some known and new modified graphs. Finally, a question has been answered and discussed that; does every finite, simple and undirected graph [Formula: see text] without isolated vertices have a pitchfork domination or not?


Mathematics ◽  
2020 ◽  
Vol 8 (10) ◽  
pp. 1778
Author(s):  
Fangyun Tao ◽  
Ting Jin ◽  
Yiyou Tu

An equitable partition of a graph G is a partition of the vertex set of G such that the sizes of any two parts differ by at most one. The strong equitable vertexk-arboricity of G, denoted by vak≡(G), is the smallest integer t such that G can be equitably partitioned into t′ induced forests for every t′≥t, where the maximum degree of each induced forest is at most k. In this paper, we provide a general upper bound for va2≡(Kn,n). Exact values are obtained in some special cases.


2019 ◽  
Vol 29 (1) ◽  
pp. 113-127
Author(s):  
Rajko Nenadov ◽  
Nemanja Škorić

AbstractGiven graphs G and H, a family of vertex-disjoint copies of H in G is called an H-tiling. Conlon, Gowers, Samotij and Schacht showed that for a given graph H and a constant γ>0, there exists C>0 such that if $p \ge C{n^{ - 1/{m_2}(H)}}$ , then asymptotically almost surely every spanning subgraph G of the random graph 𝒢(n, p) with minimum degree at least $\delta (G) \ge (1 - \frac{1}{{{\chi _{{\rm{cr}}}}(H)}} + \gamma )np$ contains an H-tiling that covers all but at most γn vertices. Here, χcr(H) denotes the critical chromatic number, a parameter introduced by Komlós, and m2(H) is the 2-density of H. We show that this theorem can be bootstrapped to obtain an H-tiling covering all but at most $\gamma {(C/p)^{{m_2}(H)}}$ vertices, which is strictly smaller when $p \ge C{n^{ - 1/{m_2}(H)}}$ . In the case where H = K3, this answers the question of Balogh, Lee and Samotij. Furthermore, for an arbitrary graph H we give an upper bound on p for which some leftover is unavoidable and a bound on the size of a largest H -tiling for p below this value.


2017 ◽  
Vol 17 (03n04) ◽  
pp. 1741010
Author(s):  
GRAHAME ERSKINE

The degree-diameter problem seeks to find the largest possible number of vertices in a graph having given diameter and given maximum degree. There has been much recent interest in the problem for mixed graphs, where we allow both undirected edges and directed arcs in the graph. For a diameter 2 graph with maximum undirected degree r and directed out-degree z, a straightforward counting argument yields an upper bound M(z, r, 2) = (z+r)2+z+1 for the order of the graph. Apart from the case r = 1, the only three known examples of mixed graphs attaining this bound are Cayley graphs, and there are an infinite number of feasible pairs (r, z) where the existence of mixed Moore graphs with these parameters is unknown. We use a combination of elementary group-theoretical arguments and computational techniques to rule out the existence of further examples of mixed Cayley graphs attaining the Moore bound for all orders up to 485.


1980 ◽  
Vol 23 (3) ◽  
pp. 299-303 ◽  
Author(s):  
Michael Rich

It is well known and immediate that in an associative ring a nilpotent one-sided ideal generates a nilpotent two-sided ideal. The corresponding open question for alternative rings was raised by M. Slater [6, p. 476]. Hitherto the question has been answered only in the case of a trivial one-sided ideal J (i.e., in case J2 = 0) [5]. In this note we solve the question in its entirety by showing that a nilpotent one-sided ideal K of an alternative ring generates a nilpotent two-sided ideal. In the process we find an upper bound for the index of nilpotency of the ideal generated. The main theorem provides another proof of the fact that a semiprime alternative ring contains no nilpotent one-sided ideals. Finally we note the analogous result for locally nilpotent one-sided ideals.


2010 ◽  
Vol 11 (03n04) ◽  
pp. 121-141
Author(s):  
DAVID COUDERT ◽  
FREDERIC GIROIRE ◽  
IGNASI SAU

A circuit in a simple undirected graph G = (V, E) is a sequence of vertices {v1, v2, …, vk+1} such that v1 = vk+1 and {vi, vi+1} ∈ E for i = 1, …, k. A circuit C is said to be edge-simple if no edge of G is used twice in C. In this article we study the following problem: which is the largest integer k such that, given any subset of k ordered vertices of a graph G, there exists an edge-simple circuit visiting the k vertices in the prescribed order? We first study the case when G has maximum degree at most 3, establishing the value of k for several subcases, such as when G is planar or 3-vertex-connected. Our main result is that k = 10 in infinite square grids. To prove this, we introduce a methodology based on the notion of core graph, in order to reduce the number of possible vertex configurations, and then we test each one of the resulting configurations with an Integer Linear Program (ILP) solver.


Sign in / Sign up

Export Citation Format

Share Document