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

Нехай - непрямий простий графік, а - окремі вершини. Нехай довжина простого шляху дорівнює кількості ребер на шляху. Мені цікаво обчислити максимальний розмір набору простих st-шляхів таким чином, щоб кожен шлях мав непарну довжину, а набори вершин кожної пари шляхів попарно перетиналися лише в s та t. Іншими словами, я …

18 matching  graph-algorithms 

Мене цікавить явна булева функція із таким властивістю: якщо є постійним на деякому афінному підпросторі , то розмірність цього підпростори дорівнює .f:0 , 1н→0 , 1f:0,1н→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff o ( n )0 , 1н0,1н\\{0,1\\}^no ( n )о(н)o(n) Не важко показати, що симетрична функція не задовольняє цій властивості, розглядаючи …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

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

18 soft-question  quantum-computing  big-list  quantum-information 

Проблема: нам надають набір паличок, всі мають цілі довжини. Загальна сума їх довжин - n (n + 1) / 2. Чи можемо ми їх розбити, щоб отримати паліноми розміром за багаточлен? 1 , 2 , … , н1,2,…,n{1,2,\ldots,n} Дивно, але єдине посилання, яке я знаходжу на цю проблему, - це …

18 reference-request  complexity-classes  puzzles 

Ця стаття передбачає, що є комбінатори (що представляють символічні обчислення), які не можуть бути представлені обчисленням лямбда (якщо я правильно розумію):

18 lo.logic  lambda-calculus 

Parity-P - це набір мов, розпізнаваний недетермінованою машиною Тьюрінга, який може розрізняти лише парне чи непарне число шляхів "прийняття" (а не нульове чи не нульове число шляхів прийняття). Таким чином Паритет-P в основному PP хирлявий молодший брат «s: в той час як ППИ розраховують ледве не число прінімающіхов траєкторій NP-машина …

18 cc.complexity-theory  complexity-classes  np 

Визначимо Gaussian складність як матриці , щоб мінімальне число елементарних операцій рядків і стовпців , необхідних для приведення матриці у верхній трикутної форми. Це величина між і (через гауссова елементація). Поняття має сенс у будь-якій галузі.0 n 2n×nn×nn \times n000н2n2n^2 Ця проблема, безумовно, здається дуже базовою, і її, мабуть, вивчили. …

18 cc.complexity-theory  lower-bounds  matrices 

Мене цікавить наступна проблема: Враховуючи набір X і підмножини X_1, ..., X_n з X, знайдіть забарвлення елементів X з k кольорами таким чином, що елементи в кожному X_i всі мають різний колір. Більш конкретно, я розглядаю випадок, коли всі X_i мають розмір k. Чи відомо це в літературі під якоюсь …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Загальновідомі квантові комп'ютери суворо потужніші за класичні аналоги за складністю запитів . Чи існують інші моделі (натуральні чи штучні), які строго між квантовою та класичною за складністю запитів? Розлука може бути продовжена конкретні проблеми: обчислювачі моделі X функціонують зі строго більшою кількістю запитів, ніж квантовими, але меншою кількістю запитів, ніж …

18 cc.complexity-theory  quantum-computing  query-complexity 

Здійсненності проблема, звичайно ж , основна проблема в теоретичній CS. Я грав з однією версією проблеми з нескінченно великою кількістю змінних.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Основні настройки. Нехай - порожній і, можливо, нескінченний набір змінних . Буквал - це або змінна або її заперечення ¬ x . Пункт c - диз'юнкція кінцевої кількості …

18 reference-request  lo.logic  sat  topology  lattice 

Я щойно прочитав питання " Чи є цілочисельна факторизація неповною проблемою? ". Тому я вирішив витратити частину своєї репутації :-) задаючи інше питання маючи P ( Q тривіально ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Якщо - це оракул, який вирішує цілочисельну факторизацію, яка сила …

18 cc.complexity-theory  oracles  factoring 

Здається, що для деяких задач NP-Hard дуже багато роботи над розробкою швидких експоненціальних точних алгоритмів (тобто результатів форми: Алгоритм A вирішує задачу в O (c ^ n) часу, з c малим). Здається, що в цих напрямках є досить велика робота для вирішення певних проблем, пов'язаних з NP (наприклад, : простий …

18 ds.algorithms 

Слово www називається примітивним , якщо немає слова vvv і k > 1,k>1k > 1 так що w = v kw=vkw = v^k . Множина QQQ усіх примітивних слів над алфавітом ΣΣ\Sigma - добре відома мова. WLOG ми можемо вибрати Σ = { a , b }Σ={a,b}\Sigma = \{ a,b …

17 fl.formal-languages 

Прошу вибачення, якщо це поза темою. Схоже, термін дії домену закінчився. Я сподіваюся, що деякі члени спільноти тут (я не один) можуть знати, хто був адміністратором / власником цього сайту. Це був досить корисний ресурс.

17 soft-question 

Які основні проблеми з відкритими складними обчислювальними технологіями виникають внаслідок мов програмування, особливо аналізу та компіляції програм? Я шукаю проблеми в рядках "часова складність умовиводу типу Хіндлі-Мілнера" ​​або "часова складність 0CFA" (хоча обидва є вирішеними проблемами).

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem