Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

3
Einfacher Beweis für die NP-Vollständigkeit des Edge Dominating Set
In einem Diagramm ist eine kantendominierende Menge eine Teilmenge D der Kanten, sodass sich jede Kante im Diagramm entweder in D befindet oder einen Endpunkt mit einer Kante in D teilt. Das Problem der minimalen kantendominierenden Menge besteht darin, eine kantendominierende Menge zu finden der minimalen Kardinalität. Die Entscheidungsversion dieses …
2
Sortieren einer Liste von Zeichenfolgen in lexikografischer Reihenfolge der sortierten Zeichenfolgen
Sei eine Sammlung von Zeichenfolgen über dem Alphabet , die insgesamt Symbole enthalten .EINAA{ 0 , … , m - 1 }{0,…,m−1}\{0,\ldots,m-1\}nnn Ihre Aufgabe ist es, jede der Zeichenfolgen intern zu sortieren und dann die resultierenden Zeichenfolgen in lexikografischer Reihenfolge zu sortieren. (Ihr Algorithmus muss nicht so funktionieren.) Beispiel: Eingabe: …
1
Baumbreite von kxk quadratischen Gittergraphen
Nach einigen Folien I in Google gefunden, die Baumweite jedes Graph quadratischen Gitter ist . Ich habe gerade angefangen, über Baumbreite und Baumzersetzung zu recherchieren, und zum größten Teil macht es Sinn. Ich interessiere mich jedoch besonders für den Fall des Quadratgittergraphen, habe mich jedoch darum bemüht, wie es möglich …
1
Warum lehnen wir Turingmaschinen ab, die weniger Platz als das Protokoll der Länge der Eingabe benötigen?
In Computational Complexity: Modern Approach von Arora und Barak wird dies erwähnt Wir benötigen jedoch da das Arbeitsband die Länge , und wir möchten, dass sich die Maschine zumindest den Index der Zelle des aktuell gelesenen Eingabebandes merken kann.S.( n ) > lognS(n)>log⁡nS(n)> \log nnnn Was bedeutet das genau ? …
1
Nach dem gestrigen StackOverflow-Ausfall - ist der Abgleich regulärer Ausdrücke wirklich schwierig oder ist die Implementierung einfach ineffizient?
Gestern war StackOverflow eine halbe Stunde lang nicht verfügbar. Später schrieben sie einen Blog-Beitrag darüber , in dem sie ausführlich darlegten, dass das Problem auf eine unerwartet hohe Komplexität des Abgleichs regulärer Ausdrücke zurückzuführen sei. Kurz gesagt, der reguläre Ausdruck a+bwird beim Ausführen der Zeichenfolge aaaaaaaaaaaaaacin der Zeit wobei die …
1
Maschinelles Lernen: Identifizieren von Mustern in Zeitreihendaten
Ich arbeite in erneuerbaren Energien. Mein Unternehmen sammelt viele Daten von Geräten. Dies umfasst typischerweise Prozessdaten (wie Transformatortemperatur, Netzspannungen, Ströme usw.) und diskrete Alarme (z. B. Leistungsschalterauslösung, Wechselrichteralarmwerte, Transformatorübertemperaturalarm). Dies ist ein grobes Beispiel dafür, wie unsere Daten aussehen (als CSV-Zeilen zu lesen): Zeitstempel, Tag, Wert 25.05.2016 14:30:01, INVERTER_1.VOLTAGE_DC, 249.5 …
2
Einschränkungen generieren, um abhängig typisierte Metavariablen zu lösen?
Bei abhängigen Typen wird die Miller-Mustervereinigung verwendet, um ein entscheidbares Fragment einer Vereinigung höherer Ordnung zu lösen. Dadurch können abhängig typisierte Sprachen Metavariablen oder implizite Argumente enthalten. Es gibt viele Artikel, die beschreiben, wie man angesichts eines Vereinigungsproblems im Musterfragment eine Lösung findet, wenn es eine gibt. Beispiele sind (Gundry-McBride) …
1
Gibt es Probleme, die beim Quantencomputing exponentielle Zeit erfordern?
Gibt es angesichts der Tatsache, dass die QBits Überlagerungen haben und im Vergleich zu Schaltkreisen eine höhere Repräsentationskraft haben, Probleme, die mindestens eine exponentielle Zeit erfordern, um eine Lösung mit einem Quantencomputer zu gewährleisten? Ich habe den Complexity Zoo überprüft und konnte dort keine Komplexitätsklasse finden, die dieser Beschreibung entspricht.
1
Algorithmen für zufällige geometrische Graphen
Ein zufälliger geometrischer Graph ( https://en.wikipedia.org/wiki/Random_geometric_graph ) wird erstellt, indem Punkte in \ mathbb {R} ^ d zufällig gemäß einer bestimmten Verteilung ausgewählt und p_i \ sim p_j if \ | p_i gesetzt werden - p_j \ | <r , für einige Parameter r . Geometrische Graphen sind bei der …
3
Unterschiede zwischen Programmiermodell und Programmierparadigma?
Welche Beziehung und welchen Unterschied besteht zwischen einem Programmiermodell und einem Programmierparadigma? (insbesondere wenn es um das Programmiermodell und das Programmierparadigma für eine Programmiersprache geht.) Wikipedia versucht meine Frage in 1 zu beantworten: Programmierparadigmen können auch mit Programmiermodellen verglichen werden , die Abstraktionen von Computersystemen sind. Beispielsweise ist das "von …
2
Was bedeutet ein Spaziergang vor, nach und in der Reihenfolge für einen Baum?
Die in diesem Wikipedia-Artikel erläuterten Baumdurchquerungsmethoden sind Vorbestellung, Nachbestellung und In-Reihenfolge. Sind diese Methoden auf Binärbäume beschränkt? Der Algorithmus scheint als linkes und rechtes Kind definiert zu sein. Wenn es für n-ary Bäume verwendet werden kann, wie? Ein n-ary Baum hat 1 Elternteil und n Kinder an einem bestimmten Knoten. …
1
Konsensproblem verteilter Systeme
Ich habe gerade zum ersten Mal über verteilte Systeme gelesen. Es gibt einen ziemlich guten Beweis für die Unmöglichkeit eines Konsenses in einem asynchronen Modell unter Verwendung einer kombinatorischen Topologie. Andererseits gibt es in praktischen Systemen mehrere Konsensprotokolle, die verteilte Zustandsmaschinen wie Paxos und Raft synchronisieren. Der Schlüssel zu diesem …
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.