Spelling suggestions: "subject:"mixed metaparameter tractable algorithms"" "subject:"mixed metaparameter tractable flgorithms""
1 |
Parameterized Complexity of Maximum Edge Coloring in GraphsGoyal, Prachi January 2012 (has links) (PDF)
The classical graph edge coloring problem deals in coloring the edges of a given graph with minimum number of colors such that no two adjacent edges in the graph, get the same color in the proposed coloring. In the following work, we look at the other end of the spectrum where in our goal is to maximize the number of colors used for coloring the edges of the graph under some vertex specific constraints.
We deal with the MAXIMUM EDGE COLORING problem which is defined as the following –For an integer q ≥2 and a graph G, the goal is to find a coloring of the edges of G with the maximum number of colors such that every vertex of the graph sees at most q colors. The question is very well motivated by the problem of channel assignment in wireless networks. This problem is NP-hard for q ≥ 2, and has been well-studied from the point of view of approximation.
This problem has not been studied in the parameterized context before. Hence as a next step, this thesis investigates the parameterized complexity of this problem where the standard parameter is the solution size. The main focus of the work is the special case of q=2 ,i.e. MAXIMUM EDGE 2-COLORING which is theoretically intricate and practically relevant in the wireless networks setting.
We first show an exponential kernel for the MAXIMUM EDGE q-COLORING problem where q is a fixed constant and q ≥ 2.We do a more specific analysis for the kernel of the MAXIMUM EDGE 2-COLORING problem. The kernel obtained here is still exponential in size but is better than the kernel obtained for MAXIMUM EDGE q-COLORING problem in case of q=2.
We then show a fixed parameter tractable algorithm for the MAXIMUM EDGE 2-COLORING problem with a running time of O*∗(kO(k)).We also show a fixed parameter tractable algorithm for the MAXIMUM EDGE q-COLORING problem with a running time of O∗(kO(qk) qO(k)).
The fixed parameter tractability of the dual parametrization of the MAXIMUM EDGE 2-COLORING problem is established by arguing a linear vertex kernel for the problem. We also show that the MAXIMUM EDGE 2-COLORING problem remains hard on graphs where the maximum degree is a constant and also on graphs without cycles of length four. In both these cases, we obtain quadratic kernels.
A closely related variant of the problem is the question of MAX EDGE{1,2-}COLORING. For this problem, the vertices in the input graph may have different qε,{1.2} values and the goal is to use at least k colors for the edge coloring of the graph such that every vertex sees at most q colors, where q is either one or two. We show that the MAX EDGE{1,2}-COLORING problem is W[1]-hard on graphs that have no cycles of length four.
|
2 |
Delaunay Graphs for Various Geometric ObjectsAgrawal, Akanksha January 2014 (has links) (PDF)
Given a set of n points P ⊂ R2, the Delaunay graph of P for a family of geometric objects C is a graph defined as follows: the vertex set is P and two points p, p' ∈ P are connected by an edge if and only if there exists some C ∈ C containing p, p' but no other point of P. Delaunay graph of circle is often called as Delaunay triangulation as each of its inner face is a triangle if no three points are co-linear and no four points are co-circular. The dual of the Delaunay triangulation is the Voronoi diagram, which is a well studied structure. The study of graph theoretic properties on Delaunay graphs was motivated by its application to wireless sensor networks, meshing, computer vision, computer graphics, computational geometry, height interpolation, etc.
The problem of finding an optimal vertex cover on a graph is a classical NP-hard problem. In this thesis we focus on the vertex cover problem on Delaunay graphs for geometric objects like axis-parallel slabs and circles(Delaunay triangulation).
1. We consider the vertex cover problem on Delaunay graph of axis-parallel slabs. It turns out that the Delaunay graph of axis-parallel slabs has a very special property
— its edge set is the union of two Hamiltonian paths. Thus, our problem reduces to solving vertex cover on the class of graphs whose edge set is simply the union of two Hamiltonian Paths. We refer to such a graph as a braid graph.
Despite the appealing structure, we show that deciding k-vertex cover on braid graphs is NP-complete. This involves a rather intricate reduction from the problem of finding a vertex cover on 2-connected cubic planar graphs.
2. Having established the NP-hardness of the vertex cover problem on braid graphs,
we pursue the question of improved fixed parameter algorithms on braid graphs.
The best-known algorithm for vertex cover on general graphs has a running time
of O(1.2738k + kn) [CKX10]. We propose a branching based fixed parameter
tractable algorithm with running time O⋆(1.2637k) for graphs with maximum degree
bounded by four. This improves the best known algorithm for this class,
which surprisingly has been no better than the algorithm for general graphs. Note
that this implies faster algorithms for the class of braid graphs (since they have
maximum degree at most four).
3. A triangulation is a 2-connected plane graph in which all the faces except possibly
the outer face are triangles, we often refer to such graphs as triangulated graphs. A
chordless-NST is a triangulation that does not have chords or separating triangles
(non-facial triangles).
We focus on the computational problem of optimal vertex covers on triangulations,
specifically chordless-NST. We call a triangulation Delaunay realizable if it
is combinatorially equivalent to some Delaunay triangulation. Characterizations of
Delaunay triangulations have been well studied in graph theory. Dillencourt and
Smith [DS96] showed that chordless-NSTs are Delaunay realizable. We show that
for chordless-NST, deciding the vertex cover problem is NP-complete. We prove
this by giving a reduction from vertex cover on 3-connected, triangle free planar
graph to an instance of vertex cover on a chordless-NST.
4. If the outer face of a triangulation is also a triangle, then it is called a maximal
planar graph. We prove that the vertex cover problem is NP-complete on maximal
planar graphs by reducing an instance of vertex cover on a triangulated graph to
an instance of vertex cover on a maximal planar graph.
|
Page generated in 0.0752 seconds