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

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

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

Я шукав найефективніший (потоковий ??) алгоритм, який підказує мені "k" найчастіше зустрічаються елементи в потоці даних в будь-який момент часу. Ця публікація: Алгоритми потоку даних "Розділити та перемогти" зацікавила мене. Наприклад, припустимо, що є числа: (4,3,5,1,6,2,4,3,3,8,9,1), і я запитую 3 найчастіше зустрічаються числа (скажімо), тоді я повинен отримайте (3,4,1) як …

19 ds.algorithms  online-algorithms  data-streams 

У квантовій теорії інформації відстань між двома квантовими каналами часто вимірюється за допомогою алмазної норми. Існує також ряд способів вимірювання відстані між двома квантовими станами, такі як відстань сліду, вірність тощо. Ізоморфізм Джаміолковського забезпечує подвійність між квантовими каналами та квантовими станами. Мені це цікаво, принаймні, тому, що алмазну норму, як …

19 quantum-computing  it.information-theory  quantum-information 

Як би ви створили малюнок, щоб проілюструвати унікальну гіпотезу? Це для презентації "Поточні події" про унікальні ігри на наступній спільній зустрічі AMS та для буклету, який буде виданий. Приклад виду ілюстрацій, вироблених у минулому, є на http://www.ams.org/meetings/lectures/current-events-bulletin і якщо ви натиснете на видання 2006 року, ви побачите картину, яку Мадху …

19 cc.complexity-theory  unique-games-conjecture 

Ось абстракція проблеми навчання в Інтернеті через Інтернет, над якою я працював влітку. Я не бачив подібної проблеми раніше, і це виглядає досить цікаво. Якщо ви знаєте про будь-яку пов’язану роботу, я вдячний довідками. Проблема Налаштування - це багатогранні бандити. У вас N зброї. Кожна рука i має невідомий, але …

19 machine-learning  lg.learning  online-learning 

Нехай - простий графік на n вершин ( n > 3 ) без вершини ступеня n - 1 . Припустимо, що для будь-яких двох вершин G існує унікальна вершина, що примикає до обох. Це вправа з курсу "Комбінаторика" Ван Лінта та Вілсона, щоб довести, що такий графік є регулярним.GGGnnn(n>3)(n>3)(n > …

19 graph-theory  co.combinatorics  puzzles 

Розглянемо , функція, яка повертає 1 iff нулі, з'являються послідовно в . Тепер хтось дав мені доказ того, що обчислюється:n π f ( n )f( n )f(n)f(n)нnnππ\pif( n )f(n)f(n) Або для всіх n з'являється в , або є am st з'являється в і не має. Для першої можливості ; Для …

19 computability 

"Оптимізація опуклості в Інтернеті" Зінкевича ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) узагальнює алгоритми навчання "мінімізації жалю" від лінійних налаштувань до опуклих налаштувань і дає хороший "зовнішній жаль" . Чи є подібне узагальнення щодо внутрішнього жалю? (Я не зовсім впевнений, навіть що саме це означатиме.)

19 lg.learning  online-learning 

У розділі "Вступ до мов програмування" Ентоні Ебі про семантику він робить таке зауваження: Значна частина роботи з семантики мов програмування мотивована проблемами, що виникають при спробі побудови та розуміння імперативних програм --- програм із командами призначення. Оскільки команда присвоєння переназначає значення змінним, це може мати несподівані ефекти у віддалених …

19 imperative-programming  semantics  big-picture 

Більшість сучасних реалізацій регулярних виразів, таких як perl або .NET, виходять за рамки класичного визначення інформатики REGEXes з такими функціями, як lookahead та lookbehind. Чи дозволяють ці функції розбирати оператори, які неможливо описати за допомогою кінцевого автоматичного автоматичного автоматичного відключення? Наскільки ближче до цірінга завершує це, якщо вони можуть?

19 automata-theory  regular-expressions  fl.formal-languages 

Чи є опитування алгоритмів обчислення інтерполянтів? А як з паперами лише на одному алгоритмі? Випадок, який мене найбільше цікавить, - це і , плюс обмеження, що інтерполянт якнайменший. (Я знаю з статті Макміллана від 2005 року , де описано, як отримати інтерполянти, уникаючи кількісних показників.)A=¬p∧qA=¬p∧qA=\lnot p\land qC=qC=qC=q Передумови: теорема Крейга …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

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

19 ds.algorithms  big-list 

Проблему рішення CNF-SAT можна описати так: Вхідні дані: булева формула у сполучній нормальній формі.ϕϕ\phi Питання: Чи існує змінне призначення, яке задовольняє ?ϕϕ\phi Я розглядаю декілька різних підходів до вирішення CNF-SAT з недетермінованою двосмуговою машиною Тюрінга . Я вважаю, що існує NTM, який вирішує CNF-SAT в кроках.n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot \texttt{poly}(\log(n)) Запитання: Чи …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Що може бути хорошим неофіційним / інтуїтивним доказом для того, щоб "вдарити до дому" про подвійність LP? Як найкраще показати, що мінімізована цільова функція дійсно є мінімумом з інтуїтивним способом розуміння пов'язаного? Те, як мене навчали «Подвійності», призвело лише до одного розуміння, яке, я впевнений, поділяє багато людей, яких я …

19 linear-programming  primal-dual 

Мене цікавить наступна проблема: задані цілі матриці вирішують, чи зрештою кожен нескінченний добуток цих матриць дорівнює нульовій матриці.A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k Це означає саме те, що ви думаєте, що це робить: ми скажемо, що набір матриць має властивість, що всі її продукти зрештою дорівнюють нулю, якщо не існує нескінченної послідовності , …

19 linear-algebra  decidability