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

В каких университетах существует сильная учебная программа по квантовым вычислениям и предлагаются какие-либо курсы / исследования по квантовым вычислениям? Цель здесь - собрать полезный список для тех, кто рассматривает аспирантуру в этих областях, а не для обсуждения того, что является «лучшим». Чтобы сделать этот список полезным, пожалуйста, включите краткое описание …

18 soft-question  quantum-computing  big-list  quantum-information 

Пусть - неориентированный простой граф, и пусть - различные вершины. Пусть длина простого st-пути будет числом ребер на пути. Мне интересно вычислить максимальный размер набора простых st-путей, чтобы каждый путь имел нечетную длину, а наборы вершин каждой пары путей попарно пересекались только по s и t. Другими словами, я ищу …

18 matching  graph-algorithms 

Меня интересует явная булева функция со следующим свойством: если постоянна в некотором аффинном подпространстве , то размерность этого подпространства равна .е:0 , 1N→0 , 1е:0,1N→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}ееf о ( п )0 , 1N0,1N\\{0,1\\}^no ( n )о(N)o(n) Нетрудно показать, что симметрическая функция не удовлетворяет этому свойству, рассматривая подпространство A …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

Проблема: нам дают набор палочек, имеющих целую длину. Общая сумма их длин n (n + 1) / 2. Можем ли мы разбить их, чтобы получить палочки размером за полиномиальное время? 1 , 2 , … , n1,2,...,N{1,2,\ldots,n} Удивительно, но единственная ссылка, которую я нахожу для этой проблемы, - это древнее …

18 reference-request  complexity-classes  puzzles 

Эта статья предполагает, что есть комбинаторы (представляющие символические вычисления), которые не могут быть представлены лямбда-исчислением (если я правильно понимаю вещи):

18 lo.logic  lambda-calculus 

Меня интересует следующая проблема: учитывая множество X и подмножества X_1, ..., X_n из X, найдите раскраску элементов X с помощью k цветов, чтобы все элементы в каждом X_i были по-разному окрашены. Более конкретно, я смотрю на случай, когда все X_i имеют размер k. Известно ли это в литературе под каким-то …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Parity-P - это набор языков, распознаваемых недетерминированной машиной Тьюринга, которая может различать только четное число или нечетное число путей «принятия» (а не нулевое или ненулевое число путей принятия). Таким образом, Parity-P - это, в основном, младший брат PP с задержкой роста: в то время как PP подсчитывает, является ли количество …

18 cc.complexity-theory  complexity-classes  np 

Определим Gaussian сложность в качестве матрицы , чтобы минимальное число элементарных операций строк и столбцов , необходимых для приведения матрицы в верхней треугольной форме. Это величина от до (через гауссовское исключение). Понятие имеет смысл в любой области.n×nn×nn \times nn 2000n2n2n^2 Эта проблема, безусловно, кажется очень простой, и она должна быть …

18 cc.complexity-theory  lower-bounds  matrices 

Хорошо известно, что квантовые компьютеры являются строго более мощными, чем их классические аналоги, с точки зрения сложности запросов . Существуют ли другие модели (естественные или искусственные), которые строго находятся между квантовой и классической с точки зрения сложности запросов? Разделение может быть на конкретные проблемы: модель X вычисляет функцию со строго …

18 cc.complexity-theory  quantum-computing  query-complexity 

Проблема удовлетворенности является, конечно, фундаментальной проблемой в теоретической CS. Я играл с одной версией проблемы с бесконечным количеством переменных. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Базовая настройка. Пусть непустое и, возможно, бесконечное множество переменных . Литерал - это либо переменная либо ее отрицание . Предложение - это дизъюнкция конечного числа литералов . Наконец, мы …

18 reference-request  lo.logic  sat  topology  lattice 

Я только что прочитал вопрос « Является ли целочисленная факторизация NP-полной проблемой? » ... поэтому я решил потратить часть своей репутации :-), задавая еще один вопрос с :QQQP(Q is trivial)≈1п(Q тривиально)≈1P(\text{Q is trivial}) \approx 1 Если является оракулом, который решает целочисленную факторизацию, какова мощность ? AAAPAпAP^A Я думаю, что это …

18 cc.complexity-theory  oracles  factoring 

Похоже, что для некоторых задач NP-Hard много работы по разработке быстрых экспоненциальных алгоритмов с точным временем (т. Е. Результатов вида: Алгоритм A решает задачу за время O (c ^ n), причем c мало). Похоже, что для решения некоторых сложных задач (например, « Измерить и победить»: простой алгоритм независимых множеств. SODA'06 …

18 ds.algorithms 

Я извиняюсь, если это не по теме. Похоже, что доменное имя истекло. Я надеюсь, что некоторые члены сообщества (я не один) могут знать, кто был администратором / владельцем этого сайта. Это был довольно полезный ресурс.

17 soft-question 

Слово www называется примитивным , если нет слов и так что . Множество всех примитивных слов над алфавитом является хорошо известным языком. WLOG мы можем выбрать . vvvk>1k>1k > 1w=vkw=vkw = v^kQQQΣΣ\SigmaΣ={a,b}Σ={a,b}\Sigma = \{ a,b \} Язык является простой , если для каждого языка и с мы имеем или .LLLAAABBBL=A⋅BL=A⋅BL …

17 fl.formal-languages 

Какие основные открытые проблемы вычислительной сложности возникают из-за языков программирования, особенно из анализа и компиляции программ? Я ищу проблемы по линии «временная сложность вывода типа Хиндли-Милнера» или «временная сложность 0CFA» (хотя обе проблемы решены).

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem