Jul 23, 2016
The classic analysis of the probability that the Galton-Watson tree is infinite gives an equation with two solutions. What about other properties. For first order properties we show that the equation system has a unique solution. More generally we consider properties defined by tree automata. There is then a natural equation system. Sometimes the system has rogue solutions, meaning solutions with no interpretation. This area combines structural combinatorics, probabilistic combinatorics and logic, all topics Jirka loved. Joint work with Moumanti Podder.
International Conference on The Mathematics of Jiří Matoušek, Charles University, Prague 2016
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
Presentations on similar topic, category or speaker