Вопросы с тегом «enumeration»

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

29 computability  semi-decidability  enumeration 

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

15 complexity-theory  reference-request  complexity-classes  enumeration 

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

15 algorithms  graphs  enumeration 

Вопрос был задан при переполнении стека ( здесь ): Принимая во внимание целое число , распечатать все возможные комбинации целочисленных значений и , которые решают уравнение .NNND A 2 + B 2 + C 2 + D 2 = NA , B , CA,B,CA,B,CDDDA2+ B2+ C2+ D2= NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N …

12 complexity-theory  time-complexity  number-theory  enumeration 

Учитывая тот факт , что - путь перечисления является # Р-полной задачи, может ли быть эффективные методы , которые вычисляют (или , по меньшей мере , приблизительно) средняя длина - пути без перечисления их? Что если пути разрешены для пересмотра вершин?т с тsssTTtsssTTt Соответствующие результаты на специальных графиках также могут …

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Почему вычислимые числа (в смысле Тьюринга) перечислимы? Это должно быть очень очевидно, но я сейчас просто не вижу этого.

9 computability  turing-machines  enumeration