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

Я шукаю посилання на складність задачі балансування булевих формул . Зокрема, Чи було відомо, що булеві формули можна збалансувати в AC0AC0\mathsf{AC^0} ? Чи є простий доказ врівноваження булевої формули в AC0AC0\mathsf{AC^0} ? Під "простим" я маю на увазі доказ простіший, ніж той, який я згадую нижче, зокрема я шукаю доказ, …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Я знаю, що Гауссова елімінація виконує арифметичні операції , але я не впевнений, чи відомі якісніші алгоритми.О ( н.)3)О(н3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

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

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

Зафіксуйте k≥5k≥5k\ge5 . Для будь-якого досить великого ми хочемо позначити всі підмножини розміру точно додатними цілими числами від . Ми хотіли б, щоб ця маркування відповідала такій властивості: є безліч цілих чисел, st{ 1 .. n } n / k { 1 ... T }nnn{1..n}{1..n}\{1..n\}n/kn/kn/k{1...T}{1...T}\{1...T\}SSS Якщо підмножин розміру не перетинаються …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Найпростіші подання для графіків використовують матриці / списки суміжності, тобто кожен вузол і край явно представлені. Важливість неявних уявлень для графіків, що демонструють чіткі закономірності, давно визнана. Наприклад, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( Примітка про кращі представлення графіків , 1986) досліджували питання про графіки, матриця суміжності яких …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

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

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

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

10 ds.algorithms  graph-theory 

Нехай - непрямий графік. Розкладання V на непересічні підмножини V я називаюся розкладанням Гамільтон з G , якщо підграф , індукований кожне безліч V я або граф Гамільтон , або складається з одного ребра з | V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Приклад : Повний двосторонній графік має розклад Гамільтона …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

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

10 ds.algorithms  string-matching 

У статті Про дві проблеми теорії інформації Ердас та Реній дають нижчі межі щодо мінімальної кількості зважувань, яку необхідно зробити, щоб визначити кількість помилкових монет у наборі з монет.ннn Більш офіційно: Помилкові монети мають меншу вагу, ніж праві монети; ваги і b < a як правильних, так і помилкових монет …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Для неорієнтованого графа і даного безліч вершин, що є асимптотично швидким відомим алгоритму для знаходження простого шляху , що містить всі елементи . Що робити, якщо нам потрібно, щоб шлях був якомога коротшим?S SGGGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

Припустимо, ми розглянемо 3-SAT з змінними та . Я досліджую метод, який, як видається, займає час / простір, щоб вирішити будь-яку проблему SAT, що відповідає цьому опису, в межах помилки, яку можна відрегулювати довільно. Однак є улов.c O ( v 2 + log c )vvvcccO ( v2 + журналc)O(v2+log⁡c)O(v^{2+\log c}) …

10 ds.algorithms  sat  upper-bounds 

Давши плоский невагомий графік і колекцію вершинних пар ( - константа), знайдіть вершинно-роз'єднаних (крім джерела) шляхів від до таких що довжина найдовшого шляху зменшена до мінімуму.(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k s t ik≥2k≥2k\ge2kkkssstitit_i Запитання: Чи існує алгоритм поліноміального часу для задачі? Деякі пов'язані результати: якщо не виправлено, проблема є NP-жорсткою, навіть якщо ;kkkt1=⋯=tkt1=⋯=tkt_1=\dots=t_k якщо …

10 ds.algorithms  graph-algorithms 

Мені хотілося б знати, чи вивчалася раніше така проста проблема і чи відоме якесь рішення. Нехай G - кінцева (MxN) сітка, S - підмножина клітин G ("крихти"). Як кажуть, дві крихти (локально) з'єднані, якщо їх координати відрізняються щонайбільше однією (тобто, якщо вони намальовані як квадрати, вони поділяють принаймні одну кутову …

10 ds.algorithms  graph-theory  graph-algorithms 

Чи існує алгоритм поліноміального часу, щоб знайти, якщо такий існує, павука, що охоплює заданий графік ? Павук - це дерево, що має максимум один вузол зі ступенем більше 2: Я знаю, що різні умови ступеня на (по суті, досить великі ступені вузла) гарантують існування павутинного павука. Але мені цікаво , …

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