Computerwissenschaften

7
Variationen von Omega und Omega unendlich

Einige Autoren definieren auf eine etwas andere Weise: Verwenden für diese alternative Definition (lesen Sie „Omega Infinity“). Wir sagen, dass wenn es eine positive Konstante so dass für unendlich viele ganze Zahlen , während das übliche erfordert, dass dies für alle ganzen Zahlen gilt, die größer...

7
?

Es ist klar, dass jede Sprache in in \ mathsf {2EXP} = \ mathsf {DTime} (2 ^ {2 ^ {\ mathsf {poly} (n) berechnet werden kann. }}) .EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}}2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}) Meine Frage ist, ob das...

7
Teambildung in dreiteiliger Grafik

Die Regierung will ein Team mit einem Alchemisten , einem Baumeister und einem Informatiker bilden . Für eine gute Zusammenarbeit ist es wichtig, dass sich die 3 Teammitglieder mögen. Deshalb versammelt sich die Regierung kkkKandidaten für jeden Beruf und erstellt ihre "Gefällt mir" -Diagramme....

7
Konvexe Polygonformulierung

Wir haben eine sortierte Liste von Seitenlängen, die zur Bildung eines Polygons verwendet werden können. Es gibt solche Werte ( ).nnnn ≤ 1000n≤1000n \le 1000 Jetzt müssen wir herausfinden, ob wir 10 dieser Werte verwenden können, um ein nicht entartetes konvexes Polygon zu bilden. Wie gehen wir das...

7
Unterschiede zwischen grundlegenden, komplexen und terminologischen Fakten in einer Wissensdatenbank unter Verwendung der Logik erster Ordnung

Ich habe das ausgezeichnete Buch Knowledge Representation and Reasoning von Ronald Brachman und Hector Levesque gelesen . Am Anfang von Abschnitt 3.2 "Wortschatz" von Kapitel 3 "Wissen ausdrücken" heißt es: Beim Erstellen einer KB (Knowledge Base) empfiehlt es sich, mit den domänenabhängigen...

7
Automat für den Teilstring-Abgleich

Gegeben als String über einig Alphabet, was ist der beste bekannte Algorithmus einen entsprechenden deterministischen endlichen Automaten (DFA) , die ein beliebige Zeichenfolge akzeptiert zu berechnen, enthält ?ssssss Ich bin hauptsächlich an der geringsten zeitlichen Komplexität interessiert. Wenn...

7
Theoretische Grundlagen robuster und verteilter Dienste

Ich habe die Vorstellung eines sozialen Netzwerks, das robust gegen böswillige Angriffe von außen ist. Meine Vision ist ein System, das strukturell als verteiltes Netzwerk gleicher Server aufgebaut ist, die mit denselben Daten arbeiten und die gleichen Dienste anbieten. Benutzer sollten alle im...

7
Maschinen in P unentscheidbar?

Bei einer Turing-Maschine sagen wir, dass wenn die von der Maschine festgelegte Sprache von einer Maschine in Polynomzeit bestimmt werden kann. Wir sagen, dass wenn die Maschine in Polynomzeit läuft. Beachten Sie, dass es Maschinen geben kann, die unnötig lange laufen, aber dennoch eine Sprache in...