Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Bipartite Graphen neu einfärben
Bei einem zweigeteilten Graphen bei dem jeder Scheitelpunkt entweder rot oder blau gefärbt ist, versuche ich, die Anzahl der blauen Scheitelpunkte mit der folgenden Operation zu minimieren:G=(A,B,E)G=(A,B,E)G = (A,B,E) Wählen Sie einen Scheitelpunkt in A.vavav_aAAA die Farben von , was bedeutet, dass und jeder Nachbar von die Farbe ändern.v a …



2
Was genau ist symbolische Modellprüfung?
Ich weiß, dass die symbolische Modellprüfung eine Zustandsraumdurchquerung ist, die auf Darstellungen von Zustandssätzen und Übergangsbeziehungen als Formeln wie in CTL unter Verwendung von Modellen wie dem Kripke-Modell basiert. Ich kenne die Theorie. Aber ich finde es schwierig, die tatsächliche Anwendung zu verstehen. Wo genau wird es verwendet? Was genau …

1
Gilt die Church-Turing-These auch für künstliche Intelligenz?
Nach Church-Turings These ist es unmöglich, einen Algorithmus zu entwerfen, um das Stoppproblem zu entscheiden. Umfasst der Wortalgorithmus in diesem Zusammenhang künstliche Intelligenz oder nicht, dh gilt die Church-Turing-These auch für künstliche Intelligenz? Ist es möglich, in Zukunft ein Nachrichtensystem zu entwerfen, um dieses Problem zu entscheiden, oder wird nach …


1
Parallel dazu eine maximale unabhängige Menge finden
In einem Graphen wir den folgenden Prozess aus:G(V,E)G(V,E)G(V,E) Anfangs sind alle Knoten in ungefärbt.VVV Während es in ungefärbte Knoten gibt, führt jeder ungefärbte Knoten Folgendes aus: VVV Wählt eine zufällige reelle Zahl aus und sendet sie an alle Nachbarn. Vergleicht seine Nummer mit der Anzahl seiner Nachbarn; Wenn seine eigene …

1
Erstellen größerer kontrollierter Nots aus einzelnen Qubit-, Toffoli- und CNOT-Gates ohne Arbeitsbereich
Übung 4.29 aus Quantenberechnung und Quanteninformation von Nielsen und Chuang hat mich verblüfft. Suchen Sie eine Schaltung mit Toffoli-, CNOT- und Einzel-Qubit-Gattern, die ein -Gatter (für ) ohne Arbeits-Qubits implementiert .O ( n2)Ö(n2)O(n^2)C.n( X.)C.n(X.)C^n(X)n > 3n>3n > 3 Ich habe herausgefunden, dass dies nicht klassisch möglich ist . Ich habe …




5
Was sind die praktischen Anwendungen von Ontologien?
Ich habe viele Artikel und Bücher über Ontologien gelesen und versuche herauszufinden, wie sie in einem echten Projekt verwendet werden. Wie kann beispielsweise die Ontologie eines Fußballspieler-Roboters definiert und mit einer kognitiven Architektur verwendet werden, um ihn intelligent zu machen? Sind Ontologien Beziehungen zwischen Begriffen in diesem Wissensbereich (zum Beispiel …

2
Analyse des durchschnittlichen Fallalgorithmus unter Verwendung der Kolmogorov-Inkompressibilitätsmethode
Die Inkomprimierbarkeitsmethode soll die Analyse von Algorithmen für den Durchschnittsfall vereinfachen. Soweit ich weiß, müssen nicht alle möglichen Eingabekombinationen für diesen Algorithmus berechnet und dann eine durchschnittliche Komplexität abgeleitet werden. Stattdessen wird eine einzelne inkompressible Zeichenfolge als Eingabe verwendet. Da eine inkompressible Zeichenfolge typisch ist, können wir davon ausgehen, dass …

3
Ist
Angenommen, ist ein entscheidbares Entscheidungsproblem.ΠΠ\Pi Does implizieren ist -Hard?Π∉NPΠ∉N.P.\Pi\not \in NPΠΠ\PiNPN.P.NP Bearbeiten: Wenn wir annehmen, dass , sind wir fertig. Können wir die Behauptung ohne unbekannte Annahmen widerlegen?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP


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.