Theoretische Informatik

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

2
Implizite vs explizite Untertypisierung
Diese Seite behauptet das Viele Sprachen verwenden keine implizite Subtypisierung (strukturelle Äquivalenz), sondern bevorzugen eine explizite / deklarierte Subtypisierung (Deklarationsäquivalenz). Ich habe hauptsächlich Programmiersprachen verwendet, die explizite Untertypen verwenden . Was sind die Vorteile der impliziten Untertypisierung, wie in den obigen Anmerkungen beschrieben.
1
Die Quad-Edge-Datenstruktur (Delaunay / Voronoi)
2 Fragen an die Rechengeometer oder Algebraisten: Ich fange gerade an, mich mit Computergeometrie zu beschäftigen, und ich liebe sie =) Ich versuche, den berühmten Artikel von Guibas und Stolfi mit dem Titel "Primitive für die Manipulation allgemeiner Unterteilungen und die Berechnung von Voronoi-Diagrammen" zu lesen , um einen Delaunay-Triangulationsalgorithmus …
5
Warum impliziert P = NP nicht P = AP (dh P = PSPACE)?
Es ist gut bekannt , dass , wenn P=NPP=NP\mathbf{P}=\mathbf{NP} dann das Polynom Hierarchie kollabiert und P=PHP=PH\mathbf{P}=\mathbf{PH} . Dies kann mit Orakelmaschinen leicht induktiv verstanden werden. Die Frage ist - warum können wir nicht den induktiven Prozess über einen konstanten Wert von Abwechslungen fortsetzen und beweisen , P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)}) (auch bekannt als …
3
Verallgemeinerungen von Brzozowskis Methode der Ableitung regulärer Ausdrücke auf Grammatiken?
Brzozowskis Methode der Ableitungen ist eine sehr hübsche Technik, um deterministische Automaten aus regulären Ausdrücken auf eine schön algebraische Weise zu erstellen. Ich habe einige nette Verallgemeinerungen dieser Technik ausgearbeitet, um einige größere Grammatikklassen zu behandeln, aber die Algorithmen sind so einfach, dass es durchaus möglich erscheint, dass sie zuvor …
4
Anwendungen der Komplexitätstheorie
Die Komplexitätstheorie scheint etwas Grundlegendes über die Struktur des Universums zu erfassen, indem sie die intuitive Vorstellung formalisiert, dass einige Probleme schwieriger sind als andere. Scott Aaronson prognostizierte : "Die NP-Härteannahme wird letztendlich als analog zum zweiten Hauptsatz der Thermodynamik oder als Unmöglichkeit der überluminalen Signalübertragung angesehen." Sogenannte "harte Probleme" …
4
Wenn P = BQP, bedeutet dies, dass PSPACE (= IP) = AM ist?
Kürzlich haben Watrous et al. Bewiesen, dass QIP (3) = PSPACE ein bemerkenswertes Ergebnis ist. Das war, gelinde gesagt, ein überraschendes Ergebnis für mich und hat mich zum Nachdenken angeregt ... Ich fragte mich, was wäre, wenn Quantencomputer durch klassische Computer effizient simuliert werden könnten. Könnte dies EINFACH mit der …
5
Einfacher und praktischer deterministischer Algorithmus, komplizierte Laufzeit
Wenn die Laufzeit eines Algorithmus ein komplizierter Ausdruck ist, ist der Algorithmus selbst sehr oft auch kompliziert und unpraktisch. Jeder der Kubikwurzel- und -Faktoren in der asymptotischen Laufzeit führt dazu, dass der Algorithmus komplexer wird und die Laufzeit konstant bleibt.loglognlog⁡log⁡n\log \log n Haben wir eindrucksvolle Beispiele, bei denen diese Faustregel …
1
Steckenpuzzle
Problem: Wir erhalten eine Reihe von Sticks, die alle eine ganzzahlige Länge haben. Die Gesamtsumme ihrer Längen beträgt n (n + 1) / 2. Können wir sie in polynomielle Zeit um Stäbe der Größe zu erhalten? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Überraschenderweise ist der einzige Hinweis, den ich …
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.