Webtagr - Technologienummer

Beliebte Tags：

Kosmos Virtualisierung DNS-Sicherheit formale Verifikation Erreichbarkeitsanalyse KI Compilerfehler Makrokonflikt Web-Erweiterung Entwicklungsframework Alle Tags

Durchbruch: Simulation der Zeitkomplexität im Wurzelraum

2025-02-27

Eine neue Forschung zeigt, dass jede Mehrband-Turingmaschine, die in Zeit t läuft, in nur O(√(t log t)) Speicher simuliert werden kann. Dies verbessert die O(t/log t)-Speichersimulation von Hopcroft et al. vor 50 Jahren deutlich. Die Forschung nutzt einen kürzlich von Cook und Mertz entdeckten speichereffizienten Algorithmus für die Baumbewertung und reduziert das Problem der Zeitsimulation auf eine Reihe implizit definierter Baumbewertungsinstanzen mit günstigen Parametern. Die Ergebnisse implizieren, dass beschränkte Fan-in-Schaltungen der Größe s in √s·poly(log s) Speicher ausgewertet werden können, und deuten auf die Existenz von Problemen hin, die in O(n) Speicher lösbar sind, aber auf einer Mehrband-Turingmaschine n^(2-ε) Zeit benötigen (für alle ε > 0), wodurch ein kleiner Fortschritt beim Problem P versus PSPACE erzielt wird.

Durchbruch bei der optimalen Raumkomplexität für die Schätzung von Frequenzmomenten

2024-12-29

Ein Artikel von Mark Braverman und Or Zamir beweist eine optimale untere Schranke für den Raum von Ω(log(nε²)/ε²) für die Schätzung von Frequenzmomenten, wobei ε = Ω(1/√n). Diese Forschung löst ein langjähriges Problem in der Berechnungskomplexität und stimmt mit der klassischen oberen Schranke von Alon-Matias-Szegedy in einem bestimmten Bereich überein. Für kleinere Werte von ε wird in dem Artikel auch ein verbesserter Algorithmus eingeführt, der die Raumkomplexität der Schätzung von Frequenzmomenten weiter verfeinert. Dieser Durchbruch liefert entscheidende theoretische Hinweise für die Verarbeitung von Datenströmen und das Design von Algorithmen.