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

Проблема не всіх рівних -SAT (NAE -SAT) з урахуванням набору застережень над набором булевих змінних, таким чином, що кожне застереження містить максимум літералів, запитує, чи існує присвоєння істини змінних таким, що кожен пункт містить принаймні один істинний і хоча б один неправдивий буквальний текст.k C X kкkkкkkСCCХXXкkk Проблема PLANAR NAE …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

У роботі "СКЛАДНІСТЬ ПРОБЛЕМ ЗАБЕЗПЕЧЕННЯ" Томаса Дж. Шефера автор зазначив, що This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

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

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Хто-небудь знає посилання, які точно визначають зв’язок між алгоритмом уніфікації та елімінацією Гаусса? Мене особливо цікавить взаємозв'язок між трикутними підмінами та декомпозиціями LU. Уейн Снайдер та Жан Галлієр згадують цю аналогію, передаючи у своїй роботі « Об’єднання вищого порядку», переглянуте: Повні набори трансформацій .

22 reference-request  lo.logic 

Під час майстерності з неканонічним синтаксичним розбором LR я придумав метод розбору (з нескінченними розмірами таблиць, що робить його дещо непрактичним ), здатний розбирати точно однозначні граматики за час , і мені було цікаво, чи можна це зробити краще:О ( н.)2)О(н2)O(n^2) Чи можна розбирати всі однозначні граматики за лінійним часом? …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Мені було цікаво, які папери я повинен прочитати, щоб зрозуміти це питання Несподіваний зв’язок з іншими сферами математики, такими як алгебраїчна геометрія або вища когомологія. Можливо, навіть область математики ще не розвинена. Можливо, хтось виробить зовсім новий напрямок математики, щоб впоратися з питанням P проти NP. -З Fortnow 2002 Іншим …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

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

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Тензор є узагальнення векторів і матриць на більш високі розміри і ранг тензора також узагальнює ранг матриці. А саме, ранг тензора є мінімальним числом рангу один тензорів цієї суми . Вектор і матриця є тензорами ступеня 1 і 2 відповідно.TTTTTT Елементи в надходять з поля . Якщо є кінцевим, то …

22 ds.algorithms  reference-request  computability  tensor-rank 

Цікаво, чи є обґрунтування вважати, що або вірити, що ?N L ≠ LNL=LNL=LNL=LNL≠LNL≠LNL\neq L Відомо, що . В літературі по derandomization з досить переконливо , що . Хтось знає про якісь статті чи ідеї, які переконують, що ? R L R L = L N L ≠ LNL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

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

22 ds.algorithms  reference-request  max-flow 

При розробці алгоритмів наближення іноді вирішується півмісячна програма з наступним кроком округлення. Часто вживаний приклад для ілюстрації цього - Max-Cut. (Див., Наприклад, Алгоритми апроксимації Віджая Вазірані.) Чи є добрі освітні джерела чи опитування, що виходять за рамки проблеми Max-Cut, щоб пояснити більш складні алгоритми округлення та методи, що використовуються для …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

Чи існують проблеми в КС, коли невідомі ефективні алгоритми, незважаючи на те, що існують теореми, що підтверджують, що такі ефективні алгоритми повинні існувати? Як називаються ці проблеми? Де я можу дізнатися більше?

22 ds.algorithms  reference-request  terminology 

Нехай - графік. Для вершини , визначають , щоб бути (відкрита) околиця в . Тобто . Визначте дві вершини у для близнюків, якщо і мають однаковий набір сусідів, тобто якщо .x ∈ V N ( x ) x G N ( x ) = { y ∈ VG = ( …

22 ds.algorithms  reference-request  graph-algorithms 

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

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

Які основні посилання? Чи є якісні обстеження SGT на високому рівні та його додатки до CS загалом та більш машинного навчання?

22 reference-request  spectral-graph-theory