Категория:Решенные задачи — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| (не показана одна промежуточная версия этого же участника) | |||
| Строка 4: | Строка 4: | ||
__NOCATEGORYCOLUMNS__ | __NOCATEGORYCOLUMNS__ | ||
| + | |||
| + | |||
| + | [[Category:Упражнения]] | ||
Текущая версия на 04:49, 26 октября 2012
Решенные студентами задачи. См. также Category:Нерешенные задачи
Страницы в категории «Решенные задачи»
Показаны 172 страницы из 172, находящихся в данной категории.
M
- MAX-CUT: вероятностное округление/Задачи/0.5-приближенный вероятностный для MAX-CUT
- MAX-CUT: вероятностное округление/Задачи/2-boolean system
- MAX-CUT: вероятностное округление/Задачи/eupce-1-23
- MAX-CUT: вероятностное округление/Задачи/eupce-6-5
- MAX-CUT: вероятностное округление/Задачи/ex-maxcut-trivial-greedy-1-2
- MAX-CUT: вероятностное округление/Задачи/ex-min-maxmatching-1-2
- MAX-CUT: вероятностное округление/Задачи/max-cut-equal-partition-polinomial-local-search
- MAX-CUT: вероятностное округление/Задачи/merge-vertices
- MAX-CUT: вероятностное округление/Задачи/Верхняя оценка разреза в случайном графе
- MAX-CUT: вероятностное округление/Задачи/Детерминированный 2-приближенный алгоритм для задачи MAX-CUT
- MAX-CUT: вероятностное округление/Задачи/Матожидание разреза
- MAX-SAT: вероятностное округление/Задачи/MAX-3ESAT
- MAX-SAT: вероятностное округление/Задачи/max-sat-local-opt--1-2
- MAX-SAT: вероятностное округление/Задачи/не более половины скобок
- MAX-SAT: дерандомизация/Задачи/2-приближенный алгоритм для максимальной совместной подсистемы
- MAX-SAT: дерандомизация/Задачи/ex-derand-maxsat-f0-f1
- MAX-SAT: дерандомизация/Задачи/shell-game
- MAX-SAT: дерандомизация/Задачи/Комбинированная дерандомизация
P
В
- Введение в теорию вычислимости/Задачи/Перечислимость описаний
- Введение в теорию вычислимости/Задачи/Порядок
- Вероятностная проверка тождеств/Задачи/determinant
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/amplify-optimization
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/amplify-when-specific-error-bounded
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/BPP in PSPACE
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/ex-fix-spoj-23
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/ex-fix-spoj-recovery
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/ex-zpp-notnull
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/las-vegas-k-ammplification
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/mc-amplification
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/random-walk-for-directed-graph
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/RP in PPoly
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP/Задачи/Необратимое семейство перестановок
- Вероятность/Задачи/alice-bob-three-strange-dice
- Вероятность/Задачи/Casino-n-k
- Вероятность/Задачи/coin-game-n-k
- Вероятность/Задачи/coin-ten-times
- Вероятность/Задачи/Curse-of-dimensionality
- Вероятность/Задачи/estimate-probability
- Вероятность/Задачи/eupce-1-10
- Вероятность/Задачи/eupce-1-11-a
- Вероятность/Задачи/eupce-1-12
- Вероятность/Задачи/eupce-2-1
- Вероятность/Задачи/eupce-2-12
- Вероятность/Задачи/eupce-2-2
- Вероятность/Задачи/eupce-2-7-b
- Вероятность/Задачи/eupce-2-7-d
- Вероятность/Задачи/eupce-2-8-b
- Вероятность/Задачи/random-cloning-n-times
- Вероятность/Задачи/roll-two-dice
- Временная и пространственная сложность алгоритмов/Задачи/dlogspace-pspace-gap
- Временная и пространственная сложность алгоритмов/Задачи/ex-braces-parse-in-logspace
- Временная и пространственная сложность алгоритмов/Задачи/ex-limited-halt
- Временная и пространственная сложность алгоритмов/Задачи/ex-logspace-in-p
- Временная и пространственная сложность алгоритмов/Задачи/l-eq-p-then-pspace-eq-exptime
- Временная и пространственная сложность алгоритмов/Задачи/PSPACE in EXPTIME
- Временная и пространственная сложность алгоритмов/Задачи/QSAT in PSPACE
- Временная и пространственная сложность алгоритмов/Задачи/SAT-in-LOGSPACE
- Временная и пространственная сложность алгоритмов/Задачи/st-connectivity-log-diameter
- Временная и пространственная сложность алгоритмов/Задачи/замки и ключи
- Временная и пространственная сложность алгоритмов/Задачи/Машина Тьюринга. Количество.
Д
- Динамическое программирование для задачи о рюкзаке/Задачи/Dynamic Voltage Scaling
- Динамическое программирование для задачи о рюкзаке/Задачи/multidimentional-knapsack-dynamic-programming
- Динамическое программирование для задачи о рюкзаке/Задачи/workaholic
- Динамическое программирование для задачи о рюкзаке/Задачи/Гвоздики
- Динамическое программирование для задачи о рюкзаке/Задачи/Задача о построении дерева
- Динамическое программирование для задачи о рюкзаке/Задачи/Копейка рубль бережет
- Динамическое программирование для задачи о рюкзаке/Задачи/Худший случай для алгоритма Немхаузера Ульмана
- Динамическое программирование для задачи о рюкзаке/Задачи/Худший случай для алгоритма с отбором «дорогих» решений
- Динамическое программирование для задачи о рюкзаке/Задачи/Худший случай для алгоритма с отбором «легких» решений
Ж
- Жадные алгоритмы/Задача о покрытии отрезков точками
- Жадный алгоритм в задачах о покрытии/Задачи/bin packing problem-first-fit-sometimes-better-than-best-fit
- Жадный алгоритм в задачах о покрытии/Задачи/bin packing problem-maximize
- Жадный алгоритм в задачах о покрытии/Задачи/chromatic-numbers-for-graph-with-degree
- Жадный алгоритм в задачах о покрытии/Задачи/chromatic-numbers-for-graphs
- Жадный алгоритм в задачах о покрытии/Задачи/ex-acyclic-subgraph-1-2
- Жадный алгоритм в задачах о покрытии/Задачи/ex-greedy-covering-bound-asymptotic
- Жадный алгоритм в задачах о покрытии/Задачи/ex-greedy-k-covering-bound-asymptotic
- Жадный алгоритм в задачах о покрытии/Задачи/ex-max-maxmatching-1-2
- Жадный алгоритм в задачах о покрытии/Задачи/ex-min-maxmatching-1-2
- Жадный алгоритм в задачах о покрытии/Задачи/exersize-greedy-covering-1
- Жадный алгоритм в задачах о покрытии/Задачи/fist-fit-for-vector-packing
- Жадный алгоритм в задачах о покрытии/Задачи/graph-coloring-smallest-last-not-good
- Жадный алгоритм в задачах о покрытии/Задачи/Hitting-set
- Жадный алгоритм в задачах о покрытии/Задачи/internal-cover
- Жадный алгоритм в задачах о покрытии/Задачи/k-cover
- Жадный алгоритм в задачах о покрытии/Задачи/lpt-rule-for-scheduling
- Жадный алгоритм в задачах о покрытии/Задачи/lpt-rule-for-scheduling-min-lj
- Жадный алгоритм в задачах о покрытии/Задачи/lpt-rule-for-scheduling-p-is-2
- Жадный алгоритм в задачах о покрытии/Задачи/minimum-hitting-set-k
- Жадный алгоритм в задачах о покрытии/Задачи/minimum-multicover-approx-with-linear-relaxation
- Жадный алгоритм в задачах о покрытии/Задачи/vertex-cover
- Жадный алгоритм в задаче о рюкзаке/Задачи/Greedy-Subset-Sum
- Жадный алгоритм в задаче о рюкзаке/Задачи/sorted weight and cost
- Жадный алгоритм в задаче о рюкзаке/Задачи/Нижняя оценка точности модифицированного жадного
- Жадный алгоритм в задаче о рюкзаке/Задачи/Тупая жадность - очень плохо
К
Н
- Несложно о сложности. Примеры алгоритмов/Задачи/ex-dijksta-not-work-on-negative-weight
- Несложно о сложности. Примеры алгоритмов/Задачи/ex-fast-power
- Несложно о сложности. Примеры алгоритмов/Задачи/ex-network-reliability
- Несложно о сложности. Примеры алгоритмов/Задачи/tsp-greedy-bad
- Несложно о сложности. Примеры алгоритмов/Задачи/Поиск решения уравнения за полиномиальное время
П
- Параллельный алгоритм Люби для максимального по включению независимого множества/Задачи/Корректность алгоритма Люби
- Полиномиальная иерархия/Задачи/compliment-in-ph
- Полиномиальная иерархия/Задачи/NP \cup co-NP \subseteq P^NP
- Полиномиальная иерархия/Задачи/NP!=co-NP
- Полиномиальная иерархия/Задачи/NP^SAT=\Sigma^p 2
- Полиномиальная иерархия/Задачи/PH collapse if PHC exists
- Полиномиальная иерархия/Задачи/PH \subseteq PSPACE
- Полиномиальная иерархия/Задачи/P\poly contains unsolvable
- Полиномиальная иерархия/Задачи/P^SAT=P^NP
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3csat-npc
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3ESAT-NPC
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3SAT-TAUTOLOGY-reducibility
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3КНФ→Клика
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3КНФ→Клика (сохраняя число решений)
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/a^b eq c mod d in P
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/double-sat
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/E13SAT-NPC
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-2sat-in-p
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-equiv-in-3knf
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-hamilton-cycle-in-np
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-limited-3sat-npc
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-p-in-np-and-conp
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-polynomial-diofant-is-in-np
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-triange-in-p
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/HALT-and-NP
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/k-подсемейство множеств - NPC
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/knights-np-complete
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/nonapprox TSP
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/np-closed-under-coding
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/NPC «k бригад обслуживания»
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/p-looks-unclosed-under-coding
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Packing=MaxClique
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/strong-nmt-good-characterization
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Tautology in coNP
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/unary-in-p-then-exptime-nexp
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Unary-lang-and-NP
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Vcover-clique
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Гамильтонов граф
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/НМТ для Subset Sum
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Раскраска графа в два цвета
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/сolorization
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Язык планарных графов
- Полиномиальный в среднем алгоритм для SAT/Задачи/ex-greedy-sat-is-2-approx
- Полиномиальный в среднем алгоритм для SAT/Задачи/ex-greedy-sat-is-2-approx-weighted
- Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-average-expect-max-nk
- Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-dynp-bad-data
- Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-dynp-good-data
- Полиномиальный в среднем алгоритм для задачи о рюкзаке/Задачи/Проблемы определения «в среднем»
- Полиномиальный в среднем алгоритм для задачи упаковки/Задачи/ex-packing-average-bad-and-good-data
- Приближенный алгоритм для метрической задачи коммивояжера/Задачи/MTSP NP-полна
- Приближенный алгоритм для метрической задачи коммивояжера/Задачи/nearest-neighbour-not-good-for-tsp
- Приближенный алгоритм для метрической задачи коммивояжера/Задачи/nearest-neighbour-tsp-infty-bas-cases
- Приближенный алгоритм для метрической задачи коммивояжера/Задачи/Плохой пример
- Приближенный алгоритм для метрической задачи коммивояжера/Задачи/Четность вершин нечетной степени в MST
С
У
Ф
- Формально об алгоритмах. Вычислительные модели/Задачи/ex-exists-enumeration-of-halts
- Формально об алгоритмах. Вычислительные модели/Задачи/ex-halt-empty-tape
- Формально об алгоритмах. Вычислительные модели/Задачи/ex-lost
- Формально об алгоритмах. Вычислительные модели/Задачи/ex-no-enumeration-of-cycled
- Формально об алгоритмах. Вычислительные модели/Задачи/ex-obfuscation-undecidable
- Формально об алгоритмах. Вычислительные модели/Задачи/ex-turing-copy-lowerbound
- Формально об алгоритмах. Вычислительные модели/Задачи/ex-turing-max-time-grows
- Формально об алгоритмах. Вычислительные модели/Задачи/ex-union-decideable-decideable
- Формально об алгоритмах. Вычислительные модели/Задачи/ex-unsolvable-exists
- Формально об алгоритмах. Вычислительные модели/Задачи/Возведение в степень за логарифмическое время
- Формально об алгоритмах. Вычислительные модели/Задачи/Конкатенция P
- Формально об алгоритмах. Вычислительные модели/Задачи/Разрешимость конкатенации
- Формально об алгоритмах. Вычислительные модели/Задачи/Теорема о неподвижной точке