Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

3
Warum scheinen sich Konstruktivisten nicht allzu sehr für call / cc zu interessieren?
So hatte ich vor einiger Zeit zum ersten Mal jemanden, der mir sagte, dass call / cc Beweisobjekte für klassische Beweise durch Anwendung des Peirce-Gesetzes erlauben könnte. Ich habe in letzter Zeit ein wenig über das Thema nachgedacht und kann anscheinend keinen Fehler darin finden. Allerdings kann ich anscheinend niemanden …
3
Anwendungen für Mengenlehre, Ordinaltheorie, Infinite Combinatorics und allgemeine Topologie in der Informatik?
Ich bin Mathematiker und interessiere mich für Mengenlehre, Ordinaltheorie, unendliche Kombinatorik und allgemeine Topologie. Gibt es Bewerbungen für diese Fächer in der Informatik? Ich habe ein bisschen nachgesehen und (natürlich) viele Anwendungen für die Theorie der endlichen Graphen, die endliche Topologie, die niedrigdimensionale Topologie, die geometrische Topologie usw. gefunden. Ich …
1
Warum war Schönfinkels Arbeit, „gebundene Variablen“ in der Logik zu eliminieren, so entscheidend?
AFAIK, Der erste Beweis für die Verwendung von Funktionen höherer Ordnung geht auf Schönfinkels Arbeit von 1924 zurück: "Auf den Bausteinen der mathematischen Logik" - wo man Funktionen als Argumente an andere Funktionen übergeben durfte. Das scheint interessant zu sein. Jedoch scheint alles, was ich über seine Arbeit gelesen habe …
1
Ist diese dichte Version von Kruskals Algorithmus bekannt?
Vor ungefähr einem Jahr dachten ein Freund und ich über eine Möglichkeit nach, den Kruskal-Algorithmus für dichte Graphen besser als in der üblichen Grenze ( zu implementieren (ohne die Annahme von vorsortierten Kanten). Insbesondere erreichen wir in allen Fällen , ähnlich wie bei Prims, wenn sie unter Verwendung von Adjazenzmatrizen …
1
Gibt es Polynome, die schwer zu zählen, aber leicht zu entscheiden sind?
Jede monotone arithmetische Schaltung , dh eine -Schaltung, berechnet ein multivariates Polynom mit nichtnegativen ganzzahligen Koeffizienten. Bei einem Polynom ist die SchaltungF ( x 1 , … , x n ) f ( x 1 , … , x n ){+,×}{+,×}\{+,\times\}F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) berechnet wenn für alle ; F ( a ) …
1
Ist
Was passiert, wenn wir so definieren, dass anstelle einer Polytime-Turing-Maschine / Polysize-Schaltung eine Logspace-Turing-Maschine oder eine -Schaltung das Problem codiert?PPADPPAD{\bf PPAD}AC0AC0{\bf AC^0} Kürzlich stellte sich heraus , dass es wichtig war, schnellere Algorithmen für die Schaltungserfüllbarkeit für kleine Schaltungen . frage ich mich, was mit den korrigierten Versionen von .PPADPPAD{\bf …
2
Fixpunkte in Berechenbarkeit und Logik
Diese Frage wurde auch auf Math.SE gestellt, /math/1002540/fixed-points-in-computability-nd-logic Ich hoffe, es ist in Ordnung, es auch hier zu posten. Wenn nicht, oder wenn es für CS.SE zu einfach ist, sagen Sie es mir bitte und ich werde es löschen. Ich möchte die Beziehung zwischen den Festkommasätzen in der Logik und …
1
Wörter mit zufälligen DFAs trennen
Eines der interessanten offenen Probleme mit DFAs, die in aufgeführt sind. Gibt es noch offene Probleme mit DFAs? ist die Größe eines DFA, die zum Trennen von zwei Zeichenfolgen der Länge erforderlich ist . Ich bin neugierig, ob es irgendwelche Ergebnisse über die Fähigkeit eines zufälligen DFA gibt, zwei gegebene …
1
Natürliche Theoreme haben sich nur "mit hoher Wahrscheinlichkeit" bewährt?
Es gibt viele Situationen, in denen ein randomisierter "Beweis" viel einfacher ist als ein deterministischer Beweis, wobei das kanonische Beispiel das Testen der polynomischen Identität ist. Frage : Gibt es natürliche mathematische "Theoreme", bei denen ein randomisierter Beweis bekannt ist, ein deterministischer Beweis jedoch nicht? Mit einem "randomisierten Beweis" einer …
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.