Theoretische Informatik

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

1
Ist abelsche Gruppenisomorphie in ?
Ein -Laufzeitalgorithmus für den abelschen Gruppenisomorphismus ist leicht zu erkennen. Später an diesem Problem im Jahr 2003 arbeiten Vikas verbessern das Ergebnis von Laufzeit auf . Im Jahr 2007 zeigte Kavitha , dass der Isomorphismus der abelschen Gruppe in linearer Zeit, dh in -Zeit, durchgeführt werden kann .O ( n …
1
Typ für "Wege, wie Werte unterschiedlich sein können"
Ich suche nach einem Konzept in der Typentheorie, von dem ich sicher bin, dass es wahrscheinlich untersucht wurde, aber den Namen dahinter nicht kenne. Betrachten wir eine ML-ähnliche Sprache mit Produkt- und Summentypen und ein Hindley-Milner-ähnliches Typsystem. Ich werde die OCaml-Syntax verwenden. Ich frage mich, wie zwei verschiedene Werte unterschiedlich …
2
Kommunikationskomplexität der Annäherung an die Größe der festgelegten Schnittmenge
Betrachten Sie das Problem der Schnittmenge: Alice und Bob erhalten jeweils eine Teilmenge von und möchten wissen, ob sich ihre Mengen überschneiden. Dies ist ein kanonisches Problem der Kommunikationskomplexität, und es ist bekannt, dass randomisierte Protokolle für dieses Problem -Kommunikationsbits erfordern ( siehe Übersicht hier ). In dem Fall, in …
1
Gibt es ein Orakel so dass ?
Hintergrund Wir wissen, dass P#P⊆PSPACEP#P⊆PSPACEP^{\#P} \subseteq PSPACE . Außerdem wissen wir aus dem Satz von Toda, dass PH⊆P#PPH⊆P#PPH \subseteq P^{\#P} . Weitere Hintergrundinformationen zu #P#P\#P finden Sie hier: https://en.wikipedia.org/wiki/Sharp-P Frage Gibt es ein Orakel AAA so dass (P#P)A≠PSPACEA(P#P)A≠PSPACEA(P^{\#P})^{A} \neq PSPACE^{A} ?
2
Welche Art von theoretischem Objekt entspricht einem C ++ - Konzept?
Mir fehlt ein Hintergrund in der theoretischen Informatik, aber ich hätte gerne verstanden, welchen theoretischen Objekten C ++ - Konzepte entsprechen. Grundsätzlich ermöglichen C ++ - Konzepte das Definieren einer Reihe von Typen, die eine Liste von Einschränkungen erfüllen. Also, aus theoretischer Sicht, welchen C ++ - Konzepten entsprechen oder …
1
Vertex isoperimetrische Zahl eines Graphen - NP-hart?
Die isoperimetrische Scheitelpunktzahl eines Graphen ist . Mehrere wissenschaftliche Arbeiten geben an, dass das Problem der Berechnung der isoperimetrischen Scheitelpunktzahl eines Graphen NP-hart ist, ohne Beweis oder Referenz.G = ( V., E.)G=(V.,E.)G=(V,E) ichV.( G ) = min { | N.( S.) || S.|: S.⊆ V.,1≤|S|≤|V|2}iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq …
1
NFA-DFA-Powerset-Konstruktion: Ein partieller Bestimmungsalgorithmus mit Kompromiss zwischen Laufzeit und Größe für die resultierenden Automaten?
Bei einem NFA und seinem äquivalenten DFA die sich aus der Gesamtbestimmung von (z. B. unter Verwendung der Powerset-Konstruktion), gelten die folgenden Eigenschaften für , und für jedes Wort :D N.N.NND.DDN.NND wN.NND.DDwww N.NN liest in der Laufzeit höchstens .O ( | w | . | N | 2 )wwwO ( …
1
Warum wird dieses Verfahren zur Eliminierung von Schnitten beendet (Kontraktionsfall)?
In Melliès 'Umfrage Categorical Semantics of Linear Logic wird ein Schnitteliminierungsverfahren für intuitionistische lineare Logik angegeben, das den folgenden Fall umfasst: 3.9.3 Förderung vs. Kontraktion Der Beweis wird in den Beweis π 1 transformiert π1⋮!Γ⊢A!Γ⊢!A Promotionπ2⋮Υ1,!A,!A,Υ2⊢BΥ1,!A,Υ2⊢B ContractionΥ1,!Γ,Υ2⊢B Cutπ1⋮!Γ⊢A!Γ⊢!A Promotionπ2⋮Υ1,!A,!A,Υ2⊢BΥ1,!A,Υ2⊢B ContractionΥ1,!Γ,Υ2⊢B Cut \displaystyle\frac{ \displaystyle\frac{\displaystyle\frac{\pi_1\\\vdots}{!\Gamma \vdash A}}{!\Gamma \vdash !A} \text{ Promotion} \qquad …
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.