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...
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...
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...
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...
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...
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...
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...