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

Я хотел бы знать, изучалась ли ранее простая проблема и известно ли какое-либо решение. Пусть G - конечная (MxN) сетка, S - подмножество клеток G («крошки»). Говорят, что две крошки (локально) связаны, если их координаты отличаются не более чем на один (т. Е. Если они нарисованы в виде квадратов, они …

10 ds.algorithms  graph-theory  graph-algorithms 

Для заданного невзвешенного плоского графа и набора пар вершин ( - константа) найдите непересекающихся вершин (кроме исходных) путей от до таких что длина самого длинного пути сведена к минимуму.( с , т1) , ... , ( s , тК)(s,T1),...,(s,TК)(s,t_1),\dots,(s,t_k)k ≥ 2К≥2k\ge2ККksssTяTяt_i Вопрос: есть ли алгоритм задачи с полиномиальным временем? Некоторые …

10 ds.algorithms  graph-algorithms 

Я довольно хорошо знаком с теорией, лежащей в основе VC-Dimension, но сейчас я смотрю на последние (последние 10 лет) достижения в теории статистического обучения: (локально) средние Радемахера, лемма о конечных классах Массарта, Покрывающие числа, Цепочки, Дадли Теорема, псевдоразмерность, размерность, разбивающая жир, номера упаковок, состав Радемахера и, возможно, другие результаты / …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

Во время моей работы я столкнулся со следующей проблемой: Я пытаюсь найти -матрицу , для любого , со следующими свойствами:n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 Определитель четен.MMM Для любых непустых подмножеств с, Подматрица имеет нечетный детерминанту тогда и только тогда , когда . I,J⊆{1,2,3}I,J⊆{1,2,3}I,J\subseteq\{1,2,3\}|I|=|J||I|=|J||I| = |J|MIJMJIM^I_JI=JI=JI=J Здесь обозначает подматрица создается …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

Определения Пусть ϵ>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 Для каждого пусть состоит из узлов, находящихся на расстоянии от …

10 graph-theory  co.combinatorics  dc.distributed-comp 

Предположим, у меня есть простой многоугольник и целое число k . Каковы некоторые существующие подходы для нахождения наименьшего радиуса ¨R таким образом, что я могу покрыть S с K окружностей радиуса г ? Как насчет, если г фиксирован, и я хочу минимизировать к ?SSSККkррrSSSККkррrррrККk

10 cg.comp-geom  planar-graphs  set-cover 

В поисках исследовательских работ о системах типов для императивных языков я нахожу решения только для языка с изменяемыми ссылками, но без подлинных императивных структур управления, таких как составные операторы, циклы или условные выражения. Поэтому не ясно, как можно реализовать императивный язык с частичным выводом типа, например http://rust-lang.org . В статьях …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

Алгоритм Дойча является хорошо известным квантовым вычислением 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 f(1) (или AND, если вы предпочитаете), используя только одну оценку fff . В противном случае: …

10 reference-request  quantum-computing 

Сложно ли приблизить приблизительное дробное хроматическое число на графах с ограниченными градусами?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Я ищу примеры сложных проблем (в NP или более сложных) из информатики, которые могут быть сведены к моделям физических процессов. Например, max-2-sat может быть сведен к минимизации энергии в модели Изинга. Я хотел бы найти больше примеров такого типа сокращения.

10 cc.complexity-theory  reductions  physics  formal-modeling 

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

10 soft-question  advice-request  research-practice 

Учитывая набор точек в трехмерном декартовом пространстве, я ищу алгоритм, который будет сортировать эти точки так, чтобы минимальное евклидово расстояние между двумя последовательными точками было бы максимальным. Было бы также полезно, если бы алгоритм имел тенденцию к увеличению среднего евклидова расстояния между последовательными точками.

10 graph-algorithms  cg.comp-geom  optimization 

Существует ли алгоритм полиномиального времени, чтобы найти - если он существует - остовный паук данного графа ? Паук - это дерево с не более чем одним узлом со степенью больше 2: я знаю, что различные условия степеней на (по существу, достаточно большие степени узлов) гарантируют существование остовного паука. Но мне …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Контекст: мы рассматриваем только орграфы. Пусть CYCLE будет языком графов с циклом; это NL-полная проблема. Пусть HASEDGE будет языком графов с хотя бы одним ребром. Тогда не тривиально, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} больше не NL-трудно, в то время как CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} пребывания так. Актуальная проблема: мне интересно, если язык CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Я ищу в Интернете доступные лекционные заметки или другие ресурсы, которые дают хорошее введение в параллельное программирование, подобно параллельным аналогам базовых классов по информатике. Я сосредоточен на следующем: пока я могу говорить о «разделяй и властвуй», жадных алгоритмах, динамическом программировании и т. П., То есть об основных шаблонах последовательных алгоритмов …

10 reference-request  soft-question  dc.parallel-comp  survey