Информатика

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

14 computer-architecture  functional-programming 

В Частичном тесте для подготовки к GATE возник вопрос: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Я ответил: «Это прекратится для всех целых чисел», потому что даже для некоторых отрицательных целых чисел это прекратится как ошибка переполнения стека . Но мой друг не согласился, сказав, …

14 algorithms  recursion  pseudocode 

Допустим, мы работаем с системой, которая имеет 40 бит физического адреса. Общее физическое адресное пространство (при условии адресной памяти в байтах ) составляет байтов или 1 ТиБ. И если виртуальные адреса имеют длину 48 бит, это означает, что виртуальной памяти доступно больше адресов, чем мест в физической памяти.2402402^{40} Это имеет …

14 memory-management  virtual-memory  memory-access 

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

14 algorithms  reductions  halting-problem 

Я читал о стековых языках программирования, таких как FORTH и Cat , и кажется, что, учитывая их природу, они могут выполнять только одно действие за раз, независимо от их парадигмы (FORTH обязателен, тогда как Cat функционален). Императивный язык изменил бы стек, а чисто функциональный язык, такой как Joy , вернул …

14 concurrency  stacks  evaluation-strategies 

Существуют ли методы решения функциональных уравнений для неизвестных функций в лямбда-исчислении? Предположим, у меня есть функция тождества, определенная как таковая: Ix=xIx=xI x = x (то есть, записывая уравнение для ожидаемого поведения этой функции) , и теперь я хочу , чтобы решить эту проблему для III , делая некоторое алгебраическое преобразование …

14 lambda-calculus 

Доказано ли, что квантовые вычисления не лучше в решении полных задач NP, чем классические вычисления, или в это просто верят?

14 np-complete  quantum-computing 

Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 2 года назад . Как правило, программисты, которые являются математиками или имеют математическое образование, очень хороши с …

14 mathematical-foundations 

В разделе 15.3 « Элементы динамического программирования» Кормена и др. « Введение в алгоритмы» объясняется запоминание следующим образом: Записанный рекурсивный алгоритм поддерживает запись в таблице для решения каждой подзадачи. Каждая запись таблицы изначально содержит специальное значение, указывающее, что запись еще не заполнена. Когда подзадача впервые встречается при развертывании рекурсивного алгоритма, …

14 dynamic-programming  search-trees  dictionaries  memoization 

Я знаком с идеей базового исключения хвостовой рекурсии, когда функции, которые возвращают прямой результат вызова для себя, могут быть переписаны как итерационные циклы. foo(...): # ... return foo(...) Я также понимаю, что в особом случае функция все еще может быть переписана, если рекурсивный вызов обернут в вызов cons. foo(...): # …

14 compilers  recursion  program-optimization  tail-recursion 

Я имею в виду этот [забавный] вопрос. Почему недетерминированный конечный автомат называется недетерминированным, в то время как мы определяем переходы для входных данных. Что ж, несмотря на то, что существуют множественные и эпсилон- переходы, они определены, что означает, что машина является детерминированной для этих переходов. Что означает, что это детерминировано.

14 finite-automata  nondeterminism 

Я обычно использую символ для пустой строки (пустое слово или нулевая строка). Но я знаю, что некоторые люди используют λ вместо ε .εε\varepsilonλλ\lambdaεε\varepsilon Я думаю, что происходит от слова «пустой». Однако я не знаю, каково происхождение λ .εε\varepsilonλλ\lambda В теории автоматов существует эпсилон-переход автоматов, и он также называется лямбда-переходом. Например, …

14 formal-languages  automata  reference-request  notation  history 

У меня есть алгоритмическая проблема. Дан массив (или набор) из неотрицательных целых чисел. Найти максимальное множество из , что для всех ,,н STTTnNnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Например: Если TTT = [1, 3, 4, 1, 3, 6], то SSS может быть [3, 3, 6] или [3, 4, 6] или [4, 3, 6]. …

14 algorithms  optimization  sets 

Я знаком с операционной семантикой (как маленькой, так и большой) для определения языков программирования. Я также заинтересован в изучении денотационной семантики, но не уверен, стоит ли это усилий. Буду ли я изучать один и тот же материал с другой точки зрения, или есть понимание, которое я могу получить только от …

14 semantics  operational-semantics  denotational-semantics 

Хорошо известно, что 2-SAT находится в P. Тем не менее, представляется довольно интересным, что подсчет количества решений для данной формулы 2-SAT, то есть # 2-SAT, является # P-сложным. То есть у нас есть пример проблемы, решение которой легко, а подсчет сложно. Но рассмотрим произвольную NP-полную задачу (скажем, 3-COL). Можем ли …

14 complexity-theory  counting