Результаты поиска

• Формально об алгоритмах. Вычислительные модели/Задачи/ex-obfuscation-undecidable
  ... : попадет ли машина в это
  состояние хотя бы для одного входного слова <tt>x</tt>?
  <!--Вообще-то, решения уже есть-->
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  581 байт (14 слов) - 06:50, 4 мая 2023
• Формально об алгоритмах. Вычислительные модели/Задачи/ex-turing-copy-lowerbound
  ... можно сказать про $T'(n)$,
  которое есть минимальное время ее работы на входах длины $n$?
  </latex>
  <!--Вообще-то, решения уже есть-->
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  815 байт (21 слово) - 06:50, 4 мая 2023
• Формально об алгоритмах. Вычислительные модели/Задачи/ex-turing-max-time-grows
  ... любой вычислимой всюду
  определенной функции $b(n)$, то есть $\lim [T(n)/b(n)]=+\infty$.
  </latex>
  <!--Вообще-то, решения уже есть-->
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  690 байт (20 слов) - 06:50, 4 мая 2023
• Формально об алгоритмах. Вычислительные модели/Задачи/ex-union-decideable-decideable
  ... >
  Докажите, для разрешимых языков $L_1$ и $L_2$, язык $L=L_1 \cup L_2$ также разрешим.
  </latex>
  <!--Вообще-то, решения уже есть-->
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  322 байт (11 слов) - 06:50, 4 мая 2023
• Формально об алгоритмах. Вычислительные модели/Задачи/ex-unsolvable-exists
  ... существуют невычислимые по Тьюрингу
  функции <tt>y=f(x)</tt>, используя мощностные соображения.
  <!--Вообще-то, решения уже есть-->
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  364 байт (8 слов) - 06:50, 4 мая 2023
• Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/random-walk-for-directed-graph
  Покажите, что метод случайного блуждания не работает для решения задачи связности на ориентированных графах.
  Представьте пример ориентированного графа c ''n'' вершинами, в котором даже есть путь из ...
  650 байт (11 слов) - 06:50, 4 мая 2023
• Приближенный алгоритм для метрической задачи коммивояжера/Задачи/nearest-neighbour-not-good-for-tsp
  ... и для любого n>3,
  существует экземпляр TSP с n-городами, на котором этот алгоритм будет находить решение, в С раз
  хуже (т.е. больше).
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  705 байт (15 слов) - 06:50, 4 мая 2023
• Приближенный алгоритм для метрической задачи коммивояжера/Задачи/nearest-neighbour-tsp-infty-bas-cases
  ... : для любого i>0, сконструируйте входную задачу, где NN-алгоритм будет находить решение, минимум в (i+2)/6 раз большее оптимального.
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  792 байт (11 слов) - 06:50, 4 мая 2023
• Жадный алгоритм в задачах о покрытии/Задачи/lpt-rule-for-scheduling-p-is-2
  ...
  \frac{M_{LPT}}{OPT(x)} = \frac{1}{3} ( 4 — \frac1p )
  </m>
  * OPT(x) — значение этого оптимального решения.
  * <m>M_{LPT}</m> — значение, найденное алгоритмом.
  См. также [[Жадный алгоритм в задачах ...
  1023 байт (30 слов) - 06:50, 4 мая 2023
• Жадный алгоритм в задачах о покрытии/Задачи/lpt-rule-for-scheduling
  ... < \frac{1}{3} ( 4 — \frac1p )
  </m>
  * OPT(x) — значение этого оптимального решения.
  * <m>M_{LPT}</m> — значение, найденное алгоритмом
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  878 байт (28 слов) - 06:50, 4 мая 2023
• Жадный алгоритм в задачах о покрытии/Задачи/fist-fit-for-vector-packing
  ... [https://en.wikipedia.org/wiki/Bin_packing_problem First Fit], обобщенный для многомерности,
  найдет (d+1)-оптимальное решение.
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  1 КБ (33 слова) - 06:50, 4 мая 2023
• Жадный алгоритм в задачах о покрытии/Задачи/minimum-multicover-approx-with-linear-relaxation
  ... ]].
  Придумайте приближенный алгоритм, основанный на линейной релаксации задачи линейного программирования, который находит
  P-оптимальное решение, где <m>P=\max_i\sum_ja_{ij}</m>
  [[Категория ...
  506 байт (16 слов) - 06:50, 4 мая 2023
• MAX-SAT: вероятностное округление/Задачи/max-sat-local-opt--1-2
  ... -03-01-p116 -->
  Опишите алгоритм локального поиска для MAX-SAT, покажите, что он находит решение не хуже половины от оптимума.
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  342 байт (6 слов) - 06:50, 4 мая 2023
• Полиномиальный в среднем алгоритм для SAT/Задачи/ex-greedy-sat-is-2-approx
  ... алгоритм [[Greedy algorithm for SAT]] находит 2-приближенное решение для MAX SAT (т.е. не хуже оптимального больше чем в два раза).
  [[Категория:Решенные задачи]]
  [[Категория:Теоретические задачи]]
  378 байт (12 слов) - 06:50, 4 мая 2023
• Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/knights-np-complete
  <latex>
  Доказать, что следующая проблема принятия решения NP-полная. Пусть есть $n$ рыцарей, и множество пар рыцарей, являющихся врагами. Возможно ли рассадить (расположить) рыцарей у ...
  557 байт (5 слов) - 06:50, 4 мая 2023

Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)