Source author record

Elham Havvaei

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
5topics
4close collaborators

Published work

4 publications

preprint2021arXiv

Parameterized Complexity of Finding Subgraphs with Hereditary Properties on Hereditary Graph Classes

We investigate the parameterized complexity of finding subgraphs with hereditary properties on graphs belonging to a hereditary graph class. Given a graph GG, a non-trivial hereditary property ΠΠ and an integer parameter kk, the general problem P(G,Π,k)P(G,Π,k) asks whether there exists kk vertices of GG that induce a subgraph satisfying property ΠΠ. This problem, P(G,Π,k)P(G,Π,k) has been proved to be NP-complete by Lewis and Yannakakis. The parameterized complexity of this problem is shown to be W[1]-complete by Khot and Raman, if ΠΠ includes all trivial graphs but not all complete graphs and vice versa; and is fixed-parameter tractable (FPT), otherwise. As the problem is W[1]-complete on general graphs when ΠΠ includes all trivial graphs but not all complete graphs and vice versa, it is natural to further investigate the problem on restricted graph classes. Motivated by this line of research, we study the problem on graphs which also belong to a hereditary graph class and establish a framework which settles the parameterized complexity of the problem for various hereditary graph classes. In particular, we show that: P(G,Π,k)P(G,Π,k) is solvable in polynomial time when the graph GG is co-bipartite and ΠΠ is the property of being planar, bipartite or triangle-free (or vice-versa). P(G,Π,k)P(G,Π,k) is FPT when the graph GG is planar, bipartite or triangle-free and ΠΠ is the property of being planar, bipartite or triangle-free, or graph GG is co-bipartite and ΠΠ is the property of being co-bipartite. P(G,Π,k)P(G,Π,k) is W[1]-complete when the graph GG is C4C_4-free, K1,4K_{1,4}-free or a unit disk graph and ΠΠ is the property of being either planar or bipartite.

preprint2020arXiv

Parameterized Leaf Power Recognition via Embedding into Graph Products

The kk-leaf power graph GG of a tree TT is a graph whose vertices are the leaves of TT and whose edges connect pairs of leaves at unweighted distance at most~kk in TT. Recognition of the kk-leaf power graphs for k≥7k \geq 7 is still an open problem. In this paper, we provide two algorithms for this problem for sparse leaf power graphs. Our results shows that the problem of recognizing these graphs is fixed-parameter tractable when parameterized both by kk and by the degeneracy of the given graph. To prove this, we first describe how to embed the leaf root of a leaf power graph into a product of the graph with a cycle graph. We bound the treewidth of the resulting product in terms of kk and the degeneracy of GG. The first presented algorithm uses methods based on monadic second-order logic (MSO2_2) to recognize the existence of a leaf power as a subgraph of the product graph. Using the same embedding in the product graph, the second algorithm presents a dynamic programming approach to solve the problem and provide a better dependence on the parameters.

preprint2020arXiv

Simplifying Activity-on-Edge Graphs

We formalize the simplification of activity-on-edge graphs used for visualizing project schedules, where the vertices of the graphs represent project milestones, and the edges represent either tasks of the project or timing constraints between milestones. In this framework, a timeline of the project can be constructed as a leveled drawing of the graph, where the levels of the vertices represent the time at which each milestone is scheduled to happen. We focus on the following problem: given an activity-on-edge graph representing a project, find an equivalent activity-on-edge graph (one with the same critical paths) that has the minimum possible number of milestone vertices among all equivalent activity-on-edge graphs. We provide a polynomial-time algorithm for solving this graph minimization problem.

preprint2016arXiv

A Game-Theoretic Approach for Detection of Overlapping Communities in Dynamic Complex Networks

Complex networks tend to display communities which are groups of nodes cohesively connected among themselves in one group and sparsely connected to the remainder of the network. Detecting such communities is an important computational problem, since it provides an insight into the functionality of networks. Further, investigating community structure in a dynamic network, where the network is subject to change, is even more challenging. This paper presents a game-theoretical technique for detecting community structures in dynamic as well as static complex networks. In our method, each node takes the role of a player that attempts to gain a higher payoff by joining one or more communities or switching between them. The goal of the game is to reveal community structure formed by these players by finding a Nash-equilibrium point among them. To the best of our knowledge, this is the first game-theoretic algorithm which is able to extract overlapping communities from either static or dynamic networks. We present the experimental results illustrating the effectiveness of the proposed method on both synthetic and real-world networks.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.