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

Я задавал этот вопрос несколько недель назад в mathoverflow , но не получил ответа. Здесь под 3D-сеткой с длиной стороны я имею в виду граф G = ( V , E ) с V = { 1 , … , k } 3 и E = { ( ( a …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Каковы наиболее значимые исследовательские работы по основам дженериков в C # и .NET?

12 pl.programming-languages 

Пусть и обозначим через множество всех графов, которые могут быть вложены в поверхность рода , что все вершины расположены на внешней грани . Например, - это множество внешнепланарных графов. Может ли ширина графов в ограничена сверху некоторой функцией от ?G k k G 0 G k kk∈Nk∈Nk\in\mathbb{N}GkGkG_kkkkG0G0G_0GkGkG_kkkk Другое направление, очевидно, …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Линейное программирование, конечно, в настоящее время очень хорошо понято. У нас много работы, которая характеризует структуру возможных решений и структуру оптимальных решений. У нас сильная двойственность, многовременные алгоритмы и т. Д. Но что известно о минимальных максимальных решениях ЛП? Или, что эквивалентно, максимальные минимальные решения? (Это на самом деле не …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Разложение дерева сложно в худшем случае, но жадный метод кажется почти оптимальным в небольших реальных сетях. Известно ли что-нибудь о сложности разложения дерева «типичного» экземпляра некоторого класса графов? Есть ли пример семейства графов, где жадные методы разложения дерева плохо работают?

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Я читал в СП Иордане, Д. Госсе, «PJ Лява -полных задачи для stoquastic гамильтонианов и матриц МарковаQ MAQMAQMA » , что маловероятно , что .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Я был удивлен этим утверждением. Итак, каковы правильные отношения между и A M ?Q MAQMAQMAА МAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Я ищу имя или какие-либо ссылки на эту проблему. Для заданного взвешенного графа найти разбиение вершин с точностью доустанавливает таким образом, чтобы максимизировать значение срезов: Обратите внимание, что некоторые из множеств могут быть пустыми. Таким образом, проблема, по сути, заключается в максимальном k-сокращении, за исключением того, что не является частью …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Мне недавно напомнили о проблеме против N P, как объяснил Стивен А. Кук в Математическом институте Клея.пP\mathsf{P}Н ПNP\mathsf{NP} Это вызвало у меня интерес, и я хотел бы узнать об этом больше. Первым шагом будет более глубокое понимание проблемы и понимание области в целом. Можете ли вы порекомендовать какие-либо книги или …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Какие проблемы с наилучшим известным коэффициентом аппроксимации достигаются алгоритмом, возвращающим равномерно случайное решение? Я знаю один такой пример для задачи магазина перестановок : в статье « Тесные границы для планирования потока перестановок » Вишванат Нагараджан и Максим Свириденко доказали, что случайная последовательность заданий имеет гарантию 2 √F| Перм | См …

12 ds.algorithms  reference-request  approximation-algorithms 

Пусть G связный граф. Какова сложность подсчета всех связанных подграфов, если G имеет следующие типы? G является общим. Г плоская. G является двудольным. Я не забочусь о каких-либо структурах или ..., просто нужно сосчитать все связанные подграфы! Меня также интересует сложность подсчета всех связанных подграфов с ровно k узлами в …

12 cc.complexity-theory  graph-theory  counting-complexity 

Учитывая термин t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))в теории типов Мартина-Лофа, какова ценность того w(t(0)), где wнаходится оператор, извлекающий свидетельство термина экзистенциального типа?

12 lo.logic  type-theory  proof-theory 

Подсчитав аргументы, можно показать, что существуют многочлены степени n от 1 переменной (т. Что-то вроде которые имеют сложность схемы n. Также можно показать, что для многочлена типа требуется как минимум умножений (это нужно просто для получения достаточно высокой степени). Существуют ли явные примеры полиномов от 1 переменной с суперлогарифмической нижней …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

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

12 cc.complexity-theory  complexity-classes 

Группа Клиффорда квантовых операторов порождается квантовых операций: Контролируемый-Z , Адамар и Фаза ( ).=|0⟩⟨0|+i|1⟩⟨1|=|0⟩⟨0|+i|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| Схема, состоящая только из этих ворот, может быть эффективно смоделирована на классическом компьютере. Однако, если я правильно понимаю, не все классические алгоритмы могут быть эффективно реализованы с помощью групповых операций Клиффорда, по …

12 quantum-computing 

Что меня особенно интересует, так это наличие интересного условия о проценте назначений, которые удовлетворяют формуле 3SAT, чтобы гарантировать, что такие проблемы поддаются решению. Предположим, например, класс задач 3SAT, что из возможных назначений удовлетворяет булевой формуле; мы можем эффективно найти удовлетворяющее задание? Для чего возникает проблема в P?2 n ϵϵ ( …

12 cc.complexity-theory  ds.algorithms  sat  np