Информатика

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

10 computability  turing-machines  intuition 

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

10 artificial-intelligence  neural-networks  neural-computing 

У меня проблема в голове, я думаю, что это проблема NPC, но я не знаю, как это доказать. Вот проблема: В очень большом озере k островов и n понтонов в форме вееров. Эти понтоны имеют одинаковый размер, но имеют разные начальные направления и находятся в разных первоначальных положениях в озере. …

10 complexity-theory  np-complete  np-hard 

Я дурачился с демоверсией Google Blocky's Maze и вспомнил старое правило, что если вы хотите решить лабиринт, просто держите левую руку на стене. Это работает для любого односвязного лабиринта и может быть реализовано конечным преобразователем. Пусть наш робот будет представлен преобразователем со следующими действиями и наблюдаемыми: Действия: идти вперед ( …

10 automata  finite-automata  artificial-intelligence 

Я задал (начальный) вопрос о суммах терминов Ландау прежде , пытаясь измерить опасность злоупотребления асимптотическими обозначениями в арифметике, но с переменным успехом. Теперь, здесь наш рецидивы гуру JeffE делает в основном это: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Хотя конечный результат верен, я думаю, что это неправильно. Почему? Если мы …

10 terminology  asymptotics  landau-notation 

Есть ли необходимость, чтобы был бесконечным, чтобы быть неразрешимым?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Я имею в виду, что если мы выберем язык как ограниченную конечную версию , то есть , ( ), с . Возможно ли, что будет неразрешимым языком? L ⊆ Σ ∗ | L ′ | ≤ N N ∈ N …

10 formal-languages  computability  undecidability 

Я пытаюсь разработать задание (взятое из книги « Алгоритмы» С. Дасгупты, К. Х. Пападимитриу и У. В. Вазирани , глава 8, проблема 8.6а), и я перефразирую то, что в нем говорится: Учитывая, что 3SAT остается NP-завершенным, даже если он ограничен формулами, в которых каждый литерал появляется не более двух раз, …

10 complexity-theory  satisfiability  3-sat 

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

10 complexity-theory  graphs  graph-theory  np-complete 

Будет ли необходимость менять определения безопасности, если у нас будут квантовые компьютеры? Какие криптографические конструкции сломаются? Знаете ли вы опрос или статью, которая объясняет, что нужно будет изменить?

10 reference-request  cryptography  quantum-computing 

Хорошо известно, что монотонные полигоны играют решающую роль в триангуляции полигонов . Определение: Многоугольник на плоскости называется монотонным относительно прямой , если каждая прямая, ортогональная пересекает не более двух раз.PPPLLLLLLPPP При заданной прямой и многоугольнике существует ли эффективный алгоритм для определения того, является ли многоугольник монотонным относительно ?LLLPPPPPPLLL

10 algorithms  computational-geometry 

Ради интереса я пытаюсь сделать каркасный просмотрщик для DCPU-16 . Я понимаю, как сделать все, кроме как скрыть линии, которые скрыты в каркас. Все вопросы здесь, касающиеся SO, предполагают, что у вас есть доступ к OpenGL, к сожалению, у меня нет доступа ни к чему подобному для DCPU-16 (или к …

10 algorithms  computational-geometry  graphics 

Во многих текстах нижняя граница для нахождения го наименьшего элемента выводится с использованием аргументов, использующих медианы. Как я могу найти один, используя аргумент противника?Кkk Википедия говорит, что алгоритм турнира работает в , и n - k + ∑ n j = n + 2 - k ⌈ lgO ( n …

10 algorithms  algorithm-analysis 

Пусть A и B - языки с A ⊆ B, а B распознаваема по Тьюрингу. Может ли быть не узнаваемым по Тьюрингу? Если да, то есть ли пример?

10 computability 

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

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

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

10 algorithms  optimization  scheduling