package ocamlgraph

  1. Overview
  2. Docs
A generic graph library for OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (4)

Authors

  1. S
    Sylvain Conchon
  2. J
    Jean-Christophe Filliâtre
  3. J
    Julien Signoles

Maintainers

  1. J
    jean-christophe.filliatre@cnrs.fr

Sources

ocamlgraph-2.2.0.tbz
sha256=b0956210863cc24f480203ba3c2ef06dfae5579536a05744364e7de58822b230
sha512=257cdd5fb90337b3e3682cade1269c1d181f3124e569a731909f49bbfbe581ab529ac401472fb9ef57166ac34d8ebadfa6a32c93665f38f5a335982d5e5dc0e1

doc/ocamlgraph/Graph/Coloring/index.html

Module Graph.ColoringSource

k-coloring of undirected graphs.

A k-coloring of a graph g is a mapping c from nodes to \{1,...,k\} such that c(u) <> c(v) for any edge u-v in g.

Sourceexception NoColoring

Graph coloring for graphs with integer marks

Sourcemodule type GM = sig ... end

Minimal graph signature for Mark. Sub-signature of Sig.IM.

Sourcemodule Mark (G : GM) : sig ... end

Provide a function for k-coloring a graph with integer marks. The provided function is more efficient that the one provided by functor Make above.

Graph coloring for graphs without marks

Sourcemodule type G = sig ... end

Minimal graph signature for Make. Sub-signature of Sig.G.

Sourcemodule Make (G : G) : sig ... end

Provide a function for k-coloring a graph.