Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

Hypergraph

Guides

  • Hypergraph Functionality

Tech Notes

  • Hypergraph Rewriting

Symbols

  • AdjacencyHypergraph
  • AdjacencyTensor
  • CanonicalHypergraph
  • CanonicalHypergraphRule
  • ConnectedHypergraphQ
  • CyclicEdge
  • EdgeListTagged
  • EdgeMultiplicity
  • EdgeSymmetry
  • EnumerateHypergraphRules
  • EnumerateHypergraphs
  • EnumerateOrderedHypergraphs
  • EnumerateWolframModelRules
  • HighlightRule
  • HyperedgeList
  • Hyperedge
  • Hyperedges
  • HyperedgesQ
  • Hypergraph3D
  • HypergraphArityReduce
  • HypergraphDraw
  • HypergraphEmbedding
  • HypergraphHadamardProduct
  • HypergraphIncidenceMatrix
  • HypergraphIncidence
  • HypergraphInsertionBracketDegree
  • HypergraphInsertionBracket
  • HypergraphInsertion
  • HypergraphLargeQ
  • Hypergraph
  • HypergraphQ
  • HypergraphRuleDraw
  • HypergraphRule
  • HypergraphRuleQ
  • HypergraphToGraph
  • HypergraphTransitionMatrix
  • HypergraphUnion
  • HypermatrixGraph
  • Hypermatrix
  • HypermatrixQ
  • IncidenceHypergraph
  • IsomorphicHypergraphQ
  • KoszulSign
  • LinkedHypergraph
  • OrderedHypergraphToGraph
  • RandomAllHypergraph
  • RandomConnectedHypergraph
  • RandomHypergraph
  • RandomHypergraphRule
  • SetHypergraphSummaryThresholds
  • SimpleHypergraph
  • SimpleHypergraphPlot3D
  • SimpleHypergraphPlot
  • SimpleHypergraphQ
  • ToLabeledEdges
  • ToLabeledPatternEdges
  • ToOrderedHypergraph
  • ToPatternRules
WolframInstitute`Hypergraph`
EnumerateOrderedHypergraphs
​
EnumerateOrderedHypergraphs
[{{
m
1
,
a
1
},{
m
2
,
a
2
},…}]
enumerates simple connected hypergraphs with ordered hyperedges,
𝑚
1
of arity
𝑎
1
,
𝑚
2
of arity
𝑎
2
, etc.
​
​
EnumerateOrderedHypergraphs
[n,sig]
enumerates hypergraphs of signature sig with up to n vertices.
​
​
EnumerateOrderedHypergraphs
[{n},sig]
enumerates hypergraphs with exactly n vertices.
​
Details and Options
▪
EnumerateOrderedHypergraphs
returns a list of
Hypergraph
objects whose hyperedges are ordered, so two hyperedges connecting the same vertices in different orders are distinct.
▪
The signature
{{m1,a1},{m2,a2},...}
specifies
m1
hyperedges of arity
a1
,
m2
hyperedges of arity
a2
, etc, where the arity of a hyperedge is the number of vertices it connects.
▪
By default,
EnumerateOrderedHypergraphs
returns one representative per isomorphism class, keeping only simple, connected hypergraphs.
▪
With no explicit vertex count, hypergraphs with up to the maximum number of vertices that a connected hypergraph of the given signature can have are enumerated.
▪
EnumerateOrderedHypergraphs
[n,sig]
joins the exactly-k enumerations for k from 1 to n; the vertex count
All
or
Automatic
is equivalent to the default.
▪
EnumerateHypergraphs
[…]
is equivalent to
EnumerateOrderedHypergraphs
[…,"EdgeSymmetry""Unordered"]
.
▪
Options of
Hypergraph
, such as
VertexLabels
or
"EdgeSymmetry"
, are applied to every generated hypergraph.
▪
The following options can be given:
option
default
effect
"Simple"
True
keep only simple hypergraphs (
True
), only non-simple ones (
False
), or both (
All
)
"Connected"
True
keep only connected hypergraphs (
True
), only disconnected ones (
False
), or both (
All
)
"Canonical"
Automatic
whether to keep a single representative per isomorphism class;
None
or
False
keeps all enumerated representatives, and any other setting is used as the
Method
of
CanonicalHypergraph
​
Examples  
(13)
Basic Examples  
(2)
Enumerate all simple connected hypergraphs with two ordered binary hyperedges:
In[1]:=
EnumerateOrderedHypergraphs
[{{2,2}}]
Out[1]=

,
,
,

_________________________________________________________________________________________________________________
Enumerate hypergraphs with three ordered binary hyperedges:
In[1]:=
EnumerateOrderedHypergraphs
[{{3,2}}]
Out[1]=

,
,
,
,
,
,
,
,
,
,
,

Scope  
(3)

Options  
(5)

Properties & Relations  
(2)

Possible Issues  
(1)

SeeAlso
EnumerateHypergraphs
 
▪
EnumerateHypergraphRules
 
▪
RandomHypergraph
 
▪
CanonicalHypergraph
 
▪
Hypergraph
RelatedGuides
▪
HypergraphFunctionality
""

© 2026 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com