Запитання з тегом «computable-analysis»

Нещодавно студент попросив мене перевірити рівень твердості на них. Вони виконували скорочення за лініями: Я знижую цю проблему P′P′P' яка, як відомо, є NP-повною для моєї проблеми PPP (з багаторазовим скороченням багато-один), так щоPPP є NP-важким. Моя відповідь була в основному: Оскільки PPP має екземпляри зі значеннями від RR\mathbb{R} , …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Припустимо, мені задано кінцевий набір точок у площині і попросимо провести двічі диференційовану криву через , щоб її периметр був максимально меншим. Якщо припустити, що та , я можу формалізувати цю проблему як: C ( P ) p i p i = ( x i , y i ) x …

11 complexity-theory  np-hard  optimization  computable-analysis 

Чи "теорема Райса для обчислюваних дійсних даних" - тобто жодна нетривіальна властивість числа, представленого заданим обчислювальним реальним, не може бути вирішена - правда? Чи відповідає це якимось прямим способом зв’язності дійсних дій?

10 computability  real-numbers  computable-analysis