Участник:Kirillskor/Задача nearest-neighbour-tsp-infty-bas-cases — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
 
(не показано 7 промежуточных версий 1 участника)
Строка 10: Строка 10:
 
Для длинных стрелок расстояние определим как opt_i / 2 + 1.
 
Для длинных стрелок расстояние определим как opt_i / 2 + 1.
  
Длина оптимального пути для $G_{i+1}$ будет не больше $2 ^ {i + 1}$ (каждый раз мы увеличиваем в 2 раза + 2 + 2*eps, начинаем с 2)$
+
Длина оптимального пути для $G_{i+1}$ будет не больше $2 ^ {i + 2}$ (каждый раз мы увеличиваем в 2 раза + 2 + 2*eps, начинаем с 2)$
  
 
Посчитаем длину пути полученную алгоритмом ближайшего соседа.
 
Посчитаем длину пути полученную алгоритмом ближайшего соседа.
 +
 +
$\sum\limits_{j=1}^{i} 2^{i-j}*opt_j \geq \sum\limits_{j=1}^{i} 2^i \geq i * 2 ^ i
 +
 +
Значит путь ближайшего соседа в i / 4 раз длиннее оптимального пути.
 +
 +
Значит для любой константы C существует i, такое что i / 4 > C, начиная с некоторого i, и таких i бесконечно много.
 +
 +
Значит это верно и для бесконечного числа n, что и требовалось доказать.
 
<\latex>
 
<\latex>
 +
 +
[[Категория:Решения]]

Текущая версия на 15:24, 17 декабря 2017

Tsp bad nn.pngПриближенный алгоритм для метрической задачи коммивояжера/Задачи/nearest-neighbour-tsp-infty-bas-cases