http://neerc.ifmo.ru/wiki/api.php?action=feedcontributions&feedformat=atom&user=Marla 2026-04-30T13:35:03Z Вклад участника MediaWiki 1.30.0 http://neerc.ifmo.ru/wiki/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B0_%D0%BE%D0%B1_%D0%BE%D0%BF%D1%82%D0%B8%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%BC_%D0%BF%D1%80%D0%B5%D1%84%D0%B8%D0%BA%D1%81%D0%BD%D0%BE%D0%BC_%D0%BA%D0%BE%D0%B4%D0%B5_%D1%81_%D1%81%D0%BE%D1%85%D1%80%D0%B0%D0%BD%D0%B5%D0%BD%D0%B8%D0%B5%D0%BC_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D0%B0._%D0%9C%D0%BE%D0%BD%D0%BE%D1%82%D0%BE%D0%BD%D0%BD%D0%BE%D1%81%D1%82%D1%8C_%D1%82%D0%BE%D1%87%D0%BA%D0%B8_%D1%80%D0%B0%D0%B7%D1%80%D0%B5%D0%B7%D0%B0&diff=82651 2022-08-01T16:54:47Z

<p>Marla: /* Справедливость перехода */ новая тема</p> <hr /> <div>== Справедливость перехода ==<br /> <br /> Здравствуйте! Подскажите, пожалуйста, является ли справедливым переход в пункте 2.2 доказательства леммы 2: D[z][j] + D[y][j'] &lt;= D[y][j] + D[z][j']? В пояснении указано, что переход сделан по индукции, но он не может быть объяснен индукцией, если z=i и y=i', ведь тогда этот случай вырождается в доказываемый. Кажется, что такой случай должен быть вынесен в отдельный.<br /> Если я ошибаюсь, заранее спасибо за разъяснения! Если нет, надеюсь комментарий будет полезен.</div>

Marla