Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Beweisen Sie die NP-Vollständigkeit der Entscheidung über die Erfüllbarkeit der monotonen Booleschen Formel
Ich versuche, dieses Problem zu lösen, und ich kämpfe wirklich. Eine monotone Boolesche Formel ist eine Formel in der Aussagenlogik, in der alle Literale positiv sind. Beispielsweise, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) ist eine monotone Boolesche Funktion. Auf der anderen Seite …
2
Linearer Zeitmarkierungsalgorithmus für einen Baum?
Ich habe einen ungerichteten Baum, dessen Eckpunkte ich beschriften möchte. Die Blattknoten sollten mit einem gekennzeichnet sein. Dann nehmen wir an, die Blätter wurden entfernt. In dem verbleibenden Baum sollten die Blätter mit zwei gekennzeichnet sein. Dieser Vorgang wird auf offensichtliche Weise fortgesetzt, bis alle Scheitelpunkte eine Beschriftung haben. Der …
12 algorithms  trees 
4
Ändert sich die Komplexität stark NP-harter oder -vollständiger Probleme, wenn ihre Eingabe unärkodiert ist?
Ändert sich die Schwierigkeit eines stark NP-harten oder NP-vollständigen Problems (wie hier definiert ), wenn seine Eingabe unär anstatt binär codiert ist? Welchen Unterschied macht es, wenn die Eingabe eines stark NP-harten Problems unärkodiert ist? Ich meine, wenn ich zum Beispiel das schwach NP-vollständige Knapsack-Problem nehme, ist es NP-vollständig, wenn …
3
Die Bedeutung von Normalformen wie der Chomsky-Normalform für CFGs
Ich verstehe, dass kontextfreie Grammatiken verwendet werden können, um kontextfreie Sprachen darzustellen. Es kann Mehrdeutigkeiten geben. Wir haben auch Normalformen wie Chomsky und Greibach Normalform. Ich konnte das nicht verstehen. Warum sind sie in der Sprachtheorie wichtig? Alle Lehrbücher, auf die ich mich bezog, erzählten von diesen normalen Formen, sagten …
4
Maschinelles Lernen vs. Systemidentifikation?
Kann mir jemand die Unterschiede und Ähnlichkeiten zwischen maschinellem Lernen und Systemidentifikationen erklären? Sind das nur zwei Namen der gleichen Sache? Auf dieser Seite heißt es: Communitys für maschinelles Lernen und Systemidentifizierung stehen vor ähnlichen Problemen, wenn ein Modell aus begrenzten oder verrauschten Beobachtungen erstellt werden muss. Ich habe auch …
5
Fehler in meinem NP = CoNP Proof?
Ich habe diesen sehr einfachen "Beweis" für NP = CoNP und ich glaube, ich habe irgendwo etwas falsch gemacht, aber ich kann nicht finden, was falsch ist. Kann mir jemand weiterhelfen? Sei A ein Problem in NP und sei M der Entscheider für A. Sei B das Komplement, dh B …
2
Kacheln eines orthogonalen Polygons mit Quadraten
Bei einem orthogonalen Polygon (ein Polygon, dessen Seiten parallel zu den Achsen sind) möchte ich die kleinste Menge von innen nicht zusammenhängenden Quadraten finden, deren Vereinigung gleich dem Polygon ist. Ich fand mehrere Hinweise auf leicht unterschiedliche Probleme, wie zum Beispiel: Bedecken eines orthogonalen Polygons mit Quadraten - ähnlich wie …
2
Wenn
Sagen Sie, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Wie können wir dann beweisen, dassL∗L∗L^* regelmäßig ist? Wenn LLL regulär ist, dann ist natürlich auch L∗L∗L^* regulär. Wenn LLL endlich ist, dann ist es regulär und wieder ist L∗L∗L^* regulär. Ich habe auch bemerkt , dass für L={0p∣p is a prime}L={0p∣p is a …
7
Ist
Wenn regulär ist, folgt daraus, dass regulär ist?A 2A2A^2EINAA Mein Beweisversuch: Ja, für den Widerspruch wird angenommen, dass nicht regulär ist. Dann .A AAA 2 = A ⋅ AA2=A⋅AA^2 = A \cdot A Da die Verkettung von zwei nicht regulären Sprachen nicht regulär ist, kann nicht regulär sein. Dies widerspricht …
2
Unendliche Kette von großen
Lassen Sie mich zunächst die Definition von Big schreiben , um die Dinge deutlich zu machen.OOO f(n)∈O(g(n))⟺∃c,n0>0f(n)∈O(g(n))⟺∃c,n0>0f(n)\in O(g(n))\iff \exists c, n_0\gt 0 so dass0≤f(n)≤cg(n),∀n≥n00≤f(n)≤cg(n),∀n≥n00\le f(n)\le cg(n), \forall n\ge n_0 Lassen Sie uns sagen , dass wir eine endliche Anzahl von Funktionen: satisftying:f1,f2,…fnf1,f2,…fnf_1,f_2,\dots f_n O(f1)⊆O(f2)⋯⊆O(fn)O(f1)⊆O(f2)⋯⊆O(fn)O(f_1)\subseteq O(f_2)\dots \subseteq O(f_n) Durch die Transitivität …
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.