Sie wundern sich hier über große Probleme. Eine natürliche Zahl kann kanonisch in unärer Notation dargestellt werden, aber diese Darstellung ist ziemlich platzsparend. Sie können es auch in binärer Notation darstellen, was platzsparender, aber nicht mehr kanonisch ist, da Sie auch die Tenar- oder Dezimalschreibweise verwenden können. Beachten Sie jedoch, dass die Darstellung durch Schaltkreise nicht wesentlich weniger effizient ist als die binäre Notation, siehe zum Beispiel
101101 = (((1+1)*(1+1)+1)*(1+1)+1)*(1+1)*(1+1)+1
Beachten Sie, dass (...)*(1+1)
dies durch ersetzt werden kann x:=(...) in x+x
, sodass Sie hierfür nicht einmal eine Multiplikation benötigen. Aber weil Sie Multiplikation haben, können Sie sogar Zahlen wie effizient darstellen 1011^101101
. Beachten Sie auch, dass Sie in dieser Darstellung Zahlen effizient addieren, subtrahieren und multiplizieren können. Diese Darstellung ist jedoch nicht auf Zahlen beschränkt, sondern funktioniert für multivariate Polynomfunktionen sogar genauso. Und für Polynome ist es sogar eine ganz natürliche Darstellung, da Polynome die freie Algebra für kommutative Ringe sind und die Darstellung als Schaltung für jede freie Algebra verwendet werden kann.
Aber lassen Sie uns für einen Moment zu (natürlichen) Zahlen zurückkehren, Zahlen wie
. NJ Wildberger hat einige ultrafinitistische Rants geschrieben, zum Beispiel Set Theory: Solltest du glauben? . Im Abschnitt Aber was ist mit den natürlichen Zahlen? Die Existenz von Zahlen wie c ist zugegeben, weil man sie offensichtlich aufschreiben kann. Aber die Existenz fast aller natürlichen Zahlen zwischen 0 und cc=1010101010c0cwird abgelehnt, weil die meisten dieser Zahlen mehr Informationen enthalten würden, als das physikalische Universum möglicherweise darstellen könnte. Der Großteil des Geschwätzes brachte mich nur zum Lachen, aber dieser Punkt brachte mich zum Nachdenken. Philosophen wie Willard Van Orman Quine haben gegen die Behauptung der Existenz nicht realisierter Möglichkeiten protestiert, unter anderem, weil diese zu ungeordneten Elementen führen, von denen nicht sinnvoll gesagt werden kann, dass sie mit sich selbst identisch und voneinander verschieden sind. Daher fand ich es durchaus vernünftig, mich über Zahlenpräsentationen zu wundern, für die noch Addition, Subtraktion und Multiplikation durchgeführt werden, und zumindest sinnvoll zu bestimmen, ob zwei Zahlen voneinander verschieden sind. Die Schaltungsdarstellung erreicht dies ...
Zurück zu Polynomen und Schaltungsdarstellungen freier Algebren. Hier sind einige große Fragen:
n≥4n
- Gibt es eine freie Algebra, für die effiziente deterministische Identitätstests allgemein angenommene Vermutungen wie P! = NP ungültig machen würden?
-> Ja, die Identitätsprüfung für die freie Algebra für reguläre kommutative Ringe ist NP-vollständig. Ich habe das schon lange nicht mehr bemerkt, siehe unten ...
- Z[x1,…,xn]
Ich wundere mich besonders über die freie Algebra für reguläre kommutative Ringe hier (dh Ringe mit einer verallgemeinerten inversen Operation), da sie die Darstellung rationaler Zahlen und rationaler Funktionen ermöglichen würden. Wenn wir diese Darstellung nur für Zahlen verwendet hätten, hätten wir uns möglicherweise gefragt, ob wir a < b
diese Darstellung effizient testen können. Diese Frage ist für den freien kommutativen Ring nicht sinnvoll, könnte aber für Polynome sinnvoll sein, wenn wir sie im Kontext freier, teilweise geordneter Ringe interpretieren. Aber ein teilweise geordneter Ring ist nur eine relationale Struktur anstelle einer Algebra, also ist dies eine andere Art von Frage ...
Das Schwartz-Zippel-Lemma gilt hier, da es für allgemeine Felder und Z ⊂ Q giltZ⊂Q
((33+3)3+x)3−((22+5)3+x)2xn72n/253n/3ZB=exp(exp(n))O(logB)
Z[x1,…,xn]
Andererseits glaube ich auch, dass Sie einfach jeden vernünftigen Pseudozufallszahlengenerator verwenden und damit PIT für alle praktischen Zwecke entscheiden können, wenn Sie nur lange genug testen. Ich glaube nur, dass Sie den verbleibenden (infinitesimal kleinen) Zweifel, ähnlich wie bei Maßzahlen Null, die ärgerlich bleiben, wenn Sie nicht leer sind, niemals loswerden können.