Страницы, включённые в большое количество категорий

Ниже показано до 50 результатов в диапазоне от 51 до 100.

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

51. Булевые формулы с кванторами как игры для двух игроков‏‎ (3 категории)
52. Quotient filter‏‎ (3 категории)
53. Примеры неразрешимых задач: задача о замощении‏‎ (3 категории)
54. Объединение матроидов, доказательство того, что объединение является матроидом‏‎ (3 категории)
55. Свойства перечислимых языков. Теорема Успенского-Райса‏‎ (3 категории)
56. Лемма о разрастании для КС-грамматик‏‎ (3 категории)
57. Автоматы с магазинной памятью‏‎ (3 категории)
58. Алгоритм Краскала‏‎ (3 категории)
59. Замкнутость КС-языков относительно различных операций‏‎ (3 категории)
60. Сортировка выбором‏‎ (3 категории)
61. Двойственный матроид‏‎ (3 категории)
62. Список‏‎ (3 категории)
63. АВЛ-дерево‏‎ (3 категории)
64. Монотонный код Грея‏‎ (3 категории)
65. M-сводимость‏‎ (3 категории)
66. Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза‏‎ (3 категории)
67. Неразрешимость задачи вывода типов в языке с зависимыми типами‏‎ (3 категории)
68. Нормальная форма ДМП-автомата‏‎ (3 категории)
69. Теорема Хватала‏‎ (3 категории)
70. Бустинг, AdaBoost‏‎ (3 категории)
71. Регулярные выражения с обратными ссылками‏‎ (3 категории)
72. Деревья Эйлерова обхода‏‎ (3 категории)
73. Примеры неразрешимых задач: однозначность грамматики‏‎ (3 категории)
74. Объединение матроидов, проверка множества на независимость‏‎ (3 категории)
75. Аксиоматизация матроида базами‏‎ (3 категории)
76. Представление булевых функций линейными программами‏‎ (3 категории)
77. Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций‏‎ (3 категории)
78. B+-дерево‏‎ (3 категории)
79. Алгоритм нахождения Гамильтонова цикла в условиях теорем Дирака и Оре‏‎ (3 категории)
80. Многомерное дерево отрезков‏‎ (3 категории)
81. Определение матроида‏‎ (3 категории)
82. Теорема Оре‏‎ (3 категории)
83. ППЛГ и РСДС (PSLG и DCEL): определение, построение РСДС множества прямых‏‎ (3 категории)
84. Комбинаторные объекты‏‎ (3 категории)
85. Обращение Лагранжа‏‎ (3 категории)
86. Доказательство нерегулярности языков: лемма о разрастании‏‎ (3 категории)
87. Meet-in-the-middle‏‎ (3 категории)
88. Правоконтекстные грамматики, эквивалентность автоматам‏‎ (3 категории)
89. Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик‏‎ (3 категории)
90. Замкнутость регулярных языков относительно различных операций‏‎ (3 категории)
91. Нормальная форма Куроды‏‎ (3 категории)
92. Быстрая сортировка‏‎ (3 категории)
93. Формальные грамматики‏‎ (3 категории)
94. Детерминированные автоматы с магазинной памятью‏‎ (3 категории)
95. Персистентный дек‏‎ (3 категории)
96. Примеры неразрешимых задач: проблема соответствий Поста‏‎ (3 категории)
97. Аксиоматизация матроида рангами‏‎ (3 категории)
98. Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчёт числа слов)‏‎ (3 категории)
99. Сортировка подсчётом‏‎ (3 категории)
100. Алгоритм Мо‏‎ (3 категории)

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