diff --git a/src/GraphProperties.jl b/src/GraphProperties.jl index 279bdb4..fc67030 100644 --- a/src/GraphProperties.jl +++ b/src/GraphProperties.jl @@ -76,10 +76,16 @@ let (:Triameter, "*triameter*", [], cg), (:VertexConnectivity, "*vertex-connectivity*", ["*connectivity*"], ug), (:EdgeConnectivity, "*edge-connectivity*", [], ug), + (:CrossingNumber, "*crossing number*", [], ug), + (:RectilinearCrossingNumber, "*rectilinear crossing number*", [], ug), (:CliqueNumber, "*clique number*", [], ug), (:ChromaticNumber, "*chromatic number*", [], ug), + (:TotalChromaticNumber, "*total chromatic number*", [], ug), + (:SubchromaticNumber, "*subchromatic number*", [], ug), + (:CochromaticNumber, "*cochromatic number*", [], ug), (:ChromaticIndex, "*chromatic index*", ["*edge chromatic number*"], ug), (:MatchingNumber, "*matching number*", [], ug), + (:DomaticNumber, "*domatic number*", [], ug), (:DominationNumber, "*domination number*", [], ug), (:StrongDominationNumber, "*strong domination number*", [], ug), (:IndependenceNumber, "*independence number*", [], ug), @@ -94,12 +100,23 @@ let (:CliqueWidth, "*clique-width*", [], ug), (:TreeDepth, "*tree-depth*", [], ug), (:CycleRank, "*cycle rank*", [], dg), + (:CyclomaticNumber, "*cyclomatic number*", ["*circuit rank*", "*cycle rank*", "*corank*", "*nullity*"], ug), + (:MatchingPreclusionNumber, "*matching preclusion number*", [], ug), + (:CarvingWidth, "*carving width*", [], ug), + (:Branchwidth, "*branchwidth*", [], ug), + (:Cutwidth, "*cutwidth*", ["*folding number*"], ug), (:Treewidth, "*treewidth*", [], ug), (:Pathwidth, "*pathwidth*", ["*interval thickness*", "*vertex separation number*", "*node searching number*"], ug), + (:Pagewidth, "*pagewidth*", [], ug), + (:Thickness, "*thickness*", [], ug), + (:BookThickness, "*book thickness*", ["*pagenumber*", "*stacknumber*", "*fixed outerthickness*"], ug), + (:BookCrossingNumber, "*book crossing number*", [], ug), + (:QueueNumber, "*queue number*", [], ug), (:Boxicity, "*boxicity*", [], ug), (:Sphericity, "*sphericity*", [], ug), (:Degeneracy, "*degeneracy*", ["*width*", "*linkage*"], ug), (:Arboricity, "*arboricity*", [], ug), + (:Pseudoarboricity, "*pseudoarboricity*", [], ug), (:Splittance, "*splittance*", [], ug), ] properties_bool = Tuple{Symbol, String, Vector{String}, String}[ @@ -112,13 +129,17 @@ let (:DigraphIsStronglyConnected, "*strongly connected*", [], dg), (:GraphIsBipartite, "*bipartite*", [], ug), (:GraphIsCompleteBipartite, "*complete bipartite*", ["a *biclique*"], ug), + (:GraphIsClawFree, "*claw-free*", [], ug), + (:GraphIsLinearForest, "a *linear forest*", ["an *acyclic claw-free undirected graph*"], ug), (:GraphIsPath, "a *path*", [], ug), + (:DigraphIsDirectedPath, "a *directed path*", ["a *dipath*"], dg), (:GraphIsCycle, "a *cycle*", [], ug), (:GraphIsPlanar, "*planar*", [], ug), (:DigraphIsPlanar, "*planar*", [], dg), (:GraphIsOuterplanar, "*outerplanar*", [], ug), (:GraphIsMaximalOuterplanar, "*maximal outerplanar*", [], ug), (:GraphIsTriangleFree, "*triangle-free*", [], ug), + (:GraphIsClusterGraph, "a *cluster graph*", [], ug), (:GraphIsComplete, "*complete*", [], ug), (:GraphIsRegular, "*regular*", [], ug), (:GraphIsDistanceRegular, "*distance-regular*", [], ug), @@ -129,8 +150,19 @@ let (:GraphIsModular, "*modular*", [], ug), (:GraphIsMedianGraph, "a *median graph*", [], ug), (:GraphIsSquaregraph, "a *squaregraph*", [], ug), - (:GraphIsForest, "a *forest*", [], ug), + (:GraphIsForest, "a *forest*", ["an *acyclic undirected graph*"], ug), (:GraphIsTree, "a *tree*", [], ug), + (:GraphIsPseudoforest, "a *pseudoforest*", [], ug), + (:GraphisPseudotree, "a *pseudotree*", [], ug), + (:DigraphIsPolyforest, "a *polyforest*", ["a *directed forest*", "an *oriented forest*"], dg), + (:DigraphIsPolytree, "a *polytree*", ["a *directed tree*", "an *oriented tree*"], dg), + (:DigraphIsOutTree, "an *out-tree*", ["an *arborescence*", "a *directed rooted tree*"], dg), + (:DigraphIsInTree, "an *in-tree*", ["an *anti-arborescence*"], dg), + (:DigraphIsOutForest, "an *out-forest*", ["a *branching*"], dg), + (:DigraphIsInForest, "an *in-forest*", ["an *anti-branching*"], dg), + (:DigraphIsMultitree, "a *multitree*", ["a *strongly unambiguous graph*", "a *mangrove*"], dg), + (:GraphIsCactus, "a *cactus*", ["a *Husimi tree*"], ug), + (:GraphIsBlockGraph, "a *block graph*", ["a *clique tree*", "a *Husimi tree*"], ug), (:GraphIsStar, "a *star*", [], ug), (:GraphIsIndifferenceGraph, "an *indifference graph*", [], ug), (:GraphIsIntervalGraph, "an *interval graph*", [], ug),