Skip to content

more properties #24

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Oct 12, 2025
Merged

more properties #24

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
3a1baf7
more properties
nsajko Oct 12, 2025
bc5fd7c
fixup
nsajko Oct 12, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 33 additions & 1 deletion src/GraphProperties.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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),
Expand All @@ -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}[
Expand All @@ -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),
Expand All @@ -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),
Expand Down
Loading