1 citations · 1 across the 2 of their papers we have counts for
3 papers · 1 filter
The Big-O Problem
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski +1
Given two weighted automata, we consider the problem of whether one is big-O of the other, i.e., if the weight of every finite word in the first is not greater than some constant m…
Rational subsets of Baumslag-Solitar groups
Michaël Cadilhac, Dmitry Chistikov, Georg Zetzsche
We consider the rational subset membership problem for Baumslag-Solitar groups. These groups form a prominent class in the area of algorithmic group theory, and they were recently…
Globe-hopping
Dmitry Chistikov, Olga Goulko, Adrian Kent +1
We consider versions of the grasshopper problem (Goulko and Kent, 2017) on the circle and the sphere, which are relevant to Bell inequalities. For a circle of circumference , w…