-
A quasi-quadratic vertex Kernel for Cograph edge editing
Authors:
Christophe Crespelle,
Rémi Pellerin,
Stéphan Thomassé
Abstract:
We provide a $O(k^2 \mathrm{log} k)$ vertex kernel for cograph edge editing. This improves a cubic kernel found by Guillemot, Havet, Paul and Perez [1] which involved four reduction rules. We generalize one of their rules, based on packing of induced paths of length four, by introducing t-modules, which are modules up to t edge modifications. The key fact is that large t-modules cannot be edited m…
▽ More
We provide a $O(k^2 \mathrm{log} k)$ vertex kernel for cograph edge editing. This improves a cubic kernel found by Guillemot, Havet, Paul and Perez [1] which involved four reduction rules. We generalize one of their rules, based on packing of induced paths of length four, by introducing t-modules, which are modules up to t edge modifications. The key fact is that large t-modules cannot be edited more than t times, and this allows to obtain a near quadratic kernel. The extra $\mathrm{log} k$ factor seems tricky to remove as it is necessary in the combinatorial lemma on trees which is central in our proof. Nevertheless, we think that a quadratic bound should be reachable.
△ Less
Submitted 30 December, 2022;
originally announced December 2022.
-
A graph theory-based multi-scale analysis of hierarchical cascade in molecular clouds : Application to the NGC 2264 region
Authors:
B. Thomasson,
I. Joncour,
E. Moraux,
C. Crespelle,
F. Motte,
Y. Pouteau,
T. Nony
Abstract:
The spatial properties of small star-clusters suggest that they may originate from a fragmentation cascade of the cloud for which there might be traces up to a few dozen of kAU. Our goal is to investigate the multi-scale spatial structure of gas clumps, to probe the existence of a hierarchical cascade and to evaluate its possible link with star production in terms of multiplicity. From the Hersche…
▽ More
The spatial properties of small star-clusters suggest that they may originate from a fragmentation cascade of the cloud for which there might be traces up to a few dozen of kAU. Our goal is to investigate the multi-scale spatial structure of gas clumps, to probe the existence of a hierarchical cascade and to evaluate its possible link with star production in terms of multiplicity. From the Herschel emission maps of NGC 2264, clumps are extracted using getsf software at each of their associated spatial resolution, respectively [8.4, 13.5, 18.2, 24.9, 36.3]". Using the spatial distribution of these clumps and the class 0/I Young Stellar Object (YSO) from Spitzer data, we develop a graph-theoretic analysis to represent the multi-scale structure of the cloud as a connected network. From this network, we derive three classes of multi-scale structure in NGC 2264 depending on the number of nodes produced at the deepest level: hierarchical, linear and isolated. The structure class is strongly correlated with the column density $N_{\rm H_2}$ since the hierarchical ones dominate the regions whose N$_{\rm H_2} > 6 \times 10^{22}$cm$^{-2}$. Although the latter are in minority, they contain half of the class 0/I YSOs proving that they are highly efficient in producing stars. We define a novel statistical metric, the fractality coefficient F that measure the fractal index describing the scale-free process of the cascade. For NGC 2264, we estimate F = 1.45$\pm$0.12. However, a single fractal index fails to fully describe a scale-free process since the hierarchical cascade starts at a 13 kAU characteristic spatial scale. Our novel methodology allows us to correlate YSOs with their multi-scale gaseous environment. This hierarchical cascade that drives efficient star formation is suspected to be both hierarchical and rooted by the larger-scale gas environment up to 13 kAU.
△ Less
Submitted 14 September, 2022; v1 submitted 2 June, 2022;
originally announced June 2022.
-
On the Termination of Some Biclique Operators on Multipartite Graphs
Authors:
Christophe Crespelle,
Matthieu Latapy,
Thi Ha Duong Phan
Abstract:
We define a new graph operator, called the weak-factor graph, which comes from the context of complex network modelling. The weak-factor operator is close to the well-known clique-graph operator but it rather operates in terms of bicliques in a multipartite graph. We address the problem of the termination of the series of graphs obtained by iteratively applying the weak-factor operator starting fr…
▽ More
We define a new graph operator, called the weak-factor graph, which comes from the context of complex network modelling. The weak-factor operator is close to the well-known clique-graph operator but it rather operates in terms of bicliques in a multipartite graph. We address the problem of the termination of the series of graphs obtained by iteratively applying the weak-factor operator starting from a given input graph. As for the clique-graph operator, it turns out that some graphs give rise to series that do not terminate. Therefore, we design a slight variation of the weak-factor operator, called clean-factor, and prove that its associated series terminates for all input graphs. In addition, we show that the multipartite graph on which the series terminates has a very nice combinatorial structure: we exhibit a bijection between its vertices and the chains of the inclusion order on the intersections of the maximal cliques of the input graph.
△ Less
Submitted 7 March, 2021;
originally announced March 2021.
-
Termination of Multipartite Graph Series Arising from Complex Network Modelling
Authors:
Matthieu Latapy,
Thi Ha Duong Phan,
Christophe Crespelle,
Thanh Qui Nguyen
Abstract:
An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model these graphs via their clique incidence bipartite graphs. However, this approach has, until now, severe limitations resulting from its incapacity to reproduce a key property of this object: the overlap** nature of cli…
▽ More
An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model these graphs via their clique incidence bipartite graphs. However, this approach has, until now, severe limitations resulting from its incapacity to reproduce a key property of this object: the overlap** nature of cliques in complex networks. In order to get rid of these limitations we propose to encode the structure of clique overlaps in a network thanks to a process consisting in iteratively factorising the maximal bicliques between the upper level and the other levels of a multipartite graph. We show that the most natural definition of this factorising process leads to infinite series for some instances. Our main result is to design a restriction of this process that terminates for any arbitrary graph. Moreover, we show that the resulting multipartite graph has remarkable combinatorial properties and is closely related to another fundamental combinatorial object. Finally, we show that, in practice, this multipartite graph is computationally tractable and has a size that makes it suitable for complex network modelling.
△ Less
Submitted 7 March, 2021;
originally announced March 2021.
-
Faster and Enhanced Inclusion-Minimal Cograph Completion
Authors:
Christophe Crespelle,
Daniel Lokshtanov,
Thi Ha Duong Phan,
Eric Thierry
Abstract:
We design two incremental algorithms for computing an inclusion-minimal completion of an arbitrary graph into a cograph. The first one is able to do so while providing an additional property which is crucial in practice to obtain inclusion-minimal completions using as few edges as possible : it is able to compute a minimum-cardinality completion of the neighbourhood of the new vertex introduced at…
▽ More
We design two incremental algorithms for computing an inclusion-minimal completion of an arbitrary graph into a cograph. The first one is able to do so while providing an additional property which is crucial in practice to obtain inclusion-minimal completions using as few edges as possible : it is able to compute a minimum-cardinality completion of the neighbourhood of the new vertex introduced at each incremental step. It runs in $O(n+m')$ time, where $m'$ is the number of edges in the completed graph. This matches the complexity of the algorithm in [Lokshtanov, Mancini and Papadopoulos 2010] and positively answers one of their open questions. Our second algorithm improves the complexity of inclusion-minimal completion to $O(n+m\log^2 n)$ when the additional property above is not required. Moreover, we prove that many very sparse graphs, having only $O(n)$ edges, require $Ω(n^2)$ edges in any of their cograph completions. For these graphs, which include many of those encountered in applications, the improvement we obtain on the complexity scales as $O(n/\log^2 n)$.
△ Less
Submitted 21 January, 2020;
originally announced January 2020.
-
A survey of parameterized algorithms and the complexity of edge modification
Authors:
Christophe Crespelle,
Pål Grønås Drange,
Fedor V. Fomin,
Petr A. Golovach
Abstract:
The survey provides an overview of the develo** area of parameterized algorithms for graph modification problems. We concentrate on edge modification problems, where the task is to change a small number of adjacencies in a graph in order to satisfy some required property.
The survey provides an overview of the develo** area of parameterized algorithms for graph modification problems. We concentrate on edge modification problems, where the task is to change a small number of adjacencies in a graph in order to satisfy some required property.
△ Less
Submitted 18 February, 2020; v1 submitted 19 January, 2020;
originally announced January 2020.
-
Non-Altering Time Scales for Aggregation of Dynamic Networks into Series of Graphs
Authors:
Yannick Léo,
Christophe Crespelle,
Eric Fleury
Abstract:
Many dynamic networks coming from real-world contexts are link streams, i.e. a finite collection of triplets $(u,v,t)$ where $u$ and $v$ are two nodes having a link between them at time $t$. A very large number of studies on these objects start by aggregating the data in disjoint time windows of length $Δ$ in order to obtain a series of graphs on which are made all subsequent analyses. Here we are…
▽ More
Many dynamic networks coming from real-world contexts are link streams, i.e. a finite collection of triplets $(u,v,t)$ where $u$ and $v$ are two nodes having a link between them at time $t$. A very large number of studies on these objects start by aggregating the data in disjoint time windows of length $Δ$ in order to obtain a series of graphs on which are made all subsequent analyses. Here we are concerned with the impact of the chosen $Δ$ on the obtained graph series. We address the fundamental question of knowing whether a series of graphs formed using a given $Δ$ faithfully describes the original link stream. We answer the question by showing that such dynamic networks exhibit a threshold for $Δ$, which we call the \emph{saturation scale}, beyond which the properties of propagation of the link stream are altered, while they are mostly preserved before. We design an automatic method to determine the saturation scale of any link stream, which we apply and validate on several real-world datasets.
△ Less
Submitted 16 May, 2018;
originally announced May 2018.
-
The Link Stream of Contacts in a Whole Hospital
Authors:
Lucie Martinet,
Christophe Crespelle,
Eric Fleury,
Pierre-Yves Boëlle,
Didier Guillemot
Abstract:
We analyse a huge and very precise trace of contact data collected by a network of sensors during 6 months on the entire population of a rehabilitation hospital. We investigate both the topological structure of the average daily link stream of contacts in the hospital and the temporal structure of the evolution of these contacts hour by hour. Our main results are to unveil striking properties of t…
▽ More
We analyse a huge and very precise trace of contact data collected by a network of sensors during 6 months on the entire population of a rehabilitation hospital. We investigate both the topological structure of the average daily link stream of contacts in the hospital and the temporal structure of the evolution of these contacts hour by hour. Our main results are to unveil striking properties of these two structures in the considered hospital, and to present a methodology that can be used for analysing any link stream where nodes are classified into groups.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Linearity is Strictly More Powerful than Contiguity for Encoding Graphs
Authors:
Christophe Crespelle,
Tien-Nam Le,
Kevin Perrot,
Thi Ha Duong Phan
Abstract:
Linearity and contiguity are two parameters devoted to graph encoding. Linearity is a generalisation of contiguity in the sense that every encoding achieving contiguity $k$ induces an encoding achieving linearity $k$, both encoding having size $Θ(k.n)$, where $n$ is the number of vertices of $G$. In this paper, we prove that linearity is a strictly more powerful encoding than contiguity, i.e. ther…
▽ More
Linearity and contiguity are two parameters devoted to graph encoding. Linearity is a generalisation of contiguity in the sense that every encoding achieving contiguity $k$ induces an encoding achieving linearity $k$, both encoding having size $Θ(k.n)$, where $n$ is the number of vertices of $G$. In this paper, we prove that linearity is a strictly more powerful encoding than contiguity, i.e. there exists some graph family such that the linearity is asymptotically negligible in front of the contiguity. We prove this by answering an open question asking for the worst case linearity of a cograph on $n$ vertices: we provide an $O(\log n/\log\log n)$ upper bound which matches the previously known lower bound.
△ Less
Submitted 14 March, 2018;
originally announced March 2018.