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

Я хочу зробити перший вирішувач SAT. Я знаю конкурс SAT та конференцію SAT, і на цю тему є дуже багато робіт. Я стартер, переповнений стартер. З чого я повинен почати? Врешті-решт я хочу підштовхнути сучасний стан. Я хочу порадити експертів, як почати, щоб я не витрачав час на несуттєві речі …

24 ds.algorithms  reference-request  lo.logic  sat 

Гіпотеза реконструкції говорить про те, що графіки (з принаймні трьома вершинами) визначаються унікально їх видаленими вершинами підграфів. Цій гіпотезі п’ять десятиліть. Шукаючи відповідну літературу, я виявив, що такі класи графіків, як відомо, піддаються реконструкції: дерева відключені графіки, графіки, доповнення яких від’єднано звичайні графіки Максимальні зовнішні графіки максимальні плоскі графіки зовнішні …

24 reference-request  graph-theory  co.combinatorics  treewidth 

Беручи під увагу підмножини з .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Перевірте, чи є набори з . (Якщо так, знайдіть приклад, якщо ні, просто скажіть «ні»)Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Тривіальне рішення цієї проблеми проходить через усі пари множин і перевіряє включення пари для часу O(d)O(d)O(d) , тому загальний час виконання дорівнює O(n2d)O(n2d)O(n^2 d) . Чи можна …

24 ds.algorithms  reference-request 

Враховуючи величезну базу даних дозволених слів (в алфавітному порядку відсортованих) та слово, знайдіть слово з бази даних, яка найбільш близька до даного слова з точки зору відстані Левенштейна. Наївний підхід - це, звичайно, просто обчислити відстань Левенштейна між даним словом та всіма словами в словнику (ми можемо виконати двійковий пошук …

24 ds.algorithms  reference-request  string-matching  string-search 

Для константи можна визначити за лінійним часом, задавши вхідний графік , чи ширина його ширини дорівнює . Однак, коли і і G задані як вхідні дані, проблема є важкою для NP. ( Джерело ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Однак, коли графік введення планарний , про складність здається значно менше. Проблема, очевидно, …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Я незліченно читав у багатьох статтях, що визначення константи Чегера графа є -hard. Здається, це народна теорема, але я ніколи не знайшов ні цитати, ні доказу цього твердження. Кому я повинен за це дати кредит? У старому документі (Ізопериметричні номери графіків, Дж. Комб. Теорія Б, 1989) Мохар лише доводить це …

23 reference-request  graph-theory  spectral-graph-theory 

Теорія складності, через такі поняття, як NP-повнота, розрізняє обчислювальні задачі, які мають відносно ефективні рішення, і ті, які не можна вирішити. "Дрібнозерниста" складність має на меті вдосконалити цю якісну відмінність у кількісному посібнику щодо точного часу, необхідного для вирішення проблем. Детальніше можна ознайомитись тут: http://simons.berkeley.edu/programs/complexity2015 Ось кілька важливих гіпотез: ETH: …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Наразі я намагаюся знайти проблеми, що завершуються ЕКСПЕКСАМ (головним чином, щоб знайти натхнення для скорочення), і мене дивує невелика кількість результатів. Поки що я знайшов це, і у мене виникають проблеми з розширенням списку: універсальність (або інші властивості) регулярних виразів з експоненцією. проблеми, пов'язані з системами векторного додавання непомітні ігри …

23 cc.complexity-theory  reference-request  big-list 

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

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Для фіксованого кінцевого алфавіту , формальний мову над є регулярним , якщо існує детермінований кінцевий автомат (ДКА) над , яка приймає рівно .ΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Мене цікавлять мови, які «майже» регулярні, в тому сенсі, що їх можна розпізнати за допомогою сімейства автоматизованих розмірів, що зростає лише поліноміально з довжиною слова. Формально, дозвольте …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Деякі з вас, можливо, стежили за цим питанням , яке було закрито через відсутність рівня досліджень. Отже, я витягую частину питання, що знаходиться на дослідницькому рівні. Поза "простішими" методами, такими як зменшення до сортування або завдання, повне EXPTIME, які методи були використані для доведення нижчих меж для часової складності проблеми? …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Припустимо, ми кидаємо кульок у бункерів, де . Нехай - кількість кульок, що закінчуються в bin , - найважча бункер, X_ \ min - найлегший бункер, а X _ {\ mathrm {sec-max}} - другий найважчий бін. Грубо кажучи, X_i - X_j \ sim N (0,2m / n) , і тому …

23 reference-request  pr.probability 

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

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Хто-небудь може запропонувати хороше та недавнє опитування щодо підрахунку проблем та / або проблем, які є #P.

23 cc.complexity-theory  reference-request  counting-complexity 

Я намагаюся зрозуміти взаємозв'язок між ізоморфізмом графа та прихованою проблемою підгрупи. Чи є хороша довідка для цього?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism