Я часто слышал, как говорят, что вы не можете написать программу для обнаружения ошибок в веб-браузере, текстовом процессоре или операционной системе из-за теоремы Райса: любое семантическое свойство для языка, полного по Тьюрингу, неразрешимо. Однако я не уверен, в какой степени это относится к...
Контекст: мы рассматриваем только орграфы. Пусть CYCLE будет языком графов с циклом; это NL-полная проблема. Пусть HASEDGE будет языком графов с хотя бы одним ребром. Тогда не тривиально, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} больше не NL-трудно, в то время как...
Я ищу в Интернете доступные лекционные заметки или другие ресурсы, которые дают хорошее введение в параллельное программирование, подобно параллельным аналогам базовых классов по информатике. Я сосредоточен на следующем: пока я могу говорить о «разделяй и властвуй», жадных алгоритмах, динамическом...
Существует ли алгоритм полиномиального времени, чтобы найти - если он существует - остовный паук данного графа ? Паук - это дерево с не более чем одним узлом со степенью больше 2: я знаю, что различные условия степеней на (по существу, достаточно большие степени узлов) гарантируют существование...
В книге Арора-Барак, в определении функций, способных к построению по времени, говорится, что использование функций, которые не могут быть построены по времени, может привести к «аномальным результатам». У кого-нибудь есть пример такого "аномального результата"? В частности, я слышал, что могут...
Учитывая набор точек в трехмерном декартовом пространстве, я ищу алгоритм, который будет сортировать эти точки так, чтобы минимальное евклидово расстояние между двумя последовательными точками было бы максимальным. Было бы также полезно, если бы алгоритм имел тенденцию к увеличению среднего...
Не уверен, если правильный район, но здесь идет. Я начинаю работу над докторской диссертацией по управлению доверием и репутацией в сетях связи (много теории графов, вероятностный анализ и т. Д.), И у меня впереди много чтения. Кто-нибудь может посоветовать лучшие способы управления академическим...
У меня есть 400 шаров, из которых 100 - красные, 40 - желтые, 50 - зеленые, 60 - синие, 70 - фиолетовые, 80 - черные. (шарики одного цвета идентичны) мне нужен эффективный алгоритм перетасовки, чтобы после перетасовки шары были в списке, и Любые 3 последовательных шара не одного цвета. Например, я...
Я ищу примеры сложных проблем (в NP или более сложных) из информатики, которые могут быть сведены к моделям физических процессов. Например, max-2-sat может быть сведен к минимизации энергии в модели Изинга. Я хотел бы найти больше примеров такого типа...
Алгоритм Дойча является хорошо известным квантовым вычислением f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} только с одной оценкой fff . Если мы заменим +++ на ⋅⋅\cdot проблема, похоже, станет другой. Мой вопрос: существует ли квантовый алгоритм, вычисляющий значение f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot...
Сложно ли приблизить приблизительное дробное хроматическое число на графах с ограниченными
Предположим, у меня есть простой многоугольник и целое число k . Каковы некоторые существующие подходы для нахождения наименьшего радиуса ¨R таким образом, что я могу покрыть S с K окружностей радиуса г ? Как насчет, если г фиксирован, и я хочу минимизировать к...
Во время моей работы я столкнулся со следующей проблемой: Я пытаюсь найти -матрицу , для любого , со следующими свойствами:n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 Определитель четен.MMM Для любых непустых подмножеств с, Подматрица имеет нечетный детерминанту тогда и только тогда ,...
В поисках исследовательских работ о системах типов для императивных языков я нахожу решения только для языка с изменяемыми ссылками, но без подлинных императивных структур управления, таких как составные операторы, циклы или условные выражения. Поэтому не ясно, как можно реализовать императивный...
Определения Пусть ϵ>0ϵ>0\epsilon > 0 и пусть ddd , rrr и ggg - натуральные числа (при g>2r+1g>2r+1g > 2r+1 ). Пусть G=(V,E)G=(V,E)G = (V,E) простой регулярный неориентированный конечный граф с обхватом не менее .гdddggg Пусть быть общий порядок на .V≤≤\leVVV Для каждого пусть состоит из...
Я хотел бы знать, изучалась ли ранее простая проблема и известно ли какое-либо решение. Пусть G - конечная (MxN) сетка, S - подмножество клеток G («крошки»). Говорят, что две крошки (локально) связаны, если их координаты отличаются не более чем на один (т. Е. Если они нарисованы в виде квадратов,...
Я довольно хорошо знаком с теорией, лежащей в основе VC-Dimension, но сейчас я смотрю на последние (последние 10 лет) достижения в теории статистического обучения: (локально) средние Радемахера, лемма о конечных классах Массарта, Покрывающие числа, Цепочки, Дадли Теорема, псевдоразмерность,...
Для заданного невзвешенного плоского графа и набора пар вершин ( - константа) найдите непересекающихся вершин (кроме исходных) путей от до таких что длина самого длинного пути сведена к минимуму.( с , т1) , ... , ( s , тК)(s,T1),...,(s,TК)(s,t_1),\dots,(s,t_k)k ≥ 2К≥2k\ge2ККksssTяTяt_i Вопрос: есть...
Некоторые из нас читали статью Майкла Нильсена о геометрическом подходе к использованию квантовых нижних границ (вкратце, построение финслеровой метрики на такой, что геодезическое расстояние от I до элемента U является нижней границей на число ворот в квантовой схеме, которая вычисляет U ).SU(...
Пусть граф с (положительно) взвешенными ребрами. Я хочу определить диаграмму Вороного для набора узлов / сайтов S , чтобы связать с узлом v ∈ S подграф R ( v ) группы G, индуцированный всеми узлами строго ближе к v, чем к любому другому узлу в S , измеряя длина пути по сумме весов на дугах. R ( v )...