Теоретична інформатика

Нехай - непрямий графік. Розкладання 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 

JBV запропонував я перетворити деякі коментарі на запитання, і ось далі. Ще одне питання [1] задає додатки обчислень QM. Одна з відповідей [2] полягала в "ефективному моделюванні квантової механіки". Мабуть, ця ідея сягає аж до раннього написання Фейнмана на цю тему; хоча я не маю довідки. Тому: Питання. Що є …

10 reference-request  quantum-computing  application-of-theory 

Нехай деякий безліч Взаємно несмещенной баз (MUB) в С п , тобто кожен B я ортонормованій базис і V ∈ B я , ш ∈ B J , я ≠ J ми мають | ⟨ V | ж ⟩ | = 1Б= { В1, … , Бк}B={B1,…,Bk}\mathcal{B} = \{B_1, \dots, …

10 reference-request  quantum-information 

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

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

Яка найкраща межа в даний час для виконання запитів підрахунку діапазону напівпростори на наборі -вимірних точок, виражених у вигляді компромісу часу / простору. Згідно з первинним документом Матусека 1993 року (теорема 6.2, Пошук у діапазоні з ефективними ієрархічними вирізаннями), ми можемо зробити підрахунок діапазонів для запитів, що є перетином p …

10 reference-request  ds.data-structures  cg.comp-geom 

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

10 ds.algorithms  graph-algorithms  time-complexity 

Встановлено . Для кожного елемента , ми маємо вага і вартість . Мета полягає у знаходженні підмножини розміром яка максимізує таку цільову функцію: .e i w i > 0 c i > 0 M k ∑ e i ∈ M w i + ∑ e i ∉ M w i …

10 np-hardness  optimization 

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

10 pl.programming-languages  recursion  recursive 

Припустимо, ми розглянемо 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 

Якщо існують OWF, можлива статистика обов'язкового бітового зобов'язання. [1] Чи відомо, що якщо існують OWF, то можлива ідеально обов'язкова бітова прихильність? Якщо ні, то чи відоме відокремлення чорної скриньки між ними? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem та http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator

10 cr.crypto-security  one-way-function 

Розглянемо пов'язаний випадковий кубічний графік G=(V,E)G=(V,E)G=(V,E) з n=|V|n=|V|n =|V|вершини, проведені з G(n,3G(n,3G(n, 3 -reg ))) (як визначено тут , тобто 3n3n3n є парними, і будь-які два графіки мають однакову ймовірність). Звичайно , є nnn можливої ширину перших Пошукові, по одному для кожного початкового вузла s∈Vs∈Vs \in V . Широтою перший …

10 graph-theory  co.combinatorics 

Деякі з нас читали статтю Майкла Нільсена про геометричний підхід до використання квантових нижніх меж (коротко кажучи, побудова метрики Фінслера на таким чином, що геодезична відстань від I до елемента U є нижньою межею про кількість воріт у квантовому контурі, що обчислює U ).SU(2n)SU(2n)SU(2^n)IIIUUUUUU Мені було цікаво, чи існували конкретні …

10 quantum-computing 

Матриця Мура схожа на матрицю Вандермонде, але має дещо змінене визначення. http://en.wikipedia.org/wiki/Moore_matrix Яка складність обчислення визначника заданого повного рангу по матриці Мура деякого цілого числа?n×nn×nn \times n Чи можна детермінант Мура зменшити з за допомогою методів FFT до для деякого ?O(n3)O(n3)O(n^{3})O(nlogan)O(nloga⁡n)O(n\log^{a}n)a∈R+∪{0}a∈R+∪{0}a \in \mathbb{R}_{+} \cup \{0\} Чи складність Moore det modulo …

10 cc.complexity-theory  algebraic-complexity 

Нехай - графік із (позитивно) зваженими ребрами. Я хочу , щоб визначити діаграму Вороного для набору вузлів / сайтів S , щоб асоційованої з вузлом V ∈ S підграф R ( v ) з G , індукованого всі вузли строго ближче до V , ніж до будь-якого іншого вузла S …

10 reference-request  graph-theory  cg.comp-geom