Theoretische Informatik

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

1
Was sind die historischen Wurzeln von Milners Bigraphs?
Robin Milner definierte Bigraphs als eine Art grafische Struktur mit grafischer Struktur, bei der die Knoten jedoch verschachtelt werden können. Sie verallgemeinern Prozesskalküle wie CCS und den Kalkül, aber Milner scheint beabsichtigt zu haben, dass sie viel allgemeiner verwendet werden: Die Seminaraufzeichnungen von kurz vor seinem Tod beschreiben die jüngsten …
1
Relative Konsistenz von PA und einigen Typentheorien
Für eine Typentheorie meine ich mit Konsistenz, dass es einen Typ gibt, der nicht bewohnt ist. Aus der starken Normalisierung des Lambda-Würfels folgt, dass System und System konsistent sind. Die induktiven Typen MLTT + sind auch normierungssicher. Diese sollten jedoch alle leistungsfähig genug sein, um ein PA-Modell zu konstruieren, das …
1
Welcher Greedy-Algorithmus erfüllt die Greedy-Choice-Eigenschaft, hat aber keine optimale Unterstruktur?
Basierend auf dem Lehrbuch Einführung in Algorithmen erfordert die Korrektheit eines gierigen Algorithmus, dass ein Problem zwei Eigenschaften aufweist: gierige Wahl Eigenschaft optimale Unterkonstruktion Es ist leicht, Gegenbeispiele zu finden, bei denen eine gierige Lösung aufgrund des Fehlens der Eigenschaft der gierigen Auswahl fehlschlägt, z. B. das 0/1-Rucksackproblem. Aber ich …
9
Gegenintuitive Ergebnisse für Studenten
Ich suche nach Beispielen für Ergebnisse, die gegen die Intuition der Menschen für ein allgemeines Publikumsgespräch verstoßen. Ergebnisse, die, wenn Sie von Nicht-Experten gefragt werden, "Was sagt Ihnen Ihre Intuition?", Fast alle falsch machen würden. Die Aussage der Ergebnisse sollte für Studierende in cs / math leicht zu erklären sein. …
5
Sollten wir durch Reduzierungen mehr oder weniger optimistisch in Bezug auf die Tractability eines Problems sein?
Mir scheint, dass die meisten Komplexitätstheoretiker im Allgemeinen die folgende philosophische Regel glauben: Wenn wir nicht einen effizienten Algorithmus für Problem herauszufinden , können , und wir können Problem reduzieren zu Problem , dann gibt es wahrscheinlich keinen effizienten Algorithmus für Problem , entweder.AAAAAABBBBBB Dies ist der Grund, warum wir …
7
Anwendungen der Spieltheorie in der Informatik?
Als Informatikstudent bin ich in die Spieltheorie eingeführt worden, habe aber nicht viele Details zu diesem Thema gesehen. Ich habe bei Google nach Büchern über Spieltheorie gesucht und sie bestätigten deren Verwendung in der Informatik. Ich habe ein formales Studium der Spieltheorie aus der Sicht des Ökonomen begonnen. Jetzt möchte …
2
Optimaler Algorithmus zum Ermitteln des Umfangs eines spärlichen Graphen?
Ich frage mich, wie man den Umfang eines spärlichen ungerichteten Graphen findet. Mit spärlich meine ich . Mit optimal meine ich die geringste zeitliche Komplexität.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Ich dachte über eine Modifikation von Tarjans Algorithmus für ungerichtete Graphen nach, fand aber keine guten Ergebnisse. Eigentlich dachte ich, wenn ich in eine 2-zusammenhängende …
1
Der Stalin-Compiler optimiert brutal, aber wie?
JM Siskinds Forschungsstatement besagt: Stalin ist ein optimierender Compiler für Scheme, der eine statische Analyse des gesamten Programms durchführt und die Ergebnisse dieser Analyse verwendet, um äußerst effizienten Code zu generieren. Stalin verwendet eine große Sammlung statischer Analysetechniken. Es führt eine neuartige Form der Polyvariantenflussanalyse durch, die eine iterierte monovariante …
14 compilers 
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.