The Distributed Complexity of Locally Checkable Problems on Paths is Decidable.

Alkida Balliu, Sebastian Brandt, Yi-Jun Chang, Dennis Olivetti, Mikal Rabie, Jukka Suomela

Browse the full PODC paper archive.