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

Поскольку ответа не было дано, был установлен флаг с просьбой преобразовать этот вопрос в вики сообщества. Комментарии Аарона Стерлинга, Сашо Николова и Вора были объединены в следующую резолюцию, которая открыта для обсуждения в вики сообщества: Решено: Что касается классических алгоритмов, которые выводят числа, выборки или траектории моделирования, строгая математическая логика …

9 quantum-computing  program-verification  sample-complexity 

Даже если это не решающий момент, я не вижу литературы по этому вопросу. Есть ли результаты релятивизации? Разве не было бы достаточно просто доказать строгое включение путем адаптации недетерминированной теоремы иерархии времени, исследуя все возможные пути машины NP?

9 cc.complexity-theory  complexity-classes 

В некоторых областях исследований в области CS мы получили очень интересные результаты. Сейчас мы думаем об их публикации. В нашей группе философия заключается в том, чтобы публиковать небольшие вещи в документах конференции, что хорошо, но не лучше. Теперь я думаю о том, чтобы собрать больше этих «мелких вещей» и опубликовать …

9 soft-question  research-practice  writing  paper-review  conferences 

Похоже, что в популярных языках запросов для реляционных баз данных можно создавать запросы, для ответа на которые потребуется много ресурсов. На практике администраторы базы данных управляют этим, ограничивая объем памяти на запрос и проверяя наличие длительных запросов на предмет замедления в базе данных. Это кажется довольно случайным, есть ли решение …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

У нас есть набор, LLLсписков элементов из множества N= { 1 , 2 , 3 , . , , , n }N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n \}, Каждый элемент изNNN появляется в одном списке в LLL, Я ищу структуру данных, которая может выполнять следующие обновления: с о …

9 ds.algorithms  graph-algorithms  ds.data-structures 

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

9 graph-theory  co.combinatorics  algebra 

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

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

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

9 ds.algorithms  reference-request  optimization  heuristics 

Рассмотрим гильбертово пространство ЧАСзнак равноЧАС1⊗ ⋯ ⊗ЧАСNH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes H_n, Неописуемая основа продукта (UPB) - это набор векторов продукта|vя⟩ = |v1я⟩ ⊗ ⋯ ⊗ |vNя⟩|vi⟩=|vi1⟩⊗⋯⊗|vin⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots \otimes \vert v_i^n \rangle такой что: а) все взаимно ортогональны|vя⟩|vi⟩\vert v_i \rangle б) не …

9 quantum-computing  linear-algebra  quantum-information 

Вот проблема, которая беспокоила меня некоторое время. Допустим, строка представляет собой последовательность из 1 и 0, а строка с подстановочными символами - это последовательность из 1, 0 и? S. Все строки и строки шаблона имеют одинаковую длину. Это стандартные подстановочные знаки UNIX; 10 ?? 1 соответствует 10011, 10111 и т. …

9 ds.algorithms  ds.data-structures  approximation-algorithms  string-matching  string-search 

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

9 graph-theory  co.combinatorics  puzzles 

Этот вопрос возник в контексте криптографии, но ниже я представлю его с точки зрения теории сложности, поскольку здесь люди больше знакомы с последним. Этот вопрос связан с проблемами в NP, но не в Average-P / poly и неоднородности биения по Oracle Access . Неформальное утверждение: когда неоднородные противники (то есть …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

Мне повлиял необычайный взрыв в сглаженном анализе, и меня поразило утверждение в статье « Сглаженный анализ целочисленного программирования» . Это говорит о том, что целочисленное линейное программирование находится в сглаженном P, если оно ограничено полиномами. Это было существенно верно в силу того, что целочисленное программирование является псевдополиномиальным! Поэтому вопрос таков: …

9 cc.complexity-theory  smoothed-analysis 

Теорема Фари говорит, что простой планарный граф можно нарисовать без пересечений, так что каждое ребро является отрезком прямой. Мой вопрос заключается в том, существует ли аналогичная теорема для графов ограниченного числа пересечений . В частности, можем ли мы сказать, что простой график с числом пересечений k можно нарисовать так, чтобы …

9 graph-theory  co.combinatorics  planar-graphs 

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

9 cc.complexity-theory  gt.game-theory  ce.computational-finance