← All problems
Unverified

Efficient LRS evaluation

Consider a linear recurrence sequence f:N→Qf : \mathbb N \to \mathbb Q. Given an input index n∈Nn \in \mathbb N in binary encoding, decide whether f(n)=0f(n) = 0. Can this be done in polynomial time?

Coming soon

Organizer

Boyuan Wang portraitBoyuan Wang
Minghan Wang portraitMinghan Wang
Bochao Li portraitBochao Li
Hongwei Hu portraitHongwei Hu