Запитання з тегом «ds.algorithms»

Неважко помітити, що для будь-якого існує 1-1 відображення від {0,1} до {0,1} таким, що для будь-якого вектор "врівноважений", тобто має рівну кількість 1s і 0s. Чи можна визначити такий так, що за даного ми можемо ефективно обчислити ?F n n + O ( log n ) x F ( x …

10 ds.algorithms  ds.data-structures  encoding 

Чи можна розділити та перемогти характер FFT автоматично узагальнити до інших перетворень (z Transform, чирп тощо)? Чи існує алгоритм, який містить опис перетворення (я не знаю, яка інформація була б потрібна) і здатна створити швидку функцію, схожу на FFT?

10 ds.algorithms 

Нехай - нерегулярний зв’язаний графік, ступінь якого обмежена. Припустимо, що кожен вузол містить унікальний маркер.G = ( V, Е)Г=(V,Е)G= (V, E) Я хочу рівномірно перемістити токени серед графіка, використовуючи лише локальні підкачки (тобто обмін жетонами між двома сусідніми вузлами)? Чи відома нижня межа цієї проблеми? Єдина ідея, яку я мав, …

10 ds.algorithms  random-walks  dc.distributed-comp 

У мене є питання техніко-економічного обґрунтування, яке можна поставити так. Мені надається точка у d- розмірному векторному просторі, і я хочу знайти найближчу точку q до p, яка задовольняє набір форми " ℓ 0 обмежень"pppгddqqqpppℓ0ℓ0\ell_0 З огляду на множину , максимум один із { q j , j ∈ S …

10 ds.algorithms  approximation-algorithms  linear-programming 

Припустимо, у мене булева схема СCC що обчислює деяку функцію f: { 0 , 1}н→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}. Припустимо, схема складається з воріт І, АБО, А НЕ з вентилятором і не більше 2 вентиляторів. Дозволяє x ∈ { 0 , 1}нx∈{0,1}nx \in \{0,1\}^nбути заданим входом. ДаноСCC …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Комплементарна млявість (КС) зазвичай навчається, коли йдеться про подвійність. Він встановлює приємне співвідношення між первинним і подвійним обмеженням / змінними з математичної точки зору. Дві основні причини застосування CS (як викладають в аспірантурах та підручниках): Для перевірки оптимальності LP Щоб вирішити подвійне Враховуючи сьогоднішні обчислювальні потужності та поліномічні алгоритми для …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

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

10 ds.algorithms  greedy-algorithms 

Для багатьох проблем алгоритм з найкращою асимптотичною складністю має дуже великий постійний коефіцієнт, який прихований великими позначеннями O. Це відбувається при матричному множенні, цілочисленному множенні (конкретно, недавньому алгоритмі множення O (n log n) цілого числа Гарві та ван дер Хоевена), низькоглибоких сортуваннях мереж та пошуку неповнолітніх графів. Такі алгоритми іноді …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Відомо, що Форд-Фулкерсон або Едмондс-Карп з евристикою жирової труби (два алгоритми максимального потоку) не повинні зупинятися, якщо деякі ваги нераціональні. Насправді вони можуть навіть сходитися на неправильному значенні! Однак у всіх прикладах, які я міг знайти в літературі [посилання нижче, плюс посилання на них], використовується лише одне ірраціональне значення: сполучене …

9 ds.algorithms  graph-algorithms  max-flow 

З огляду на коефіцієнт , чи можна швидко обчислитиa,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Тут x,yx,yx, y - цілі числа. Очевидно, що прийняття x=y=0x=y=0x = y = 0 дає нецікаву відповідь; загалом, наскільки близькими можуть бути ці повноваження? Крім того, як ми швидко обчислимо мінімізацію x,yx,yx, y …

9 ds.algorithms  randomized-algorithms  nt.number-theory  comp-number-theory 

Розв'язувачі SMT, такі як Z3 або Boolector, використовують складний набір евристики для вирішення проблем. Однак це також дуже важко передбачити ефективність такого рішення для даної проблеми. Моє питання таким чином: Питання Чи є спосіб зрозуміти чи отримати розуміння продуктивності розв'язувача SMT для конкретного в теорії біттераторів, що не містять кількісних …

9 ds.algorithms  sat  heuristics 

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

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

Двосторінковий документ SODA Kalai дає простий та ефективний алгоритм для узгодження шаблону з небайдужими (макіяжними символами, які відповідають одному символу). По суті, це так просто, як згортання. Але що станеться, якщо ми шукаємо декілька шаблонів, не цікавлячись? Чи можемо ми все-таки якось вирішити це, наприклад, на основі методів FFT?

9 ds.algorithms  reference-request  string-matching 

Я намагався реалізувати алгоритм множення цілих чисел Шенгаге-Страссена, але потрапив на камеру спотикання на етапі рекурсивності. Я маю цінність xxx з nnnбіт, і я хочу обчислити . Спочатку я вважав, що ідея полягає в тому, щоб вибрати , щоб 4 ^ k \ geq 2n , розділили х на 2 …

9 ds.algorithms 

Якщо ми розглянемо лише проблеми в P, чи існують великі прогалини між найшвидшим відомим алгоритмом word-RAM та найшвидшим відомим алгоритмом машини Тьюрінга для конкретних проблем? Мене особливо цікавить, якщо існують широкі прогалини для природних проблем загального інтересу.

9 cc.complexity-theory  ds.algorithms