Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Stabilität für Paare im stabilen Matching-Problem
Im Problem der stabilen Übereinstimmung wird angegeben, dass es Fälle geben kann, in denen die Liste der Männer mit ihren Entscheidungen zufrieden sein kann, die Liste der f jedoch nicht, wenn der Algorithmus mit den Vorschlägen der Männer ausgeführt wird.mmmfff Nach dem, was ich gelesen habe, tritt eine instabile Übereinstimmung …
1
Algorithmus zur Übersetzung eines deterministischen Büchi-Automaten in LTL (wenn möglich)
Lineare zeitliche Logik und deterministische Büchi-Automaten sind unvergleichlich: DBA kann nicht ausdrücken , und LTL kann nicht ausdrücken, dass "mindestens jeder ungerade Buchstabe 'a' ist" . Manchmal ist es jedoch interessant zu wissen, ob die Sprache eines DBA in LTL ausgedrückt werden kann.FGaFGaFGa Ich benötige einen Algorithmus, der entscheidet, ob …
1
Analyse und Referenzen für Koch-Schneeflocken-ähnliche (und andere exotische) Netzwerktopologien
Bei Computernetzwerken und beim Entwurf von Hochleistungsclustercomputern bezieht sich die Netzwerktopologie auf den Entwurf der Art und Weise, wie Knoten durch Verbindungen verbunden werden, um ein Kommunikationsnetzwerk zu bilden. Zu den gängigen Netzwerktopologien gehören Netz, Torus, Ring, Stern, Baum usw. Diese Topologien können analytisch untersucht werden, um Eigenschaften in Bezug …
3
Algorithmus zum Testen, ob ein Binärbaum ein Suchbaum ist, und zum Zählen vollständiger Zweige
Ich muss einen rekursiven Algorithmus erstellen, um zu sehen, ob ein Binärbaum ein binärer Suchbaum ist, und um zu zählen, wie viele vollständige Zweige vorhanden sind (ein übergeordneter Knoten mit sowohl linken als auch rechten untergeordneten Knoten) mit einer angenommenen globalen Zählvariablen. Dies ist eine Zuordnung für meine Datenstrukturklasse. Soweit …
1
Warum sind P und P / Poly nicht trivial gleich?
Die Definition von P ist eine Sprache, die durch einen Polynomzeitalgorithmus bestimmt werden kann. Unter der Definition von P / Poly kann eine Sprache verstanden werden, die von einer Schaltung mit Polynomgröße bestimmt werden kann (siehe http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Warum kann eine polynomgroße Schaltung nicht in Polynomzeit simuliert werden?
3
Intuition hinter Eigenwerten einer Adjazenzmatrix
Ich arbeite derzeit daran, die Verwendung der Cheeger-Bindung und der Cheeger-Ungleichung sowie deren Verwendung für die spektrale Aufteilung, Leitfähigkeit, Expansion usw. zu verstehen , aber ich habe immer noch Schwierigkeiten, eine Intuition bezüglich des zweiten Eigenwerts der Adjazenzmatrix zu entwickeln. Normalerweise sind in der Graphentheorie die meisten Konzepte, auf die …
4
Eine Sprache in NSPACE (O (n)) und sehr wahrscheinlich nicht in DSPACE (O (n))
Tatsächlich habe ich festgestellt, dass die Menge der kontextsensitiven Sprachen ( akzeptierte Sprachen) nicht so häufig diskutiert wird wie (reguläre Sprachen). oder (kontextfreie Sprachen). Und auch das offene Problem ist nicht so berühmt wie das "analoge" Problem: " ".CSLCSL\mathbf{CSL}=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA}REGREG\mathbf{REG}CFLCFL\mathbf{CFL}DSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))}P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP} Gibt es wirklich eine solche …
5
Gibt es eine bekannte Methode zum Erstellen einer Grammatik bei einer endlichen Menge endlicher Zeichenfolgen?
Aus meiner Lektüre geht hervor, dass es bei den meisten Grammatiken darum geht, eine unendliche Anzahl von Zeichenfolgen zu erzeugen. Was ist, wenn Sie umgekehrt gearbeitet haben? Wenn n Zeichenfolgen mit einer Länge von m angegeben werden, sollte es möglich sein, eine Grammatik zu erstellen, die diese Zeichenfolgen und nur …
1
Warum sind Vergleiche auf einer GPU so teuer?
Bei dem Versuch, die Leistung meiner Kollisionserkennungsklasse zu verbessern, stellte ich fest, dass ~ 80% der Zeit, die an der GPU verbracht wurde, für if / else-Bedingungen aufgewendet wurde, nur um die Grenzen für die Eimer herauszufinden, die sie durchlaufen sollte. Etwas präziser: Jeder Thread erhält eine ID, mit dieser …
1
Zeitkomplexitätsnachweis für die Segmentbaumimplementierung des Bereichsummenproblems
Ich verstehe, dass Segmentbäume verwendet werden können, um die Summe der Unterarrays von . Und dass dies in Zeit gemäß dem Tutorial hier geschehen kann .EINEINAO (logn )Ö(Log⁡n)\mathcal{O}(\log n) Ich kann jedoch nicht beweisen, dass die Abfragezeit tatsächlich . Dieser Link (und viele andere) besagen, dass wir beweisen können, dass …
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.