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

У книзі Арора-Барак у визначенні функцій, що можна сконструювати за часом, сказано, що використання функцій, які не можна сконструювати за часом, може призвести до "аномальних результатів". Хтось має приклад такого «аномального результату»? Я, зокрема, чув, що можуть існувати такі функції, які теорема ієрархії часу не містить, чи має хто-небудь приклад …

10 cc.complexity-theory 

Оновлення: Здається, ця проблема була вивчена і вирішена останнім часом, дивіться цю статтю у вікі: http://en.wikipedia.org/wiki/Tree_walking_automaton А також це опитування: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Припустимо, що замість звичного набору слів {0,1} * наші слова не є лінійними, а наводяться на деякій структурі дерева. Щоб наші машини не загубилися, визначте наші слова як …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Постановка проблеми : Дозволяє MMM бути (потенційно недетермінованим) автоматичним натисканням та пускати AA\cal Aбути його вхідним алфавітом. Чи є словоw∈A∗w∈A∗w \in \cal A^* вул |w|≤k|w|≤k|w| \leq k що прийнято MМM ? Чи не завершена ця проблема NP? Це було вивчено? Чи існує алгоритм, що дозволяє знайти таке слово?

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Для багатьох проблем алгоритм з найкращою асимптотичною складністю має дуже великий постійний коефіцієнт, який прихований великими позначеннями O. Це відбувається при матричному множенні, цілочисленному множенні (конкретно, недавньому алгоритмі множення O (n log n) цілого числа Гарві та ван дер Хоевена), низькоглибоких сортуваннях мереж та пошуку неповнолітніх графів. Такі алгоритми іноді …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Більш слабка форма теореми першої некомплектності Геделя, прямі докази якої в манері Геделя є тривалими, задіяними і десь досить протиінтуїтивними, має простий та інтуїтивний доказ, заснований на нерозбірливості проблеми зупинки - див., Наприклад, https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Хто вперше запропонував цей доказ і в якій статті чи книзі він був опублікований …

9 cc.complexity-theory  lo.logic  halting-problem 

Існує тип результатів у TCS, який зазвичай називають результатами завантаження . Взагалі, вона має форму Якщо пропозиція АAA утримує, то пропозиція А'A′A' тримає. де АAA і А'A′A' - це пропозиції, схожі, і АAA начебто "слабкіше" А'A′A', через що ми називаємо такий тип результатів. Дозвольте навести кілька конкретних прикладів: Теорема. [Chen …

9 cc.complexity-theory 

Які найвідоміші асимптотичні верхні межі щодо розмірів вірогідних доказів? В ідеалі я шукаю сучасне опитування з цього широкого питання, але якщо такого немає, мене особливо цікавить непереборність 3-SAT. Нехай 7/8 + ε-3-SAT буде 3-SAT з обіцянкою, що якщо 7/8 + ε частка пропозицій є задоволеною, то екземпляр є задоволеним. Які …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Після новіших і новіших успіхів нейронних мереж в іграх у настільні ігри відчувається, що наступна мета, яку ми поставимо, може стати чимось кориснішим, ніж побиття людей у ​​Starcraft. Точніше, я задумався, чи Чи можуть нейронні мережі навчатись вирішувати класичні алгоритмічні задачі? Тут я маю в виду , що, наприклад, мережа …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

Чи є якесь відоме обчислюване трансцендентальне число таке, що його нnn-я цифра обчислюється в поліномічний час, але не в O ( n )O(n)O(n)?

9 cc.complexity-theory  comp-number-theory 

Який метод наближення Разборова? Чи може хтось дати огляд високого рівня та інтуїцію за ним?

9 cc.complexity-theory  circuit-complexity 

Квазіполіномічний час або короткий QP - клас складності на детермінованій машині Тьюрінга. Ось точне визначення: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Тоді як βP - клас складності обмеженого недетермінізму. Ось точне визначення: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Неважко помітити, що будь-яка машина βP може бути змодельована машиною QP, а саме βP QP.⊆⊆\subseteq Але чи є у нас приклад - …

9 cc.complexity-theory  complexity-classes 

Для фіксованої мови LLL на деякому алфавіті AAA, розглянемо наступну проблему, яку я закликаю LLL-INTERLEAVING : Введення: два слова u,v∈A∗u,v∈A∗u, v \in A^* Висновок: чи існує там перемежения зuuu і vvv що в LLL. Тут переплетення двох слівuuu і vvv це слово www що можна отримати інтуїтивно, взявши листи uuu …

9 cc.complexity-theory  reference-request  regular-language 

Дозволяє ΣΣ\Sigma бути алфавітом розміру 222, і врахуйте мінімальні DFA, розмір яких обмежений максимум mmm. Дозволяєf(m)f(m)f(m) позначають кількість різних таких мінімальних DFA. Чи можемо ми знайти формулу закритої форми для f(m)f(m)f(m)? Враховуючи, що для |Σ|=2|Σ|=2|\Sigma|=2функція переходу DFA розміром не більше є графіком. Оскільки ступінь вузлів обмежена , для кожного вузла …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Це супроводження недетермінованого прискорення детермінованих обчислень . Чи правдоподібно, що недетермінізм (або взагалі чергування) дозволить загально квадратично прискорити детерміновані обчислення? Або є якісь невідомі наслідки для чогось подібного DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)?

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Стандартна проблема 1-в-3 SAT (або XSAT або X3SAT) є: Примірник : формула КНФА з кожним пунктом , що містить рівно 3 литералов Питання : чи існує задовольняють установки точно 1 буквальними згідно з пунктом істинного призначення? Проблема не заповнена NP і залишається важкою, навіть якщо жодна змінна не заперечується. Цікаво, …

9 cc.complexity-theory  np-hardness  sat