Random Graph Generation in Context-Free Graph Languages
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 JulDisplayed 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 7mTalk | A high-level functional programming language for interaction nets GCM | ||
15:38 7mTalk | 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 7mTalk | Towards Efficient Boltzmann Sampling with Graph Generative Models and Constraints GCM | ||
15:53 7mTalk | Random Graph Generation in Context-Free Graph Languages GCM | ||
16:00 60mOther | Open Discussion GCM |