Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Hohe Mathematik für die Spieltheorie
Ich bin ein beginnender Ph.D. Ich studiere Informatik und versuche, einige klassische spieltheoretische Arbeiten zu verstehen, wie die von Nash, Kalai und Smorodinsky. Aber ich finde es schwierig, die mathematischen Teile zu verstehen. Es scheint, dass diese Artikel von Mathematikern für Mathematiker geschrieben wurden. Können Sie Menschen ohne umfassenden mathematischen …
2
Einfacher Algorithmus zur Kanonisierung von Graphen
Ich suche nach einem Algorithmus, der eine kanonische Zeichenfolge für ein bestimmtes farbiges Diagramm bereitstellt . Dh. Ein Algorithmus, der eine Zeichenfolge für ein Diagramm zurückgibt, sodass zwei Diagramme genau dann dieselbe Zeichenfolge erhalten, wenn sie isomorph sind. Insbesondere suche ich nach einem einfachen Algorithmus, der mit einer angemessenen Leistung …
3
Aufrechterhaltung einer effizienten Bestellung, bei der Sie Elemente „zwischen“ zwei anderen Elementen in die Bestellung einfügen können?
Stellen Sie sich vor, ich habe eine Bestellung für eine Reihe von Elementen wie folgt: Wo ein Pfeil bedeutet . Es ist auch transitiv: .X.← Y.X←YX \leftarrow Y( X &lt; Y ) ∧ ( Y &lt; Z )X.&lt; YX&lt;YX < Y( X.&lt; Y) ∧ ( Y.&lt; Z)⟹( X.&lt; Z)(X&lt;Y)∧(Y&lt;Z)⟹(X&lt;Z)\left(X < …
2
MST: Prims Algorithmuskomplexität, warum nicht
Laut CLRS sind die Algorithmen des Prim wie folgt implementiert: MST-PRIM(G,w,r)MST-PRIM(G,w,r)\mathtt{\text{MST-PRIM}}(G,w,r) für jedes tunu∈V[G]u∈V[G]u \in V[G] Taste [ u ] ← ∞Schlüssel[u]]←∞\mathtt{\text{key}}[u] \leftarrow \infty π[ u ] ← NILπ[u]]←NULL\pi[u] \leftarrow \mathtt{\text{NIL}} Taste [ r ] ← 0Schlüssel[r]]←0\mathtt{\text{key}}[r] \leftarrow 0 Q ← V.[ G ]Q.←V.[G]]Q \leftarrow V[G] während Q &amp; ne; …
3
Wie kann man einen
Bei einem sortierten Array von Ganzzahlen möchte ich die Anzahl der Paare ermitteln, die sich zu summieren . Wenn beispielsweise { - 3 , - 2 , 0 , 2 , 3 , 4 } gegeben ist , beträgt die Anzahl der Paarsummen 2 .000{−3,−2,0,2,3,4}{−3,−2,0,2,3,4}\{-3,-2,0,2,3,4\}222 Sei die Anzahl der Elemente …
1
Ist das Universumsproblem für Ein-Zähler-Automaten mit eingeschränkter Alphabetgröße unentscheidbar?
Betrachten Sie das folgende Universumsproblem . Das Universumsproblem. Entscheiden Sie bei einer endlichen Menge für eine Sprachklasse und einem Automaten, der die Sprache akzeptiert , ob .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* In [1] wird angegeben und bewiesen, dass das Universumsproblem für eine bestimmte Klasse von Ein-Zähler-Automaten unentscheidbar ist. Dieses Ergebnis folgt dann für die …
1
NEXP = Σ
Ist bekannt, ob die Implikation gilt?NEXP=Σ2⟹NEXP=MANEXP=Σ2⟹NEXP=MA\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} (Die Frage ist inspiriert von dem bekannten )NEXP⊆P/poly⇔NEXP=MANEXP⊆P/poly⇔NEXP=MA\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}
2
Bitte erläutern Sie "Entscheidbarkeit" und "Überprüfbarkeit".
Ich versuche (intuitiv) die beiden Begriffe "Entscheidbarkeit" und "Überprüfbarkeit" zu verstehen. Ich habe die verschiedenen Texte, die ich in die Hände bekommen kann, angemessen durchsucht und durchgesehen. Ihr intuitives Verständnis scheint mir jedoch zu entgehen, besonders für das zweite. Von den vielen gefundenen Definitionen hat mir die folgende auf dieser …
1
Finden Sie heraus, welche Scheitelpunkte aus dem Diagramm gelöscht werden sollen, um die kleinste größte Komponente zu erhalten
Wenn ein Graph G=(V,E)G=(V,E)G = (V, E) , finden Sie kkk Eckpunkte {v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} , deren Entfernung zu einem Graph mit der kleinsten größten Komponente führen würde. Ich nehme für große n=|V|n=|V|n = |V|und groß kkk das Problem schwierig (NP-hart), aber ich interessiere mich für kleine Werte von kkk ( k∈{1,2,3,4}k∈{1,2,3,4}k …
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.