Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Gibt es einen effizienten Algorithmus, um festzustellen, ob ein Graph einen nicht trivialen Automorphismus aufweist oder nicht?
Ich arbeite an einem Problem im Zusammenhang mit lateinischen Quadraten und möchte eine Methode für das, was im Wesentlichen auf das Entscheidungsproblem hinausläuft: Eingabe : Ein endlicher, einfacher Graph G. Ausgabe : YESWenn G NOansonsten einen nicht trivialen Automorphismus hat . Daher... Frage : Gibt es einen effizienten Algorithmus, um …
2
Finden Sie eine optimale Bestellung
Ich bin auf dieses Problem gestoßen und habe Mühe, einen Weg zu finden, um es anzugehen. Irgendwelche Gedanken wären sehr dankbar! Angenommen, wir erhalten eine Matrix {−1,0,1}n × k{−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k} , zum Beispiel ⎡⎣⎢⎢⎢⎢⎢⎢1−10−11001−101010000010−11−11−1⎤⎦⎥⎥⎥⎥⎥⎥[1010−1−100010110−1−1−10111000−1]\begin{bmatrix} 1 & 0 & 1 & 0 & -1 \\ -1 …
2
Gibt es "O (1) -vollständige" Probleme?
Viele Komplexitätsklassen haben "vollständige" Probleme. Gibt es vollständige Probleme für die Komplexitätsklasse von Problemen, die in -Zeit gelöst werden können ?O(1)O(1)O(1) Eine Komplikation ist, dass diese Klasse vom Rechenmodell abhängt; Ein Problem kann in -Zeit in einem vernünftigen Berechnungsmodell lösbar sein, in einem anderen jedoch nicht, da "vernünftig" typischerweise eine …
1
Kann ein Typensystem als Proofassistent für Fremdfunktionen dienen?
Vorausgesetzt, dass: Eine Sprache mit sehr ausdrucksstarken Typsystemen (z. B. Idris ) kann auch Escape-Mechanismen wie Fremdfunktionsschnittstellen / unsafePerformIO aufweisen. Es gibt Proof-Assistenten, mit denen einige Eigenschaften eines Programms bewiesen werden können, das in einer Sprache geschrieben ist, die kein Typsystem hat, das diese Eigenschaften ausdrücken kann. Die Curry-Howard-Korrespondenz zeigt, …
2
Inseln zählen in Booleschen Matrizen
Bei einer n×mn×mn \times m Booleschen Matrix XX\mathrm X sollen 000 Einträge das Meer und 111 Einträge das Land darstellen. Definieren Sie eine Insel als vertikal oder horizontal (aber nicht diagonal) neben 111 Einträgen. Die ursprüngliche Frage war, die Anzahl der Inseln in einer bestimmten Matrix zu zählen. Der Autor …
2
Wie ist der aktuelle Status von parallelen oder gleichzeitigen Programmen im Curry-Howard-Isomorphismus?
In Girards Beweisen und Typen können wir lesen: Aus algorithmischer Sicht weist der sequentielle Kalkül keinen Curry-Howard-Isomorphismus auf, da es eine Vielzahl von Möglichkeiten gibt, denselben Beweis zu schreiben. Dies hindert uns daran, es als typisierten Kalkül zu verwenden, obwohl wir eine tiefe Struktur dieser Art sehen, die wahrscheinlich mit …
2
Externe Konsistenz vs. Linearisierbarkeit
In Spanner, TrueTime & The CAP Theorem schreibt Eric Brewer: Eine subtile Sache bei Spanner ist, dass es Serialisierbarkeit durch Sperren erhält, aber externe Konsistenz (ähnlich wie Linearisierbarkeit ) durch TrueTime [ Hervorhebung hinzugefügt ]. Was ist die Definition der externen Konsistenz und wie unterscheidet sie sich von der Linearisierbarkeit …
1
Wie kann ws mit | w | = | s | und w ≠ s kontextfrei sein, während w # s nicht ist?
Warum macht (wenn ja) der Separator ##\# einen Unterschied zwischen den beiden Sprachen? Nehmen wir mal an: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L.#= { w # s : | w | = | s |w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Hier ist ein …
1
Wie man
Ich sehe viele algorithmische Probleme, die die Zeilen von: Sie haben ein ganzzahliges Array , Sie müssen so finden, dass in Zeit maximiert wird.h[1..n]≥0h[1..n]≥0h[1..n]\geq 0i,ji,ji,j(h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i)O(n)O(n)O(n) Offensichtlich besteht die -Zeitlösung darin, alle Paare zu berücksichtigen. Gibt es jedoch eine Möglichkeit, den Ausdruck in zu maximieren, ohne etwas anderes über die Eigenschaften …
2
Gibt es eine andere Lösung für das Problem "Dangling else" als "Match Nearest"?
Die folgende kontextfreie Grammatik zeigt eine Mehrdeutigkeit vom Typ "Dangling else" (stellen Sie sich vor, steht für und b steht für und c steht für eine andere Art von Anweisung oder Block): S.einaaif expr thenbbbelseccc Zum Beispiel kannaacbcals(a(acbc))oder als(a(ac)bc)analysiert werden(dies ist das einfachste / kürzeste mehrdeutige Wort für diese Grammatik).S.→ …
1
Was ist ein Superuniversum?
Ich lese diesen bekannten Artikel über Universen in der Typentheorie . Zuerst habe ich etwas Ähnliches wie Setωin Agda erwartet , aber es stellt sich heraus, dass es noch etwas allgemeineres ist. Es scheint die Universumskonstruktion von einem einfachen induktiv-rekursiven Typ auf ein Bindemittel (ähnlich wie und Σ ) zu …
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.