Комп'ютерна наука

Я працюю над алгоритмами пошуку рядків, які підтримують пошук декількох шаблонів. Я знайшов два алгоритми, які здаються найсильнішими кандидатами з точки зору часу роботи, а саме Ахо-Корасик та Рабін-Карп . Однак я не зміг знайти жодного всебічного порівняння між двома алгоритмами. Який алгоритм є більш ефективним? Також, який з них …

11 algorithms  algorithm-analysis  runtime-analysis  strings 

Я щойно почав вивчати Штучний інтелект і мені цікаво, чому доступний простір стану 8-головоломки дорівнює . Я бачу, що кількість перестановок плиток становитьале не відразу зрозуміло, чому половина можливих станів головоломки недосяжні в будь-якому даному стані. Хтось може детальніше розробити?9 !9!/29!/29!/29!9!9! Зображення 8-головоломки для довідки з випадковою конфігурацією зліва та …

11 artificial-intelligence 

Нехай - ціле число, а позначає набір усіх цілих чисел. Нехай позначає інтервал цілих чисел .nnnZZ\mathbb{Z}[a,b][a,b][a,b]{a,a+1,a+2,…,b}{a,a+1,a+2,…,b}\{a,a+1,a+2,\dots,b\} Я шукаю структуру даних, щоб представити карту . Я хочу, щоб структура даних підтримувала такі операції:f:[1,n]→Zf:[1,n]→Zf:[1,n] \to \mathbb{Z} get(i)get(i)\text{get}(i) повинен повернути .f(i)f(i)f(i) set([a,b],y)set([a,b],y)\text{set}([a,b],y) повинен оновити так, що , тобто оновити f на нову карту …

11 algorithms  data-structures  trees  intervals 

Чи існує алгоритм / систематична процедура перевірки того, чи є мова регулярною? Іншими словами, задавши мову, вказану в алгебраїчній формі (придумайте щось на зразок ), перевірте, чи є мова регулярною чи ні. Уявіть, що ми пишемо веб-сервіс, щоб допомогти студентам в усіх домашніх роботах; користувач вказує мову, а веб-служба відповідає …

11 algorithms  formal-languages  regular-languages  decision-problem 

Мені шкода, якщо на це питання є якась тривіальна відповідь, яку я пропускаю. Кожного разу, коли я вивчаю якусь проблему, яка виявилася невід’ємною, я зауважую, що доказ покладається на зменшення до іншої проблеми, яка виявилася невирішеною. Я розумію, що це створює якесь наказ про ступінь складності проблеми. Але моє запитання …

11 computability  reductions  undecidability 

Відповідно до статті Вікіпедії про схеми наближення полінома-часу : Усі проблеми в FPTAS є фіксованими параметрами. Цей результат мене дивує - ці заняття, здається, сильно відрізняються один від одного. FPTAS характеризує проблеми тим, наскільки їх легко наблизити, тоді як FPT характеризує проблеми за їх складністю щодо певного параметра. На жаль, …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Я читаю Сіпсера, і мені важко зрозуміти, який процес такий, що якщо ви дасте мені машини Тюрінга з к-стрічками, я можу виплюнути еквівалентну машину Тюрінга лише однією стрічкою. Приклад був би непоганим. Насправді, я справді шукаю приклад, який показує, як перейти від ТМ, що має стрічки, до тієї, яка має …

11 turing-machines  simulation 

Я будую текстовий категоризатор для коротких речень. Крім того, щоб сказати користувачеві "категорія тексту, який ви ввели, це С", я хочу мати можливість пояснити, чому я прийняв таке рішення, стисло та зрозуміло. Наприклад, я не хочу сказати користувачеві: "Я поставив ваше речення в складну тришарову нейронну мережу, і це відповідь, …

11 machine-learning  classification 

Моя проблема. З огляду на , я хочу , щоб підрахувати число дійсних мультимножинами S . Багатомісний S є дійсним, якщоnnnSSSSSS Сума елементів SSS дорівнює nnn , а Кожне число від 111 до nnn може бути виражена однозначно як сума деяких елементів SSS . Приклад. Наприклад, якщо n=5n=5n=5 то {1,1,1,1,1},{1,2,2},{1,1,3}{1,1,1,1,1},{1,2,2},{1,1,3}\{1,1,1,1,1\}, …

11 algorithms  integers 

Чи не завершена наступна проблема NP? (Я припускаю, що так). Вхід: непрямий графік, де набір ребер може бути розбитий на два прості цикли, що не перетинаються між собою (вони не є частиною вводу).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Запитання: Чи існує простий цикл у з довжиною, більшою від ?GGGkkk Очевидно, що проблема полягає …

11 graph-theory  np-complete  decision-problem 

Нещодавно я зіткнувся з цією проблемою , варіацією башт Ханой . Постановка проблеми: Розглянемо наступний варіант добре відомих проблемних башт Ханої: Нам надано ннn веж і м дисків розміром складених на деяких вежах. Ваша мета - перенести всі диски на вежу за кілька кроків, якими ви можете керувати, але з …

11 algorithms  combinatorics  recursion 

Чи існує стільниковий автомат (у 2D), який імітує силу між частинками?1/r1/r1/r Більш конкретно, я хотів би знати, чи можна, за строго локальними правилами оновлення, два об'єкти (визначені в моделі) притягувати один одного силою , де - відстань, що розділяє об'єкти. Це, зокрема, спричинило б прискорення об'єкта (частинок) у міру їх …

11 simulation  cellular-automata 

Враховуючи той факт, що перерахування шляху - t є проблемою, що завершується # P, чи можуть існувати ефективні методи, які обчислюють (або принаймні наближають) середню довжину шляху s - t без їх перерахування? Що робити, якщо шляхи дозволяють переглянути вершини?сssтttсssttt Відповідні результати на спеціальних графіках також можуть бути корисними.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Як би ви алгоритмічно визначили для будь-якої фотографії, чи світило сонце, коли було зроблено знімок? Приклади Зразок цієї веб-камери на вершині гори: Ясно сонце світить. У цьому іншому зразку це набагато менш очевидно: Напевно, можна було б досить легко визначити, чи є туманним, намагаючись визначити крихітний церковний шпиль на каплиці …

11 algorithms  image-processing 

Звичайне твердження проблеми справедливого вирізання торта передбачає, що всі гравці отримують свою частку одночасно. Однак у багатьох випадках гравці приїжджають поступово. Наприклад, ми можемо розділити торт на гравців, але тоді приходить новий гравець і хоче поділитися.nnнnnнn Зазвичай справедливий розподіл торта вимагає великих зусиль (наприклад, вимагає від гравців відповідати на багато …

11 algorithms  game-theory  online-algorithms