Ich habe über die Unterschiede zwischen Serialisierbarkeit und Linearisierbarkeit gelesen , die beide Konsistenzkriterien für replizierte Systeme wie replizierte Datenbanken sind. Ich weiß jedoch nicht, in welchen Fällen Linearisierbarkeit erforderlich wäre, obwohl sie stärker ist als...
Lassen Sie die Sprache L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* regelmäßig. Eine Faktorisierung von LL\mathcal{L} ist ein maximales Paar (X,Y)(X,Y)(X,Y) von Wortmengen mit X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , wobei X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy |...
Gibt es eine natürliche oder bemerkenswerte Möglichkeit, mathematische Gruppen und formale CS- Sprachen oder ein anderes zentrales CS-Konzept, z. B. Turing-Maschinen , in Beziehung zu setzen oder zu verknüpfen ? Ich suche Referenzen / Bewerbungen. Beachten Sie jedoch, dass mir die Verbindung...
Ich versuche zu verstehen, was unter "deterministisch" in Ausdrücken wie "deterministische kontextfreie Grammatik" zu verstehen ist. (Es gibt eher deterministische "Dinge" in diesem Bereich). Ich würde ein Beispiel mehr schätzen als die ausführlichste Erklärung! Wenn möglich. Meine Hauptverwirrung...
Verwenden des folgenden rekursiven Fibonacci-Algorithmus: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Wenn ich die Zahl 5 eingebe, um fib (5) zu finden, weiß ich, dass dies 5 ausgibt, aber wie überprüfe ich die Komplexität dieses Algorithmus? Wie berechne ich die...
Was ist die Komplexität von MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} und MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Sind sie in P? Sind sie NP-hart? Um dies genauer zu formalisieren, lassen Sie Φ ( x ) = ∧nichC.ich,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, wobei x...
Ich suche einen effizienten Algorithmus für das folgende Problem oder einen Beweis für die NP-Härte. Sei ΣΣ\Sigma eine Menge und A ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) eine Menge von Teilmengen von ΣΣ\Sigma . Finden einer Sequenz w ∈ & Sigma; *w∈Σ∗w\in \Sigma^* der geringsten Länge , so...
Ich habe den Wikipedia-Eintrag zu Kolmogorov Complexity gelesen ( dank dieser Frage ), in dem es heißt: Es kann gezeigt werden, dass die Kolmogorov-Komplexität eines Strings nicht mehr als ein paar Bytes größer sein kann als die Länge des Strings. Warum brauchst du jemals mehr als die Zeichenkette...
Funktionale Programmierung hat den sehr eleganten Lambda-Kalkül und seine Varianten als Backup-Theorie. Gibt es so etwas für OOP? Was ist eine Abstraktion für das objektorientierte
Definieren Sie die Sprache als . Mit anderen Worten enthält die Wörter, die nicht als ein Wort ausgedrückt werden können, das zweimal wiederholt wird. Ist kontextfrei oder nicht?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLL Ich habe versucht, mit...
Ich hätte gerne ein Beispiel für ein Quin in reinem Lambda-Kalkül . Ich war ziemlich überrascht, dass ich durch googeln keinen finden konnte. Die Quine-Seite listet Quines für viele "echte" Sprachen auf, jedoch nicht für die Lambda-Rechnung. Dies bedeutet natürlich, zu definieren, was ich mit einem...
Es ist allgemein bekannt, dass "Korrelation nicht gleich Kausalität ist", aber maschinelles Lernen scheint fast ausschließlich auf Korrelation zu beruhen. Ich arbeite an einem System, um die Leistung von Schülern auf der Grundlage ihrer bisherigen Leistungen zu schätzen. Im Gegensatz zu anderen...
Ich habe in Wikipedia und einigen anderen Texten gelesen, dass Das Problem des Anhaltens ist für [...] linear begrenzte Automaten (LBAs) und deterministische Maschinen mit endlichem Speicher [...] entscheidbar . Aber früher steht geschrieben, dass das Halteproblem ein unentscheidbares Problem ist...
Apropois zu Raffaels Vorschlag zum Schnittpunkt zweier NPDAs : Sei und NPDA für die kontextfreien Sprachen bzw. . Unter der Annahme, dass wir wissen, dass kontextfrei ist, können wir NPDA für (effektiv) konstruieren ?EIN1EIN1A_1EIN2EIN2A_2L1L1L_1L2L2L_2L = L1∩ L2L=L1∩L2L = L_1 \cap L_2EINEINALLL...
Ich frage mich über die Beziehung zwischen der Komplexität der Berechnungen und der Chomsky-Hierarchie im Allgemeinen. Insbesondere, wenn ich weiß, dass ein Problem NP-vollständig ist, folgt daraus, dass die Sprache dieses Problems nicht kontextfrei ist? Zum Beispiel ist das Cliquenproblem...
Die Wikipedia-Seite über Multiplikationsalgorithmen erwähnt eine interessante von Donald Knuth . Im Grunde geht es darum, die Fourier-Transformationsmultiplikation mit einer vorberechneten Tabelle von Multiplikationen logarithmischer Größe zu kombinieren. Es läuft in linearer Zeit. Der Artikel...
Ich dachte, diese Frage wird im CS-Teil von Stack Exchange besser beantwortet. Haben die Multimedia-SIMD-Erweiterungen (SSE / AVX / NEON) nach GPGPUs mit Sprachen wie CUDA und OpenCL noch einen Zweck? Ich habe kürzlich einen Artikel darüber gelesen, wie SSE-Anweisungen verwendet werden können, um...
Wenn ein Interrupt auftritt, gibt der Prozessor den aktuellen Prozess vor und ruft den Kernel-Code auf, um den Interrupt zu behandeln. Woher weiß der Prozessor, wo er den Kernel eingeben muss? Ich verstehe, dass es Interrupt-Handler gibt, die für jede Interrupt-Leitung installiert werden können. Da...
Einige Hypervisoren optimieren die Speichernutzung mit einer Methode, die als Ballooning bezeichnet wird (zumindest nennt KVM das so). Diese Methode dedupliziert den Speicher zwischen VMs und setzt gemeinsame Seiten auf schreibgeschützt, wobei beim Schreiben kopiert wird. Dies ist das Gegenteil...
Ich habe neulich auf dieser Website herumgespielt : http://regexcrossword.com/, und ich habe mich gefragt, wie ich es am besten lösen kann. Können Sie das folgende Problem in Polynomzeit lösen oder ist es NP-schwer? Suchen Sie bei einem NxM-Raster mit N regulären Ausdrücken für die Spalten und M...