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

Я продолжаю слышать о том, как нужно изучать теорию категорий, чтобы действительно понять теорию языка программирования. До сих пор я выучил много PL, даже не ступая в царство категорий. Тем не менее, я подумал, что пришло время сделать прыжок, чтобы увидеть, что я пропустил. К сожалению, ни один из источников, …

13 reference-request  programming-languages  type-theory  category-theory 

Страница проблемы изоморфизма графов Википедии, похоже, указывает на то, что нет, она не была решена. Однако мой друг указал на Алгоритм Полиномиального Времени для Изоморфизма Графов . Я недостаточно опытен, чтобы следовать рассуждениям в газете. У меня есть собственная очень грубая попытка алгоритма полиномиального времени без каких-либо доказательств, но я …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Есть ли какой-нибудь естественный или заметный способ связать или связать математические группы и формальные языки CS или какую-то другую основную концепцию CS, например машины Тьюринга? Я ищу ссылки / приложения. Однако обратите внимание, что я знаю о связи между полугруппами и языками CS (а именно через конечные автоматы ). (Эта …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Мне было интересно, если кто-то знал происхождение модели клиент-сервер. Откуда этот термин (бумага, программное приложение, книга)?

13 terminology  reference-request  distributed-systems  history 

Проблема почтовой корреспонденции (PCP) неразрешима. Ограниченная версия PCP является -полной и отмеченная версией PCP (слова одного из двух списков, должны отличаться по первой букве) в P S P A C E [1].Н ПNп\mathrm{NP}P S P A C EпSпAСЕ\mathrm{PSPACE} Используются ли эти ограниченные версии, чтобы доказать некоторые сложности результатов других проблем …

13 complexity-theory  computability  reference-request 

В компьютерной науке существует такая популярная проблема [1] [2], которая заключается в нахождении минимального числа прямых, охватывающих данный набор точек в 2D. Несмотря на то, что я отсканировал много бумаг, ни у одной из них нет четкой мотивации проблемы. Какая польза от решения этой проблемы? Есть ли бумага, которая объясняет …

12 reference-request  computational-geometry  applied-theory 

С точки зрения асимптотического времени выполнения в наихудшем случае, какая NP-полная задача имеет самый известный (точный) алгоритм и что это за алгоритм? Известно ли что-то, что быстрее, чем ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

Я пытаюсь решить проблему SAT переменных 25k пунктов 5k переменных. Так как он работал в течение часа (precosat), и я хотел бы потом решить более крупные, я ищу многоядерный SAT-Solver. Кажется, что есть много SAT-Solvers, я совершенно потерян. Кто-нибудь может указать мне лучший вариант для моего случая? Я также был …

12 algorithms  reference-request  parallel-computing  sat-solvers 

Я не знаю, было ли это шуткой, но однажды я прочитал то, что упоминалось как формальное определение файла в системе управления версиями, такой как git, hg или svn. Это было что-то вроде математического объекта, такого как гомеоморфизм. Это была шутка или действительно теория информатики о системах управления версиями и математике …

12 terminology  reference-request 

Мне интересно, какова сложность определения пустоты для двусторонних DFA? То есть конечные автоматы, которые могут двигаться назад на своей ленте ввода только для чтения. Согласно Википедии, они эквивалентны DFA, хотя эквивалентный DFA может быть экспоненциально больше. Я обнаружил сложность состояний для их дополнений и пересечений, но не для их проверки …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Существует ли какой-либо инструмент для создания прототипа семантики и системы типов языка программирования, который также позволяет выполнять некоторую проверку моделей стандартных свойств, например, правильности типа? Я спрашиваю об этом, потому что я читаю книгу по Alloy, и она предоставляет именно ту функциональность, которая мне нужна, но для моделей, выраженных с …

11 reference-request  programming-languages  semantics  model-checking 

Мне интересно, есть ли какие-нибудь -hard проблемы, которые являются «полиномиальными» в среднем случае. Я думаю, что есть два способа интерпретировать это?NпNпNP Если , может ли быть алгоритм, решающий задачу N P -hard, с амортизированным (в среднем случае) временем работы O ( n k ) для константы k ?п≠ Nпп≠NпP \neq …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Можете ли вы дать мне несколько советов о хорошей вводной (но всеобъемлющей) книге о логике и вычислениях? Некоторые нечеткие темы, которые я имею в виду: Presburger artihm., PA, ZF, ZFC, HOL Теория множеств, Теория типов Моделирование вычислений (машины Тьюринга) в разных теориях Связи с вычислительной сложностью (FMT, описательная сложность)

11 reference-request  logic  books 

Согласно статье в Википедии о схемах аппроксимации за полиномиальное время : Все проблемы в FPTAS доступны для фиксированных параметров. Этот результат меня удивляет - эти занятия, похоже, совершенно не похожи друг на друга. FPTAS характеризует проблемы по тому, насколько легко их аппроксимировать, а FPT характеризует проблемы по их сложности относительно …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Учитывая заданий , для выполнения каждого задания требуется раз.J 1 , J 2 , . , , , J п Г я > 0 , Т я ∈ NnnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Каждое задание должно быть предварительно обработано и постобработано одной машиной M, которая может обрабатывать только 1 …

11 complexity-theory  reference-request  scheduling