Информатика

Fibonnaci кучного поддерживает следующие операции: insert(key, data) : добавляет новый элемент в структуру данных find-min() : возвращает указатель на элемент с минимальным ключом delete-min() : удаляет элемент с минимальным ключом delete(node) : удаляет элемент, на который указывает node decrease-key(node) : уменьшает ключ элемента, на который указывает node Все операции без …

11 data-structures  priority-queues 

У меня есть домашнее задание, от которого я некоторое время ломал голову, и я буду благодарен за любые подсказки. Речь идет о выборе известной проблемы, NP-полнота которой доказана, и построении перехода от этой проблемы к следующей проблеме, которую я назову DGD (диагностика направленного графа). проблема Экземпляр DGD состоит из вершин …

11 complexity-theory  np-hard  graph-theory 

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

11 algorithms  optimization  linear-programming 

В настоящее время я изучаю лямбда-исчисление, и мне было интересно узнать о двух разных видах написания лямбда-термина. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy Есть ли разница в значении или способе применения бета-сокращения, или это просто два способа выразить одно и то же? Особенно это определение создания пары заставило меня задуматься: пара …

11 logic  lambda-calculus 

Если я правильно понимаю, NFA обладают той же выразительной силой, что и регулярные выражения. Зачастую считывание эквивалентных регулярных выражений из NFA легко: вы переводите циклы в звезды, соединения в качестве альтернатив и так далее. Но что делать в этом случае: [ источник ] Перекрывающиеся циклы затрудняют понимание того, что принимает …

11 algorithms  formal-languages  finite-automata  regular-expressions 

У меня есть следующий язык { 0я1J2К∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Я пытаюсь определить, к какому классу языка Хомского он подходит. Я могу видеть, как это можно сделать, используя контекстно-зависимую грамматику, поэтому я знаю, что …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Это может граничить с вычислительной когнитивной наукой, но мне любопытно, как процесс, сопровождаемый общими алгоритмами поиска пути (такими как A * ), сравнивается с процессом, который люди используют в различных ситуациях поиска пути (учитывая ту же информацию). Эти процессы похожи?

11 algorithms  graphs  artificial-intelligence 

Как можно решить, имеет ли некоторую последовательность цифр? ππ\piвдохновил меня на вопрос, можно ли вычислить следующую невинную версию: е( n ) = { 10если н¯ происходит в десятичном представлении πв противном случаеf(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the …

11 computability  real-numbers 

Переписывание системы представляет собой набор правил в виде . Если мы применим это правило к строке мы заменим любую подстроку в подстрокой и наоборот.A ↔ BA↔ВA \leftrightarrow BвесвесwAAAвесвесwВВB Учитывая начальную строку мы можем получить в системе по следующим правилам:A A A B BAAAВВAAABBB A A BВAAВBAAB A ↔ B AA↔ВAA …

11 computability  term-rewriting 

Пусть , L 2 , L 3 , … - бесконечная последовательность контекстно-свободных языков, каждый из которых определяется по общему алфавиту Σ . Пусть L - бесконечное объединение L 1 , L 2 , L 3 , … ; то есть L = L 1 ∪ L 2 ∪ L …

11 formal-languages  context-free  closure-properties 

Рассмотрим файловую систему, нацеленную на некоторые встроенные устройства, которая делает чуть больше, чем хранит файлы в иерархической структуре каталогов. В этой файловой системе отсутствуют многие операции, которые вы можете использовать в таких системах, как Unix и Windows (например, ее права доступа совершенно разные и не привязаны к метаданным, хранящимся в …

11 operating-systems  filesystems 

Диспенсер для напитков требует, чтобы пользователь вставил монету ( ), а затем нажмите одну из трех кнопок: запрашивает чашку чая , то же самое для кофе , и запрашивает возврат (т. е. автомат возвращает монету: ). Этот дозатор может быть смоделирован следующим процессом CCS :c¯c¯\bar cd¯tead¯tea\bar d_{\text{tea}}eteaeteae_{\text{tea}}r¯r¯\bar rb¯b¯\bar b M=defc.(dtea.e¯tea.M+dcoffee.e¯coffee.M+r.b¯.M)M=defc.(dtea.e¯tea.M+dcoffee.e¯coffee.M+r.b¯.M) …

11 logic  concurrency  modelling  process-algebras  ccs 

Какое из следующих утверждений является правильным? достаточные и необходимые условия о регулярности языка существуют, но еще не обнаружены. Там нет достаточного и необходимого условия о регулярности языка. Насосная лемма является необходимым условием нерегулярности языка. Насосная лемма является достаточным условием нерегулярности языка. Я знаю, что # (4) является правильным, а # …

11 formal-languages  regular-languages 

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

11 cpu-pipelines  computer-architecture 

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

11 formal-languages  computability  programming-languages