Вопросы с тегом «big-list»

Существуют ли какие-либо предположения в теоретической информатике, которые включают некоторый параметр n и были доказаны для малых значений n AND для простых чисел, но позже оказались ложными? В теории чисел такие проблемы существуют, например. как Аарон Мейеровиц указывает на один из коэффициентов циклотомических полиномов. Из TCS я знаю только такие …

17 big-list  primes 

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

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

Каковы некоторые основные примеры успешной дерандомизации или, по крайней мере, прогресса в демонстрации конкретных доказательств достижения цели (а не связи между случайностью и жесткостью)?п= B Pппзнак равноВппP=BPP Единственный пример, который мне приходит в голову, - это тестирование AKS на детерминированность полиномиального времени (даже для этого была методология, предполагающая GRH). Итак, …

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

Ларри Вассерман недавно опубликовал пост, где рассказывает о «полиции p-значения». Он делает интересное замечание (все выделено мной) (предпосылка, которую я добавил курсивом, и его ответ под ним): Наиболее распространенная жалоба состоит в том, что физики и журналисты неправильно объясняют значение p-значения. Например, если значение p равно 0,000001, мы увидим такие …

15 ds.algorithms  soft-question  big-list 

k = √max { k , n / k }max{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n алгоритм гигантского шага baby-step для вычисления дискретного логарифма в O ( n--√)O(n)O(\sqrt n) , статический двухмерный ортогональный отсчет во времени O ( n--√)O(n)O(\sqrt n) и памяти O ( n )O(n)O(n) , приоритетная очередь с EXTRACT-MIN …

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

Я посмотрел в Интернете, но не смог найти «большой список» вариантов проблемы SAT. Помимо (общего) СИДЕЛ, к-СБ, MAX-КСАТ, Half-СБ, XOR-СБ, НАЗ-СБ какие еще варианты есть? (также будет очень полезно, если есть классы сложности (где это возможно))

14 cc.complexity-theory  sat  big-list 

Я начинаю свою докторскую диссертацию этой осенью и планирую работать над теорией сложности для своей диссертации. Я составляю список важных работ, которые должен знать каждый теоретик сложности. Какие документы вы бы предложили человеку, как я? И, пожалуйста, кратко объясните, почему вы считаете эту статью важной.

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

Известны ли результаты, которые исключают существование «слишком хороших, чтобы быть правдивыми» структур данных? Например: можно ли добавить функциональность и J o i n в структуру данных ведения заказа (см. Dietz and Sleator STOC '87 ) и при этом получить O ( 1 ) временных операций?Sp l i tSпLяTSplitJо я нJояNJoinO …

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

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

14 big-list  gt.game-theory 

Две статьи, которые я бы включил: Д. Козен, "Индексация субрекурсивных классов" , STOC, 1978. Р. Лэднер, "О структуре полиномиальной временной сводимости" , JACM, 1975.

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

Я ищу примеры результатов, которые идут вразрез с интуицией людей для общей аудитории. Результаты, которые, если спросить у неэкспертов «что говорит ваша интуиция?», Почти все ошиблись бы. Заявление о результатах должно быть легко объяснимо для студентов в CS / математике. Я в основном ищу результаты в области компьютерных наук. Каковы …

14 big-list  teaching  intuition 

Предположим, вы встречаетесь с программистами, которые прошли некоторые профессиональные курсы по программированию (или думали сами), но не изучали математику университетского уровня. Чтобы показать им всю прелесть TCS, я хотел бы собрать некоторые хорошие результаты / открытые вопросы, поступающие от TCS, которые легко объяснить. Хороший кандидат для этой цели (ИМХО) покажет, …

13 soft-question  big-list  big-picture  teaching 

Есть ли последние книги по онлайн-алгоритмам? Я знаю только две книги на эту тему. Онлайновые вычисления и конкурентный анализ Аллана Бородина и Рана Эль-Янива: Это классическая, но старая книга, которая не содержит много недавних достижений в этой области. Разработка конкурентных онлайн-алгоритмов с помощью подхода Primal-Dual. Нив Бухбиндер и Джозеф (Сефи) …

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