Defensive alliances in graphs: a survey

A set $S$ of vertices of a graph $G$ is a defensive $k$-alliance in $G$ if every vertex of $S$ has at least $k$ more neighbors inside of $S$ than outside. This is primarily an expository article surveying the principal known results on defensive alliances in graph. Its seven sections are: Introduction, Computational complexity and realizability, Defensive $k$-alliance number, Boundary defensive $k$-alliances, Defensive alliances in Cartesian product graphs, Partitioning a graph into defensive $k$-alliances, and Defensive $k$-alliance free sets.Comment: 25 page

Parameterized lower bound and NP-completeness of some HH-free Edge Deletion problems

For a graph $H$, the $H$-free Edge Deletion problem asks whether there exist at most $k$ edges whose deletion from the input graph $G$ results in a graph without any induced copy of $H$. We prove that $H$-free Edge Deletion is NP-complete if $H$ is a graph with at least two edges and $H$ has a component with maximum number of vertices which is a tree or a regular graph. Furthermore, we obtain that these NP-complete problems cannot be solved in parameterized subexponential time, i.e., in time $2^{o(k)}\cdot |G|^{O(1)}$, unless Exponential Time Hypothesis fails.Comment: 15 pages, COCOA 15 accepted pape

Quantum Computation, Markov Chains and Combinatorial Optimisation

This thesis addresses two questions related to the title, Quantum Computation, Markov Chains and Combinatorial Optimisation. The first question involves an algorithmic primitive of quantum computation, quantum walks on graphs, and its relation to Markov Chains. Quantum walks have been shown in certain cases to mix faster than their classical counterparts. Lifted Markov chains, consisting of a Markov chain on an extended state space which is projected back down to the original state space, also show considerable speedups in mixing time. We design a lifted Markov chain that in some sense simulates any quantum walk. Concretely, we construct a lifted Markov chain on a connected graph G with n vertices that mixes exactly to the average mixing distribution of a quantum walk on G. Moreover, the mixing time of this chain is the diameter of G. We then consider practical consequences of this result. In the second part of this thesis we address a classic unsolved problem in combinatorial optimisation, graph isomorphism. A theorem of Kozen states that two graphs on n vertices are isomorphic if and only if there is a clique of size n in the weak modular product of the two graphs. Furthermore, a straightforward corollary of this theorem and Lovász’s sandwich theorem is if the weak modular product between two graphs is perfect, then checking if the graphs are isomorphic is polynomial in n. We enumerate the necessary and sufficient conditions for the weak modular product of two simple graphs to be perfect. Interesting cases include complete multipartite graphs and disjoint unions of cliques. We find that all perfect weak modular products have factors that fall into classes of graphs for which testing isomorphism is already known to be polynomial in the number of vertices. Open questions and further research directions are discussed

Open k-monopolies in graphs: complexity and related concepts

Closed monopolies in graphs have a quite long range of applications in several problems related to overcoming failures, since they frequently have some common approaches around the notion of majorities, for instance to consensus problems, diagnosis problems or voting systems. We introduce here open $k$-monopolies in graphs which are closely related to different parameters in graphs. Given a graph $G=(V,E)$ and $X\subseteq V$, if $\delta_X(v)$ is the number of neighbors $v$ has in $X$, $k$ is an integer and $t$ is a positive integer, then we establish in this article a connection between the following three concepts: - Given a nonempty set $M\subseteq V$ a vertex $v$ of $G$ is said to be $k$-controlled by $M$ if $\delta_M(v)\ge \frac{\delta_V(v)}{2}+k$. The set $M$ is called an open $k$-monopoly for $G$ if it $k$-controls every vertex $v$ of $G$. - A function $f: V\rightarrow \{-1,1\}$ is called a signed total $t$-dominating function for $G$ if $f(N(v))=\sum_{v\in N(v)}f(v)\geq t$ for all $v\in V$. - A nonempty set $S\subseteq V$ is a global (defensive and offensive) $k$-alliance in $G$ if $\delta_S(v)\ge \delta_{V-S}(v)+k$ holds for every $v\in V$. In this article we prove that the problem of computing the minimum cardinality of an open $0$-monopoly in a graph is NP-complete even restricted to bipartite or chordal graphs. In addition we present some general bounds for the minimum cardinality of open $k$-monopolies and we derive some exact values.Comment: 18 pages, Discrete Mathematics & Theoretical Computer Science (2016

Graph Transversals for Hereditary Graph Classes: a Complexity Perspective

Within the broad field of Discrete Mathematics and Theoretical Computer Science, the theory of graphs has been of fundamental importance in solving a large number of optimization problems and in modelling real-world situations. In this thesis, we study a topic that covers many aspects of Graph Theory: transversal sets. A transversal set in a graph G is a vertex set that intersects every subgraph of G that belongs to a certain class of graphs. The focus is on vertex cover, feedback vertex set and odd cycle transversal. The decision problems Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal ask, for a given graph G and an integer k, whether there is a corresponding transversal of G of size at most k. These problems are NP-complete in general and our focus is to determine the complexity of the problems when various restrictions are placed on the input, both for the purpose of finding tractable cases and to increase our understanding of the point at which a problem becomes NP-complete. We consider graph classes that are closed under vertex deletion and in particular H-free graphs, i.e. graphs that do not contain a graph H as an induced subgraph. The first chapter is an introduction to the thesis. There we illustrate the motivation of our work and introduce most of the terminology we have used for our research. In the second chapter, we develop a number of structural results for some classes of H-free graphs. The third chapter looks at the Subset Transversal problems: there we prove that Feedback Vertex Set and Odd Cycle Transversal and their subset variants can be solved in polynomial time for both P_4-free and (sP_1+P_3)-free graphs, while for Subset Vertex Cover we show that it can be solved in polynomial time for (sP_1+P_4)-free graphs. The fourth chapter is entirely dedicated to the Connected Vertex Cover problem. The connectivity constraint requires additional proof techniques. We prove this problem can be solved in polynomial time for (sP_1+P_5)-free graphs, even when weights are given to the vertices of the graph. We continue the research on connected transversals in the fifth chapter: we show that Connected Feedback Vertex Set, Connected Odd Cycle Transversal and their extension variants can be solved in polynomial time for both P_4-free and (sP_1+P_3)-free graphs. In the sixth chapter we study the price of independence: can the size of a smallest independent transversal be bounded in terms of the minimum size of a transversal? We establish complete and almost-complete dichotomies which determine for which graph classes such a bound exists and for which cases such a bound is the identity