@pal702004: Да, така е, вариация на същата идея. Допускаме противното и нека за всяко [tex]j[/tex] нека [tex]k_j[/tex] е първото [tex]n, n>j[/tex] със свойството [tex]c_j+c_{j+1}+\ldots+ c_{k_j} <0[/tex]. Тук за удобство предполагаме [tex]c_{n+i}=c_i[/tex]. Вземаме онова j , за което [tex]k_j-j\,, j=1,2,\ldots,n[/tex] е най-голямо. Тръгваме от това [tex]j[/tex] и последователно както по-горе обикаляме и ще получим противоречие с това, че [tex]k_j[/tex] е първото с описаното по-горе свойство. Що се отнася до алгоритъм, при крайни конфигурации, след като знаем съществуването на нещо, просто правим проверката на всички варианти и все някъде ще ударим 6-ца от тотото

Тази задача още вчера ми напомни на нещо, което съм виждал, но не можах да го намеря. Всъщност, се оказва, че такава задача, или поне със същата идея е давана на Putnam 1995, A4:
http://www.artofproblemsolving.com/Foru ... 0&t=595985Задачата е същата..., като тръгнем в обратната посока ще обърнем знака на неравенствата.