Section: New Results
Classical Computational Geometry and Graph Drawing
Participants : Olivier Devillers, Sylvain Lazard.
Monotone Simultaneous Path Embeddings in
We study the following problem: Given paths that share the same vertex set, is there a simultaneous geometric embedding of these paths such that each individual drawing is monotone in some direction? We prove that for any dimension , there is a set of paths that does not admit a monotone simultaneous geometric embedding [21].
This work was done in collaboration with David Bremner (U. New Brunswick), Marc Glisse (Inria Datashape), Giuseppe Liotta (U. Perugia), Tamara Mchedlidze (Karlsruhe Institute for Technology), Sue Whitesides (U. Victoria), and Stephen Wismath (U. Lethbridge).
Analysis of Farthest Point Sampling for Approximating Geodesics in a Graph
A standard way to approximate the distance between two vertices and in a graph is to compute a shortest path from to that goes through one of sources, which are well-chosen vertices. Precomputing the distance between each of the sources to all vertices yields an efficient computation of approximate distances between any two vertices. One standard method for choosing sources is the so-called Farthest Point Sampling (FPS), which starts with a random vertex as the first source, and iteratively selects the farthest vertex from the already selected sources.
We analyzed the stretch factor of approximate geodesics computed using FPS, which is the maximum, over all pairs of distinct vertices, of their approximated distance over their geodesic distance in the graph. We showed that can be bounded in terms of the minimal value of the stretch factor obtained using an optimal placement of sources as , where is the length ratio of longest edge over the shortest edge in the graph. We further showed that the factor is not an artefact of the analysis by providing a class of graphs for which [18].
This work was done in collaboration with Pegah Kamousi (Université Libre de Bruxelles), Anil Maheshwari (Carleton University), and Stefanie Wuhrer (Inria Grenoble Rhône-Alpes).
Recognizing Shrinkable Complexes is NP-complete
We say that a simplicial complex is shrinkable if there exists a sequence of admissible edge contractions that reduces the complex to a single vertex. We prove that it is NP-complete to decide whether a (three-dimensional) simplicial complex is shrinkable. Along the way, we describe examples of contractible complexes which are not shrinkable [10].
This work was done in collaboration with Dominique Attali (CNRS, Grenoble) and Marc Glisse (Inria Datashape).