Запитання з тегом «reference-request»

Будучи студентом інформатики, я знайомився з теорією ігор, але не бачив багато деталей з цього питання. Я шукав у Google і переглянув деякі книги про теорію ігор, і вони підтвердили його використання в інформатиці. Я розпочав офіційне вивчення теорії ігор з точки зору економіста. Тепер я хочу знати застосування теорії …

14 reference-request  gt.game-theory 

обчислювальна складність передбачає велику кількість комбінаторики та теорії чисел, деякі властивості стохастики та нову кількість алгебри. Однак, будучи аналітиком, мені цікаво, чи є в цій галузі додатки аналізу, чи, можливо, ідеї, навіяні аналізом. Все, що я знаю, що трохи відповідає цьому, - це перетворення Фур'є на кінцевих групах. Можеш допомогти …

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Питання Що нового в чисто функціональних структурах даних після Окасакі? , і епічна відповідь jbapple, згадана з використанням списків різниць у функціональному програмуванні (на відміну від логічного програмування), що мене нещодавно цікавило. Це змусило мене знайти реалізацію списку різниць для Haskell. У мене є два запитання (пробачте / виправте мене, …

14 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

Який найшвидший відомий детермінований алгоритм, який може розпізнати спрямовані графіки за допомогою пари вершин неперервних циклів? Я знаю, що графіки із мінімальними показниками три більше завжди мають таку пару ( Thomassen'83 ), але навіть тому я не можу знайти ефективний алгоритм у загальному випадку. Хтось знає посилання на це?

13 reference-request 

Шукаю: Майкл О. Рабін, "Ступінь складності обчислення функції і часткове впорядкування рекурсивних наборів", Єврейський університет, Єрусалим, 1960 Підсумок: «Ми намагаємося виміряти обсяг роботи, притаманний завданню обчислення заданої обчислювальної (рекурсивної) функції. Вводиться та вивчається поняття ступеня складності обчислень. Поняття інваріантне в тому сенсі, що воно не залежить від ідеалізованих комп'ютерів (машини …

13 cc.complexity-theory  reference-request  ho.history-overview 

Оскільки мене цікавлять парсери (в основному граматики вираження парсера), мені цікаво, чи є якась робота, яка дає категоричне трактування розбору. Будь-яка посилання на застосування теорії категорій для розбору високо оцінена. Найкраще,

13 reference-request  functional-programming  ct.category-theory  parsing 

Під час написання невеликого допису про складність відеоігор Nibbler та Snake ; Я виявив, що обидва вони можуть бути змодельовані як проблеми з конфігурацією на плоских графах; і малоймовірно, що подібні проблеми недостатньо вивчені в області планування руху (уявімо, наприклад, ланцюжок зв'язаних вагонів або роботів). Ігри добре відомі, однак це …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

У проблемі розширюваності нам дають частину рішення, і ми хочемо вирішити, чи можемо ми поширити його на повне рішення. Деякі проблеми з розширюваністю ефективно вирішуються, тоді як інші проблеми з розширенням перетворюють легку проблему на важку. Наприклад, теорема Коніга-Холла стверджує, що всі кубічні двопалітні графіки є кольоровими 3-краю, але версія …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Добре відомо , що складність розрізнення зміщена монета зі справедливої є однією θ ( ε - 2 ) . Чи є результати для розрізнення монети p від монети p + ϵ ? Я бачу, що для особливого випадку p = 0 складність складе ϵ - 1 . У мене є …

13 reference-request  time-complexity 

Фон: Складність дерева рішень або складність запиту - це проста модель обчислення, визначена наступним чином. Нехай - булева функція. Складність детермінованого запиту , позначена , - це мінімальна кількість біт вводу яку потрібно прочитати (в гіршому випадку) детермінованим алгоритмом, який обчислює . Зверніть увагу, що мірою складності є кількість бітів …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

У мене зменшення наступної проблеми з розділами на певну проблему планування: Введення: Список a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n додатних цілих чисел у не зменшуваному порядку. Питання: Чи існує вектор (x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n такий, що ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} Без другої умови це просто ДІЛЬНІСТЬ, отже, NP-важкий. Але друга умова, здається, …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

При читанні питання прикладів , де єдність розв'язку робить його легше знайти , новий (? Простіше) виникло питання , на мій погляд: на Насправді ми не знаємо , якщо Ізоморфізм графів ( проблема) в P .Г яGIGIПPP Але що станеться, якщо припустити, що і і G 2 асиметричні (тобто обидва …

13 reference-request  graph-isomorphism 

Я хочу визначити поняття "близькості" між двома регулярними мовами кінцевих слів у (та / або нескінченних словах у ). Основна ідея полягає в тому, що ми хочемо, щоб дві мови були близькими, якщо вони не відрізняються багатьма словами. Ми також могли якось використати відстань редагування… Я не зміг знайти гарних …

13 reference-request  fl.formal-languages  regular-language 

Мотивація: співавтор редагує рукопис, і я хотів би побачити чіткий підсумок змін. Усі інструменти, що нагадують "різницю", як правило, марні, якщо ви обидва рухаєте текст (наприклад, переорганізовуєте структуру) та робите локальні зміни. Невже це так важко виправити? Визначення: я хотів би знайти мінімальну відстань редагування, де дозволені операції: "дешеві" операції: …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Неважко помітити, що якщо то виникають загальні проблеми пошуку, які неможливо вирішити за багаточлен (створити загальну проблему пошуку за наявність як свідків щодо членства, так і свідків щодо не членів).N PNP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Чи справедливо і зворотне, тобто Чи означає існування загальної задачі пошуку нерозв'язуваної в поліноміальний час, ?N P …

13 cc.complexity-theory  reference-request  search-problem