Рассмотрим граф (задача имеет смысл как для ориентированных, так и для неориентированных графов). Назовите матрицей расстояний : - это кратчайшее расстояние от вершины до вершины в для некоторой фиксированной функции агрегирования (например, или ).GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i,...
Это смущает меня. Один простой случай подсчета - это когда проблема решения находится в а решений нет.PPP Лекция показывает, что проблема подсчета числа совершенных совпадений в двудольном графе (эквивалентно подсчету числа циклов в ориентированном графе) является -полной.#P#P\#P Они дают...
У меня есть книга, которая, вдохновленная Принципами математики Рассела (PM) и логическим позитивизмом, пытается формализовать определенную область, определяя аксиомы и выводя из них теоремы. Короче говоря, он пытается сделать для своей области то, что PM пытался сделать для математики. Как и PM,...
У Конвея очень приятная конструкция из сюрреалистических чисел. Это «числа», которые содержат как действительные числа, так и порядковые числа, полностью упорядочены и имеют все свойства поля (за исключением того, что они образуют не множество, а класс). Смотрите, например, этот PDF или Википедию...
Были ли когда-либо реализованы деревья разделов? Здесь я говорю о деревьях разбиений из вычислительной геометрии. Самые ранние (почти) оптимальные версии были из-за Matousek и других, а совсем недавно Тимоти Чана: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf Мне кажется безумным, что они никогда...
Существуют ли конкретные (или богатые источники) примеры применения -адических чисел в
Какова связь между просто типизированным лямбда-исчислением и логикой более высокого порядка? При Карри-Говарде кажется, что просто типизированное лямбда-исчисление соответствует логике высказываний. Как это связано с логикой высшего порядка? Согласно этому руководству Geuvers:...
Рассмотрим следующую проблему: Для двух строк x, y решите, существует ли строковый гомоморфизм f такой, что f (x) = y. Легко показать , что эта проблема находится в . Есть ли что-то еще, что мы можем сказать об этой проблеме? Например, это в c o N P или даже в P ?NPNPNPcoNPcoNPcoNPPPP Эта проблема...
Как мы знаем, определение вычислительной сложности алгоритма практически не вызывает противоречий, но определение вычислительной сложности вещественных чисел или моделей вычислений над действительными значениями не в таком случае. Мы знаем модель и модель Блюма и Смалеса в книге «Вычислительный...
Пусть - некоторое поле. Как обычно, для f ∈ k [ x 1 , x 2 , … , x n ] мы определяем L ( f ) как прямолинейную сложность f над k . Пусть F - множество мономов f , а именно мономов, которые появляются в f с ненулевым коэффициентом.kkkf∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in...
Предположим, что наш вход является двоичным и мы должны вывести , где - некоторое постоянное целое число. Это просто сдвиг, если является степенью двойки, но как насчет других чисел? Можем ли мы сделать это с контуром постоянной глубины для каждого ? Как насчет ?⌊ x / c ⌋ c c c c = 3Иксxx⌊ х / с...
Рассмотрим полную информацию о комбинаторных играх для двух игроков, которые заканчиваются после полиномиального числа ходов, и поочередно игроки выбирают из конечного числа разрешенных ходов. Обычный вопрос в том, насколько сложно с определенной позиции отличить победителя. Другой будет, как...
Я рассматриваю идеи о точных квантовых алгоритмах. В частности, я рассматриваю вероятные ограничения , который состоит из языков, которые можно точно определить с помощью многочастотных семейств квантовых цепей в произвольном множестве конечных элементов.EQPEQP\mathsf{EQP} Квантовое преобразование...
Я хотел бы знать ( в связи с этим другой вопрос ) , если нижние оценки были известны следующие задачи тестирования: один получает доступ запроса к последовательности неотрицательных чисел п ≥ ⋯ ≥ 1 и & epsi ; ∈ ( 0 , 1 ) с обещанием, что либо k n k = 1 a k = 1, либо ∑ n k = 1 a k ≤ 1 - ε .aN≥ ⋯...
Является ли проблема конечного обратного полугруппового изоморфизма GI-полной ? Здесь конечные обратные полугруппы предполагаются заданными их таблицами...
В доказательстве Голдрайха и др. О том, что три цвета имеют нулевое доказательство знания, используется битовое обязательство для полной раскраски графа в каждом раунде [1]. Если граф имеет вершин и ребер, безопасный хеш имеет битов, и мы ищем вероятность ошибки , общая стоимость связи равнае б...
В настоящее время я слушаю выступление Алана Кейса "Это действительно сложно или мы просто усложнили?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ), где он говорит, что «семафоры были плохой идеей и что-то под названием псевдо-время было превосходным» (в 51:40 на связанном видео). Может...
Дерево решений однократного чтения определяется следующим образом: и F L сек е считываются однократно деревьев решений.Tг у йTrueTrueFл ы еFalseFalse Если и B являются деревьями решений с однократным чтением, а x является переменной, не встречающейся в A и B , то ( x ∧ A ) ∨ ( ˉ x ∧ B ) также...
Система векторного сложения (VAS) - это конечный набор действий . - это набор разметок . В рабочем цикле является непустое слово маркировки й . Если такое слово существует , мы говорим , что является достижимым из .A ⊂ Z d A⊂ZdA \subset \mathbb{Z}^dN dNd\mathbb{N}^dm 0 m 1 … m nm0m1…mnm_0 m_1\dots...
В моем старом учебнике по чешскому алгоритму я столкнулся со следующей проблемой, к сожалению, без подсказок и решений. «Мы определяем слова Фибоначчи как , , , где и - общие буквы. Как в данном строка (над потенциально большим алфавитом) вы можете найти самое длинное подслово Фибоначчи за линейное...