Ich habe vor kurzem meinen Masterkurs begonnen. Letztes Semester habe ich Kurse aus verschiedenen Disziplinen wie Netzwerke, Softwareentwicklung, Architektur usw. besucht. Vor kurzem habe ich nach einem fortgeschrittenen Kurs in Algorithmen und Datenstrukturen einen Kurs gefunden, der mich am...
Was ist der Unterschied, wenn man Kalkül eine Algebra anstelle eines Kalküls nennt ? Ich stelle diese Frage, weil ich irgendwo die Zeile " λ- Kalkül ist kein Kalkül, sondern eine Algebra" gelesen habe (iirc, Dana Scott zugeschrieben). Was ist der Sinn? Vielen
EDIT (von Tara B): Ich wäre immer noch an einem Hinweis auf einen Beweis dafür interessiert , da ich ihn selbst für meine eigene Arbeit beweisen musste. Ich suche nach dem Beweis von Satz 4, der in diesem Artikel erscheint: Eine unendliche Hierarchie von Schnittpunkten kontextfreier Sprachen von...
Ich arbeite in einem rechnergestützten neurowissenschaftlichen Labor, das die gegenseitige Information zwischen Paaren oder Gruppen von Neuronen quantifiziert. Vor kurzem verlagerte der Chef seinen Fokus auf die Messung der "Komplexität der neuronalen Dynamik". Bei der Verfolgung dieser...
Das 3-Clique-Partitionsproblem ist das Problem der Bestimmung, ob die Eckpunkte eines Graphen, beispielsweise , in 3 Cliquen aufgeteilt werden können. Dieses Problem ist NP-hart durch eine einfache Reduzierung des 3-Färbbarkeitsproblems. Es ist nicht schwer zu erkennen, dass die Antwort auf dieses...
Ich bin mit dem Gradientenabstiegsalgorithmus vertraut, der das lokale Minimum (Maximum) einer bestimmten Funktion ermitteln kann. Gibt es eine Modifikation des Gradientenabfalls, die es ermöglicht, ein absolutes Minimum (Maximum) zu finden, bei dem die Funktion mehrere lokale Extrema hat? Gibt es...
Ich suche nach einer allgemeinen Technik, die mir helfen kann, nicht nur zu beweisen, dass Buchi-Automaten ein aussagekräftigeres Modell als LTL sind, sondern dass die spezifische Formel in LTL ausgedrückt werden kann / nicht. Zum Beispiel kann " tritt zumindest an geraden Positionen auf" durch die...
Dana Angluin ( 1987 ; pdf ) definiert ein Lernmodell mit Mitgliedschaftsabfragen und theoretischen Abfragen (Gegenbeispiele zu einer vorgeschlagenen Funktion). Sie zeigt, dass eine reguläre Sprache, die durch einen minimalen DFA von Zuständen dargestellt wird, in Polynomzeit (wobei die...
Es sei eine echte ( ) -Matrix mit der Eigenschaft, dass jede Sammlung von Spalten den vollen Rang hat.k×nk×nk\times nk≤nk≤nk\le nAA{\bf A}kkk F: Gibt es eine effiziente Möglichkeit, einen Vektor deterministisch zu finden, sodass die erweiterte Matrix dieselbe Eigenschaft wie : Alle Spalten haben...
Ich lese Harrow, Hassidim und Lloyd's Artikel Quantenalgorithmen für lineare Gleichungssysteme . Auf der dritten Seite dieses Papiers schreiben sie Als nächstes wenden wir die bedingte Hamiltonsche Evolution on | Ψ 0 ⟩ C & xotime ; | b ⟩ ...∑T.- 1τ= 0| τ⟩ ⟨ & Tgr;|C.⊗ ei A τtÖ/...
Ein direkter Produktsatz besagt informell, dass das Berechnen von Instanzen einer Funktion f schwieriger ist als das einmalige Berechnen von f .kkkffffff Typische direkte Produktsätze (z. B. Yaos XOR-Lemma) betrachten die Komplexität im Durchschnitt und argumentieren (sehr grob), dass fff nicht...
Ist es bei einer endlichen Menge von Quantentoren (im Sinne) entscheidbar, ob eine universelle ist ? Einerseits sind "fast alle" Torsätze universell, andererseits sind nicht universelle Torsätze immer noch nicht gut verstanden (insbesondere ist natürlich nicht bekannt, ob jeder nicht universelle...
Wir bekommen eine Matroid. Unser Ziel ist es, eine Reihe von Elementen mit minimaler Größe zu finden, die einen nicht leeren Schnittpunkt mit jeder Basis der Matroid haben. Wird das Problem schon einmal untersucht? Ist es in P? Zum Beispiel sollte in einer Spanning Tree Matroid der minimale...
In der Arbeit "Integer-Programmierung mit einer festen Anzahl von Variablen" wurde gezeigt, dass Integer-Programmierungen mit einer konstanten Anzahl von Einschränkungen (oder Variablen) polynomiell lösbar sind. Gilt dies für die
Antwort: nicht bekannt Vielen Dank an alle, die dazu beigetragen haben, diese Frage und die damit verbundenen Definitionen zu verfeinern. Die Definitionen dieses Wikis bildeten den Ausgangspunkt für das neuere TCS-Wiki " Enthält P Sprachen, deren Existenz unabhängig von PA oder ZFC ist?...
Nach dem Buch Topological Graph Theory von Gross und Tucker wird bei einer zellulären Einbettung eines Graphen auf einer Oberfläche (mit 'Oberfläche' meine ich hier eine Kugel mit einigen Griffen, und unter bezieht sich auf die Kugel mit genau Griffe) kann ein dualer Multigraph definiert werden,...
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Betrachten Sie nun Schaltungsfamilien mit Orakeltoren - beispielsweise ABABA^B , wobei AAA eine Schaltungskomplexitätsklasse ist, die einen Lograum mit Orakelzugriff auf eine andere Klasse BBB über an die Basis von A angehängte Orakeltore enthält AAA. Gibt...
Gegeben ist ein Quantenzustand , der gleichmäßig zufällig aus einer Menge von N gemischten Zuständen ρ 1 ausgewählt wird . . . ρ N , wie hoch ist die maximale durchschnittliche Wahrscheinlichkeit, A korrekt zu identifizieren ?ρAρA\rho_ANNNρ1...ρNρ1...ρN\rho_1 ... \rho_NAAA Dieses Problem kann in...
Wie können wir bei einem Diagramm mit gewichteten Kanten einen negativen Zyklus finden, der mindestens einen Scheitelpunkt in einer bestimmten Scheitelpunktmenge ? Vielen Dank.{V1,V2,…,Vk}{V1,V2,…,Vk}\{V_1, V_2, \ldots,
Betrachten Sie Wertesätze (dargestellt als sortierte Arrays ohne Duplikate und mit einer bekannten Größe (dh die Größe kann in O (1) erhalten werden). Die Werte können in O (1) -Zeit auf Gleichheit getestet werden. Ich möchte um den Satz von Werten zu erhalten, die in mindestens k verschiedenen...