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

Розмовно, визначення показника множення матриці - найменше значення, для якого існує відомий алгоритм множення матриці . Це не є прийнятним як формальне математичне визначення, тому я припускаю, що технічне визначення є чимось подібним до мінімального за всіма таким чином, що існує алгоритм множення матриць в .ωω\omeganωnωn^{\omega}tttntntn^t У цьому випадку ми …

15 ds.algorithms  linear-algebra 

Які існують нетривіальні проблеми, коли ми знаємо, що поточний алгоритм є асимптотично оптимальним? (Для машин для твердіння) І як це доведено?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

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

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Я задавав це питання на Stack Overflow деякий час тому: Проблема: продаж Боба . Хтось запропонував розмістити це питання і тут. Хтось уже задав тут питання, пов’язане з цією проблемою - Мінімальна вага лісу даної кардинальності - але, наскільки я розумію, це не допомагає мені в моїй проблемі. Відповідь на …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

Намагаючись розробити власний алгоритм сортування, я шукаю оптимальний орієнтир, з яким я можу порівняти його. Для несортованого впорядкування елементів A і відсортованого впорядкування B , що є ефективним способом обчислення оптимальної кількості транспозицій, щоб дістатись від A до B ? Транспозиція визначається як перемикання положення двох елементів у списку, наприклад …

15 ds.algorithms  co.combinatorics  sorting 

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

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

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

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Якщо максимум або сума береться за всі маркування , добуток береться за всі ребра для графіка і - довільна функція. Цю кількість легко знайти для обмежених графіків ширини дерев і загалом NP-важких для плоских графіків. Кількість належних забарвлень, максимальний незалежний набір …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Перетворення Уолша-Адамара (WHT) є узагальненням перетворення Фур'є, і є ортогональное перетворення на векторі дійсних або комплексних чисел розмірності . Трансформація популярна в квантових обчисленнях, але останнім часом вона була вивчена як своєрідний попередній умова для випадкових проекцій великогабаритних векторів для використання у доказуванні леми Джонсона-Лінденстраусса. Його основна особливість полягає в …

15 ds.algorithms  linear-algebra 

Я шукаю онлайн-алгоритм для підтримки перехідного закриття спрямованого ациклічного графіка зі складністю в часі менше О (N ^ 2) на додавання ребер. Мій поточний алгоритм такий: For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ \cup { v }. …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

Це питання стосується алгоритму Фішера-Йейта для повернення випадкових перетасовок заданого масиву. Сторінка Вікіпедії говорить, що її складність становить O (n), але я думаю, що це O (n log n). У кожній ітерації i вибирається випадкове ціле число між 1 і i. Просто записати ціле число в пам'ять - O (log …

15 ds.algorithms  permutations 

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

15 ds.algorithms  reference-request  graph-theory 

З огляду на матрицю (якщо вважати ), який найшвидший алгоритм для обчислення його рангу та основи стовпців?m×nm×nm \times nm≥nm≥nm \ge n Я знаю, що це можна вирішити за допомогою лінійного перетину матроїдів, що передбачає детермінований алгоритм часу та рандомізований алгоритм часу . Чи існує алгоритм детермінованого часу , який більш …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

Розв'язувачі SAT дають потужний спосіб перевірити обґрунтованість булевої формули за допомогою одного кількісного показника. Наприклад, для перевірки дійсності∃x.φ(x)∃x.φ(x)\exists x . \varphi(x) , ми можемо використовувати розв'язувач SAT, щоб визначити, чи задовольняє . Для перевірки достовірності ∀ x . φ ( x ) , ми можемо використовувати розв’язувач SAT, щоб визначити, …

15 ds.algorithms  lo.logic  sat  boolean-functions