STAF 2023
Tue 18 - Fri 21 July 2023 Leicester, United Kingdom
Tue 18 Jul 2023 15:53 - 16:00 at Willow - GCM Session 3 Chair(s): Jens Kosiol

We present a novel approach to the generation of random hypergraphs in user-specified domains. Our method extends an algorithm of Mairson (1994) for generating strings in context-free languages to the setting of context-free hypergraph languages specified by hyperedge replacement grammars. Generating (or “sampling") graphs and hypergraphs according to a given probability distribution is a problem that finds application in testing algorithms and programs working on graphs. Other potential application areas include molecular biology and post-quantum cryptography. We show that if the input grammar is non-ambiguous, the generated samples are uniformly distributed. The only requirements for our method are that the properties sought for the generated hypergraphs are representable by a hyperedge replacement language and that, to guarantee a uniform distribution, a non-ambiguous grammar is used as input. We also show that our method generates a random hypergraph of size n in time O(n2).

Tue 18 Jul

Displayed time zone: London change

15:30 - 17:00
GCM Session 3GCM at Willow
Chair(s): Jens Kosiol Universität Kassel

Remote Participants: Zoom Link, YouTube Livestream

15:30
7m
Talk
A high-level functional programming language for interaction nets
GCM
P: Marc Thatcher University of Sussex
15:38
7m
Talk
Finite Automata for Efficient Graph Recognition
GCM
Frank Drewes Umeå universitet, Berthold Hoffmann Universität Bremen, P: Mark Minas Universität der Bundeswehr München
15:45
7m
Talk
Towards Efficient Boltzmann Sampling with Graph Generative Models and Constraints
GCM
P: Justin Diamond University of Basel, Markus Lill University of Basel
15:53
7m
Talk
Random Graph Generation in Context-Free Graph Languages
GCM
P: Federico Vastarini University of York, Detlef Plump University of York
16:00
60m
Other
Open Discussion
GCM