Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Kleinster DFA, der bestimmte Zeichenfolgen akzeptiert und andere angegebene Zeichenfolgen ablehnt
Können wir bei zwei Mengen von Strings über dem Alphabet Σ den kleinsten deterministischen Finite-State-Automaten (DFA) M so berechnen, dass A ⊆ L ( M ) und L ( M ) ⊆ Σ ∗ ∗ B ?A,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Mit anderen Worten, repräsentiert eine Reihe positiver Beispiele. …
2
Universen in abhängiger Typentheorie
Ich lese über die Theorie der abhängigen Typen im Online-Buch Homotopy Type Theory . In Abschnitt 1.3 des Kapitels Typentheorie wird der Begriff der Hierarchie der Universen eingeführt : U0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots , wobei Jedes Universum UiUi\mathcal{U}_i ist ein Element des nächsten Universums Ui+1Ui+1\mathcal{U}_{i+1} . Darüber …
2
Algorithmus zur Bestimmung, ob zwei reguläre Ausdrücke äquivalent sind
Gibt es bei zwei beliebigen regulären Ausdrücken einen "effizienten" Algorithmus, um festzustellen, ob sie mit demselben Satz von Zeichenfolgen übereinstimmen? Können wir allgemeiner die Größe des Schnittpunkts der beiden Übereinstimmungssätze berechnen? Welche Algorithmen gibt es dafür und in welcher Komplexitätsklasse leben sie? Wenn wir den Kleene-Stern nicht zulassen, ändert das …
1
Was ist eine kompakte Art, eine Partition einer Menge darzustellen?
Es gibt effiziente Datenstrukturen zur Darstellung festgelegter Partitionen. Diese Datenstrukturen weisen eine gute zeitliche Komplexität für Operationen wie Union und Find auf, sind jedoch nicht besonders platzsparend. Was ist eine platzsparende Möglichkeit, eine Partition einer Menge darzustellen? Hier ist ein möglicher Ausgangspunkt: Ich weiß , dass die Anzahl der Partitionen …
2
Warum werden Entscheidungsprobleme in der Komplexitätstheorie häufig verwendet?
Aus Wikipedia : Die Art des Rechenproblems: Die am häufigsten verwendeten Probleme sind Entscheidungsprobleme . Komplexitätsklassen können jedoch basierend auf Funktionsproblemen, Zählproblemen, Optimierungsproblemen, Versprechenproblemen usw. definiert werden. Ich habe auch gesehen, dass die Definitionen von NP-vollständig, NP-hart, NP, ... nur für Entscheidungsprobleme definiert sind. Ich frage mich, warum das so …
2
Können wir zeigen, dass eine Sprache nicht rechnerisch aufzählbar ist, indem wir zeigen, dass es keinen Verifizierer dafür gibt?
Eine der Definitionen einer rechnerisch aufzählbaren Menge (ce, äquivalent zu rekursiv aufzählbar, äquivalent zu semidecidable) ist die folgende: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* ist ce, wenn es eine entscheidbare Sprache (genannt Verifizierer) st für alle ,V⊆Σ∗V⊆Σ∗V\subseteq \Sigma^*x∈Σ∗x∈Σ∗x\in \Sigma^* x∈Ax∈Ax\in A Wenn es ein st .y∈Σ∗y∈Σ∗y\in\Sigma^*⟨x,y⟩∈V⟨x,y⟩∈V\langle x, y \rangle \in V Eine Möglichkeit …
3
Vorstellungen von effizienter Berechnung
Ein Turing-Maschinenalgorithmus mit Polynomzeit wird als effizient angesehen, wenn seine Laufzeit im schlimmsten Fall durch eine Polynomfunktion in der Eingabegröße begrenzt ist. Mir ist die starke These von Church-Turing bekannt: Jedes vernünftige Rechenmodell kann auf Turing-Maschinen effizient simuliert werden Mir ist jedoch keine solide Theorie zur Analyse der rechnerischen Komplexität …
2
Warum wird angenommen, dass die DFS
Gemäß diesen Anmerkungen wird angenommen , dass DFS eine -Raumkomplexität aufweist, wobei b der Verzweigungsfaktor des Baums und m die maximale Länge eines Pfades im Zustandsraum ist.O ( b m )Ö(bm)O(bm)bbbmmm Das gleiche gilt für diese Wikibook-Seite zur uninformierten Suche . In der "Infobox" des Wikipedia-Artikels über DFS wird nun …
2
Was ist der geringste einschränkende Wert?
Bei Problemen mit der Einschränkungszufriedenheit können Heuristiken verwendet werden, um die Leistung eines Bactracking-Lösers zu verbessern. Drei häufig verwendete Heuristiken für einfache Backtracking-Löser sind: Minimal verbleibende Werte (wie viele Werte sind für diese Variable noch gültig) Gradheuristik (wie viele andere Variablen sind von dieser Variablen betroffen) Am wenigsten einschränkender Wert …
5
Worthäufigkeit mit Reihenfolge in O (n) -Komplexität
Während eines Interviews für eine Java-Entwicklerposition wurde ich wie folgt gefragt: Schreiben Sie eine Funktion, die zwei Parameter akzeptiert: eine Zeichenfolge, die ein Textdokument darstellt, und eine Ganzzahl, die die Anzahl der zurückzugebenden Elemente angibt. Implementieren Sie die Funktion so, dass eine Liste der nach Worthäufigkeit geordneten Zeichenfolgen zurückgegeben wird, …
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.