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

Позволять d:{0,1}k×{0,1}k→Rd:{0,1}k×{0,1}k→Rd:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R}быть функцией, которую мы называем функцией подобия . Примерами функции подобия являются косинусное расстояние,l2l2l_2 норма, расстояние Хэмминга, сходство Жакара и т. д. Рассматривать nnn двоичные векторы длины kkk: v⃗ ∈({0,1}k)nv→∈({0,1}k)n\vec{v} \in (\{0,1\}^k)^n, Наша цель - сгруппировать векторы, которые похожи. Более формально, мы хотим вычислить граф подобия, …

9 ds.algorithms  graph-algorithms  clustering 

Это расширение классической проблемы секретаря . В игре найма у вас есть набор кандидатов C={c1,…,cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\}и приказ о том, насколько квалифицирован каждый работник. Wlog, мы предполагаем, что c1c1c_1 самый опытный, а затем c2c2c_2, так далее. Порядок проведения собеседования с кандидатами выбирается случайным образом, и он (очевидно) неизвестен работодателям. Теперь предположим, …

9 ds.algorithms  gt.game-theory 

Цветной граф можно описать как кортеж где - граф, а - раскраска. Два цветных графа и называются изоморфными, если существует такой изоморфизм , что выполняется раскраска, т.е. для всех v \ в V (G) .(G,c)(G,c)(G,c)GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}(G,c)(G,c)(G,c)(H,d)(H,d)(H,d)π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H)c(v)=d(π(v))c(v)=d(π(v))c(v) = d(\pi(v))v∈V(G)v∈V(G)v \in V(G) Это понятие отражает …

9 terminology  graph-isomorphism  equivalence 

Какой самый быстрый из известных алгоритмов изоморфизма неориентированных графов?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

Позволять f∈Q[x1,x2,…,xn]f∈Q[x1,x2,…,xn]f\in\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] быть полиномом, заданным арифметической схемой CCC размера sss, ДанныйCCC в качестве входных данных, есть ли детерминированный алгоритм, чтобы проверить, все ли неприводимые факторы fff в Q[x1,x2,…,xn]Q[x1,x2,…,xn]\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}]такое линейные формы? На связанной ноте, учитывая линейную формуl=∑ni=1li⋅xil=∑i=1nli⋅xil=\sum_{i=1}^{n}l_{i}\cdot x_{i}можем ли мы проверить детерминистически lll является фактором fff, Конечно, мы хотим, чтобы время …

9 ds.algorithms  algebraic-complexity  arithmetic-circuits 

Прошу прощения, это немного "мягкий" вопрос. Теория информации не имеет понятия вычислительной сложности. Например, экземпляр SAT или экземпляр SAT плюс бит, указывающий на выполнимость, несут одинаковое количество информации. Есть ли способ формализовать понятие «полиномиально узнаваемый»? Такая структура могла бы определить, например, понятие расхождения полиномиального KL между случайной величиной X относительно …

9 cc.complexity-theory  it.information-theory  polynomial-time 

Скажем, у нас есть булева функция f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\} и мы применяем δδ\deltaслучайное ограничение на fff, Кроме того, скажем, что дерево решенийTTT это вычисляет fff сжимается до размера O(1)O(1)O(1)в результате случайного ограничения. Означает ли это, чтоfff имеет очень низкое общее влияние?

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

Каков наилучший результат для числа затворов в схеме, умножающей два n-разрядных целых числа? Очевидный метод генерирует θ (N2)θ(N2)\theta(n^2)ворота. Есть лучшие подходы сθ(nlognloglogn)θ(nlog⁡nlog⁡log⁡n)\theta(n\log n \log\log n) а также θ(nlogn2log∗(n))θ(nlog⁡n2log∗⁡(n))\theta(n\log n2^{\log^*(n)}) ворота. Я не смог найти ни одного семейства булевых цепей, которое может обрабатывать умножение с nlognnlog⁡nn\log nворота. Интересно, существует ли такое …

9 cc.complexity-theory  circuit-complexity 

Я хочу разделить набор точек на два подмножества одинакового размера так, чтобы сумма квадратов внутри кластера была минимальной. Можно предположить, что точки находятся в двумерном евклидовом пространстве. Я надеюсь на что-то более быстрое, чем обычный алгоритм кластеризации k-средних, учитывая, что k = d = 2. Может кто-нибудь указать мне в …

9 ds.algorithms  approximation-algorithms  clustering 

Каково соотношение неоднозначных CFG к всем CFG ? Поскольку оба множества счетно бесконечны, соотношение не является четко определенным. Но как насчет асимптотической плотности : limn↦∞# ambiguous CFG of size&lt;n# CFG of size&lt;nlimn↦∞# ambiguous CFG of size&lt;n# CFG of size&lt;n\lim_{n \mapsto \infty}\frac {\# \text{ ambiguous CFG of size} < n} {\# …

9 fl.formal-languages  grammars  context-free 

Гомоморфизм из графаG=(V,E)G=(V,E)G = (V, E) на график G′=(V′,E′)G′=(V′,E′)G' = (V', E') это отображение fff от VVV в V′V′V' такой, что если xxx а также yyy смежны в EEE тогда f(x)f(x)f(x) а также f(y)f(y)f(y) смежны в E′E′E', Эндоморфизм графаGGG является гомоморфизмом из GGGк себе; это без фиксированной точки, если нетxxx …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

Большинство зависимых типизированных систем имеют строгие условия положительности для индуктивных типов. Кто-нибудь знает пример, когда нарушение условия приводит к несогласованности в системе?

9 lo.logic  type-theory  dependent-type 

Рассмотрим классическую # P-полную задачу # 3SAT, т. Е. Посчитаем количество оценок, чтобы сделать 3CNF с переменными выполнимыми. Меня интересует аддитивная аппроксимируемость. Ясно, что существует тривиальный алгоритм для достижения -ошибки, но если , возможно ли иметь эффективный алгоритм аппроксимации, или эта проблема также является # P-трудной ?nnn2n−12n−12^{n-1}k&lt;2n−1k&lt;2n−1k<2^{n-1}

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Здесь было несколько вопросов ( 1 , 2 , 3 ) о транзитивном завершении, которые заставили меня задуматься, возможно ли что-то подобное: Предположим, мы получили входной ориентированный граф GGG и хотел бы ответить на запросы типа "(u,v)∈G+(u,v)∈G+(u,v)\in G^+? ", т.е. спрашивает, существует ли ребро между двумя вершинами в транзитивном завершении …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure 

Каковы некоторые из лучших источников (книги и статьи), чтобы мотивировать и изучать сложность общения самостоятельно и в связи с ее отношением к теории вычислительной сложности?

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