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

19
Сложность решения, является ли матрица полностью регулярной

Матрица называется вполне регулярной, если все ее квадратные подматрицы имеют полный ранг. Такие матрицы использовались для построения суперконцентраторов. В чем сложность решения, является ли данная матрица полностью регулярной по рациональным числам? Над конечными полями? В более общем смысле ,...

19
Линейно независимые коэффициенты Фурье

Основное свойство векторных пространств состоит в том, что векторное пространство размерности может характеризоваться линейно независимыми линейными ограничениями, то есть существуют линейно независимых векторов , ортогональных .В⊆ FN2В⊆F2NV \subseteq \mathbb{F}_2^nн - дN-dn-dddddddвес1, … , Шd∈...

19
Является ли проблема множества вершин обратной связи разрешимой за полиномиальное время для 3-градусных ограниченных графов?

Набор вершин обратной связи NP-полон для общих графов. Известно, что он является NP-полным для ограниченных графов степени 8 из-за сокращения от покрытия вершины. В статье в Википедии говорится, что она разрешима по времени для ограниченных графов степени 3 и является NP-полной для ограниченных...

19
Можем ли мы рассчитывать на глубину

Можем ли мы вычислить битный пороговый вентиль по схемам с полиномиальным размером (неограниченным разветвлением) глубиной lg nNnn ? В качестве альтернативы, мы можем посчитать число 1 во входных битах, используя эти схемы?Л.Г.NЛ.Г.Л.Г.Nlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} Является ли ?Т С0⊆ л т т я...

19
В какой степени «продвинутая математика» необходима / полезна в исследованиях ИИ?

В настоящее время я изучаю математику. Однако я не думаю, что хочу стать профессиональным математиком в будущем. Я подумываю применить свои знания математики для исследований в области искусственного интеллекта. Однако я не уверен, сколько курсов по математике мне следует пройти. (И каким курсам по...

19
Каковы пределы общего функционального программирования?

Каковы ограничения общего функционального программирования? Он не является полным по Тьюрингу, но все еще поддерживает большое количество возможных программ. Существуют ли важные конструкции, которые вы могли бы написать на языке Тьюринга, но не на полном функциональном языке? И правильно ли...

19
Почему проблема консенсуса так важна в распределенных вычислениях?

В распределенных вычислениях проблема консенсуса, по-видимому, является одной из центральных тем, которая привлекла интенсивные исследования. В частности, статья «Невозможность распределенного консенсуса с одним ошибочным процессом» была удостоена награды PODC за выдающуюся работу в 2001 году . Так...

19
Какова пространственная сложность вычисления собственных значений?

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

19
Интуитивное / неформальное доказательство LP Duality?

Что было бы хорошим неофициальным / интуитивно понятным доказательством того, что «удар по теме» о дуальности ЛП? Как лучше всего показать, что минимизированная целевая функция действительно является минимальной с интуитивным способом понимания границ? То, как меня учили, дуальность привела только...

19
Абстрактная алгебра для теоретических компьютерных ученых

У меня есть достаточное образование по математике, но я никогда не чувствовал себя уверенно на 100% с абстрактной алгеброй (математика групп, колец, полей и т. Д.). Я думаю, что это было отчасти потому, что мне нужно было увидеть приложения, и все, что я мог найти, были в физике, а не в CS....

19
Время выполнения алгоритма Гровера

Какова временная сложность (не сложность запросов) алгоритма Гровера? Мне кажется ясным, что это поскольку существуют итерации и каждая итерация требует использования операции отражения, которая в свою очередь требует времени с использованием любого стандартного набора универсальных ворот.Ω( √Ω (...

19
Как получить неизвестные значения учетом неупорядоченного списка ?

Кто-нибудь может мне помочь со следующей проблемой? Я хочу найти некоторые значения a i , b jai,bja_i,b_j (mod NNN ), где i = 1 , 2 , … , K , j = 1 , 2 , … , Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (например, К = 6K=6K=6 ), учитывая список значений К 2K2K^2 которые соответствуют различиям a i - b...

19
Подсчитайте количество связующих деревьев быстро

t(G)t(G)t(G)GGGnnnt(G)t(G)t(G)O(n3)O(n3)O(n^3)QGJ11n2det(J+Q)1n2det(J+Q)\frac{1}{n^2} \det(J + Q)QQQGGGJJJ111 Интересно, есть ли способ вычислить t(G)t(G)t(G) быстрее. (Да, есть более быстрые, чем O(n3)O(n3)O(n^3) алгоритмы для вычисления определителя, но меня интересует какой-то новый подход.) Он...

19
Проверка, все ли продукты из набора матриц в конечном итоге равны нулю

Меня интересует следующая задача: заданы целочисленные матрицы A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k решают, равно ли каждое бесконечное произведение этих матриц нулевой матрице. Это означает именно то, что вы думаете, что он делает: мы будем говорить, что множество матриц обладает тем...

19
Существует ли геометрическая картина для адиабатических квантовых вычислений?

В адиабатических квантовых вычислениях (AQC) каждый кодирует решение задачи оптимизации в основном состоянии [проблемы] гамильтониана . Чтобы добраться до этого основного состояния, вы начинаете в легко охлаждаемом начальном (основном) состоянии с гамильтонианом и «отжигом» (адиабатически...

19
Лямбда-исчисление для обратимых (вычислимых по Тьюрингу) функций

Мне интересна концепция «полноты р-Тьюринга», определенная Аксельсеном и Глюком (2011) . Система полна r-Turing, если она может вычислять тот же набор функций, что и обратимая машина Тьюринга, без создания каких-либо «мусорных» данных. Это то же самое, что возможность вычислять каждую функцию,...

19
Гипотеза о двух счетчиках автоматов

Я хотел бы доказать (или опровергнуть) следующую гипотезу: Предположение : двух встречные автоматы (2CA) не могут выбрать следующий язык: n }L={n∣L={n∣L = \{ n \mid троичное и двоичное представления имеют как четную, так и нечетную длинуnnn}}\} 2CA может легко проверить, имеет ли двоичное...

19
Детерминированная коммуникационная сложность против номера раздела

Фон: Рассмотрим обычную двухстороннюю модель сложности коммуникации, где Алисе и Бобу даны битные строки и и они должны вычислить некоторую булеву функцию , где .nnnxxxyyyf(x,y)f(x,y)f(x,y)f:{0,1}n×{0,1}n→{0,1}f:{0,1}n×{0,1}n→{0,1}f:\{0,1\}^n \times \{0,1\}^n \to \{0,1\} Мы определяем следующие...