Информатика

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

30 computability  proof-techniques  undecidability  halting-problem  intuition 

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

30 algorithms  terminology  computation-models  nondeterminism  randomness 

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

30 algorithms  graphs  data-compression  graph-isomorphism 

Тезис Черча-Тьюринга утверждает, что все, что может быть вычислено физически, может быть вычислено на машине Тьюринга. В статье «Аналоговые вычисления через нейронные сети» (Siegelmannn and Sontag, теоретическая информатика , 131: 331–360, 1994; PDF ) утверждается, что нейронная сеть определенной формы (настройки представлены в статье) является более мощной. Авторы говорят, что …

29 computability  turing-machines  church-turing-thesis 

Некоторое время я изучал компиляторы и искал, что означает «контекст» в грамматике и что означает, что грамматика должна быть «контекстно-свободной», но безрезультатно. Так может кто-нибудь помочь с этим?

29 terminology  context-free  formal-grammars 

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

29 lambda-calculus  functional-programming 

Я реализую набор алгоритмов поиска пути, таких как Dijkstra, Depth First и т. Д. Сначала я использовал пару самодельных графиков, но теперь я хотел бы пойти дальше, и поэтому я ищу либо графики, используемые в тестах; графики городов реального мира (или способ загрузки информации такого рода с карт Google или …

29 algorithms  graphs  data-sets  benchmarking 

Хотите улучшить этот пост? Предоставьте подробные ответы на этот вопрос, включая цитаты и объяснение того, почему ваш ответ правильный. Ответы без достаточной детализации могут быть отредактированы или удалены. Я встретил ниже заявление Алана М. Тьюринга здесь : «Я считаю, что представление о том, что машины не могут вызывать сюрпризов, связано …

29 turing-machines  computability  computation-models 

Полностью связанные (по крайней мере слой за слоем с более чем 2 скрытыми слоями) сети Backprop являются универсальными учащимися. К сожалению, они часто не спешат учиться и имеют тенденцию переусердствовать или имеют неудобные обобщения. Из дурачения с этими сетями я заметил, что обрезка некоторых ребер (так что их вес равен …

29 machine-learning  network-topology  neural-networks 

Моя мама проходит некоторые онлайн-курсы, чтобы быть своего рода библиотекарем, в этом курсе они охватывают булевы поиски, поэтому они могут эффективно выполнять поиск в базах данных, однако у нее возник вопрос, звучащий примерно так: Поиск "x ИЛИ y" приведет к 105 000 обращений, в то время как поиск только x …

29 sets  counting 

Когда я объяснял доказательство Бейкера-Гилла-Соловая, что существует оракул, с которым мы можем иметь, , и оракул, с помощью которого мы можем иметь P ≠ N P другу, возник вопрос, почему такие методы плохо подходят для доказательства проблемы P ≠ N P , и я не мог дать удовлетворительный ответ.P = …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

Задача 3SUM пытается идентифицировать 3 целых числа из набора размера такого что .a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Предполагается, что не существует лучшего решения, чем квадратичное, то есть . Или, по-другому: .o(n2)o(n2)\mathcal{o}(n^2)o(nlog(n)+n2)o(nlog⁡(n)+n2)\mathcal{o}(n \log(n) + n^2) Поэтому мне было интересно, применимо ли это к обобщенной задаче: найти целые числа для …

29 complexity-theory  combinatorics  complexity-classes 

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

29 algorithms  complexity-theory  graph-theory 

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

29 computability  turing-machines  combinatorics 

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

29 computability  semi-decidability  enumeration