Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Welche dieser beiden Sequenzen ist zufällig und welche nicht?
Wir lassen α=α1α2α3…α=α1α2α3…\alpha = \alpha_1\alpha_2\alpha_3\ldots sei eine unendliche Zufallsfolge (unter dem einheitlichen Maß) wo αiαi\alpha_i könnte sein 111 oder 000und definieren Sie dann die Boolesche Funktion BkBkB_k:: Bk(α1…αk)={1 if at least ⌈k/2⌉ of its inputs are 10 otherwiseBk(α1…αk)={1 if at least ⌈k/2⌉ of its inputs are 10 otherwise B_k(\alpha_1\ldots\alpha_k) = …
1
Maximale Submatrixsumme
Angenommen n × mn×mn\times m Matrix EINEINAFinden Sie aus ganzen Zahlen eine Untermatrix, deren Summe maximal ist. Wenn nur eine Zeile oder nur eine Spalte vorhanden ist, entspricht dies dem Auffinden eines maximalen Unterarrays . Die 1D-Version kann durch dynamische Programmierung in linearer Zeit gelöst werden. Die 2D-Version kann in …
1
Sagt die Spektralgraphentheorie etwas über den Graphisomorphismus aus?
Gibt es Forschung oder gibt es Ergebnisse, die den Graphisomorphismus im Kontext der Spektralgraphentheorie diskutieren? Zwei bekannte Theoreme der Spektralgraphentheorie sind: Zwei Graphen werden als Isospektral oder Cospektral bezeichnet, wenn die Adjazenzmatrizen der Graphen gleiche Mehrfachmengen von Eigenwerten aufweisen. Fast alle Bäume sind cospektral. Die Eigenwerte der Adjazenzmatrix eines Graphen …
1
Ideen für eine CS-bezogene Herausforderung für Teams von Schülern?
Ich helfe bei der Gestaltung einer CS-bezogenen Aktivität für einen Let's Talk Science- Wettbewerb, der MINT bei Schülern fördert. Während des Wettbewerbs werden Teams von sechs Schülern von Station zu Station wechseln und versuchen, jede so schnell wie möglich abzuschließen. Eine Station könnte dem Team einen Messstab geben und sie …
7 education 
2
Können wir alle Computerprogramme als Grafiken darstellen?
Ich habe neulich nachgedacht, und mir ist aufgefallen, dass Computerprogramme alle als Diagramm (z. B. ein abstrakter Syntaxbaum) oder, sobald gemeinsame Ausdrücke kombiniert sind, als abstraktes Syntaxdiagramm darstellbar zu sein scheinen. Mir ist aufgefallen, dass vielleicht jedes Computerprogramm als eines dieser Diagramme + Bewertungssemantik dargestellt werden kann. Ich bin neugierig, …
3
Was ist falsch an diesem scheinbaren Widerspruch zu einem Artikel über die UND-Komprimierung von SAT?
Ich habe eine einfache Konstruktion bekommen, die scheinbar einem Papier widerspricht, das plausible Vermutungen annimmt. Was ist falsch an dem Argument, da es unwahrscheinlich ist, dass die Vermutung falsch ist? Aus einem Papier Eine UND-Komprimierung ist ein deterministischer Polynom-Zeit-Algorithmus, der eine Reihe von SAT-Instanzen abbildet x1,…,xtx1,…,xtx_1,\dots,x_t zu einer einzelnen SAT-Instanz …
5
Können wir quantifizieren, wie nahe ein teilweise korrektes Programm an der Richtigkeit liegt?
Ich weiß, dass es etwas gibt, das als teilweise Korrektheit bezeichnet wird, aber ich habe mich gefragt, ob es eine Möglichkeit gibt, festzustellen, wie nahe ein halbkorrektes Programm an einem vollständig korrekten Programm liegt. Wenn Sie beispielsweise ein Sortierprogramm hätten, das ein Array fast vollständig sortiert, könnten Sie dann mithilfe …
2
Generieren einer Reihe von Zeichenfolgen mit minimaler Länge, die zusammen jede Produktion einer kontextfreien Sprache aufrufen
Problem (tl; dr) Wenn eine kontextfreie Grammatik , finden Sie eine Reihe von Zeichenfolgen, die mindestens einmal durch jede Produktion führen.GGGGGG Wie und wie schnell geht das? Hintergrund Ich arbeite an einem Compiler, dessen Parser mit einem ähnlichen Tool wie Yacc + Antlr implementiert ist. Ich habe den größten Teil …
1
Was bedeutet es, wenn die Sequenz eines Zufallszahlengenerators nur eindimensional gleichverteilt ist?
Beim Lesen von Xorshift bin ich auf Folgendes gestoßen (Hervorhebungen hinzugefügt): Der folgende xorshift + Generator hat stattdessen 128 Statusbits, eine maximale Periode von 2 ^ 128 - 1 und besteht BigCrush: [snip code] Dieser Generator ist einer der schnellsten Generatoren, die BigCrush passieren. aber es ist nur 1-dimensional gleichmäßig …
1
Frage zu Threads und Sperren
Ich lese gerade Fuss, Futexes und Furwocks: Fast Userland Locking unter Linux und bin auf dieses Zitat gestoßen : In einem fairen Schließschema wird die Sperre in der Reihenfolge gewährt, in der sie angefordert wurde. Dies kann sich aufgrund der erhöhten Anzahl von Kontextwechseln negativ auf den Durchsatz auswirken. Gleichzeitig …
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.