Мне интересно узнать больше об забытых в кеше алгоритмах и структурах данных, но есть так много статей, что я, честно говоря, не знаю, с чего начать. Я нашел оригинальный тезис Прокупа по этому вопросу, который кажется хорошей отправной точкой, но если есть простое и доступное введение в предмет, я...
У меня есть большой набор данных деревьев, и я хотел бы найти его, указав древовидную структуру (связанный подграф). Запрос должен возвращать все вхождения дерева в наборе данных. Существуют ли эффективные алгоритмы для этого? Я думал о чем-то вроде суффиксных массивов, однако наивное кодирование...
Поскольку в последнее время я преподавал основы λ-исчисления, я реализовал простой инструмент оценки λ-исчисления в Common Lisp. Когда я задаю нормальную форму Y fac 3в обычном сокращении, требуется 619 шагов, что кажется немного большим. Конечно, каждый раз, когда я делал подобные сокращения на...
Итак, я читаю немного о разработке, в частности, алгоритмах, основанных на двухцветном исчислении конструкции, и я немного запутался. Я не понимаю, какова цель . Кажется, он идентичен за исключением того, что существует различие между неявными и явными аргументами для функций. В частности, я не...
Каково среднее количество публикаций (включая материалы конференций) в год для докторантов CS в США? Как узнать или оценить это
Мне интересно, существуют ли систематические исследования сумм квадратичных форм в квадрате, похожих на квадратичные формы, что практически отражается в разложении по собственным значениям (что имеет огромное практическое значение). Пара примеров связана с важностью вопроса. Анализ основных...
ИЗМЕНЕНО ДЛЯ ДОБАВЛЕНИЯ : На этот вопрос теперь по существу дан ответ; пожалуйста, смотрите эту запись в блоге для более подробной информации. Спасибо всем, кто разместил комментарии и ответы здесь. ОРИГИНАЛЬНЫЙ ВОПРОС Это, надеюсь, более умная и информированная версия вопроса, который я задал на...
У меня есть конечное множество , функция , и в общей сложности порядка на . Я хочу , чтобы найти число различных циклов в .SSSf:S→Sf:S→Sf:S\to
Колмогоровская сложность строки не вычислима. Тем не менее, в случайном подмножестве размераMMM двоичных строк длины nNnсколько ожидается, что сложность будет меньше целого числа n0N0n_{0} меньше, чем nNn (как функция MMM, nNn а также...
У меня есть семейство задач линейного программирования: максимизировать учетом , . Элементы , и являются неотрицательными целыми числами, строго положительными. ( также должен быть целым, но я буду беспокоиться об этом позже.)c′xc′xc' xAx≤bAx≤bA x\le bx≥0x≥0x\ge0AAAbbbccccccxxx В моем приложении...
Мне было интересно, какие наборы языков генерируются ограничениями регулярных выражений. Предположим, что все ограничения имеют постоянный символ для каждого элемента и конкатенации. Тогда восемь классов могут быть сформированы наличием или отсутствием дополнения / отрицания, изменения /...
Везде, где я читаю о проблеме разреженного разреза, это говорит только о том, что проблема, как известно, является NP- трудной. Где я могу найти подтверждение этому? Какая известная NP- трудная проблема сводится к проблеме разреженного разреза? Я не смог найти никаких доказательств в книге Вазирани...
Я пытаюсь показать, что определенная проблема недопустима из-за сокращения охвата. Мое сокращение превращает экземпляр с базовым набором размера и устанавливает в экземпляр моей проблемы, где определенный параметр имеет размер . Затем я могу показать, что экземпляр установленного покрытия, где...
Википедия - SHA-2 говорит SHA-224 идентичен SHA-256, за исключением того, что: начальные значения переменных от h0 до h7 различны, и выход строится путем пропуска h7. RFC3874 - 224-битная односторонняя хэш-функция: SHA-224 говорит Использование другого начального значения гарантирует, что усеченное...
(На мой первоначальный вопрос до сих пор нет ответа. Я добавил дополнительные пояснения.) При анализе случайных блужданий (на неориентированных графах), рассматривая случайное блуждание как цепь Маркова, мы требуем, чтобы граф был не двудольным, чтобы применялась основная теорема о цепях Маркова....
В задаче Макс-Кута ищется подмножество S вершин данного простого неориентированного графа так, чтобы число ребер между S и дополнением к S было как можно большим. Max-Cut является APX-полным на графах с ограниченной степенью [PY91] и фактически APX-полным на кубических графах (т.е. графах степени...
Для применения машинного обучения моя группа должна рассчитать евклидово расстояние до Кkkближайший сосед в наборе ИксXX для каждого x∈(X∪Y)⊂Rdx∈(X∪Y)⊂Rdx \in (X \cup Y) \subset \mathbb R^d (за ddd от 5 до 100, и |X|≈|Y||X|≈|Y||X| \approx |Y|от нескольких сотен до нескольких миллионов). В настоящее...
Учитывая субмодульную функцию еff на Ω =Икс1∪Икс2Ω=X1∪X2\Omega=X_1\cup X_2 где Икс1X1X_1 а также Икс2X2X_2 не пересекаются и е( S) =е1( S∩Икс1) +е2( S∩Икс2)f(S)=f1(S∩X1)+f2(S∩X2)f(S)=f_1(S\cap X_1)+f_2(S\cap X_2), Воте1f1f_1 а также е2f2f_2 субмодульный на Икс1X1X_1 а также Икс2X2X_2...
Я изучаю алгебраическую теорию разбора. Моя первая проблема - это определение примеров полукольца, специфичных для теории формального языка. Вот попытка построить два примера. 1 При заданной грамматике CNF элементами полукольца являются наборы терминальных и нетерминальных символов с операциями: i)...
Я пытаюсь узнать больше о проверке типов в целых программах и системах вывода типов, которые используют информацию с сайтов вызова функций для вычисления информации о типах (в дополнение к стандартному подходу использования тела функции). Например, такой алгоритм может использовать вызов функции,...