Вопросы с тегом «reference-request»

Насколько я понимаю, модель Тьюринга стала «стандартом» при описании вычислений. Мне интересно знать, почему это так - то есть, почему модель ТМ стала более широко используемой, чем другие теоретически эквивалентные (насколько мне известно) модели, например μ-Рекурсия Клини или Лямбда-исчисление (я понимаю что первое появилось только позже, а второе изначально не …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

В настоящее время я пишу обзор теорем иерархии на TCS. В поисках соответствующих статей я заметил, что иерархия является фундаментальной концепцией не только в TCS и математике, но и во многих науках, от теологии и социологии до биологии и химии. Видя, что объем информации огромен, я надеюсь, что смогу попросить …

42 cc.complexity-theory  reference-request  big-list  survey 

В 1937 году Тьюринг описал машину Тьюринга. С тех пор многие модели вычислений были описаны в попытке найти модель, которая похожа на настоящий компьютер, но все же достаточно проста для разработки и анализа алгоритмов. В результате мы имеем дюжину алгоритмов для, например, SORT-задачи для разных моделей вычислений. К сожалению, мы …

41 ds.algorithms  reference-request  soft-question  machine-models 

Кто-нибудь знает интересные применения основ Гребнера в теоретической информатике? Базисы Грёбнера используются для решения многовариантных полиномиальных уравнений, NP-трудная задача в целом. Мне было интересно, использовались ли некоторые поддающиеся рассмотрению особые случаи для обеспечения эффективных алгоритмов / конструкций / доказательств в областях TCS или связанных с TCS (комбинаторика, теория кодирования).

41 cc.complexity-theory  reference-request  algebra  polynomials 

Это кросс-пост от math.stackexchange. Обозначим через FACT целочисленную задачу факторинга: для найдите простые числа и целые числа такие чтоp i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},пя∈ N ,pi∈N,p_i \in \mathbb{N},ея∈ N …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

Я ищу окончательный ответ на вопрос, является ли генерация «действительно случайных» чисел вычислимой по Тьюрингу. Я не знаю, как точно сформулировать это. Этот вопрос StackExchange об «эффективных алгоритмах генерации случайных чисел» близок к ответу на мой вопрос. Чарльз Стюарт говорит в своем ответе: «Это [случайность Мартина-Лёфа] не может быть сгенерировано …

39 reference-request  computability  turing-machines  randomness 

Кажется, что теория геометрической сложности требует больших знаний математики, таких как алгебраическая геометрия, теория представлений. Хотя я учусь на CS и не занимаюсь классами очень абстрактной и чистой математики, мне интересна эта программа. Есть ли список «минимальных знаний» для изучения этой теории? Этот список включает в себя конспекты лекций CS …

38 reference-request  big-list  survey  gct 

Существуют ли какие-либо ссылки (онлайн или в форме книги), которые организуют и обсуждают теоремы TCS методом доказательства? Garey и Johnson делают это для различных видов конструкций виджетов, необходимых для доказательства NP-полноты (особенно в главе 3 их книги), но мне интересно, есть ли что-нибудь, что рассматривает методы доказательства в TCS более …

38 reference-request  proof-techniques 

Ряд геометрических проблем прост, если рассматривать их в , но они являются NP-полными в R d для d ≥ 2 (включая одну из моих любимых задач - покрытие диска устройства).R1R1R^1RdRdR^dd≥2d≥2d\geq2 Знает ли кто-нибудь о проблеме, которая разрешима по полимеру для и R 2 , но является NP-полной для R d …

37 cc.complexity-theory  reference-request  cg.comp-geom 

Я собираюсь задать довольно расплывчатый вопрос, поскольку грань между теоретической информатикой и математикой не всегда легко различить. ВОПРОС: Известно ли вам о каком-либо интересном результате в CS, который либо не зависит от ZFC (т. Е. Стандартная теория множеств), либо который был первоначально доказан в ZFC (+ некоторая другая аксиома) и …

37 reference-request  lo.logic  set-theory 

Постоянно растущая сложность компьютерных программ и все более важное положение, которое компьютеры занимают в нашем обществе, заставляют меня задуматься, почему мы до сих пор не используем все вместе языки программирования, на которых вам необходимо предоставить формальное доказательство правильности работы вашего кода. Я считаю, что этот термин является «сертифицирующим компилятором» (я …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Это не технический вопрос, но, безусловно, актуальный для сообщества TCS. Если считается неуместным, не стесняйтесь закрыть. Сложность зоопарка веб - страницы (http://qwiki.stanford.edu/index.php/Complexity_Zoo), безусловно , был большой сервис для сообщества ТКС на протяжении многих лет. По-видимому, это давно с тех пор. Мне было интересно, если кто-то все еще поддерживает его, если …

36 cc.complexity-theory  reference-request  soft-question 

В общем, мы знаем, что сложность проверки того, принимает ли функция определенное значение на данном входе, проще, чем оценка функции на этом входе. Например: Оценка перманента неотрицательной целочисленной матрицы является # P-сложной, но при этом указывается, является ли такой перманент нулевым или ненулевым в P (двудольное сопоставление) Существует n действительных …

36 cc.complexity-theory  reference-request  algebraic-complexity 

Задача состоит в том, чтобы вычислить многочлен . Предположим, что все коэффициенты вписываются в машинное слово, т. Е. Ими можно манипулировать в единицу времени.( а1х + б1) × ⋯ × ( аNх + бN)(a1Икс+б1)×⋯×(aNИкс+бN)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Вы можете сделать раз, применяя БПФ …

35 ds.algorithms  reference-request  open-problem  polynomials 

Рассмотрим следующую проблему подсчета (или связанную с ней проблему решения): учитывая два натуральных числа, закодированных в двоичном виде, вычислим их наибольший общий делитель (gcd). В каком классе наименьшей сложности содержится эта проблема? Можете ли вы предоставить ссылку? В этом вопросе меня интересуют не асимптотические оценки времени выполнения, а классы сложности. …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory