|
#############################################################################
##
## planar.gd
## Copyright (C) 2018 James D. Mitchell
##
## Licensing information can be found in the README file of this package.
##
#############################################################################
##
# The methods in this file utilise the kernel module functions that wrap
# Boyer's reference implementation (in C) of the planarity and subgraph
# homeomorphism algorithms from:
#
# John M. Boyer and Wendy J. Myrvold, On the Cutting Edge: Simplified O(n)
# Planarity by Edge Addition. Journal of Graph Algorithms and Applications, Vol.
# 8, No. 3, pp. 241-273, 2004.
# Attributes . . .
DeclareAttribute("PlanarEmbedding", IsDigraph);
DeclareAttribute("OuterPlanarEmbedding", IsDigraph);
DeclareAttribute("KuratowskiPlanarSubdigraph", IsDigraph);
DeclareAttribute("KuratowskiOuterPlanarSubdigraph", IsDigraph);
DeclareAttribute("SubdigraphHomeomorphicToK23", IsDigraph);
DeclareAttribute("SubdigraphHomeomorphicToK4", IsDigraph);
DeclareAttribute("SubdigraphHomeomorphicToK33", IsDigraph);
DeclareAttribute("DualPlanarGraph", IsDigraph);
# Properties . . .
DeclareProperty("IsPlanarDigraph", IsDigraph);
DeclareProperty("IsOuterPlanarDigraph", IsDigraph);
# True methods . . .
InstallTrueMethod(IsBiconnectedDigraph,
IsOuterPlanarDigraph and IsHamiltonianDigraph);
InstallTrueMethod(IsHamiltonianDigraph,
IsOuterPlanarDigraph and IsBiconnectedDigraph);
InstallTrueMethod(IsPlanarDigraph, IsChainDigraph);
InstallTrueMethod(IsPlanarDigraph, IsCycleDigraph);
InstallTrueMethod(IsPlanarDigraph, IsOuterPlanarDigraph);
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
