Theoretische Informatik

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

6
Was bringt es ,
Was ist der Unterschied, wenn man Kalkül eine Algebra anstelle eines Kalküls nennt ? Ich stelle diese Frage, weil ich irgendwo die Zeile " λ- Kalkül ist kein Kalkül, sondern eine Algebra" gelesen habe (iirc, Dana Scott zugeschrieben). Was ist der Sinn? Vielen Dank.λλ\lambdaλλ\lambda
5
Wie finde ich ein bestimmtes Forschungsthema, auf das ich mich konzentrieren kann?
Ich habe vor kurzem meinen Masterkurs begonnen. Letztes Semester habe ich Kurse aus verschiedenen Disziplinen wie Netzwerke, Softwareentwicklung, Architektur usw. besucht. Vor kurzem habe ich nach einem fortgeschrittenen Kurs in Algorithmen und Datenstrukturen einen Kurs gefunden, der mich am meisten interessiert (einschließlich anderer ähnlicher Themen wie Programmiersprachen usw.) ). Wie …
3
Typensystem basierend auf naiver Mengenlehre
Soweit ich weiß, basieren Datentypen in der Informatik aufgrund von Russells Paradoxon nicht auf der Mengenlehre, aber wie in realen Programmiersprachen können wir so komplexe Datentypen wie "Menge, die sich nicht selbst enthält" nicht ausdrücken, oder? Angenommen, in der Praxis ist der Typ eine unendliche Menge seiner Mitglieder, wobei die …
3
Berechnen von Entfernungen mit einer Annäherung von weniger als 2 in allgemeinen Diagrammen?
Bei einem gewichteten ungerichteten Graphen mit Kanten möchte ich Näherungsabstände von weniger als 2 zwischen einem gegebenen Eckpunktpaar berechnen. Natürlich möchte ich subquadratischen Raum und sublineare Abfragezeit verwenden.m=o(n2)m=o(n2)m = o(n^2) Ich bin mir des Ergebnisses von Zwick bewusst, das die Matrixmultiplikation verwendet, aber ich bin gespannt, ob für dieses Problem …
3
Effizienter DAG-Vergleich über ein Netzwerk
In verteilten Versionskontrollsystemen (wie Mercurial und Git ) müssen gerichtete azyklische Graphen (DAGs) effizient verglichen werden. Ich bin ein Mercurial-Entwickler, und wir wären sehr daran interessiert, etwas über theoretische Arbeiten zu erfahren, in denen die Zeit- und Netzwerkkomplexität des Vergleichs zweier DAGs erörtert wird. Die fraglichen DAGs werden durch die …
1
Wie komplex ist es, die Anzahl der Lösungen eines P-Space Complete-Problems zu zählen? Wie wäre es mit Klassen mit höherer Komplexität?
Ich denke, es würde # P-Space heißen, aber ich habe nur einen Artikel gefunden, der es vage erwähnt. Wie wäre es mit der Zählversion von EXP-TIME-Complete-, NEXP-Complete- und EXP-SPACE-Complete-Problemen? Gibt es frühere Arbeiten, die man in Bezug auf diese oder irgendeine Art von Einschluss oder Ausschluss wie Todas Theorem zitieren …
2
Kunstgalerie-Varianten mit paarweiser Sichtbarkeit?
Das Problem der traditionellen Kunstgalerie richtet eine Region und Wachen mit einer gewissen Sichtbarkeit ein und fordert die Mindestanzahl von Wachen an, die platziert werden müssen, um die gesamte Region zu sehen. Hat sich jemals jemand Kunstgalerievarianten angesehen, bei denen der Sichtbarkeitsbereich stattdessen von zwei Wachen definiert wird ? Zum …
2
Entscheidbarkeit der Gleichheit der CFLs
Das folgende Problem ist entscheidbar: Bei einer kontextfreien Grammatik ist L ( G ) = ∅ ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Das folgende Problem ist unentscheidbar: Bei einer kontextfreien Grammatik ist L ( G ) = A * ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Gibt es eine Charakterisierung kontextfreier Sprachen mit entscheidbarer Gleichheit L ( …
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.