Запитання з тегом «big-list»

Чи є в теоретичній інформатиці якісь припущення, які передбачають деякий параметр n і були доведені для малих значень n AND для простих чисел, але пізніше виявилися помилковими? У теорії чисел такі проблеми існують, наприклад. як вказує Аарон Мейровіц, про коефіцієнти циклотомних многочленів. Від ТКС я тільки знаю приклади , як …

17 big-list  primes 

Я студент з математики з міцним досвідом логіки. Я пройшов річний аспірантуру з логіки разом з аспірантурами з теорії кінцевих моделей та іншим з теорії форсування та множин. Більшість текстів CS, як видається, передбачають лише дуже скромний фон логіки, який переважно охоплює основи логіки пропозицій та логіки першого порядку. Я …

17 lo.logic  soft-question  big-list  books  formal-methods 

Назвіть кілька основних прикладів успішної дерандомізації чи принаймні прогресу у демонстрації конкретних доказів до досягнення цілі (не зв'язку з випадковістю твердості)?P=BPPP=BPPP=BPP Єдиний приклад, який мені спадає на думку, - це детерміноване тестування первинності поліноміального часу AKS (навіть для цього існувала методологія, яка передбачала GRH). То які конкретні докази на прикладі …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

У Ларрі Вассермана є нещодавній пост, де він розповідає про "поліцію з цінностями". Він робить цікавий момент (все наголос мій) (передумова курсивом, яку я додав, і його відповідь нижче): Найпоширеніша скарга полягає в тому, що фізики та журналісти неправильно пояснюють значення p-значення. Наприклад, якщо значення p становить 0,000001, тоді ми …

15 ds.algorithms  soft-question  big-list 

max{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n алгоритм дитячого гігантського кроку для обчислення дискретного логарифму в ,O(n−−√)O(n)O(\sqrt n) статичний 2D ортогональний підрахунок діапазону в часу та пам'яті,O(n−−√)O(n)O(\sqrt n)O(n)O(n)O(n) пріоритетна черга з EXTRACT-MIN в та DECREASE-KEY в ,O(n−−√k)O(nk)O(\sqrt[k] n)O(1)O(1)O(1) розфарбування трикольорового графіка кольорами у поліноміальний час,O(n−−√)O(n)O(\sqrt n) просто назвати кілька. Хоча такі алгоритми часто …

15 ds.algorithms  ds.data-structures  big-list  teaching 

Я подивився в Інтернеті, але не зміг знайти жодного «великого списку» варіантів проблеми SAT. Крім (загального) СБ, k-SAT, MAX-kSAT, Пів-СБ, XOR-SAT, NAE-SAT які ще варіанти є? (також буде дуже корисно, якщо там будуть задані класи складності (де це можливо))

14 cc.complexity-theory  sat  big-list 

Я розпочинаю докторську ступінь цієї осені і планую працювати над теорією складності для своєї дипломної роботи. Я складаю перелік важливих робіт, які повинен знати кожен теоретик складності. Які документи ви запропонували б такій людині, як я? І, будь ласка, коротко поясніть, чому ви вважаєте, що документ важливий.

14 cc.complexity-theory  reference-request  big-list 

Чи відомі результати, які виключають існування структур "занадто хороших, щоб бути справжніми"? Наприклад: чи можна додати функцію SplitSplitSplit та JoinJoinJoin до структури даних щодо обслуговування замовлень (див. Dietz і Sleator STOC '87 ) і все-таки отримати операції O(1)O(1)\mathcal{O}(1) ? Або: чи можна реалізувати впорядкований набір з цілими клавішами та операціями …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

Які видумки та основні відкриті проблеми є найважливішими в алгоритмічній теорії ігор (або теорії ігор взагалі, як це стосується CS)? Наприклад, резолюція NASH як повна ППАД, я думаю, була б найбільшою до тих пір, поки вона не була вирішена. (Додано: вирішення відношення PPAD до P та NP - це одна …

14 big-list  gt.game-theory 

Я б включив два документи: Д. Козен, "Індексація субрекурсивних класів" , STOC, 1978. Р. Ладнер, "Про структуру скорочення поліноміального часу" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

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

14 big-list  teaching  intuition 

Припустимо, ви зустрічаєтесь з програмістами, які пройшли деякі професійні курси програмування (/ думали про себе), але не вивчали математику на рівні університету. Щоб показати їм красу TCS, я хотів би зібрати кілька приємних результатів / відкритих питань, що надходять від TCS, які легко пояснити. Хороший кандидат для цієї мети покаже, …

13 soft-question  big-list  big-picture  teaching 

Чи є останні книги про Інтернет-алгоритми? Я знаю лише дві книги з цього приводу. Інтернет-обчислення та аналіз конкурентоспроможності Аллана Бородіна та Рана Ель-Яніва: Це класична, але стара книга і не містить багатьох останніх досягнень у цій галузі. Створення конкурентоспроможних онлайн-алгоритмів за допомогою первинно-подвійного підходу Ніва Бухбіндера та Джозефа (Сеффі) Наор: …

13 reference-request  big-list  online-algorithms 

Щоб відзначити 100-річчя Алана Тьюрінга, я хочу переглянути документальний фільм про його життя. Однак є кілька документальних фільмів на вибір. Який документальний фільм про Алана Тьюрінга є вашим улюбленим? Будь ласка, включіть лише один документальний фільм на кожну відповідь.

13 reference-request  soft-question  big-list  ho.history-overview 

Теорія компілятора, здається, є досить перевіреною темою. Які якісь відкриті проблеми чи сучасні дослідження відбуваються у цій галузі?

13 soft-question  big-list  open-problem  compilers