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

Контекст: Ми розглядаємо лише графіки. Нехай CYCLE - мова графіків із циклом; це проблема, повна NL. Нехай HASEDGE є мовою графіків, принаймні одним ребром. Тоді тривіально вже не є важким для NL, тоді як залишається таким.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Актуальна проблема: мені цікаво, чи мова все ще є NL-важким.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Я шукаю повний текст результату кліки Місяць і Мозер 1965 р. Про кліки в графах (існують графіки з кількістю максимальних експоненціальних кліків у ). На платній стіні мого університету немає доступу до конкретного журналу. (Насправді попередній перегляд дає перші кілька речень доказу, але потім залишає мене без решти!)нnn Мене зацікавив …

10 reference-request  graph-theory  co.combinatorics  clique 

Я часто чув, як вона говорила, що ви не можете написати програму, щоб ловити помилки у веб-браузері, текстовому процесорі чи операційній системі, через теорему Райса: будь-яке семантичне властивість для мови, повного Тьюрінга не можна визначити. Однак я не впевнений, наскільки це стосується реальної програми, що подобається операційним системам. Чи потрібні …

10 computability 

Припустимо, - булева мова, з кінцевих рядків над { 0 , 1 } . Нехай L n - кількість рядків у L довжиною n . Для функції d ( n ) від натуральних чисел до додатних дійсних чисел L має верхню щільність d ( n ), якщо L n ≤ …

10 cc.complexity-theory  reference-request  p-hardness 

Катц і Лінделл в своїй книзі згадують, що ЛФСР були жахливими як основа для генераторів псевдовипадкових випадків, і виступають за те, щоб вони більше не використовувались (ну вони також рекомендують людям використовувати блокові шифри замість шифрів потоку). Але я бачу, наприклад, що один із шифрів у портфелі естрімів ( Зерно …

10 soft-question  cr.crypto-security  pseudorandom-generators 

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

10 graph-theory  gt.game-theory  evolutionary-game-theory 

Я зіткнувся з досить жорсткою дилемою: - 2 роки тому я закінчив М.Тех в КС, виконавши дисертацію в галузі тестування VLSI. Хоча мені сподобалася моя робота, я не хочу повертатися до того, щоб продовжувати ступінь доктора філософії в цій галузі - я дуже хотів пройти теоретичний курс (наближений / онлайн-алгоритми) …

10 soft-question  advice-request  career 

Скажімо, у нас багатогранник у стандартній формі: A x = bx ≥ 0Ах=бх≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Чи існують відомі методи знаходження гіперплощини яка розбиває багатогранник таким чином, що кількість вершин на кожній стороні гіперплощини приблизно однакове? (тобто алгоритм, що мінімізує абсолютну різницю вершинних …

10 ds.algorithms  linear-programming  linear-algebra 

Мова знаходиться у класі iff, якщо є дві мови та L2 \ у coNP, так що L = L1 \ cap L2D P L 1 ∈ N P L 2 ∈ c o N P L = L 1 ∩ L 2LLLД ПDPDPL 1 ∈ NПL1∈NPL1 \in NPL 2 ∈ …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Я хочу почати дізнаватися про мережеве кодування: http://en.wikipedia.org/wiki/Network_coding Чи знаєте ви якесь добре опитування (наприклад, з опитувань та навчальних посібників IEEE) з вищевказаних тем. Я знайшов декілька університетських курсів з google, але хотів би отримати кілька рекомендацій від людей, які вже читають і знають хороше джерело. Спасибі Василіс

10 it.information-theory  coding-theory  survey  ni.networking-internet 

З огляду на змішаний графік G = ( V, Е, А )G=(V,E,A)G=(V,E,A) з ребрами ЕEE і дугами АAA , знайдіть відповідність у ЕEE яка мінімізує кількість дуг у Г / МG/MG/M , де Г / МG/MG/M отримується від ГGG шляхом стискання узгоджених вершин і видалення паралельні дуги. Чи (версія рішення) …

10 cc.complexity-theory  reference-request  graph-theory 

Моє запитання - про еквівалентність безпеки різних кандидатів односторонніх функцій, які можна побудувати на основі жорсткості факторингу. Припустимо, що проблема о ФАКТОРИНГ: [Дано для випадкових прайменів P , Q &lt; 2 n , знайдіть P , Q. ]N=PQN=PQN = PQP,Q&lt;2nP,Q&lt;2nP, Q < 2^nPPPQQQ не може бути розв’язана в поліноміальний час …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

Чи може хтось вказати мені на посилання на не визначеність модуля безперервності, функціонального в PCF? \newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Андрій Бауер написав дуже приємну публікацію в блозі, вивчивши деякі питання більш детально, але я підсумую лише трохи його публікації, щоб дати деякий контекст цьому питанню. Беровскій цьому безліч послідовностей натурального числа, або …

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals 

Я читаю чудовий огляд Вотроуса на папері з теорії квантової складності. У ньому він заявляє, що було б дивно, якби було виявлено неповноцінну QMA-проблему (тобто бути мовою). Чому це так? Чи пов’язано це з тим, що k-локальна гамільтонська проблема є проблемою обіцянки? Крім того, це підводить мене до спорідненого питання: …

10 cc.complexity-theory  quantum-computing 

Чи існує структура даних W-біт word-RAM з часом O (1) на операцію для наступної проблеми?: Підтримуйте набір w-бітових негативних чисел, що підтримують операції add (x): додати x до набору delete (x): видалити x із набору fingerprint (): повернення відбитка набору. Цей w-бітний відбиток має властивість, що два ідентичні набори мають …

10 ds.data-structures