Остаётся доказать, что каждый из 99 узников включит свет. Предположим, что это не так - свет будет включён менее 99 раз. Тогда, начиная с некоторого дня n, свет включаться не будет. Так как никакой заход в комнату не будет для счётчика последним, он побывает в комнате после этого дня (например, на m-й день, m>n). Если свет при этом горел, он его выключит. Значит, начиная с (m+1)-го дня свет будет всё время выключен. Рассмотрим узника, который свет ещё ни разу не зажигал. Так как и для него никакой заход в комнату не последний, он побывает в комнате после m-го дня. Но тогда он должен включить свет - противоречие.
それなのに、それを保証してくれるわけではありません。もし、スターリッツが3回しかランプを見に連れて行ってもらえなかったとしたら?
スターリッツがオフにするオプションの証明(私のものではありません、読み上げです)です。
Остаётся доказать, что каждый из 99 узников включит свет. Предположим, что это не так - свет будет включён менее 99 раз. Тогда, начиная с некоторого дня n, свет включаться не будет. Так как никакой заход в комнату не будет для счётчика последним, он побывает в комнате после этого дня (например, на m-й день, m>n). Если свет при этом горел, он его выключит. Значит, начиная с (m+1)-го дня свет будет всё время выключен. Рассмотрим узника, который свет ещё ни разу не зажигал. Так как и для него никакой заход в комнату не последний, он побывает в комнате после m-го дня. Но тогда он должен включить свет - противоречие.
// Остался вопрос - нет ли более короткого решения. К тому же Штирлица могут и 55 раз привести, а потом не пущать.
まあ、それが一番大事なんですけどね。
無限ループШтирлиц. Он главный и все считает.
では、誰が担当するのでしょうか?保護観察官か?スターリッツか?
担当者は?
Штирлиц. Он главный и все считает.
その時には、スターリッツが死んでいるか、所長か「非専門家」の一人が死んでいるか、どちらかだ。結局、刑務所で腐るしかないんだよ。
どうやってここに来たのか、今日は何日なのか、この街にどんな権威があるのか、全く覚えていないのだ。ゲシュタポが来たら「ハイル・ヒトラー、私はシュタルリッツ親衛隊長です」と言い、ソ連兵が来たら自己紹介をするようにと、いろいろ考えた末に決めた。"私はイサエフ大佐 "です。その時、警察官が入ってきて言う。
"同志ティホノフ、あなたは昨日酔っぱらっていました"