Обсуждение:Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза — различия между версиями
(Новая страница: «* написать код --~~~~») |
Marla (обсуждение | вклад) (→Справедливость перехода: новая тема) (Метки: правка с мобильного устройства, правка из мобильной версии) |
||
| (не показана 1 промежуточная версия 1 участника) | |||
| Строка 1: | Строка 1: | ||
| − | + | == Справедливость перехода == | |
| + | |||
| + | Здравствуйте! Подскажите, пожалуйста, является ли справедливым переход в пункте 2.2 доказательства леммы 2: D[z][j] + D[y][j'] <= D[y][j] + D[z][j']? В пояснении указано, что переход сделан по индукции, но он не может быть объяснен индукцией, если z=i и y=i', ведь тогда этот случай вырождается в доказываемый. Кажется, что такой случай должен быть вынесен в отдельный. | ||
| + | Если я ошибаюсь, заранее спасибо за разъяснения! Если нет, надеюсь комментарий будет полезен. | ||
Текущая версия на 19:54, 1 августа 2022
Справедливость перехода
Здравствуйте! Подскажите, пожалуйста, является ли справедливым переход в пункте 2.2 доказательства леммы 2: D[z][j] + D[y][j'] <= D[y][j] + D[z][j']? В пояснении указано, что переход сделан по индукции, но он не может быть объяснен индукцией, если z=i и y=i', ведь тогда этот случай вырождается в доказываемый. Кажется, что такой случай должен быть вынесен в отдельный. Если я ошибаюсь, заранее спасибо за разъяснения! Если нет, надеюсь комментарий будет полезен.
