Um die Frage zu formulieren, wollen wir in der Informatik häufig das Produkt mehrerer Wahrscheinlichkeiten berechnen: P(A,B,C) = P(A) * P(B) * P(C) Am einfachsten ist es, diese Zahlen einfach zu multiplizieren, und genau das wollte ich tun. Mein Chef sagte jedoch, es sei besser, das Protokoll der...
Titel gibt die Frage an. Wir haben als Eingaben eine Liste von Elementen, die wir vergleichen können (bestimmen, welches das größte ist ). Kein Element kann gleich sein. Wichtige Punkte: Der Vergleich ist nicht transitiv (denken Sie an eine Steinpapierschere): Dies kann wahr sein: A> B, B> C,...
Ich verstehe die Idee, dass das Entscheidungsproblem definiert ist als Gibt es einen Pfad P, bei dem die Kosten niedriger als C sind? und Sie können leicht überprüfen, ob dies der Fall ist, indem Sie einen Pfad überprüfen, den Sie erhalten. Was ist jedoch, wenn es keinen Pfad gibt, der diesen...
Wie sieht es aus, wenn Maschinencode tatsächlich von Hardware und CPU ausgeführt wird? Würde es wie binär aussehen, wenn Anweisungen durch Einsen und Nullen dargestellt werden, oder bestünde es aus hexadezimalen Ziffern, bei denen Opcodes Bytes sind, die als Hexadezimalzahlen dargestellt werden und...
Quellalphabet:{ a , b , c , d, e , f}{ein,b,c,d,e,f}\{a, b, c, d, e, f\} Code-Alphabet:{ 0 , 1 }{0,1}\{0, 1\} a : 0101ein:0101a\colon 0101 b : 1001b:1001b\colon 1001 c : 10c:10c\colon 10 d: 000d:000d\colon 000 e : 11e:11e\colon 11 f: 100f:100f\colon 100 Ich dachte, dass ein Code, um eindeutig...
Laut Immerman ist die mit SQL- Abfragen verbundene Komplexitätsklasse genau die Klasse der sicheren Abfragen in (Abfragen erster Ordnung plus ): SQL erfasst sichere Abfragen. (Mit anderen Worten, alle SQL-Abfragen haben eine Komplexität in , und alle Probleme in können als SQL-Abfrage ausgedrückt...
Es gibt viele Möglichkeiten, die Kolmogorov-Komplexität zu definieren , und normalerweise sind alle diese Definitionen bis zu einer additiven Konstante äquivalent. Das heißt , wenn und Kolmogorov Komplexität Funktionen (definiert über verschiedene Sprachen oder Modelle) sind, dann gibt es eine...
Betrachten Sie Entscheidungsprobleme, die in einer „vernünftigen“ formalen Sprache angegeben sind. Sagen wir, Formeln in Peano-Arithmetik höherer Ordnung mit einer freien Variablen als Bezugsrahmen, aber ich interessiere mich auch für andere Berechnungsmodelle: diophantische Gleichungen,...
Betrachten Sie unbeschriftete, verwurzelte Binärbäume. Wir können solche Bäume komprimieren : wenn es Zeiger auf Teilbäume TTT und mit (interpretieren T = T ' =T′T′T'T=T′T=T′T = T'=== als strukturelle Gleichheit), speichern wir (oBdA) TTT und ersetzen Sie alle Verweise auf T′T′T' mit Zeigern auf...
Der GSAT-Algorithmus ist größtenteils unkompliziert: Sie erhalten eine Formel in konjunktiver Normalform und spiegeln die Literale der Klauseln, bis Sie eine Lösung finden, die der Formel entspricht, oder Sie die Grenze max_tries / max_flips erreichen und keine Lösung finden. Ich implementiere den...
Ich möchte benutzerdefinierte domänenspezifische Sprachen analysieren. Diese Sprachen ähneln normalerweise mathematischen Notationen (ich analysiere keine natürliche Sprache). Benutzer definieren ihr DSL in einer BNF-Notation wie folgt: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr...
Ich frage mich, ob die massiv parallelen Recheneinheiten, die heutzutage in Grafikkarten zur Verfügung stehen (eine , die zum Beispiel in OpenCL programmierbar ist ), gut genug sind, um 1D-Zellularautomaten (oder vielleicht 2D-Zellularautomaten?) Effizient zu simulieren. Wenn wir ein endliches...
In Bezug auf das Quantentoffoli- Tor : ist es klassisch universell und wenn ja, warum? ist es quantenuniversal und warum?
Um eine Nachricht zu verschlüsseln mit einem one-time-pad Schlüssel tun Sie .m1m1m_1kkkEn c ( m1, k ) = m1⊕ kEnc(m1,k)=m1⊕kEnc(m_1,k) = m_1 \oplus k Wenn Sie dasselbe , um eine andere Nachricht zu verschlüsseln, erhalten Sie , und wenn Sie Xoder der beiden Chiffretexte ausführen, erhalten Sie...
Es ist nicht ungewöhnlich, dass Studenten ihre Doktorarbeit mit nur begrenztem Hintergrund in Mathematik und den formalen Aspekten der Informatik beginnen. Offensichtlich wird es für solche Studenten sehr schwierig sein, theoretische Informatiker zu werden, aber es wäre gut, wenn sie es verstehen...
Bei einem markierten Übergangssystem ist eine Menge von Zuständen, eine Menge von Markierungen und eine ternäre Beziehung. Schreiben Sie wie üblich für . Der markierte Übergang dass das System im Zustand Zustand mit label \ alpha in q ändert , was bedeutet, dass \ alpha eine beobachtbare Aktion...
Ich habe eine Aufgabe, bei der ich einen binären Suchbaum verwenden und ihn so ändern muss, dass sich die Elemente, auf die am häufigsten zugegriffen wird (mit höherer Priorität), am oberen Rand des Baums befinden. Dabei ist der Stamm der Knoten, auf den am häufigsten zugegriffen wird . Der...
Dies ist ein Rätsel zur Messung der Netzwerklatenz, das ich erstellt habe. Ich glaube, die Lösung ist, dass es unmöglich ist, aber Freunde nicht einverstanden sind. Ich suche so oder so nach überzeugenden Erklärungen. (Obwohl es sich um ein Puzzle handelt, passt es meiner Meinung nach auf diese...
Sei eine endliche Menge von Zeichen fester Größe. Sei α eine Zeichenkette über Σ . Wir sagen, dass ein nicht leerer Teilstring β von α eine Wiederholung ist, wenn β = γ γ für einen String γ ist .ΣΣ\Sigmaαα\alphaΣΣ\Sigmaββ\betaαα\alphaβ=γγβ=γγ\beta = \gamma \gammaγγ\gamma Nun ist meine Frage, ob das...
Ich lerne die automatische Theoremprüfung / SMT-Löser / Proof-Assistenten selbst und stelle hier eine Reihe von Fragen zum Prozess . Welches sind die relevanten automatisierten Theorembeweiser? Ich fand eine Übersicht über Theorem Provers Ist das noch aktuell? Welche sind noch sehr aktiv, dh welche...