Запитання з тегом «enumeration»

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

29 computability  semi-decidability  enumeration 

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

15 complexity-theory  reference-request  complexity-classes  enumeration 

Ця проблема для мене виглядає дуже цікаво. Йшлося про пошук простого циклу (тобто циклу, де не є повторні вузли) у спрямованому графіку. Моє рішення відбувається так, тобто цей графік є проблемою випадку: Я знаю, що в графіку є цикл, коли ви можете знайти "зворотні краї" в глибинному першому пошуку (накресленому …

15 algorithms  graphs  enumeration 

Питання було задано на "Переповнення стека" ( тут ): Беручи під увагу ціле число , роздрукувати всі можливі комбінації цілочисельних значень A , B , C і D , які вирішують рівняння A 2 + B 2 + C 2 + D 2 = N .NNNA,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 

Враховуючи той факт, що перерахування шляху - t є проблемою, що завершується # P, чи можуть існувати ефективні методи, які обчислюють (або принаймні наближають) середню довжину шляху s - t без їх перерахування? Що робити, якщо шляхи дозволяють переглянути вершини?сssтttсssttt Відповідні результати на спеціальних графіках також можуть бути корисними.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Чому обчислювальні числа (у розумінні Тюрінга) перелічуються? Це повинно бути дуже очевидно, але в даний момент я його просто не бачу.

9 computability  turing-machines  enumeration