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

Я думав, що всі регулярні мови можуть бути виражені регулярними виразами (якщо мова є регулярною, це можна виразити за допомогою регулярного вираження), але мені сказали, що для цього вам потрібні всі три регулярні операції (конкатенація, об'єднання та зірка). тримати. Наприклад, мені сказали, що якщо я можу використовувати лише операції згенерування …

12 formal-languages  regular-languages  regular-expressions  kleene-star 

Я просто прочитав деякі сторінки в книзі Сіпсера «Вступ до теорії обчислень про проблему поштової кореспонденції», і я думаю, що PCP насправді знаходиться в NP. Сертифікатором є: для вхідної конфігурації палі об'єднує як рядок і об'єднує як рядок , а потім порівняйте і щоб побачити, чи є два рівні, а …

12 complexity-theory  decision-problem  np 

Одне з найпопулярніших запитань із структур даних та алгоритму, яке в основному задають на телефонному інтерв'ю.

12 algorithms  data-structures  linked-lists 

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

12 complexity-theory  p-vs-np 

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

12 automata  formal-grammars  regular-expressions 

Відстань редагування Левенштайн-Відстань між списками - добре вивчена проблема. Але я не можу знайти багато можливих вдосконалень, якщо відомо, що жоден елемент не зустрічається більше одного разу у кожному списку . Припустимо також, що елементи порівнянні / сортувані (але списки для порівняння для початку не відсортовані). Зокрема, мене цікавить, чи …

12 algorithms  strings  string-metrics  edit-distance 

Бункер називається повним, якщо він містить принаймні кkk куль. Наша мета - заповнити якомога більше бункерів. У найпростішому сценарії нам дають нnn куль, і ми можемо їх розміщувати довільно. У цьому випадку, очевидно, найкраще, що ми можемо зробити, - це ⌊ n / k ⌋⌊n/k⌋\lfloor n/k \rfloor бункери довільно і …

12 combinatorics  balls-and-bins 

Мені цікаво, чи є якісь повні проблеми в класі складності Артура-Мерліна. Графічний неізоморфізм (ВНД), здається, є канонічним прикладом проблеми в АМ, але, мабуть, не є повною. Я думаю, мені також цікаво, чи добре визначена "повна" проблема для AM. Оскільки AM = BP.NP, схоже, що перехід на "зменшення" до AM покладається …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Я бачив, як XOR-3-SAT ефективно вирішується (наприклад, див. Розділ "Задовільність XOR" у статті Вікіпедії щодо булевої проблеми задоволеності ). Мене цікавить основне запитання: чи ефективно вирішується XOR-k-SAT для формул з різною кількістю буквених значень на пункт? Мені дуже хотілося б знати, чи можемо ми збільшити кількість буквених значень на пункт …

12 complexity-theory  satisfiability 

Я проектую базу даних об'єктів пам'яті для дуже конкретного випадку використання. Це один автор, але повинен підтримувати ефективні паралельні читання. Читання повинні бути ізольовані. Мова запитів відсутня, база даних підтримує лише: отримати object / -s за атрибутом / набором атрибутів (може бути підтримка виразів, наприклад x.count < 5) отримати атрибут …

12 data-structures  concurrency  databases 

Існує та популярна проблема [1] [2] в інформатиці, яка полягає у знаходженні мінімальної кількості прямих, що охоплюють заданий набір точок у 2D. Хоча я просканував багато робіт, жодна з них не має чіткої мотивації проблеми. У чому полягає користь вирішення цієї проблеми? Чи є папір, яка пояснює це?

12 reference-request  computational-geometry  applied-theory 

Це, мабуть, дурне питання, але я просто не розумію. В іншому питанні вони придумали теорему про дихотомію Шефера . Для мене це виглядає так, що це доводить, що кожна проблема CSP знаходиться або в P, або в NP-комплекті, але не знаходиться між ними. Оскільки кожна проблема NP може бути перетворена …

12 np-complete  satisfiability  p-vs-np 

Динамічні ідеальні хеш-таблиці та хеш-таблиці зозулі - це дві різні структури даних, які підтримують найгірші випадки O (1) пошуку та очікувані O (1) -ставні вставки та вилучення. Обидва вимагають O (n) допоміжного простору та доступу до сімей хеш-функцій для своїх операцій. Я думаю, що обидві ці структури даних самі по …

12 data-structures  hash-tables 

У мене виникають проблеми з розумінням проблеми зупинки Тьюрінга. Його доказ припускає, що існує магічна машина яка могла б визначити, чи буде комп'ютер назавжди зупинений або циклічний для даного входу. Потім ми приєднуємо іншу машину, яка повертає результат, і ми маємо протиріччя, і тому не може існувати.HHНHHНH Мене турбує те, …

12 computability  halting-problem 

Я люблю все, що складає час компіляції, і мені подобається, що після того, як ви складете програму, робиться багато гарантій щодо її виконання. Взагалі система статичного типу (Haskell, C ++, ...), схоже, дає більш сильні гарантії часу компіляції, ніж будь-яка система динамічного типу. З того, що я розумію, Ада іде …

12 programming-languages  type-theory  type-checking  software-verification