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

Чи є останні книги про Інтернет-алгоритми? Я знаю лише дві книги з цього приводу. Інтернет-обчислення та аналіз конкурентоспроможності Аллана Бородіна та Рана Ель-Яніва: Це класична, але стара книга і не містить багатьох останніх досягнень у цій галузі. Створення конкурентоспроможних онлайн-алгоритмів за допомогою первинно-подвійного підходу Ніва Бухбіндера та Джозефа (Сеффі) Наор: …

13 reference-request  big-list  online-algorithms 

Мені здається, що фахівці з машинного навчання / видобутку даних знайомі з P та NP, але рідко говорять про деякі більш тонкі класи складності (наприклад, NC, BPP або IP) та їх наслідки для ефективного аналізу даних. Чи є якесь опитування роботи з цим?

13 cc.complexity-theory  reference-request  machine-learning 

Найменша відома формула для визначника має розмір відповідно до фольклору (або до Ран Раз у своїй роботі Багатолінійні формули для постійних і детермінантних мають надполіноміальний розмір ).nO(logn)nO(log⁡n)n^{\mathcal O(\log n)} Чи є у вас якісь посилання на це? Зокрема, що це за формула?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

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

13 reference-request  soft-question  big-list  ho.history-overview 

З огляду на планарний графік, можна вбудувати його в лінійний перетин часу вільно в сітку . Мене цікавить, чи відомі якісь ефективні алгоритми, щоб прямий вбудовувати плоский графік, що перетинається вільно, в сітку для якогось невеликого , таким чином, щоб мінімальний кут між двома ребрами був максимальним?n c × n …

13 reference-request  graph-theory  graph-drawing 

Визначення чисел Рамзі таке: Нехай позитивне число такого , що кожен граф порядку по крайней мере , R ( , б ) містить або кліку на вершину або безліч стабільного на вершинах.R ( a , b )R(а,б)R(a,b)R ( a , b )R(а,б)R(a,b)ааaббb Я працюю над деяким розширенням Ramsey Numbers. Хоча …

13 reference-request  co.combinatorics  ramsey-theory 

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

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

У мене виникає питання щодо скорочуваності SERF Імпальязцо, Патурі та Зена та субекспоненціальних алгоритмів. Визначення відновлення SERF дає наступне: Якщо зведений до до і існує алгоритм для для кожного , то існує алгоритм для для кожного . (Параметр твердості для обох задач позначається .)P 2 O ( 2 ε n …

13 cc.complexity-theory  reference-request 

У визначенні (сильної) фіксованості параметра фіксації параметрів обмежений час - це вираз форми де вхідним екземпляром є з параметром , - a многочлен, а f - обчислювальна функція.f( к ) . p ( | x | ) ,f(k).p(|x|),f(k).p(|x|),k p f( х , к )(x,k)(x,k)кkkpppfff Можна замінити вимогу обчислюваності для fff …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Мене цікавить складність домінуючої задачі набору (DSP) у деяких конкретних класах графіків, які є підкласами хордальних графіків . Графік - це графік непрямої траси, якщо це графік перетину вершин сімейства шляхів у якомусь непрямому дереві. Нехай UP - клас графіків непрямої контури. Графік - це графік EPT, якщо це графік …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

Чи є якісь проблеми, які є NP-повними при використанні евклідової геометрії, але добре визначені і вирішуються в поліноміальний час для деякої неевклідової геометрії?

13 reference-request  cg.comp-geom 

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

13 ds.algorithms  reference-request  optimization  heuristics 

Я шукаю реалізацію алгоритму для обчислення пропускної здатності графіка. Добре відомо, що обчислення пропускної здатності еквівалентно обчисленню номера пошуку вузла, номера поділу вершин або товщини інтервалу графа. Алгоритм не повинен бути дуже швидким; Я хочу запустити його на графіках щонайменше 20 вершин. Мені потрібен алгоритм, щоб точно обчислити ширину шляху, …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

У " Пораді початківцеві " Мануеля Блума : ЛЕОНІД ЛЕВІН вважає, як я це роблю, незалежно від відповіді на P = NP? Проблема, вона не буде схожа на те, що ви думаєте, що має бути. І він навів кілька чудових прикладів. Для одного він дав ФАКТОРИНГ-АЛГОРИТМ, що є найбільш оптимальним, …

13 ds.algorithms  reference-request  factoring 

Контекст. Я пишу на такі теми, як теорема Геттесмана-Кнілла , використовуючи стабілізаторні групи Паулі, але у випадку d -вимірних квітів - де d може мати більше одного основного фактора. (Я наголошую на цьому, тому що переважна більшість літератури про формалізм стабілізатора у «вищих вимірах» включає випадки d простих чи d …

13 reference-request  quantum-computing