Теоретическая информатика

Триангуляции Делоне на плоскости максимизируют минимальный угол в треугольнике. Справедливо ли то же самое для триангуляции Делоне точек на сфере? (здесь «угол» - это локальный угол в окрестности вокруг вершины на вершине). Вдохновленный, но не связанный с этим вопросом на Math.SE.

9 cg.comp-geom  delaunay-triangulation 

Предположим структуру в сложности коммуникации, где у нас есть два игрока A (вши) и B (ob) и R (eferee). А и Б не общаются напрямую друг с другом. В каждом раунде общения каждый из них отправляет сообщение (mAmAm_A, mBmBm_B) в R.R вычисляет две функции fA(mA,mB)fA(mA,mB)f_A(m_A,m_B) а также fB(mA,mB)fB(mA,mB)f_B(m_A,m_B)и отправляет результаты …

9 cc.complexity-theory  reference-request  communication-complexity 

Я читаю старую статью MC Golumbic о графиках EPT (пересечение ребер в дереве). В статье показано, что число максимальных кликов экземпляра графа EPT является полиномиальным. Он приходит к выводу, что если оракул сообщает, что графггG является графиком EPT, то можно найти максимальную клику с помощью стандартного алгоритма перебора кликов. Прежде …

9 ds.algorithms  graph-algorithms  clique 

Учитывая субмодульную функцию е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,Икс2,е1,е2X1,X2,f1,f2X_1,X_2,f_1,f_2 неизвестны и только значение запроса доступа к еffдано. Тогда есть ли алгоритм Polytime, …

9 ds.algorithms  submodularity 

Я пытаюсь узнать больше о проверке типов в целых программах и системах вывода типов, которые используют информацию с сайтов вызова функций для вычисления информации о типах (в дополнение к стандартному подходу использования тела функции). Например, такой алгоритм может использовать вызов функции, например, foo(1)чтобы сделать вывод, что функция fooпринимает целочисленные аргументы. …

9 pl.programming-languages  type-theory  type-inference  type-systems 

Для применения машинного обучения моя группа должна рассчитать евклидово расстояние до К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|от нескольких сотен до нескольких миллионов). В настоящее время мы используем либо грубую силуO(d|X||X∪Y|)O(d|X||X∪Y|)O(d \lvert …

9 reference-request  cg.comp-geom  near-neighbors 

В задаче Макс-Кута ищется подмножество S вершин данного простого неориентированного графа так, чтобы число ребер между S и дополнением к S было как можно большим. Max-Cut является APX-полным на графах с ограниченной степенью [PY91] и фактически APX-полным на кубических графах (т.е. графах степени 3) [AK00]. Max-Cut является NP-полным на графах …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Я изучаю алгебраическую теорию разбора. Моя первая проблема - это определение примеров полукольца, специфичных для теории формального языка. Вот попытка построить два примера. 1 При заданной грамматике CNF элементами полукольца являются наборы терминальных и нетерминальных символов с операциями: i) Умножение , объединяющее два набора попарно в соответствии с правилом CYK. …

9 fl.formal-languages 

(На мой первоначальный вопрос до сих пор нет ответа. Я добавил дополнительные пояснения.) При анализе случайных блужданий (на неориентированных графах), рассматривая случайное блуждание как цепь Маркова, мы требуем, чтобы граф был не двудольным, чтобы применялась основная теорема о цепях Маркова. Что будет, если график гGGвместо двудольного? Меня особенно интересует время …

9 pr.probability  random-walks 

Википедия - SHA-2 говорит SHA-224 идентичен SHA-256, за исключением того, что: начальные значения переменных от h0 до h7 различны, и выход строится путем пропуска h7. RFC3874 - 224-битная односторонняя хэш-функция: SHA-224 говорит Использование другого начального значения гарантирует, что усеченное значение дайджеста сообщения SHA-256 не может быть ошибочно принято за значение …

9 cr.crypto-security  hash-function 

Везде, где я читаю о проблеме разреженного разреза, это говорит только о том, что проблема, как известно, является NP- трудной. Где я могу найти подтверждение этому? Какая известная NP- трудная проблема сводится к проблеме разреженного разреза? Я не смог найти никаких доказательств в книге Вазирани «Алгоритмы аппроксимации», в которой представлен …

9 cc.complexity-theory  reference-request  np-hardness 

Мне было интересно, какие наборы языков генерируются ограничениями регулярных выражений. Предположим, что все ограничения имеют постоянный символ для каждого элемента и конкатенации. Тогда восемь классов могут быть сформированы наличием или отсутствием дополнения / отрицания, изменения / объединения и звезды Клини. (Да, у «обычных» регулярных выражений нет оператора , но здесь …

9 fl.formal-languages  regular-expressions 

Я пытаюсь показать, что определенная проблема недопустима из-за сокращения охвата. Мое сокращение превращает экземпляр с базовым набором размера и устанавливает в экземпляр моей проблемы, где определенный параметр имеет размер . Затем я могу показать, что экземпляр установленного покрытия, где размер покрытия равен s, соответствует экземпляру моей проблемы, где размер оптимального …

9 cc.complexity-theory  approximation-hardness  set-cover 

У меня есть семейство задач линейного программирования: максимизировать учетом , . Элементы , и являются неотрицательными целыми числами, строго положительными. ( также должен быть целым, но я буду беспокоиться об этом позже.)c′xc′xc' xAx≤bAx≤bA x\le bx≥0x≥0x\ge0AAAbbbccccccxxx В моем приложении часто случается, что коэффициенты и таковы, что упрощенный однопроходный алгоритм дает оптимальное …

9 ds.algorithms  reference-request  linear-programming  matrices 

Колмогоровская сложность строки не вычислима. Тем не менее, в случайном подмножестве размераMMM двоичных строк длины nNnсколько ожидается, что сложность будет меньше целого числа n0N0n_{0} меньше, чем nNn (как функция MMM, nNn а также n0N0n_{0})?

9 cc.complexity-theory  kolmogorov-complexity