[PDF][PDF] Combinatorial generation

F Ruskey - Preliminary working draft. University of Victoria …, 2003 - page.math.tu-berlin.de
Humanity has long enjoyed making lists. All children delight in their new-found ability to
count 1, 2, 3, etc., and it is a profound revelation that this process can be carried out …

[PDF][PDF] On the mixing time of the triangulation walk and other Catalan structures.

L McShine, P Tetali - Randomization methods in algorithm design, 1997 - stat.berkeley.edu
1. Introduction Consider a graph on the set of triangulations of a convex polygon with n
sides, wherein two triangulations are considered adjacent if (and only if) one can be …

Generating random binary trees—a survey

E Mäkinen - Information Sciences, 1999 - Elsevier
Generating random binary trees - A survey Page 1 INFORMATION SCIENCES • r6~TiONa L
jOURNAl. ELSEVIER Information Sciences 115 (1999) 123 136 Generating random binary …

Subquadratic algorithm for dynamic shortest distances

P Sankowski - International Computing and Combinatorics …, 2005 - Springer
In this paper we extend a technique introduced in [14] for dynamic matrix functions. We
present dynamic algorithms for computing matrix determinant and matrix adjoint over …

On the mixing rate of the triangulation walk

M Molloy, B Reed, W Steiger - 1998 - utoronto.scholaris.ca
Let Tn denote the set of triangulations of a convex polygon K with n sides. We study the
random walk on Tn whose transitions are flips of one of the n-3 internal diagonals of the …

Tree compression with top trees revisited

L Hübschle-Schneider, R Raman - … , SEA 2015, Paris, France, June 29 …, 2015 - Springer
We revisit tree compression with top trees (Bille et al.[2]), and present several improvements
to the compressor and its analysis. By significantly reducing the amount of information stored …

An efficient scheme for the generation of ordered trees in constant amortized time

V Parque, T Miyashita - 2021 15th International Conference on …, 2021 - ieeexplore.ieee.org
Trees are useful entities allowing to model data structures and hierarchical relationships in
networked decision systems ubiquitously. An ordered tree is a rooted tree where the order of …

Generating triangulations at random

P Epstein, JR Sack - ACM Transactions on Modeling and Computer …, 1994 - dl.acm.org
An O (n3) algorithm is described to count triangulations of a simple polygon with n vertices.
This algorithm is used to construct an O (n4) algorithm to generate triangulations of a simple …

Properties of random triangulations and trees

L Devroye, P Flajolet, F Hurtado, M Noy… - Discrete & Computational …, 1999 - Springer
Let T n denote the set of triangulations of a convex polygon K with n sides. We study
functions that measure very natural``geometric''features of a triangulation τ∈ T n, for …

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving

C An, Z Chen, Q Ye, E First, L Peng, J Zhang… - arxiv preprint arxiv …, 2024 - arxiv.org
Recent advances in Automated Theorem Proving have shown the effectiveness of
leveraging a (large) language model that generates tactics (ie proof steps) to search through …