2 papers
math.CO2024
Flips in colorful triangulations
Rohan Acharya, Torsten Mütze, Francesco Verciani
The associahedron is the graph that has as nodes all triangulations of a convex -gon, and an edge between any two triangulations that differ in a flip operation.…
cs.FL2024
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
Rohan Acharya, Marcin Jurdziński, Keya Prakash
Our main technical contribution is a polynomial-time determinisation procedure for history-deterministic Büchi automata, which settles an open question of Kuperberg and Skrzypczak,…