Computerwissenschaften

3

Betrachten Sie das folgende Problem. Wenn eine Menge von ganzen Zahlen gegeben ist, entscheiden eine Funktion und , ob es so dass .S.SSf: Z → Z.f:Z→Zf : \mathbb{Z} \to \mathbb{Z}k ∈ Z.k∈Zk \in \mathbb{Z}X.⊆ S.X⊆SX \subseteq Sf(∑x ∈ X.x ) = kf(∑x∈Xx)=kf\left(\sum_{x\in X}x\right)=k Wird dies immer noch als Teilmengenproblem betrachtet …

7 complexity-theory

3

Wie können Lösungen einer diophantinischen Gleichung als Sprache ausgedrückt werden?

Mir wurde die Frage gestellt Wo passt die folgende Sprache in die Chomsky-Hierarchie? Nichtnegative Lösungen zur diophantinischen Gleichung .(x,y)(x,y)(x,y)3 x - y= 13x−y=13x-y=1 Ich verstehe Sprachen wie , aber diese Sprache verwirrt mich. Wie sehen die Wörter in der Sprache aus? Wie könnte ich es mit einer Grammatik oder einem …

7 formal-languages computability

1

reduzieren reduzieren und verschieben reduzieren Fehler in der LALR-Grammatik

Ich muss eine Grammatik für Pascal schreiben, und es gibt nur eine Sache, die Probleme verursacht. Nehmen wir an, wir haben Operatoren (sortiert nach Priorität von niedrig nach hoch): Postfix^ . Präfix^ . [ ], und ., (gleiche Priorität und linker Assoziativ). Das einzige Terminal idist ein Kleinbuchstabe. Nehmen wir …

7 programming-languages parsers formal-grammars

2

Befinden sich zwei Elemente immer in einer Beziehung innerhalb einer teilweise geordneten Menge?

Kann ich in einem teilweise geordneten Satz immer zwei beliebige Elemente aus dem Satz bestellen? Oder ist es möglich, dass zwei Elemente innerhalb der Menge keine Ordnungsbeziehung zueinander haben? Wenn zum Beispiel drei Elemente und und , muss dann entweder oder gelten?{a,b,c}{a,b,c}\{a, b, c\}a≤ba≤ba \leq ba≤ca≤ca \leq cb≤cb≤cb \leq cc≤bc≤bc …

7 terminology discrete-mathematics order-theory

2

Problem beim Vergleichen von Klassifizierern für die Mustererkennung

Ich habe einen Klassifikator M entworfen, der Gesten erkennt und sie immer einer beliebigen Kategorie zuordnet. Eine Geste wird basierend auf dem Hamming-Abstand zwischen der Abtastzeitreihe y und der Trainingszeitreihe x klassifiziert. Das Ergebnis des Klassifikators sind Wahrscheinlichkeitswerte. Es gibt 3 Klassen / Kategorien mit den Bezeichnungen A, B, C, …

7 machine-learning pattern-recognition

1

Wie konvertiere ich eine nicht einbettende kontextfreie Grammatik in eine reguläre Grammatik?

Bitte beachten Sie, dass mir die Unentscheidbarkeit der Umwandlung von kontextfreier Grammatik in reguläre Grammatik bekannt ist. Aber gibt es angesichts der nicht einbettenden Eigenschaft der kontextfreien Eingabegrammatik einen Algorithmus, um sie direkt in reguläre Grammatik oder DFA umzuwandeln?

7 formal-languages formal-grammars context-free

1

Finden Sie alle speziellen Diagramme, die auf das Diagramm mit den kürzesten Pfaden reduziert werden können

Ich habe einen gerichteten gewichteten Graphen . Es gibt immer eine Kante von einem Scheitelpunkt zu einem anderen j , das Gewicht w (i, j) könnte positiv unendlich sein, und es gibt keinen negativen Zyklus.G=(V,E,W)G=(V,E,W)G = (V, E, W)iiijjjw(i,j)w(i,j)w(i,j) Bei einer Ausführung einiger Algorithmen werden die Längen (summierten Gewichte) der …

7 algorithms graph-theory

1

Konvertieren einer kontextfreien Grammatik in einen PDA - ist meine Lösung korrekt?

