Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Aufteilung in AVL-Baum mit Komplexität
Kann die Aufteilungsoperation für AVL-Bäume mit der Komplexität implementiert werden O(logn)O(log⁡n)O(\log n)? Ich interessiere mich für Links zu Artikeln oder spezifische Informationen zu diesem Thema. Die Aufteilungsoperation unterteilt den AVL-Baum basierend auf dem Schlüssel in zwei abgeleitete AVL-Bäume. Einer der abgeleiteten Bäume sollte alle Eckpunkte enthalten, in denen alle Schlüssel …
2
Komplexitätsklasse der Matrixinversion
Invertiert eine Matrix in der Komplexitätsklasse ?P.P.\text{P} Von der Laufzeit würde ich ja sagen, aber die invertierte Matrix kann Einträge enthalten, bei denen die Größe nicht polynomiell durch die Eingabe begrenzt ist?O ( n3)Ö(n3)\mathcal{O}(n^3)
2
Gibt es eine kanonische Definition der „reinen“ Funktion?
StackOverflow hat mich hier gezeigt, daher könnte die Frage für Laien etwas zutreffend sein. Wikipedia definiert reine Funktionen als In der Computerprogrammierung kann eine Funktion als reine Funktion beschrieben werden, wenn beide Aussagen über die Funktion gelten: Die Funktion wertet immer den gleichen Ergebniswert bei gleichen Argumentwerten aus. Der Funktionsergebniswert …
1
Ausdruckskraft moderner regulärer Ausdrücke
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei ||||||||denen die Anzahl der |Primzahlen ist. Ich sagte ihm sofort, dass dies …
2
Äquivalenz von unabhängigem Satz und Satzpackung
Laut Wikipedia ist das Independent Set- Problem ein Sonderfall des Set Packing- Problems. Aber es scheint mir, dass diese Probleme gleichwertig sind. Das Suchproblem der unabhängigen Menge ist: Wenn ein Graph und eine ganze Zahl , finden Sie Eckpunkte, von denen keine zwei benachbart sind.n nG ( V., E.)G(V,E)G(V,E)nnnnnn Das …
2
Unterteilen Sie eine unendliche reguläre Sprache in zwei disjunkte unendliche reguläre Sprachen
Wie kann ich bei einer unendlichen regulären Sprache LLL beweisen, dass LLL in zwei disjunkte unendliche reguläre Sprachen L1,L2L1,L2L_1, L_2 ? Das heißt: L1∪L2=LL1∪L2=LL_1 \cup L_2 = L , L1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothing und undL1L1L_1L2L2L_2 sind beide unendlich und regelmäßig. Bisher dachte ich an: unter Verwendung des Pump-Lemmas, so …
3
Warum
Es ist bekannt, dass die zeitliche Logik LTL, CTL, CTL * in den Kalkül übersetzt / eingebettet werden kann. Mit anderen Worten, der (modale) Kalkül fasst diese Logik zusammen (dh er ist ausdrucksvoller).μμ\muμμ\mu Könnten Sie mir bitte erklären / auf Papiere / Bücher verweisen, die diese Angelegenheit näher erläutern? Gibt …
1
Was bedeutet es zu sagen, dass eine Sprache im Rahmen einer Operation „effektiv geschlossen“ ist?
Ich habe einige formale sprachtheoretische Artikel gelesen und bin auf einen Begriff gestoßen, den ich nicht verstehe. Das Papier bezieht sich häufig auf eine Menge, die "unter Kreuzung effektiv geschlossen" wird, oder auf andere Operationen. Was bedeutet hier "effektiv"? Wie unterscheidet sich dies vom normalen Verschluss? Als Referenz ist das …
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.