Информатика

Тем не менее, многие «знаменитые» неразрешимые проблемы, по крайней мере, полуразрешимы, а их дополнение неразрешимо. Одним из примеров, прежде всего, может быть проблема остановки и ее дополнение. Тем не менее, кто-нибудь может привести пример, в котором проблема и ее дополнение неразрешимы и не полурегулируемы? Я думал о языке диагонализации Ld, …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Функция подсчета простых чисел demoted определяется как число простых чисел, меньших или равных .π( х )π(Икс)\pi(x)ИксИксx Мы можем определить решение проблемы из следующим образом:π( х )π(Икс)\pi(x) Учитывая два числа ИксИксx и NNn , записанные в двоичном виде, решить, если π( х ) = нπ(Икс)знак равноN\pi(x) = n . Мы с …

13 complexity-theory  primes 

В 1962 году вы могли бы выиграть приз в размере 10 000 долларов (около 80 000 долларов в сегодняшних деньгах), если бы нашли решение евклидовой задачи коммивояжера, определенной в 33 городах. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Глядя на картинку, проблема кажется довольно простой. Однако я не смог найти более подробные ресурсы по этой проблеме. …

13 optimization  traveling-salesman 

Я читаю книгу на тему информатики, но мне не хватает необходимых предпосылок. Обычно, когда я сталкиваюсь с терминами, я не понимаю, я просто ищу их, но для Универсального поиска я просто не смог найти объяснения, подходящего для читателя без опыта в области статистики / информатики. Я читал эту статью об …

13 algorithms  terminology  search-algorithms 

Я пытаюсь понять существование неузнаваемых языков. Чтобы понять это, мне нужно знать, почему машина Тьюринга распознает только один язык, а не несколько. Почему это?

13 turing-machines  computation-models 

Мне интересно, если решение разрешимости проблемы является разрешимой проблемой. Я не думаю, но после начальных поисков я не могу найти литературу по этой проблеме.

13 computability  undecidability  decision-problem 

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

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

Фон \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr Предположим, у меня есть две одинаковые партии из шариков. Каждый мрамор может быть одного из цветов c , где c≤n . Пусть n_i обозначает количество шариков цвета i в каждой партии.nnncccc≤nc≤nc≤nninin_iiii Пусть SS\msS - мультимножество {1,…,1n1,2,…,2n2,…,1c,…,cnc}{1,…,1⏞n1,2,…,2⏞n2,…,1c,…,c⏞nc}\small\{\overbrace{\po,…,\po}^{n_1},\;\overbrace{\pt,…,\pt}^{n_2},\;…,\;\overbrace{\vphantom 1\pc,…,\pc}^{n_c}\} представляющий один пакет. В частотном представлении , …

13 algorithms  combinatorics  probability-theory  permutations  sampling 

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

13 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

Некоторые гипервизоры оптимизируют использование памяти с помощью метода, который называется «всплывающим списком» (по крайней мере, так его называет KVM), этот метод дедуплицирует память между виртуальными машинами и устанавливает общие страницы только для чтения с копированием при записи. Это своего рода противоположность вызова вилки. Реально ли реализовать на уровне ОС для …

13 operating-systems  memory-management  virtual-memory 

Я дурачился на днях на этом сайте: http://regexcrossword.com/, и это заставило меня задуматься о том, как лучше всего это решить. Можете ли вы решить следующую проблему за полиномиальное время или это NP-сложный? Учитывая сетку NxM с N регулярными выражениями для столбцов и M для строк, найдите любое решение для сетки …

13 complexity-theory  np-hard  regular-expressions 

Я обнаружил, что если я не понимаю этимологию термина «cs / программирования», это обычно означает, что я пропустил или неправильно понял какую-то важную базовую концепцию. Я не понимаю, почему звезду Клини также называют закрытием Клини. Связано ли это с замыканиями в программировании, функцией со связанными нелокальными переменными? ... если задуматься, …

13 automata  regular-expressions 

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

13 computer-architecture  operating-systems  os-kernel 

По поводу предложения Рафаэля о пересечении двух NPDA : Пусть и A 2 NPDA для контекстно-свободных языков L 1 и L 2 соответственно. Предполагая, что мы знаем, что L = L 1 ∩ L 2 не зависит от контекста, можем ли мы (эффективно) построить NPDA A для L ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L = …

13 computability  automata  pushdown-automata 

На странице википедии об алгоритмах умножения упоминается интересная работа Дональда Кнута . По сути, это включает в себя объединение умножения с преобразованием Фурье с предварительно вычисленной таблицей умножений логарифмического размера. Это бежит в линейном времени. Статья действует так, будто этот алгоритм почему-то не считается «истинным» алгоритмом умножения. Что еще более …

13 algorithms  runtime-analysis  multiplication