Pytania otagowane jako computable-analysis

3
Jakie są powody, dla których badacze geometrii obliczeniowej preferują model BSS / real-RAM?
tło Obliczenia na liczbach rzeczywistych są bardziej skomplikowane niż obliczenia na liczbach naturalnych, ponieważ liczby rzeczywiste są obiektami nieskończonymi i istnieje niezliczona liczba liczb rzeczywistych, dlatego liczb rzeczywistych nie można wiernie przedstawić za pomocą ciągów skończonych nad skończonym alfabetem. W przeciwieństwie do klasycznego obliczania ciągów skończonych, w którym różne modele …
6
Jak określa się liczby rzeczywiste w obliczeniach?
To może być podstawowe pytanie, ale czytałem i próbowałem zrozumieć artykuły na takie tematy, jak obliczenia równowagi Nasha i liniowe testy degeneracji, i nie byłem pewien, jak liczby rzeczywiste są określone jako dane wejściowe. Na przykład, kiedy stwierdzono, że LDT ma pewne dolne granice wielomianu, w jaki sposób określa się …
3
Obliczanie liczb rzeczywistych: zmiennoprzecinkowy vs TTE vs teoria domen vs itd
Obecnie obliczanie liczb rzeczywistych w najpopularniejszych językach jest nadal wykonywane za pomocą operacji zmiennoprzecinkowych. Z drugiej strony, teorie takie jak efektywność typu drugiego (TTE) i teoria domen od dawna obiecują dokładne obliczenie rzeczywistych liczb. Najwyraźniej problem precyzji zmiennoprzecinkowej nie zmniejszył się, więc dlaczego te teorie nie stały się bardziej popularne …
2
Złożoność obliczania dyskretnej transformaty Fouriera?
Jaka jest złożoność (na standardowej całkowitej liczbie pamięci RAM) obliczania standardowej dyskretnej transformaty Fouriera wektora nnn liczb całkowitych? Klasyczny algorytm szybkich transformacji Fouriera , niewłaściwie [1] przypisany Cooleyowi i Tukeyowi, jest zwykle opisywany jako działający w czasie O ( n logn )O(nlog⁡n)O(n \log n) . Ale większość operacji arytmetycznych wykonywanych …
6
Funkcje, które wpisały rachunek lambda, nie mogą być obliczane
Chciałbym tylko poznać kilka przykładów funkcji, które można obliczyć za pomocą niepisanego rachunku lambda, ale nie za pomocą wpisanego rachunku lambda. Jako że jestem początkującym, doceniłbym powtórzenie podstawowych informacji. Dzięki. Edycja: za pomocą kalkulatora lambda, miałem zamiar wiedzieć o systemie F i rachunku lambda po prostu. Przez funkcję rozumiem dowolną …
2
Jak ocenić, czy definicja złożoności obliczeniowej rzeczywistych jest naturalna czy odpowiednia?
Jak wiemy, definicja złożoności obliczeniowej algorytmu prawie nie budzi kontrowersji, ale definicja złożoności obliczeniowej rzeczywistych lub modeli obliczeniowych rzeczywistych nie jest w takim przypadku. Model i model Bluma i Smalesa znamy w książce Computable Analysis. I pozornie model w analizie obliczeniowej jest zgodny z modelem klasycznym, ale definicja złożoności obliczeniowej …
3
Rozstrzygalność liczb transcendentalnych
Mam pytanie, na które odpowiedź jest prawdopodobnie dobrze znana, ale nie wydaje mi się, że po kilku poszukiwaniach znajdę coś znaczącego, więc byłbym wdzięczny za pomoc. Moje pytanie brzmi, czy wiadomo, że podjęcie decyzji, czy liczba jest transcendentalna, jest nierozstrzygalne. Być może ktoś przyjmuje jako dane wejściowe, powiedzmy program, który …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.