Информатика

Недавно я нашел в статье [1] специальную симметричную версию SAT, называемую 2/2/4-SAT . Но есть много завершенных вариантов, например: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SATNPNP\text{NP} , ... Есть и другие варианты: - SAT , Planar-NAE- SAT222SATSAT\text{SAT}SATSAT\text{SAT} , ... Существуют ли обзорные документы (или веб-страницы), которые классифицируют все (странные) варианты , которые …

20 complexity-theory  reference-request  satisfiability 

Я столкнулся со следующими сомнениями в сложности Ханойских башен , на которые мне хотелось бы получить ваши комментарии. Это в НП? Попытка ответа: предположим, что Пегги (проверяющий) решает проблему и передает ее Виктору (проверяющему). Виктор может легко увидеть, что окончательное состояние решения правильное (в линейном времени), но у него не …

20 complexity-theory  time-complexity 

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

20 computer-networks  protocols  distributed-systems 

Я ищу структуру данных, которая вытолкнет его самый старый / последний элемент, если новый элемент будет вставлен. Например, давайте Dпредставим структуру. Dсодержит 3 элемента типа Number Dзначения по умолчанию будут инициализированы в 1, 2и 3. D = [ 1 , 2 ,3 ]Dзнак равно[1,2,3]D = [1, 2, 3] Если элемент …

20 data-structures  arrays  queues 

Если система типов может присваивать тип λ x . x xили не завершающий (λx . x x) (λ x . x x), то является ли эта система несовместимой? Каждый тип в этой системе обитаем? Можете ли вы доказать ложь?

20 lambda-calculus  dependent-types 

Сравнивая упорядоченную пару (x, y) с неупорядоченной парой {x, y} (set), затем теоретически определяем, что разница составляет всего один бит, так как x идет первым или y требуется ровно один бит для представления. Итак, если нам дан набор {x, y}, где x, y - два разных 32-разрядных целых числа, можем …

20 information-theory  data-compression 

В книге Эндрю У. Аппеля « Реализация современного компилятора в ML» он говорит в главе 17, что теория вычислимости показывает, что всегда можно изобрести новые оптимизирующие преобразования, и продолжает доказывать, что полностью оптимизирующий компилятор решит проблему остановки: Программа Q, который не производит никакого вывода и никогда не останавливается, может быть …

20 computability  compilers  program-optimization 

Статья под названием «Производный регулярного типа - это тип контекста с одним отверстием» показывает, что «молния» типа - его контексты с одним отверстием - следуют правилам дифференцирования в алгебре типов. У нас есть: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 &\mapsto 0 \\ \partial_x 1 &\mapsto 0 \\ \partial_x …

20 type-theory  algebra 

Языки без контекста не закрыты в дополнении, мы это знаем. Насколько я понимаю, контекстно-свободные языки, которые являются подмножеством a*б*a∗b∗a^*b^* для некоторых букв а , бa,ba,b , закрыты в дополнении (!?) Вот мой аргумент. Каждый CF язык LLL имеет полулинейный образ Париха π( L ) = { ( m , n …

20 formal-languages  reference-request  context-free  closure-properties 

Хорошо, прежде чем я начну, я понимаю, что это на периферии по теме (я прочитал справку Вопросы для этого сайта), особенно потому, что это не является реальной проблемой. Тем не мение: Я не могу найти ничего релевантного в Google С пуристической точки зрения, безусловно, это должно входить в компьютерные науки? …

20 reference-request  human-computing 

Некоторые сложные алгоритмы ( объединение-поиск ) имеют почти постоянную обратную функцию Аккермана, которая появляется при асимптотической сложности времени, и являются оптимальными по времени в худшем случае, если почти постоянный обратный член Аккермана игнорируется. Существуют ли примеры известных алгоритмов со временем выполнения, в которых задействованы функции, которые растут в основном медленнее, …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

Я знаю, что такое вычисления в некотором расплывчатом смысле (это то, что делают компьютеры), но я бы хотел более строгое определение. Dictionary.comОпределения вычислений, вычислений, вычислений и вычислений являются круговыми, поэтому это не помогает. Wikipediaопределяет вычисление как «любой тип вычисления, который следует четко определенной модели». Он определяет расчет как «преднамеренный процесс, …

20 terminology  computability 

Это вдохновлено вопросом интервью . Нам дан массив целых чисел и мы должны определить, существуют ли различные i < j < k такие, чтоa1, ... ,Na1,…,ana_1, \dots, a_nя < J < Ki<j<ki \lt j \lt k aК- аJ= аJ- аяak−aj=aj−aia_k - a_j = a_j - a_i k - j = …

20 algorithms  complexity-theory  lower-bounds 

В дизайне компилятора, почему левая рекурсия должна быть исключена в грамматике? Я читаю, что это потому, что это может вызвать бесконечную рекурсию, но разве это не так и для правильной рекурсивной грамматики?

20 formal-grammars  compilers  left-recursion 

Википедия формулирует проблему суммы подмножеств как поиск подмножества данного мультимножества целых чисел, сумма которого равна нулю. Далее говорится, что это эквивалентно нахождению подмножества с суммой sss для любого заданного sss . Поэтому я считаю, что, поскольку они эквивалентны, должно быть сокращение с обеих сторон. От sss до нуля тривиально, если …

20 complexity-theory  reductions  np-hard