Вопросы с тегом «cc.complexity-theory»

P против NP и другие ограниченные ресурсами вычисления.

3
Подсчет количества гамильтоновых циклов в кубических гамильтоновых графах?
Это -трудного найти постоянный коэффициент приближение длинного цикла в кубических гамильтоновых графах. Кубические гамильтоновы графы имеют как минимум два гамильтоновых цикла.NпNпNP Каковы наиболее известные верхняя и нижняя границы числа гамильтоновых циклов в кубических гамильтоновых графах? Учитывая кубический гамильтонов граф, какова сложность нахождения числа гамильтоновых циклов? Это # -hard?ппP
2
SC ^ 2 алгоритмы для st-связности
Савич дал детерминированный алгоритм для решения проблемы st-связности, используя пространство , подразумевая . Алгоритм Савича выполняется за время . Это большая открытая проблема, может ли st-связность быть решена детерминированным алгоритмом за полиномиальное время и в O ({\ log} ^ 2 {n}) пространстве, т. Е. NL \ subseteq SC ^ 2 …
2
NP-сложные проблемы на графах расширителей?
В презентации 2006 года под названием EXPANDER GRAPHS - ОСТАЮТСЯ ЛИ какие-то ТАЙНЫ? Нати Линиал поставил следующую открытую проблему: Какие трудные вычислительные задачи на графе остаются сложными, когда они ограничены графами расширителей?NпNпNP С тех пор был ли достигнут какой-либо прогресс в доказательстве такого результата для трудной задачи?NпNпNP
2
Барьеры и сложность монотонной цепи
Естественное доказательство является препятствием для доказательства нижних оценок сложности схемы булевых функций. Они напрямую не подразумевают такого барьера в доказательстве нижних границ сложности схемы. Есть ли прогресс в выявлении таких барьеров? Есть ли другие барьеры в монотонной обстановке?м о л о т о н емоNоTоNеmonotone
1
Релятивизируют ли доказательства того, что перманент не является равномерным
Это продолжение этого вопроса и связано с этим вопросом Шивы Кинали. Кажется, что доказательства в этих работах ( Аллендер , Кауссин-Маккензи-Териен-Фольмер , Койран-Перифель ) используют теоремы иерархии. Я хочу знать, являются ли доказательства « чистыми » теоремами диагонализации или они используют нечто большее, чем обычная диагонализация. Итак, мой вопрос есть …
3
Существуют ли какие-либо классы функций, для которых требуются доказуемо разные ресурсы для вычислений, а не для вычисления их обратных?
Заранее извиняюсь, если этот вопрос слишком прост. По сути, я хочу знать, есть ли какие-либо функции со следующими свойствами:е( х )е(Икс)f(x) Возьмем как когда домен и кодомен ограничены битными строками. потомf ( x ) nеN( х )еN(Икс)f_n(x)е( х )е(Икс)f(x)NNn еN( х )еN(Икс)f_n(x) инъективен еN( х )еN(Икс)f_n(x) сюръективен еN( х )еN(Икс)f_n(x) …
10
Труднопроходимость NP-полных задач как принцип физики?
Я всегда заинтригован отсутствием численных доказательств в экспериментальной математике за или против вопроса P против NP. В то время как гипотеза Римана имеет некоторые подтверждающие данные из численной проверки, я не знаю аналогичных доказательств для вопроса P против NP. Кроме того, мне неизвестны какие-либо прямые физические последствия для мира существования …
6
Глобальные свойства наследственных классов?
Наследственный класс структур (например, графы) - это класс, замкнутый при индуцированных подструктурах или, что то же самое, замкнутый при удалении вершины. Классы графов, которые исключают минор, имеют хорошие свойства, которые не зависят от конкретного исключенного минора. Мартин Грох показал, что для классов графов, исключая минор, существует полиномиальный алгоритм для изоморфизма, …
2
APX содержится в NP?
Задача P называется в APX, если существует некоторая постоянная c> 0 такая, что для P существует алгоритм аппроксимации за полиномиальное время с коэффициентом аппроксимации 1 + c. APX содержит PTAS (это можно увидеть, просто выбрав любую константу c> 0) и P. APX в NP? В частности, означает ли существование алгоритма …
1
vs
В нашей недавней работе мы решили вычислительную проблему, возникшую в комбинаторном контексте, исходя из предположения, что , где - это -версия . Единственной найденной нами статьей о была статья Бейгеля-Бурмана-Фортнау 1998 года , в которой упоминается комплексный зоопарк . Мы понимаем, что можем взять версии задач (см. Этот вопрос ), …
5
Каков класс сложности для квантовых подпрограмм, принимающих в качестве входных данных произвольные квантовые состояния?
Класс сложности BQP соответствует квантовым подпрограммам полиномиального времени, принимающим классические входы и выпадающим вероятностным классическим выходом. Квантовый совет изменяет это, чтобы включить копии некоторых заранее определенных состояний квантового совета, но с классическими входами, как обычно. Каков класс сложности для квантовых подпрограмм за полиномиальное время, принимающих произвольные квантовые состояния в качестве …
2
Квантовые аналоги классов сложности SPACE
Мы часто рассматриваем классы сложности, где мы ограничены количеством пространства, которое может использовать наша машина Тьюринга, например: или NSPACE ( f ( n ) ) . Похоже, что в начале теории сложности были достигнуты большие успехи с этими классами, такими как теорема о пространственной иерархии и создание важных классов, таких …
2
Как называется следующий вариант Set Set?
Как называется следующий вариант обложки набора? Для заданного набора S, набора C подмножеств S и целого положительного числа K существуют ли K наборов в C, так что каждая пара элементов S лежит в одном из выбранных подмножеств. Примечание. Нетрудно понять, что эта проблема является NP-полной: учитывая нормальную проблему покрытия множества …
1
Разбиение графа на узло-непересекающиеся циклы
Связанная проблема: Теорема Веблена утверждает, что «граф допускает разложение цикла тогда и только тогда, когда оно четное». Циклы являются ребрами непересекающимися, но не обязательно узлы непересекающимися. Другими словами, «множество ребер графа можно разбить на циклы тогда и только тогда, когда каждая вершина имеет четную степень». Моя проблема: Интересно, кто-нибудь изучал …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.