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

Большой тег изображения предназначен для «широкого, общего представления или перспективы проблемы или проблемы».

29
Основные алгоритмы развернуты
Чтобы продемонстрировать важность алгоритмов (например, для студентов и преподавателей, которые не занимаются теорией или даже из совершенно разных областей), иногда полезно иметь под рукой список примеров, где основные алгоритмы были развернуты в коммерческих, государственных и или широко используемое программное / аппаратное обеспечение. Я ищу такие примеры, которые удовлетворяют следующим критериям: …

11
Какого просветления я должен достичь после изучения конечных автоматов?
Я пересматривал Теорию вычислений для забавы, и этот вопрос меня мучил некоторое время (забавно, никогда не думал об этом, когда я изучал Теорию автоматов в моем старшекурснике). Итак, «почему» мы точно изучаем детерминированные и недетерминированные конечные автоматы (DFA / NFAs)? Итак, вот некоторые ответы, которые я придумал после ответа, но …

7
Каков вклад лямбда-исчисления в области теории вычислений?
Я просто читаю лямбда-исчисление, чтобы «узнать это». Я рассматриваю это как альтернативную форму вычислений в отличие от машины Тьюринга. Это интересный способ работы с функциями / сокращениями (грубо говоря). Некоторые вопросы продолжают мучить меня, хотя: Какой смысл в лямбда-исчислении? Зачем проходить все эти функции / сокращения? Какова цель? В результате …

5
Методы обращения порядка квантификаторов
Хорошо известно, что в целом порядок универсальных и экзистенциальных кванторов нельзя изменить. Другими словами, для общей логической формулы ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) , (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) С другой стороны, мы знаем, что правая сторона более ограничительна, чем левая; то есть .(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow …

13
Использование алгебраических структур в теоретической информатике
Я практикующий программист, и я пишу обзор алгебраических структур для личного исследования и пытаюсь привести примеры того, как эти структуры используются в теоретической информатике (и, в меньшей степени, в других областях компьютерных наук). , В рамках теории групп я встречал синтаксические моноиды для формальных языков и моноиды трассировки и истории …

7
Какие интересные теоремы в TCS опираются на Аксиому выбора? (Или, в качестве альтернативы, Аксиома Определенности?)
Иногда математики беспокоятся об аксиоме выбора (AC) и аксиоме детерминированности (AD). Аксиома выбора : При любом наборе непустых множеств существует функция F , что, учитывая множество S в C , возвращает элемент из S .СC{\cal C}еffSSSСC{\cal C}SSS Аксиома детерминированности : Пусть - набор бесконечно длинных битовых строк. Алиса и Боб …

7
Являются ли
В настоящее время решается либо полная проблема, либоP S P A C ENPNпNPPSPACЕпSпAСЕPSPACE complete в общем случае невозможно для больших входов. Однако оба они разрешимы в экспоненциальном времени и в полиномиальном пространстве. Поскольку мы не можем создавать недетерминированные или «счастливые» компьютеры, имеет ли это какое-то значение для нас, если проблема …

5
Происхождение понятия древовидной ширины
Мой вопрос сегодня (как обычно) немного глупый; но я бы попросил вас рассмотреть это. Я хотел знать о происхождении и / или мотивации концепции ширины дерева. Я уверен, что понимаю, что это используется в алгоритмах FPT, но я не думаю, что это было причиной, почему это понятие было определено. Я …

5
Основные причины, почему проблемы в P или BPP
Недавно, когда я разговаривал с физиком, я утверждал, что в моем опыте, когда проблема, которая наивно кажется такой, что она требует экспоненциального времени, нетривиально оказывается в P или BPP, обычно можно определить «общую причину», почему происходит сокращение --- и почти всегда эта причина принадлежит списку из дюжины или меньше «обычных …

4
Почему 2SAT в P?
Я сталкивался с полиномиальным алгоритмом, который решает 2SAT. Мне показалось удивительным, что 2SAT находится в P, где все (или многие другие) экземпляры SAT являются NP-Complete. Что отличает эту проблему? Что делает его таким простым (NL-Complete - даже проще, чем P)?

3
Удивительные алгоритмы подсчета проблем
Существуют некоторые проблемы подсчета, которые включают экспоненциальный подсчет многих вещей (относительно размера входных данных), и в то же время имеют удивительные точные, детерминированные алгоритмы за полиномиальное время. Примеры включают в себя: Подсчет идеальных совпадений в плоском графе ( алгоритм FKT ), который является основой для работы голографических алгоритмов . Подсчет …

4
Почему мы рассматриваем лог-пространство как модель эффективных вычислений (вместо полилог-пространства)?
Это может быть субъективный вопрос, а не конкретный ответ, но в любом случае. В теории сложности мы изучаем понятие эффективных вычислений. Существуют классы, такие как обозначает полиномиальное время , а обозначает пространство журнала . Оба они считаются своего рода «эффективностью», и они довольно хорошо отражают трудности некоторых проблем.LPP\mathsf{P}LL\mathsf{L} Но есть …

5
Существуют ли законы сохранения в теории сложности?
Позвольте мне начать с нескольких примеров. Почему так просто показать, что CVP в P, а так сложно показать, что LP в P; в то время как оба являются P-полными проблемами. Или взять первичность. Композиты проще показывать в NP, чем простые числа в NP (что требовало Pratt) и, в конечном итоге, …

7
Что составляет денотационную семантику?
В другом потоке Андрей Бауэр определил денотационную семантику как: значение программы является функцией значений ее частей. Что беспокоит меня в этом определении, так это то, что оно, кажется, не выделяет то, что обычно считается денотационной семантикой, из того, что принято считать неденотационной семантикой, а именно структурную операционную семантику . Точнее …

5
Хомская иерархия устарела?
Иерархия Хомского (–Schützenberger) используется в учебниках теоретической информатики, но она, очевидно, охватывает только очень небольшую часть формальных языков (REG, CFL, CSL, RE) по сравнению с полной диаграммой зоопарка сложности . Играет ли иерархия какую-либо роль в текущих исследованиях? Я нашел только небольшие ссылки на Хомского здесь, на cstheory.stackexchange, а в …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.