5,445 research outputs found
Treewidth and related graph parameters
For modeling some practical problems, graphs play very important roles.
Since many modeled problems can be NP-hard in general, some restrictions
for inputs are required. Bounding a graph parameter of the inputs is one of
the successful approaches. We study this approach in this thesis. More precisely,
we study two graph parameters, spanning tree congestion and security
number, that are related to treewidth.
Let G be a connected graph and T be a spanning tree of G. For e ∈ E(T),
the congestion of e is the number of edges in G connecting two components
of T − e. The edge congestion of G in T is the maximum congestion over all
edges in T. The spanning tree congestion of G is the minimum congestion
of G in its spanning trees. In this thesis, we show the spanning tree congestion
for the complete k-partite graphs, the two-dimensional tori, and the twodimensional
Hamming graphs. We also address lower bounds of spanning
tree congestion for the multi-dimensional hypercubes, the multi-dimensional
grids, and the multi-dimensional Hamming graphs.
The security number of a graph is the cardinality of a smallest vertex subset
of the graph such that any “attack” on the subset is “defendable.” In this thesis,
we determine the security number of two-dimensional cylinders and tori.
This result settles a conjecture of Brigham, Dutton and Hedetniemi [Discrete
Appl. Math. 155 (2007) 1708–1714]. We also show that every outerplanar
graph has security number at most three. Additionally, we present lower and
upper bounds for some classes of graphs.学位記番号:工博甲39
Parameterized complexity of the spanning tree congestion problem
We study the problem of determining the spanning tree congestion of a graph. We present some sharp contrasts in the parameterized complexity of this problem. First, we show that on apex-minor-free graphs, a general class of graphs containing planar graphs, graphs of bounded treewidth, and graphs of bounded genus, the problem to determine whether a given graph has spanning tree congestion at most k can be solved in linear time for every fixed k. We also show that for every fixed k and d the problem is solvable in linear time for graphs of degree at most d. In contrast, if we allow only one vertex of unbounded degree, the problem immediately becomes NP-complete for any fixed k≥8. Moreover, the hardness result holds for graphs excluding the complete graph on 6 vertices as a minor. We also observe that for k≤3 the problem becomes polynomially time solvable.publishedVersio
Complexity Results for the Spanning Tree Congestion Problem
We study the problem of determining the spanning tree congestion of a graph. We present some sharp contrasts in the complexity of this problem. First, we show that for every fixed k and d the problem to determine whether a given graph has spanning tree congestion at most k can be solved in linear time for graphs of degree at most d. In contrast, if we allow only one vertex of unbounded degree, the problem immediately becomes NP-complete for any fixed k ≥ 10. For very small values of k however, the problem becomes polynomially solvable. We also show that it is NP-hard to approximate the spanning tree congestion within a factor better than 11/10. On planar graphs, we prove the problem is NP-hard in general, but solvable in linear time for fixed k
Minimum congestion spanning trees in planar graphs
The main purpose of the paper is to develop an approach to evaluation or
estimation of the spanning tree congestion of planar graphs. This approach is
used to evaluate the spanning tree congestion of triangular grids
Distributed Connectivity Decomposition
We present time-efficient distributed algorithms for decomposing graphs with
large edge or vertex connectivity into multiple spanning or dominating trees,
respectively. As their primary applications, these decompositions allow us to
achieve information flow with size close to the connectivity by parallelizing
it along the trees. More specifically, our distributed decomposition algorithms
are as follows:
(I) A decomposition of each undirected graph with vertex-connectivity
into (fractionally) vertex-disjoint weighted dominating trees with total weight
, in rounds.
(II) A decomposition of each undirected graph with edge-connectivity
into (fractionally) edge-disjoint weighted spanning trees with total
weight , in
rounds.
We also show round complexity lower bounds of
and
for the above two decompositions,
using techniques of [Das Sarma et al., STOC'11]. Moreover, our
vertex-connectivity decomposition extends to centralized algorithms and
improves the time complexity of [Censor-Hillel et al., SODA'14] from
to near-optimal .
As corollaries, we also get distributed oblivious routing broadcast with
-competitive edge-congestion and -competitive
vertex-congestion. Furthermore, the vertex connectivity decomposition leads to
near-time-optimal -approximation of vertex connectivity: centralized
and distributed . The former moves
toward the 1974 conjecture of Aho, Hopcroft, and Ullman postulating an
centralized exact algorithm while the latter is the first distributed vertex
connectivity approximation
Scaling of Congestion in Small World Networks
In this report we show that in a planar exponentially growing network
consisting of nodes, congestion scales as independently of
how flows may be routed. This is in contrast to the scaling of
congestion in a flat polynomially growing network. We also show that without
the planarity condition, congestion in a small world network could scale as low
as , for arbitrarily small . These extreme results
demonstrate that the small world property by itself cannot provide guidance on
the level of congestion in a network and other characteristics are needed for
better resolution. Finally, we investigate scaling of congestion under the
geodesic flow, that is, when flows are routed on shortest paths based on a link
metric. Here we prove that if the link weights are scaled by arbitrarily small
or large multipliers then considerable changes in congestion may occur.
However, if we constrain the link-weight multipliers to be bounded away from
both zero and infinity, then variations in congestion due to such remetrization
are negligible.Comment: 8 page
Low-Congestion Shortcut and Graph Parameters
Distributed graph algorithms in the standard CONGEST model often exhibit the time-complexity lower bound of Omega~(sqrt{n} + D) rounds for many global problems, where n is the number of nodes and D is the diameter of the input graph. Since such a lower bound is derived from special "hard-core" instances, it does not necessarily apply to specific popular graph classes such as planar graphs. The concept of low-congestion shortcuts is initiated by Ghaffari and Haeupler [SODA2016] for addressing the design of CONGEST algorithms running fast in restricted network topologies. Specifically, given a specific graph class X, an f-round algorithm of constructing shortcuts of quality q for any instance in X results in O~(q + f)-round algorithms of solving several fundamental graph problems such as minimum spanning tree and minimum cut, for X. The main interest on this line is to identify the graph classes allowing the shortcuts which are efficient in the sense of breaking O~(sqrt{n}+D)-round general lower bounds.
In this paper, we consider the relationship between the quality of low-congestion shortcuts and three major graph parameters, chordality, diameter, and clique-width. The main contribution of the paper is threefold: (1) We show an O(1)-round algorithm which constructs a low-congestion shortcut with quality O(kD) for any k-chordal graph, and prove that the quality and running time of this construction is nearly optimal up to polylogarithmic factors. (2) We present two algorithms, each of which constructs a low-congestion shortcut with quality O~(n^{1/4}) in O~(n^{1/4}) rounds for graphs of D=3, and that with quality O~(n^{1/3}) in O~(n^{1/3}) rounds for graphs of D=4 respectively. These results obviously deduce two MST algorithms running in O~(n^{1/4}) and O~(n^{1/3}) rounds for D=3 and 4 respectively, which almost close the long-standing complexity gap of the MST construction in small-diameter graphs originally posed by Lotker et al. [Distributed Computing 2006]. (3) We show that bounding clique-width does not help the construction of good shortcuts by presenting a network topology of clique-width six where the construction of MST is as expensive as the general case
- …