Ich überprüfe meine Halbzeit und wollte dies posten, um zu sehen, ob jemand Fehler erkennen kann. Ich soll einen PDA machen, der diese CFG erkennt: SR→R1R1R1→0R∣1R∣εS→R1R1R1R→0R∣1R∣ε\qquad\begin{align} S &\to R1R1R1 \\ R &\to 0R \mid 1R \mid \varepsilon \end{align} Hier ist meine Lösung; Mir ist bewusst, dass ich vergessen habe, den …

7 formal-languages automata context-free pushdown-automata

4

Schleifeninvariante für einen Algorithmus

Ich habe den folgenden Pseudocode für das Problem der Summe der Paare entwickelt: Geben Sie bei einem Array von ganzen Zahlen und einer ganzen Zahl YES zurück, wenn es in Positionen mit , andernfalls NEIN.AAAbbbi,ji,ji,jAAAA[i]+A[j]=bA[i]+A[j]=bA[i] + A[j] = b Jetzt sollte ich eine Schleifeninvariante angeben, die zeigt, dass mein Algorithmus …

7 algorithms proof-techniques loop-invariants

1

Analyse von Lastausgleichsschemata zur Minimierung der Gesamtausführungszeit

Angenommen, eine bestimmte parallele Anwendung verwendet ein Master-Slave-Design, um eine große Anzahl von Workloads zu verarbeiten. Jeder Workload dauert einige Zyklen. Die Anzahl der Zyklen, die eine bestimmte Arbeitslast benötigt, wird durch eine bekannte Zufallsvariable . Angenommen, es gibt solche Workloads und äquivalente Slaves (Verarbeitungsknoten). Natürlich befasst sich eine allgemeinere …

7 scheduling distributed-systems parallel-computing

2

Gibt es für jede berechenbare Funktion eine äquivalente Rechenschaltung?

Gibt es für jede berechenbare Funktion eine äquivalente Rechenschaltung? Ich habe versucht, mich mit der obigen Aussage zu beschäftigen, aber kein Gegenbeispiel gefunden, obwohl ich glaube, dass die Aussage falsch ist. Was mich neugierig gemacht hat, ist, dass ich einige Theoreme gelesen habe, die besagen, dass ein Protokoll (Kryptographieprotokolltheorie) jede …

6 computability computation-models cryptography circuits simulation

1

Wo finde ich Informationen zu Datenstrukturen, die in gängiger Software verwendet werden?

Im Rahmen eines Kurses, den ich über Datenstrukturen unterrichte, möchte ich, dass die Schüler die Verwendung von Datenstrukturen in gängigen Software / Diensten erforschen und präsentieren. Grundlegendes Googeln zeigt mir jedoch, dass diese Informationen nicht so leicht verfügbar sind. Kann mich jemand auf die richtigen Ressourcen hinweisen, die ich als …

6 data-structures reference-request applied-theory

1

Ein Online-Algorithmus zum Auffinden der Pareto-Grenzelemente

Ich suche nach einem Online-Algorithmus, der einen Strom von Elementen aufnimmt und die Elemente an der Pareto-Grenze beibehält (z. B. alle nicht dominierten Elemente). Zum Beispiel. Angesichts der folgenden Eingaben würde sich der beibehaltene Pareto-Grenzsatz wie folgt entwickeln: (3,7) Element einfügen b / c es ist das erste Element Pareto-Set …

6 algorithms search-algorithms

1

Effiziente Methode zur Berechnung der maximalen Krümmung eines kubischen Splines

Ich habe einen kubischen 2D- Spline (Bézier) und ich habe die Polygonlinie, die eine Diskretisierung dieses Splines darstellt. Gibt es eine effiziente und einfache Möglichkeit, die maximale Krümmung des Splines entweder anhand seiner glatten Darstellung oder der diskreten Polylinie zu berechnen ? Es muss nicht genau sein, da es sich …

6 algorithms numerical-algorithms

2

Wenn warum ist dann die Multiplikation schwieriger als die Addition?

Jemand sagte mir, dass die Funktion eingeführt wurde, um die Berechnung zu vereinfachen. Wenn wir berechnen müssen , können wir stattdessen berechnen , da . Wie kann dies die Berechnung erleichtern? Vielleicht aus mathematischer Sicht, aber was ist mit der Sicht eines Informatikers?loglog\logxyxyxylogx+logylog⁡x+log⁡y\log x+\log ylogxy=logx+logylog⁡xy=log⁡x+log⁡y\log xy=\log x+\log y Wenn es …

6 algorithms complexity-theory reference-request education