İkili Virus Araşdırma Komitəsi müəyyən edib ki, bəzi sıfır və bir ardıcıllıqları virus kodlarıdır. Komitə bir sıra virus kodlarını müəyyənləşdirib. Sıfır və birlərdən ibarət bir ardıcıllıq o zaman təhlükəsiz sayılır ki, onun heç bir alt sətrinin (yəni, ardıcıl hissələrinin) heç biri virus koduna uyğun gəlməsin. Komitənin hazırkı tapşırığı belədir: İkili sıfır və birlərdən ibarət sonsuz təhlükəsiz bir ardıcıllığın mövcud olub-olmadığını müəyyənləşdirmək.
Birinci sətirdə — virus kodlarının sayı verilir. Sonrakı sətirin hər birində yalnız və simvollarından ibarət boş olmayan bir sətr — bir virus kodu verilir. Bütün sətrlərin ümumi uzunluğu -dən çox deyil.
Çıxışın birinci və yeganə sətrində bir söz olmalıdır:
YES — əgər ikili sıfır və birlərdən ibarət sonsuz təhlükəsiz ardıcıllıq mövcuddursa;
NO — əks halda.
Nümunə 1