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

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

10 soft-question  advice-request  career 

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

10 permutations  string-matching 

Монотонна формула CNF з m термінами на n змінних ( ) - це формула виду , де кожен - АБО деякий підмножина змінних , становить від до . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , … , x …

10 cc.complexity-theory  circuit-complexity  formulas 

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

10 reference-request  denotational-semantics 

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

10 reference-request  quantum-computing  quantum-information 

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

10 lg.learning  machine-learning 

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

10 dc.parallel-comp  concurrency 

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

10 quantum-computing  linear-algebra  universal-computation 

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

10 cg.comp-geom 

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

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

З огляду на , орієнтований граф і дві вершини їв , т ∈ 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 Використовуючи максимальний потік, легко вирішити, чи є пара крайових роз'єднаних шляхів …

10 cc.complexity-theory  graph-algorithms 

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

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

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

10 turing-machines  dc.distributed-comp 

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

10 co.combinatorics  linear-algebra  matrices  communication-complexity  boolean-matrix 

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

10 ds.algorithms  ds.data-structures  range-searching  near-neighbors