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

Питання та відповіді для вчених-теоретиків та дослідників у суміжних галузях

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

3
Зображення перестановки в рядках
Вірно кажучи, узгодження шаблону перестановки стосується таких проблем: Враховуючи перестановки в S n і σ в S m , при m ≤ n , чи містить π підпорядкованість τ довжиною m , елементи якої впорядковані відповідно до σ ?ππ\piSnSnS_nσσ\sigmaSmSmS_mm≤nm≤nm\leq nππ\pi ττ\taumмmσσ\sigma Наприклад, якщо і σ = ⟨ 2 1 3 …


1
Розум про недетерміновано закінчуються петлі
Ось питання "доріжки B", якщо воно колись було. Короткий зміст: перше, про що я думаю, коли намагаюся надати семантику недетермінованим програмам, призводить до семантики, де я не можу довести речі про петлі, які закінчуються лише недетермінантно. Напевно, хтось розробив, що робити в цій ситуації, або, принаймні, зазначив, що це важко, …

4
Квантові нерівності типу дзвона
Мені цікаво, чи хтось може порекомендувати якийсь додатковий матеріал для глибшого розуміння статті: " Деякі результати та проблеми щодо квантових нерівностей дзвіночків - Цирельсон ". Зокрема, щось, що може детальніше пояснити геометричну інтерпретацію нерівностей Бел-Тип. Можливо, букварний документ або відповідний підручник, який детальніше розглядає ці питання. Буду вдячний за будь-який …

1
Нижня межа агностичного PAC вибірки
Загальновідомо, що для класичного навчання PAC приклади необхідні для того, щоб отримати помилку, пов'язану з ε whp, де d - розмірність VC класу концепції.Ω ( d/ ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonгdd Чи відомо, що приклади потрібні у випадку агностики?Ω ( d/ ε2)Ω(d/ε2)\Omega(d/\varepsilon^2)

1
Практична операція порівняння та заміни (у кількох словах)
У статті з такою ж назвою, що й у цьому питанні, автори описують, як побудувати неблокуючу лінійну операцію з декількома словами CAS, використовуючи лише односкладне CAS. Вони спочатку запроваджують операцію подвійного порівняння-один-своп - RDCSS, наступним чином: word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); …

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

1
Місця, де порядок точок вздовж простого багатокутника, що проходить через них, корисний
Ми знаємо, що знаходження опуклого корпусу з точок на площині має нижню межу на час його роботи. Однак якщо точки задані в тому порядку, в якому вони виникають уздовж деякого простого многокутника, який має ці точки як свої вершини, то їх опуклий корпус можна знайти в лінійному часі.ннnΩ ( n …

2
Проблеми грат
Була проведена досить велика робота над обчислювальними проблемами для часткових замовлень (наприклад, розпізнавання, число стрибків, розпізнавання графіків порівнянності тощо). Мені цікаво, яка робота, характерна для решіток, була зроблена. Я обшукав і не знайшов багато подібних робіт для решіток. Зокрема, мене цікавить, чи були досліджені такі проблеми грат: Розпізнавання решітки: з …

3
Перерахування всіх пар неперерізних шляхів
З огляду на , орієнтований граф і дві вершини їв , т ∈ V . Пара простих контурів p 1 , p 2 від s до t є неперервними ребрами, якщо вони не ділять ребро.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Використовуючи максимальний потік, легко вирішити, чи є пара крайових роз'єднаних шляхів …

4
Обмеження розриву між квантовою та детермінованою складністю запитів
Хоча відомі експоненціальні розділення між квантовою складністю запиту з обмеженою помилкою ( Q(f)Q(f)Q(f) ) та детермінованою складністю запиту ( D(f)D(f)D(f) ) або рандомізованою складністю запитів з обмеженою помилкою ( R(f)R(f)R(f) ), вони застосовуються лише до певних часткових функцій. Якщо парціальні функції мають деякі спеціальні структури, то вони також поліноміально пов'язані …

5
Розподілена машина Тюрінга?
Я студент-магістр, орієнтований на розподілені системи, але також зацікавлений у теоретичних інформатиках. Мені було цікаво, чи є офіційне представлення розподіленої системи поверх машини Тюрінга? Тобто, чи можна розширити (зробити варіант) концепцію машини тюрінга, щоб скористатися розподіленими обчисленнями? Однією з ідей є створення спільної стрічки (щось подібне до Tuple Space ) …

1
Який найбільший розрив між рангом та приблизним рангом?
Ми знаємо, що журнал ранжу матриці 0-1 є нижньою межею детермінованої складності зв'язку, а журнал приблизного рангу - нижньою межею рандомізованої складності зв'язку. Найбільший розрив між детермінованою складністю зв'язку та рандомізованою складністю зв'язку є експоненціальним. То як щодо розриву між рангом і приблизним рангом булевої матриці?

4
Витрати на виконання бл. пошук найближчого сусіда в пропущеному квадраті
ПРИМІТКА . Питання було перетворено в моїх відповідях: якщо припустити, що ми можемо знайти найнижчих предків рідних братів за O(1)O(1)O(1) час, чи може АНН справді виконуватися в O(logn)O(log⁡n)O(\log n) ? Квадрат є ефективними просторовими показниками. У мене є головоломка з реалізацією пошуку найближчого сусіда в стислій структурі квадрата, як описано …

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.