graphs: add implementation of slice decomposition via an extended LexBFS algorithm

src/doc/en/reference/graphs/index.rst

@@ -98,6 +98,7 @@ Libraries of algorithms
    sage/graphs/graph_decompositions/bandwidth
    sage/graphs/graph_decompositions/cutwidth
    sage/graphs/graph_decompositions/graph_products
+   sage/graphs/graph_decompositions/slice_decomposition
    sage/graphs/graph_decompositions/modular_decomposition
    sage/graphs/graph_decompositions/clique_separators
    sage/graphs/convexity_properties

src/doc/en/reference/references/index.rst

@@ -6405,7 +6405,7 @@ REFERENCES:
 
 .. [TCHP2008] Marc Tedder, Derek Corneil, Michel Habib and Christophe Paul,
               *Simple, linear-time modular decomposition*, 2008.
-              :arxiv:`0710.3901`.
+              :arxiv:`0710.3901v3`.
 
 .. [Tee1997] Tee, Garry J. "Continuous branches of inverses of the 12
              Jacobi elliptic functions for real

src/sage/graphs/graph.py

@@ -10200,6 +10200,7 @@ def bipartite_double(self, extended=False):
     from sage.graphs.graph_decompositions.clique_separators import atoms_and_clique_separators
     from sage.graphs.graph_decompositions.bandwidth import bandwidth
     from sage.graphs.graph_decompositions.cutwidth import cutwidth
+    from sage.graphs.graph_decompositions.slice_decomposition import slice_decomposition
     matching_polynomial = LazyImport('sage.graphs.matchpoly', 'matching_polynomial', at_startup=True)
     from sage.graphs.cliquer import all_max_clique as cliques_maximum
     from sage.graphs.cliquer import all_cliques

src/sage/graphs/graph_decompositions/slice_decomposition.pxd

@@ -0,0 +1,17 @@
+from libcpp.vector cimport vector
+
+from sage.structure.sage_object cimport SageObject
+from sage.graphs.base.c_graph cimport CGraph
+
+cdef void extended_lex_BFS(
+        CGraph cg, vector[int] &sigma, vector[int] *sigma_inv,
+        int initial_v_int, vector[int] *pred, vector[size_t] *xslice_len,
+        vector[vector[int]] *lex_label) except *
+
+cdef class SliceDecomposition(SageObject):
+    cdef tuple sigma
+    cdef dict sigma_inv
+    cdef vector[size_t] xslice_len
+    cdef dict lex_label
+    cdef object _graph_class
+    cdef object _underlying_graph