Запитання з тегом «cc.complexity-theory»

P проти НП та інших обчислень, обмежених ресурсами.

2
Чи має проблема, пов’язана з coNP, субекспоненціальним розміром?
Якщо припустити NP! = CoNP, тоді не існує сертифіката розміру полінома для завдання, повного coNP. А як же сертифікат субекспоненціального розміру? Зокрема, що стосується coSAT, чи є субекспоненціальний доказ розміру для доказу формули незадовільним? Якщо ні, то які негативні докази? Спасибі
2
Співвідношення між фіксованим параметром та алгоритмом наближення
Фіксований параметр і наближення - це абсолютно різні підходи до вирішення важких проблем. Вони мають різну мотивацію. Наближення шукає швидшого результату з приблизним рішенням. Фіксований параметр шукає точне рішення з часовою складністю з точки зору експоненціальної або деякої функції k і поліноміальної функції n, де n - вхідний розмір, а …
1
У чому полягає складність обчислення оптимальних вільних кодів префікса, коли частоти схожі?
Добре відомо, що існує найгірший варіант оптимального алгоритму для обчислення коду Хаффмана в часі . Це покращується двома ортогональними способами:θ(nlgn)θ(nlg⁡n)\theta(n\lg n) Оптимальні вільні коди префікса можуть бути обчислені швидше, якщо набір різних частот невеликий (наприклад, розмір ): сортуйте частоти за допомогою [Munro і Spira, 1976], щоб скористатися малим значенням та …
5
Жорсткість проблем FPT
Вершинна кришка може бути легко зведена до незалежного набору та навпаки. Однак в умовах параметризованої складності незалежний набір важче, ніж Vertex Cover. Ядро з вершин існує для Vertex Cover, але незалежне безліч W 1 жорстких.2k2k2k Як змінюється характер незалежного набору в контексті FPT і чому?
1
Які мови були успішно криптовалютними?
Спостереження, пов'язане з асиметричною криптографією, полягає в тому, що деякі функції (як вважається,) легко виконувати в одному напрямку, але їх важко інвертувати. Крім того, якщо існує якась інформація про "трап-троп", яка дозволяє швидко обчислювати зворотну операцію, проблема стає кандидатом на схему криптографії відкритого ключа. Класичні проблеми, що знаходяться на вулиці, …
2
Чи заповнена наполовину заповнена проблема магічного квадрата NP?
Ось проблема: У нас є квадрат з деякими числами від 1..N в деяких клітинках. Потрібно визначити, чи можна її завершити до чарівного квадрата. Приклади: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> …
3
Класи графіків з легким гамільтоновим циклом, але NP-жорстким TSP
Задача про гамільтонівський цикл (HC) полягає у знаходженні циклу, який проходить через усі вершини в заданому непрямому графіку. Завдання комівояжера (TSP) полягає в знаходженні цикл , який проходить через всі вершини в даній крайової зважений граф і зводить до мінімуму загальну відстань , виміряний за сумою ваг ребер в циклі. …
2
Чи має L визначення у схемах?
Багато класів складності, визначених машинами Тьюрінга, мають визначення з точки зору рівномірних схем. Наприклад, P також може бути визначений за допомогою однорідних схем розмірів поліномів, і аналогічно BPP, NP, BQP тощо можуть бути визначені з однорідними схемами. Так чи є на основі схеми визначення L? Очевидною ідеєю було б дозволити …
2
Оцінка багатолінійної арифметичної схеми?
Нехай p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n) є мульти-мірний поліном з коефіцієнтами над полем FFF . Multilinearization з ppp , позначимо через р , є результатом багаторазово заміни кожного х d I з D > 1 по х я . Результат, очевидно, багатолінійний многочлен.p^p^\hat{p}xdixidx_i^dd>1d>1d > 1xixix_i Розглянемо наступну задачу: дані арифметичну схему C(x1,…,xn)C(x1,…,xn)C(x_1,\ldots,x_n) над FFF …
1
Обчислювальна потужність нейронних мереж?
Скажімо, у нас є одношарова нейронна мережа прямої подачі з k входами та одним виходом. Він обчислює функцію з , досить легко зрозуміти, що вона має принаймні таку ж обчислювальну потужність, як . Для задоволення ми назвемо набір функцій, обчислених одношаровою нейронною мережею, " ".{ 0 , 1 }н→ { …
3
Чи повна проблема розпізнавання 3 сфери NP?
Відомо, що визначати, чи є дане трикутне 3-багатогранник 3-сферою, знаходиться в НП, завдяки роботі Сауля Шлеймера в 2004 році: "Розпізнавання сфери лежить в NP" arXiv: math / 0407047v1 [math.GT] . Мені цікаво, чи було встановлено, що за останні п’ять-шість років цей стан не є повним? Аналогічні проблеми, такі як проблема …
1
Чи відомий вже розмір свідків щодо кожної мови НП?
Питання виникло у мене, коли я отримую відповідь Дани Мошковіц на іншу тему . Нехай LLL - мова NP , а RLRLR_L - відповідне відношення NP . Ми знаємо, що існує такий поліном ppp , що: ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) \in R_L Вищенаведене …
2
складність багатосторонньої комунікації "Встановити проблему розділів"
У програмі, яку я розглядаю, мені потрібно знати складність спілкування наступної проблеми: Дано , нехай - це множина цілих чисел від до . Аліса, Боб і Керол кожен з них отримує підмножина , що позначається , і , відповідно. Вони хочуть , щоб перевірити , є чи , і утворюють …
2
Простий доказ Ω (n lg n), найгірший зв'язаний для унікальності / виразності?
Існує декілька доказів нижньої межі логістики для проблеми унікальності / відмінності елемента (засновані на алгебраїчних обчислювальних деревах або змагальних аргументах), але я шукаю такий, який досить простий для використання в першому курсі в аналізі та дизайні алгоритмів. Той самий "рівень складності", що і нижня межа для сортування, буде добре. Також …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.