Als «computable-analysis» getaggte Fragen

3
Was sind die Gründe, warum Forscher in der Computergeometrie das BSS / Real-RAM-Modell bevorzugen?
Hintergrund Die Berechnung über reelle Zahlen ist komplizierter als die Berechnung über natürliche Zahlen, da reelle Zahlen unendliche Objekte sind und es unzählige reelle Zahlen gibt, weshalb reelle Zahlen nicht durch endliche Zeichenfolgen über einem endlichen Alphabet genau dargestellt werden können. Anders als bei der klassischen Rechenbarkeit über endliche Zeichenfolgen, …
6
Wie werden reelle Zahlen bei der Berechnung angegeben?
Dies mag eine grundlegende Frage sein, aber ich habe Artikel über Themen wie Nash-Gleichgewichtsberechnung und lineare Entartungstests gelesen und zu verstehen versucht und war mir nicht sicher, wie reelle Zahlen als Eingabe angegeben werden. Wenn beispielsweise angegeben wird, dass LDT bestimmte untere Polynomgrenzen hat, wie werden die reellen Zahlen angegeben, …
3
Berechnung von Reals: Gleitkomma vs TTE vs Domänentheorie vs etc
Gegenwärtig erfolgt die Berechnung von Real in den meisten gängigen Sprachen immer noch über Gleitkommaoperationen. Andererseits haben Theorien wie die Typ-2-Effektivität (TTE) und die Domänentheorie lange Zeit eine genaue Berechnung der Realzahlen versprochen. Das Problem der Fließkommapräzision hat natürlich nicht an Relevanz verloren. Warum sind diese Theorien nicht mehr zum …
2
Komplexität der Berechnung der diskreten Fouriertransformation?
Wie komplex ist die Berechnung der diskreten Fourier- Standardtransformation eines Vektors von ganzen Zahlen (im Standard-Ganzzahl-RAM) ?nnn Der klassische Algorithmus für schnelle Fourier-Transformationen [1] , der Cooley und Tukey unangemessen zugeschrieben wird, wird normalerweise als in -Zeit laufend beschrieben . Die meisten in diesem Algorithmus ausgeführten arithmetischen Operationen beginnen jedoch …
6
Funktionen, die mit Lambda berechnet wurden, können nicht berechnet werden
Ich möchte nur einige Beispiele für die Funktionen kennen, die mit dem untypisierten Lambda-Kalkül berechnet werden können, aber nicht mit typisierten Lambda-Kalkülen. Da ich ein Anfänger bin, wäre eine Wiederholung der Hintergrundinformationen wünschenswert. Vielen Dank. Edit: Mit getippten Lambda-Kalkülen wollte ich etwas über System F und die einfach getippten Lambda-Kalküle …
2
Wie kann man die Definition der rechnerischen Komplexität von Real beurteilen, die natürlich oder geeignet ist?
Wie wir wissen, ist die Definition der rechnerischen Komplexität von Algorithmen fast unumstritten, aber die Definition der rechnerischen Komplexität von Real oder der Berechnungsmodelle über Real ist in einem solchen Fall nicht. Wir kennen das Modell und das Modell von Blum und Smales im Buch Computable Analysis. Und anscheinend stimmt …
3
Entscheidbarkeit transzendentaler Zahlen
Ich habe eine Frage, deren Antwort wahrscheinlich bekannt ist, aber ich kann nach einigem Suchen anscheinend nichts Sinnvolles finden, daher würde ich mich über Hilfe freuen. Meine Frage ist, ob bekannt ist, dass die Entscheidung, ob eine Zahl transzendent ist, unentscheidbar ist. Möglicherweise nimmt man als Eingabe ein Programm an, …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.