AE
Я не согласен только в том что ты отбрасываешь константы, в этом плане ТОГДА у меня есть революционное решение переписываешь список на стек и решаешь как обычный полиндром без разворот но даже в твоём случае по памяти O(1) не будет потому что кроме списка ты ещё делаешь два указателя
В моем и будет O(1) кек