1679
правок
Изменения
→6. Комбинаторика
## аналогично предыдущему, придумать обобщение на случай бесконечных отношений
== '''!!!''' 2. Булевы функции ==
# [[Определение булевой функции]]
## англоязычных терминов
# [[Пороговая функция]]
== '''!!!''' 3. Схемы из функциональных элементов ==
# [[Реализация булевой функции схемой из функциональных элементов]]
## англоязычных терминов (на схемную сложность, глубину схемы)
== 6. Комбинаторика ==
# ''fixed'' [[Комбинаторные объекты]]
## пункт "определение" не нужен
# ''взяли'' [[Лексикографический порядок]]
## собственно определения лексикографического порядка тут и нет. англоязычный термин.
## ссылку на английскую википедию
## Как-то не очень круто формулировать в терминах алфавита и строк, надо просто в терминах последовательностей
## return <, return = и т.п. выглядят ужасно. Сделать return LESS, return EQUAL и т.п.
# ''fixed'' [[Формула включения-исключения]]
## Перед открывающей скобкой нужен пробел
## ссылки на ангийскую вики
# ''fixed'' [[Генерация комбинаторных объектов в лексикографическом порядке]]## пункт отдельный раздел "определение" не нужен, перенести в заголовок
## псевдокод генерации некрасивый, оформить его в соответствии с правилами
## привести пример генерации для сочетаний, раз тут алгоритм для сочетаний, а не для перестановок
# '''взялиfixed''' [[Получение номера по объекту]]
## В псевдокоде явно какой-то баг: was[i] = true устанавливается внутри внутреннего цикла, не исключено, что есть еще баги
## В последнем псевдокоде зачем-то фигурные скобки. Также ^ традиционно означает xor, так что лучше использовать 2 ** x или pow(2, x) для обозначения степени.
# ''fixed'' [[Получение объекта по номеру]]
## "В начале каждого шага numOfObject — номер комбинаторного объекта среди объектов с заданным префиксом." — с заданным — это с каким?
## опять в коде чередуются использования табов и фигурных скобок для отделения блоков. Оставить только табы.
## Аналогично предыдущим замечаниям про xor
# '''взялиfixed''' [[Получение следующего объекта]]
## дополнить генерацией следующего сочетания, разбиения на сумму, скобочной последовательности и мультиперестановки.
# '''!!!взяли''' [[Коды Грея]]
## отдельный раздел "определение" не нужен
## картинку с построением, имхо, надо немного увеличить
# [[Коды Грея для перестановок]]
## отдельный раздел "определение" не нужен
# '''!!!взяли''' [[Коды антигрея]]
## Аналогичну пункту 8, "Код антигрея может использоваться для обнаружения неисправностей в устройстве при переходе в соседнее состояние. Часто используется в приборах, устанавливающихся на улице. Такое кодирование позволяет вовремя выявить поломку или какое-то загрязнение и своевременно устранить неисправность. " — а как конкретно он применяется для выявления поломки?
## "Заметим, что для n > 2 невозможно такое упорядочивание двоичных векторов, что соседние отличаются во всех битах. Объясняется это тем, что для двоичного вектора существует ровно один вектор, отличающийся во всех битах. А в последовательности их должно быть 2. " — ээ, а для n = 2 возмножно?
# [[Нахождение количества разбиений числа на слагаемые | Нахождение количества разбиений числа на слагаемые. Пентагональная теорема Эйлера]]
# [[Производящая функция]]
# '''!!!взяли''' [[Лемма Бёрнсайда и Теорема Пойа]]
## сюда добавить категорию "Теория Групп", она где-то есть на конспектах
## для сумм надо юзать \limits
## lcm и gcd обернуть в \operatorname или \mathrm
== 7. [[Динамическое программирование]] ==*# [[Кратчайший путь в ациклическом графе]]*## в тексте d, i, j и т.п. обернуть в латех, а то страшно смотрится## псевдокод оформить как функцию, принимающую матрицу смежности и возвращающую кратчайший путь, без всяких inputData и writeData# [[Задача о расстановке знаков в выражении]]*## "с использованием принципа оптимальности на подотрезке" — внутреннюю ссылку на оптимальность на подотрезке## ссылка просто на "динамическое программирование" в википедии не нужна## доказать оптимальность## нет номера страницы в источнике# [[Задача о наибольшей общей подпоследовательности]]*# [[Задача о порядке перемножения матриц]]*# [[Задача о наибольшей возрастающей подпоследовательности]]*# [[Задача о паросочетании максимального веса в дереве, амортизированные оценки для ДП на дереве]]*# [[Метод четырех русских для умножения матриц]]*# [[Применение метода четырех русских в задачах ДП на примере задачи о НОП]]*# [[Задача коммивояжера, ДП по подмножествам]]*## указать страницы в источниках# [[Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами]]*# [[Задача о редакционном расстоянии, алгоритм Вагнера-Фишера]]*# [[Задача о расстоянии Дамерау-Левенштейна]]*# [[Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза]]*# [[Задача о наибольшей подпоследовательности-палиндроме]]*# '''!!!''' [[Meet-in-the-middle]]*## можете попробовать вспомнить какую-нибудь интересную задачу, решаемую этим методом, если вспомните, напишите, посмотрим, можно ли сделать по этому конспект.# [[Динамическое программирование по профилю]]*# [[Задача о рюкзаке]]*## разделы первого уровня должны быть ==# [[Динамика по поддеревьям]]## разделы первого уровня должны быть ==, а не =## '''эээ, а вообще-то статья про паросочетание максимального веса в дереве уже есть''' == 8. Теория вероятностей == * '''англоязычные термины во все статьи этого раздела для основных определений и понятий'''
== 9. Марковские цепи ==