arXiv subjects
Publications and source records attributed to George Manoussakis.
Building on existing algorithms and results, we offer new insights and algorithms for various problems related to detecting maximal and maximum bicliques. Most of these results focus on graphs with small maximum degree, providing improved complexities when this parameter is constant; a common characteristic in real-world graphs.
We show that the algorithm presented in [J. Fox, T. Roughgarden, C. Seshadhri, F. Wei, and N. Wein. Finding cliques in social networks: A new distribution-free model. SIAM journal on computing, 49(2):448-464, 2020.] can be modified to have enumeration time complexity $\alpha\mathcal{O} (npoly(c))$. Here parameter $c$ is the weakly closure of the graph and $\alpha$ its number of maximal cliques. This result improves on their complexity which was not output sensitive and exponential in the closure of the graph.
The Bron-Kerbosch algorithm is a well known maximal clique enumeration algorithm. So far it was unknown whether it was output sensitive or not. In this paper we partially answer this question by proving that the Bron-Kerbosch Algorithm with vertex ordering, first introduced and studied by Eppstein, L\"offler and Strash in "Listing all maximal cliques in sparse graphs in near-optimal time. International Symposium on Algorithms and Computation. Springer, Berlin, Heidelberg, 2010" is output sensitive.
We present the first polynomial self-stabilizing algorithm for finding a $\frac23$-approximation of a maximum matching in a general graph. The previous best known algorithm has been presented by Manne \emph{et al.} \cite{ManneMPT11} and has a sub-exponential time complexity under the distributed adversarial daemon \cite{Coor}. Our new algorithm is an adaptation of the Manne \emph{et al.} algorithm and works under the same daemon, but with a time complexity in $O(n^3)$ moves. Moreover, our algorithm only needs one more boolean variable than the previous one, thus as in the Manne \emph{et al.} algorithm, it only requires a constant amount of memory space (three identifiers and $two$ booleans per node).
Manne et al. designed the first algorithm computing a maximal matching that is a 2/3 -approximation of the maximum matching in $O(^2n)$ moves. However, the complexity tightness was not proved. In this paper, we exhibit a sub-exponential execution of this matching algorithm.
We introduce and study a family of polytopes which can be seen as a generalization of the permutahedron of type $B_d$. We highlight connections with the largest possible diameter of the convex hull of a set of points in dimension $d$ whose coordinates are integers between $0$ and $k$, and with the computational complexity of multicriteria matroid optimization.
A graph is $k$-degenerate if any induced subgraph has a vertex of degree at most $k$. In this paper we prove new algorithms for cliques and similar structures for these graphs. We design linear time Fixed-Parameter Tractable algorithms for induced and non induced bicliques. We prove an algorithm listing all maximal bicliques in time $\mathcal{O}(k^{3}(n-k)2^{k})$, improving the result of [D. Eppstein, Arboricity and bipartite subgraph listing algorithms, Information Processing Letters, (1994)]. We construct an algorithm listing all cliques of size $l$ in time $\mathcal{O}(l(n-k)k(k-1)^{l-2})$, improving a result of [N. Chiba and T. Nishizeki, Arboricity and subgraph listing algorithms, SIAM, (1985)]. As a consequence we can list all triangles in such graphs in time $\mathcal{O}((n-k)k^{2})$ improving the previous bound of $\mathcal{O}(nk^2)$. We show another optimal algorithm listing all maximal cliques in time $\mathcal{O}(k(n-k)3^{k/3})$, matching the best possible complexity proved in [D. Eppstein, M. L\"offler, and D. Strash, Listing all maximal cliques in large sparse real-world graphs, JEA, (2013)]. Finally we prove $(2-\frac{1}{k})$ and $\mathcal{O}(k(\log\log k)^{2}\slash (\log k)^{3})$-approximation algorithms for the minimum vertex cover and the maximum clique problems, respectively.
A graph is inductive $k$-independent if there exists and ordering of its vertices $v_{1},...,v_{n}$ such that $\alpha(G[N(v_{i})\cap V_{i}])\leq k $ where $N(v_{i})$ is the neighborhood of $v_{i}$, $V_{i}=\{v_{i},...,v_{n}\}$ and $\alpha$ is the independence number. In this article, by answering to a question of [Y.Ye, A.Borodin, Elimination graphs, ACM Trans. Algorithms 8 (2) (2012) 14:1-14:23], we design a polynomial time approximation algorithm with ratio {$\overline{\Delta} \slash log(log(\overline{ \Delta}) \slash k)$ for the maximum clique and also show that the decision version of this problem is fixed parameter tractable for this particular family of graphs with complexity $O(1.2127^{(p+k-1)^{k}}n)$. Then we study a subclass of inductive $k$-independent graphs, namely $k$-degenerate graphs. A graph is $k$-degenerate if there exists an ordering of its vertices $v_{1},...,v_{n}$ such that $|N(v_{i})\cap V_{i}|\leq k $. Our contribution is an algorithm computing a maximum clique for this class of graphs in time $O(1.2127^{k}(n-k+1))$, thus improving previous best results. We also prove some structural properties for inductive $k$-independent graphs.