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

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

2
Чи не завершена проблема "Найменших дискримінаційних бітів"?
Це ім'я, яке я склав для цієї проблеми. Я ніколи не бачив його описаного ніде. Я ще не зміг знайти доказ повноти NP або поліноміального алгоритму часу для цієї проблеми. Це не проблема домашнього завдання - це пов'язано з проблемою, з якою я зіткнувся у своїй роботі. НАЙБІЛЬШІ ДИСКРИМІНУЮЧІ БИТИ …
7
Математичний аналіз та обчислювальна складність?
обчислювальна складність передбачає велику кількість комбінаторики та теорії чисел, деякі властивості стохастики та нову кількість алгебри. Однак, будучи аналітиком, мені цікаво, чи є в цій галузі додатки аналізу, чи, можливо, ідеї, навіяні аналізом. Все, що я знаю, що трохи відповідає цьому, - це перетворення Фур'є на кінцевих групах. Можеш допомогти …
1
Складність задачі слів з найменшими виразними літерами, прийнятими кінцевим автоматом
Враховуючи кінцевий (детермінований або недетерміністичний, я не думаю, що це має велике значення) автомат A і поріг n , чи приймає A слово, що містить щонайбільше n різних літер? (Під k різними літерами я маю на увазі, що у aabaa є дві різні літери, a і b .) Я показав, …
1
Висновки з зворотної математичної сили теорії графа другорядних
Скажімо, у нас є властивість графа, яку можна перевірити в недетермінований поліном час, і доказ у слабкій формальній системі (скажімо, RCA 0 ), що властивість є другорядним закритим. Чи можна сказати що-небудь про силу формальної системи, яка здатна довести, що дана кінцева сукупність виключених неповнолітніх характеризує задану властивість графа? Контекст …
1
Теорема Адлемана про нескінченні півріччя?
Адлеман показав у 1978 році, що : якщо булева функція f з n змінних може бути обчислена імовірнісною булевою схемою розміром M , то f також може бути обчислена детермінованою булевою схемою розміру многочлен в M і n ; насправді, розміром O ( n M ) . BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) Загальне …
2
ALogTime! = PH важко довести (і невідомо)?
Нещодавно Lance Fortnow стверджував, що довести L! = NP повинно бути простіше, ніж довести P! = NP : Відокремлюємо НП від логарифмічного простору. Я дав чотири підходи в передблогєвому опитуванні 2001 р. Про діагоналізацію (Розділ 3), хоча жоден не вичерпувався. Повинно бути набагато простіше, ніж відокремлювати P від ​​NP. Розділ …
1
"Ступінь складності обчислення функції і часткове впорядкування рекурсивних наборів"
Шукаю: Майкл О. Рабін, "Ступінь складності обчислення функції і часткове впорядкування рекурсивних наборів", Єврейський університет, Єрусалим, 1960 Підсумок: «Ми намагаємося виміряти обсяг роботи, притаманний завданню обчислення заданої обчислювальної (рекурсивної) функції. Вводиться та вивчається поняття ступеня складності обчислень. Поняття інваріантне в тому сенсі, що воно не залежить від ідеалізованих комп'ютерів (машини …
1
Найповільніше скорочення на багато-одну?
Коли ми хочемо довести , що є -повна, то стандартний підхід виставлятися поліноміальний час обчислюваною скорочення багатьох один з відомого -повна завдання в . У цьому контексті нам не потрібна чітка залежність від часу скорочення. Досить мати будь-який поліном, що дозволяє мати дуже високий ступінь.N P N P LL ∈ …
2
Що таке еквівалентне визначення mP / poly з точки зору машини Тьюрінга?
P / poly - клас задач вирішення, який вирішується сімейством булевих ланцюгів поліноміального розміру. Він також може бути визначений як поліномальна машина Тьюрінга, яка отримує рядок поради, яка має розмір полінома в n і заснована виключно на розмірі n. mP / poly - клас задач вирішення, який вирішується сімейством однотонних …
2
Лексикографічно мінімальний топологічний вид маркованого DAG
Розглянемо проблему, коли нам подано вхідний спрямований ациклічний графік G = ( V, Е)G=(V,E)G = (V, E) , функцію маркування λλ\lambda від VVV до деякого набору LLL із загальним порядком &lt;L&lt;L<_L (наприклад, цілі числа), і де нас просять обчислити лексикографічно найменший топологічний різновид ГGG у перерахунку на λλ\lambda . Точніше, …
1
Другий найменший
Чи відомо про друге найменше - t- cut у потоковій мережі? Або, загальніше, про цю проблему:сssтtt Вхід: мережа та число k , все у двійковій формі . Вихід: A k- й найменший s - t зріз.NNNкkkкkkсssтtt A найменший s - t розріз ( S , T ) - це будь-який …
1
Проблема з конфігурацією "змії"
Під час написання невеликого допису про складність відеоігор Nibbler та Snake ; Я виявив, що обидва вони можуть бути змодельовані як проблеми з конфігурацією на плоских графах; і малоймовірно, що подібні проблеми недостатньо вивчені в області планування руху (уявімо, наприклад, ланцюжок зв'язаних вагонів або роботів). Ігри добре відомі, однак це …
2
Складність проблем, пов'язаних з перестановкою
Враховуючи групу перестановок на та два вектори де - кінцевий алфавіт, який тут не зовсім актуальний, питання - чи існує деяка така, що де означає застосувати перестановку на очікуваним способом.GGGu , v ∈ Γ n Γ π ∈ G π ( u ) = v π ( u ) π …
2
Природні повноцінні проблеми у вищих рівнях
-hierarchy є ієрархією класів складності W [ т ] в параметризрвані складності, см Складнощі Зоопарк визначень. Альтернативне визначення визначає W [ t ], використовуючи зважене визначення Fagin для Π t- формул логіки першого порядку, див. Підручник Флума та Грое .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Для найнижчих класів і W [ 2 ] відомо багато …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.