Entschuldigung im Voraus für diese weiche Frage, die keine geschlossene, richtige Antwort hat. Dies ist wahrscheinlich das beste Forum, um meine Frage zu stellen. Ich bin ein Doktorand im dritten Jahr in einer theoretischen Gruppe einer Top-15- Schule in den USA. Bisher habe ich mich anständig gut...
Angenommen, Sie erhalten zwei deterministische Push-down-Automaten, die die Sprachen und , und möchten feststellen, ob es eine reguläre Sprache so dass und . Grundsätzlich besteht die Herausforderung darin, zu bestimmen, ob es einen DFA gibt, der erkennen kann, aus welcher der beiden Sprachen eine...
Im aktuellen Preprint https://arxiv.org/abs/1801.00776 wird behauptet, dass reelle Zahlen in der Zeit O ( n √) sortiert werden können nnn und linearen Raum. Das Papier scheint vernünftig, obwohl ich kein Experte für Sortieralgorithmen bin.O(nlogn−−−−√),O(nlogn),O(n \sqrt{\log n}), Wenn das stimmt,...
Nehmen wir an, wir wollten eine typvolle, rein funktionale Programmiersprache wie Haskell oder Idris, die auf die Systemprogrammierung ohne Garbage Collection abzielt und keine Laufzeit hat (oder zumindest nicht mehr als die C- und Rust-Laufzeit). Etwas, das mehr oder weniger auf blankem Metall...
Es gibt Forscher, die zeigen, dass das Löschen von Bits Energie verbrauchen muss. Gibt es jetzt Forschungen zum durchschnittlichen Energieverbrauch von Algorithmen mit der Rechenkomplexität ? Ich vermute, die Komplexität von hängt mit dem durchschnittlichen Energieverbrauch zusammen. Ich hoffe, ich...
Stellen Sie sich vor, wir haben zwei Mengen von Punkten der Größe . Was ist (zeitliche) Komplexität von Tests, wenn sie sich nur durch Rotation unterscheiden? : Es Rotationsmatrix existiert , so daß ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OY.X=OY Hier geht es...
Ich habe kürzlich versucht, Aarons Cedille-Core zu implementieren , eine minimalistische Programmiersprache, die mathematische Theoreme zu ihren eigenen Begriffen beweisen kann. Ich habe auch eine Induktion für λ-codierte Datentypen darauf nachgewiesen, was klarer machte, warum seine Erweiterungen...
Gibt es eine Turingmaschine, die entscheiden kann, ob fast alle anderen Turingmaschinen anhalten? Angenommen, wir haben eine Aufzählung von Turing-Maschinen und eine Vorstellung von der "Größe" einer Menge natürlicher Zahlenund wir definieren:N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot...
Neben der akademischen Welt, in der Theoretiker leben, wundere ich mich über industrielle Berufe im Zusammenhang mit der theoretischen Informatik, die einen rein mathematischen Hintergrund erfordern. Prost
Betrachten wir eine Funktion durch eine Boolesche Schaltung berechnet C mit n Eingängen der Größe s ( n ) = p o l y ( n ) über der Basis { X O R , A N D , N O T } (mit indegree 2 für die X O R , A N D Tore).fffCCCnnns(n)=poly(n)s(n)=poly(n)s(n) =
Sei ein Zyklus mit vier Eckpunkten. Für einen beliebigen Graphen mit Ecken und m Kanten gilt: , wie viele existieren? Gibt es dafür eine Untergrenze?C4C4C_4GGGnnnm > n n--√m>nnm>n\sqrt
Ich bin ein Doktorand im dritten Jahr an einer "Top-20" -Universität, der sich mit feinkörniger Komplexität beschäftigt (viel Spiel mit 3-SUM, OV und den üblichen populären Härte-Vermutungen). Ich war im letzten Jahr ziemlich produktiv und habe 3 akzeptierte Papiere und zwei eingereichte Papiere....
Es ist bekannt , dass das Komplement {ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\} kontextfrei ist. Aber was ist das Komplement {www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}
Ich lese den Beweis von hier und bin auf ein technisches (aber entscheidendes) Problem gestoßen. Ich weiß, dass dies ziemlich spezifisch und der Kontext problematisch ist, aber ich konnte es selbst nicht herausfinden. Auf den Seiten 51 und 55 ändern sie nach der Präsentation der "Standard"...
Angenommen, man hat einen randomisierten (BPP) Algorithmus AAA Verwendung von rrr Zufallsbits . Natürliche Wege , um ihre Erfolgswahrscheinlichkeit zu verstärken 1−δ1−δ1-\delta , für jede gewählte δ>0δ>0\delta>0 , sind Unabhängige Läufe + Mehrheitsabstimmung: Laufen Sie AAA unabhängig...
Betrachten Sie das folgende Spiel auf einem gerichteten gewichteten Graphen GGG mit einem Chip an einem Knoten. Alle Knoten von GGG sind mit A oder B markiert. Es gibt zwei Spieler Alice und Bob. Das Ziel von Alice (Bob) ist es, den Chip zu einem Knoten zu verschieben, der mit A (B) markiert ist....
Ich bin besonders an ihrer Verwendung in Modellprüfungsanwendungen interessiert. Ich habe offene, geschlossene und gemischte Netzwerke von Warteschlangen mit verschiedenen Kundenklassen von Baskett et al. Irgendwelche anderen Vorschläge zum Lesen von Material? Vielen
In einem gerichteten Graphen ist , , wenn eine DAG (gerichteter azyklischer Graph) ist, wird als Rückkopplungsbogenmenge bezeichnet. F ⊂ E G ∖ F F.G = ( V., E.)G=(V,E)G=(V,E)F.⊂ E.F⊂EF\subset EG ∖ F.G∖FG\setminus FF.FF Wenn jede Kante einem Gewicht , besteht das Problem des Rückkopplungsbogens für...
Wenn ich an unsichere Software denke, denke ich, dass sie "zu nützlich" ist und von einem Angreifer missbraucht werden kann. In gewissem Sinne bedeutet das Sichern von Software, dass Software weniger nützlich ist. In der Theoretischen Informatik arbeiten Sie nicht mit der realen Welt. Gibt es also...
Bei jedem einfachen ungerichteten Graphen G ist es nicht trivial zu bestimmen, ob G nichttriviale (Nichtidentitäts-) Automorphismen aufweist. Aber was sind die Ergebnisse an den oberen / unteren Grenzen dieses