Ich habe Probleme zu verstehen, warum es einfach ist, Zyklen mit negativem Gewicht zu erkennen (Bellman Ford), aber es ist schwierig, den maximalen Gewichtszyklus in einem ungerichteten Diagramm zu finden. Wenn wir das Gewicht jeder Kante negieren, können wir leicht feststellen, ob es Zyklen mit...
Ich bin ein junger Informatiker und werde gebeten, eine Arbeit zu schreiben, die eine ganzzahlige Faktorisierung beinhaltet. Daher muss ich mich mit Shors Algorithmus auf Quantencomputern befassen. Für die anderen Algorithmen konnte ich spezifische Gleichungen finden, um die Anzahl der Anweisungen...
Im Anschluss an vonbrands Antwort möchte ich ein kleines Dokument über stärkere Master-Theoreme für unsere Schüler schreiben, von denen eines das Akra-Bazzi-Theorem ist. Ich habe den Satz aus ihrer Arbeit [1] kopiert und - neben einer kleinen Notationsverwirrung² - das folgende Problem...
Ein YouTube - Video war ich gerade erklärte die Unterschiede zwischen Imperativen und Funktionale Programmierung durch den Nachweis , wie die Zahlen aus 1zu 10jeweils in Java und in Haskell aufsummiert. In Java müssen Sie jeden Schritt explizit angeben und das Ergebnis jedes Schritts einer...
Ich habe lange versucht, eine Konstruktion zu finden, damit ich formal nachweisen kann, dass ein deterministischer PDA unter Ergänzung geschlossen ist. Es kommt jedoch vor, dass jede Idee, die ich habe, etwas hat, das am Ende nicht passt. Könnten Sie mir helfen? Das Hauptproblem tritt bei den...
Kürzlich lese ich Artikel über Dichotomie . Ich verstehe nicht, welche Bedingung als Dichotomie bezeichnet werden kann ? Was bedeutet "eine Frage ist entweder in P oder in NP - vollständig "? (nehme P ≠≠\neq NP an ) Ich kenne zum Beispiel den Schäfer-Dichotomie-Satz, in dem eine Dichotomie darüber...
Ich lerne etwas über asymptotische Analysen und habe einige exotisch aussehende Komplexitäten gesehen, die zwischen anderen gemeinsamen leben. Zum Beispiel liegt "log log n" streng zwischen 1 und log n. Ich frage mich, ob man immer Komplexitäten zwischen zwei anderen finden kann. Speziell für alle...
Gibt es eine einfach typisierte kombinatorische Logik, da es einen untypisierten Lambda-Kalkül und einen einfach typisierten Lambda-Kalkül gibt (wie zum Beispiel in Benjamin Pierces Buch Types and Programming Languages beschrieben)? Zum Beispiel scheinen natürliche Typen für die Kombinatoren S, K...
Hier ist eine vielleicht naive Frage, die mich gereizt hat: Gibt es eine asymptotische Untergrenze, um willkürlich großen Speicher zufällig anzusprechen? Mein Grund für die Annahme ist, dass der kürzeste Weg zu einem physisch gespeicherten Speicher durch den dreidimensionalen Raum führen muss und...
Wir wissen, dass P = NP NP = coNP impliziert. Gilt die umgekehrte Implikation? Bedeutet NP gleich coNP, dass P gleich NP ist? Wenn nicht, warum nicht? Ich habe gegoogelt, aber keine Antwort
Während ich studiert habe, ist die Entscheidung über die Regelmäßigkeit kontextfreier Sprachen unentscheidbar. Wir können jedoch die Regelmäßigkeit mit dem Myhill-Nerode-Theorem testen, das eine notwendige und ausreichende Bedingung liefert. Das Problem sollte also entscheidbar sein. Wo ist mein...
Angenommen, ich möchte eine unimodale Funktion optimieren, die in einem realen Intervall definiert ist. Ich kann den bekannten Algorithmus verwenden, wie er in Wikipedia unter dem Namen ternäre Suche beschrieben ist . Im Falle des Algorithmus , dass Intervalle wiederholt zu halbieren, ist es üblich...
Ich verstehe, dass die 3-Opt-Heuristik zur Lösung des Problems des Handlungsreisenden darin besteht, drei Kanten aus einem Diagramm zu entfernen und drei weitere hinzuzufügen, um die Tour erneut abzuschließen. Ich habe jedoch viele Artikel gesehen, in denen erwähnt wird, dass es beim Entfernen von...
Vor kurzem habe ich mich mit einem Problem befasst, das mich zu folgenden Fragen geführt hat: Gibt es einen guten Algorithmus, um alle maximalen / perfekten Übereinstimmungen in einem allgemeinen Diagramm aufzulisten? Gibt es einen guten Algorithmus, um alle maximalen / perfekten Übereinstimmungen...
Sei , wobei a 0 = ϵ und a n = a n - 1 a für alle n ≥ 1 sind .L = { an∣ n ≥ 0 }L={an∣n≥0}L = \{a^n \mid n \ge 0\}ein0= ϵa0=ϵa^0 = \epsiloneinn= an - 1einan=an−1aa^n = a^{n-1}an ≥ 1n≥1n \ge 1 Somit besteht aus Sequenzen a aller Längen, einschließlich einer Sequenz der Länge 0 . Lassen L 2 sein , jede...
Sei eine DAG. Wir wissen, dass einige Knoten in G "schlecht" sind, während die anderen "gut" sind; Ein Nachkomme eines schlechten Knotens ist schlecht, während die Vorfahren eines guten Knotens gut sind. Wir wissen auch, dass fehlerhafte Knoten ein eindeutiges minimales Element enthaltenGGGGGG das...
In regelmäßigen Abständen stoße ich auf Sätze wie "Winograds Variante [20] dieses Algorithmus, dessen asymptotische Komplexität ebenfalls ist, wird berücksichtigt" (von https://www.cise.ufl.edu/~sahni/papers/strassen.pdf )O ( n2.81)Ö(n2.81)O(n^{2.81}) Ich verstehe intuitiv, wie wir zu Komplexitäten...
Ich habe den Vierfarbensatz gelesen und frage mich, ob es eine praktische Anwendung gibt. (Ich denke nicht, dass die Aufteilung der Karte in vier verschiedene Farben als Anwendung angesehen werden kann.) Ich habe versucht, nach Anwendungen zu googeln, konnte aber keine
In der reinen Lambda-Rechnung haben wir die induktiv definierte Menge von Begriffen (die Grammatik): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Im Rahmen der Call-by-Value-Bewertungsstrategie haben wir die Inferenzregeln für die Beta-Reduktion und Regeln für die Bewertung...
1) Gibt es einen besseren Algorithmus als das naive O (| E |. | V |), um die Anzahl der Nachkommen jedes Scheitelpunkts in einer DAG zu berechnen? 2) Gibt es einen Online-Algorithmus, der davon ausgeht, dass Knoten einzeln hinzugefügt werden und eine Verbindung zu einer nicht leeren Teilmenge der...