more properties

Author: nsajko

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),
+        (:GraphIsPolyforest, "a *polyforest*", ["a *directed forest*", "an *oriented forest*"], dg),
+        (:GraphIsPolytree, "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),