Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Nützliche Funktionen zwischen Polylogarithmus und Polynom?
Ich frage mich, ob es nützliche Funktionen gibt, die asymptotisch größer als eine polylogarithmische Funktion und kleiner als eine Polynomfunktion sind. Das heißt, eine Funktion so dassf( n )f(n)f(n) für eine Konstante k > 0f( n ) = ω ( log( n )k)f(n)=ω(Log⁡(n)k)f(n) = \omega(\log(n)^k)k > 0k>0k > 0 und …
2
Richtiger Name für einen rekursiven Abstiegsparser, der Schleifen verwendet, um die linke Rekursion zu behandeln?
Diese Grammatik bleibt rekursiv: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Theoretisch funktioniert ein rekursiver Abstieg also nicht. Durch Ausnutzen der Eigenschaften …
2
Sortieren Sie ein Array von Elementen, wenn nur nicht vorhanden ist
Ich versuche zu verstehen, wie ich ein Array von Elementen sortieren kann, wenn nur \ log n nicht vorhanden ist.log nnnnLognLog⁡n\log n Ich habe gehört, dass das Sortieren eines Arrays mit höchstens ichichI Inversionen die Komplexität O ( n log( Ich/ n))Ö(nLog⁡(ich/.n))O(n\log(I/n)) . Da es LognLog⁡n\log n Elemente gibt, die …
8 sorting 
1
Lerndynamik
Ich habe kürzlich etwas über Q-Learning gelernt, eine verstärkte Lerntechnik, die den erwarteten Wert einer Aktion in einem Zustand direkt abschätzt. Ich frage mich, ob es Techniken gibt, um "dynamisches Lernen" durchzuführen, um die Dynamik eines Systems abzuschätzen. Ein "Dynamic Learning" -Agent kann Aktionen auswählen, die ihm beim Schätzen der …
4
Deterministischer SAT-Löser
Ich habe die folgende Frage. Sind die SAT-Löser deterministisch? Ich meine zum Beispiel den miniSAT- und DPLL- Algorithmus. Sind sie völlig deterministisch? Wenn diese Algorithmen unSAT zurückgeben, bedeutet dies, dass die Lösung sicherlich nicht existiert?
1
Was bedeutet "Monotonie" im Kontext der Veränderlichkeit?
Ich lese die Programmiersprache The Rust und habe folgende Passage gefunden: Denken Sie daran, dass das Schreiben in eine Struktur keine atomare Operation ist und viele Funktionen wie vec.push()z. B. intern neu zugewiesen werden können und unsicheres Verhalten verursachen können, sodass selbst Monotonie möglicherweise nicht ausreicht, um dies zu rechtfertigen …
1
Gibt es ein NP-vollständiges Problem, so dass die Entscheidungsversion des Zählproblems nicht PP-vollständig ist?
Sobald wir einen polynomialzeitdeterministischen Prüfer V (Eingabe, Zertifikat) festgelegt haben, ist das entsprechende NP-Problem die Frage: Existiert für diese Eingabe ein Zertifikat (Polynomgröße), sodass V (Eingabe, Zertifikat) True zurückgibt? Das damit verbundene Zählproblem (Klasse #P) ist: Wie viele Zertifikate sind vorhanden, sodass V (Eingabe, Zertifikat) True zurückgibt? #P ist keine …
1
Wie kann die Kardinalität einer Menge und disjunkter Partitionen minimiert werden, die Einschränkungen in der Polynomzeit unterliegen?
Das eigentliche Problem, mit dem ich konfrontiert bin, ist das Folgende. INSTANZ : Ich habe Mengen und und Matrix für alle und .K : = { 1 , … , k } a i j > 0 i ∈ K j ∈ N.N:={1,…,n}N:={1,…,n}N:=\{1,\ldots,n\}K:={1,…,k}K:={1,…,k}K:=\{1,\ldots,k\}aij>0aij>0a_{ij}>0i∈Ki∈Ki\in Kj∈Nj∈Nj\in N FRAGE : Ich muss eine …
2
Domänentheorie und Polymorphismus
Die Domänentheorie liefert eine erstaunliche Theorie der Berechenbarkeit bei Vorhandensein einfacher Typen. Aber wenn parametrischer Polymorphismus hinzugefügt wird, scheint es keine schöne Theorie zu geben, die erklärt, was ganz so gut vor sich geht, wie die Domänentheorie die Berechnung über einfache Typen erklärt. Sicher würde ich nicht erwarten, dass so …
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.