401 research outputs found
Blocking Dominating Sets for H-Free Graphs via Edge Contractions
In this paper, we consider the following problem: given a connected graph G, can we reduce the domination number of G by one by using only one edge contraction? We show that the problem is NP-hard when restricted to {P6, P4 + P2}-free graphs and that it is coNP-hard when restricted to subcubic claw-free graphs and 2P3-free graphs. As a consequence, we are able to establish a complexity dichotomy for the problem on H-free graphs when H is connected
Reducing Graph Transversals via Edge Contractions
For a graph parameter ?, the Contraction(?) problem consists in, given a graph G and two positive integers k,d, deciding whether one can contract at most k edges of G to obtain a graph in which ? has dropped by at least d. Galby et al. [ISAAC 2019, MFCS 2019] recently studied the case where ? is the size of a minimum dominating set. We focus on graph parameters defined as the minimum size of a vertex set that hits all the occurrences of graphs in a collection ? according to a fixed containment relation. We prove co-NP-hardness results under some assumptions on the graphs in ?, which in particular imply that Contraction(?) is co-NP-hard even for fixed k = d = 1 when ? is the size of a minimum feedback vertex set or an odd cycle transversal. In sharp contrast, we show that when ? is the size of a minimum vertex cover, the problem is in XP parameterized by d
Reducing the Domination Number of Graphs via Edge Contractions
In this paper, we study the following problem: given a connected graph G, can we reduce the domination number of G by at least one using k edge contractions, for some fixed integer k >= 0? We show that for k = 3. Finally, we show that for any k >= 1, the problem is polynomial-time solvable for P_5-free graphs and that it can be solved in FPT-time and XP-time when parameterized by tree-width and mim-width, respectively
On Blockers and Transversals of Maximum Independent Sets in Co-Comparability Graphs
In this paper, we consider the following two problems: (i) Deletion
Blocker() where we are given an undirected graph and two
integers and ask whether there exists a subset of vertices
with such that , that
is the independence number of decreases by at least after having
removed the vertices from ; (ii) Transversal() where we are given an
undirected graph and two integers and ask whether there
exists a subset of vertices with such that for every
maximum independent set we have . We show that both
problems are polynomial-time solvable in the class of co-comparability graphs
by reducing them to the well-known Vertex Cut problem. Our results generalize a
result of [Chang et al., Maximum clique transversals, Lecture Notes in Computer
Science 2204, pp. 32-43, WG 2001] and a recent result of [Hoang et al.,
Assistance and interdiction problems on interval graphs, Discrete Applied
Mathematics 340, pp. 153-170, 2023]
Adapting the Directed Grid Theorem into an FPT Algorithm
The Grid Theorem of Robertson and Seymour [JCTB, 1986], is one of the most
important tools in the field of structural graph theory, finding numerous
applications in the design of algorithms for undirected graphs. An analogous
version of the Grid Theorem in digraphs was conjectured by Johnson et al.
[JCTB, 2001], and proved by Kawarabayashi and Kreutzer [STOC, 2015]. Namely,
they showed that there is a function such that every digraph of directed
tree-width at least contains a cylindrical grid of size as a
butterfly minor and stated that their proof can be turned into an XP algorithm,
with parameter , that either constructs a decomposition of the appropriate
width, or finds the claimed large cylindrical grid as a butterfly minor. In
this paper, we adapt some of the steps of the proof of Kawarabayashi and
Kreutzer to improve this XP algorithm into an FPT algorithm. Towards this, our
main technical contributions are two FPT algorithms with parameter . The
first one either produces an arboreal decomposition of width or finds a
haven of order in a digraph , improving on the original result for
arboreal decompositions by Johnson et al. The second algorithm finds a
well-linked set of order in a digraph of large directed tree-width. As
tools to prove these results, we show how to solve a generalized version of the
problem of finding balanced separators for a given set of vertices in FPT
time with parameter , a result that we consider to be of its own interest.Comment: 31 pages, 9 figure
Broadcast in sparse conversion optical networks using fewest converters
Wavelengths and converters are shared by communication requests in optical networks. When a message goes through a node without a converter, the outgoing wavelength must be the same as the incoming one. This constraint can be removed if the node uses a converter. Hence, the usage of converters increases the utilization of wavelengths and allows more communication requests to succeed. Since converters are expensive, we consider sparse conversion networks, where only some specified nodes have converters. Moreover, since the usage of converters induces delays, we should minimize the use of available converters. The Converters Usage Problem (CUP) is to use a minimum number of converter so that each node can send messages to all the others (broadcasting). In this dissertation, we study the CUP in sparse conversion networks. We design a linear algorithm to find a wavelength assignment in tree networks such that, with the usage of a minimum number of available converters, every node can send messages to all the others. This is a generalization of [35], where each node has a converter. Our algorithm can assign wavelengths efficiently and effectively for one-to-one, multicast, and broadcast communication requests. A converter wavelength-dominates a node if there is a uniform wavelength path between them. The Minimal Wavelength Dominating Set Problem (MWDSP) is to locate a minimum number of converters so that all the other nodes in the network are wavelength-dominated. We use a linear complexity dynamic programming algorithm to solve the MWDSP for networks with bounded treewidth. One such solution provides a low bound for the optimal solution to the CUP
Self-Evaluation Applied Mathematics 2003-2008 University of Twente
This report contains the self-study for the research assessment of the Department of Applied Mathematics (AM) of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente (UT). The report provides the information for the Research Assessment Committee for Applied Mathematics, dealing with mathematical sciences at the three universities of technology in the Netherlands. It describes the state of affairs pertaining to the period 1 January 2003 to 31 December 2008
- …