Das Schneid-Lemma (auch bekannt als Zellzerlegungs-Lemma) besagt, dass es bei Linien in der Ebene möglich ist, es für jede 1 ≤ r ≤ n in O ( r 2 ) -Regionen (sogar Dreiecke) zu unterteilen, so dass das Innere jeder Region geschnitten wird durch O ( n / r ) Linien. Weitere Informationen finden Sie...
Die Idee eines MST mit eingeschränktem Durchmesser besteht darin, dass Sie alle Scheitelpunkte miteinander verbunden halten und einen bestimmten Abstand voneinander einhalten. Aber alle Papiere, die ich gesehen habe, halten die Anforderung aufrecht, dass Sie einen Baum produzieren, wenn das...
Erfolgreiche Autodidaktmusiker, Maler, Autoren und Architekten sind zwar sehr häufig anzutreffen, aber ich kenne keine berühmten Autodidakten auf dem Gebiet der TCS. Gibt es Beispiele für einen versierten autodidaktischen theoretischen Informatiker (dh jemanden, der eine bedeutende Arbeit...
Ich wurde von einem Studenten wie folgt gefragt und konnte keine vollständige Antwort finden: Gibt es Schließungseigenschaften für die Klasse von Sprachen, die nicht kontextfrei sind? Es ist ziemlich einfach, Beispiele zu finden, die zeigen, dass es nicht unter Schnittmenge und Iteration...
Angenommen, es gibt N>2N.>2N>2 Parteien pjpjp_j mit jeweils einem Bit . Ich möchte die Multiplikation der Anzahl von Einsen mit der von Nullen berechnen, dh . R = ( ∑ b j ) × ( N - ∑ b j )bj∈{0,1}bj∈{0,1}}b_j\in{\{0,1\}}R=(∑bj)×(N−∑bj)R.=(∑bj)×(N.- -∑bj)R=(\sum{b_j})\times(N-\sum{b_j}) Die...
Dies ist eine Neufassung einer anderen meiner jüngsten Fragen [1], die nicht gut formuliert wurde (sie hatte eine halb offensichtliche Vereinfachung, mea culpa), aber ich denke, es gibt immer noch eine nicht triviale Frage im Kern. habe ähnliche Probleme in der Literatur gesehen, aber nicht dieses...
Dies ist eine etwas subjektive Frage. Ich bin daran interessiert, die Literatur zu Flow-Cut-Ergebnissen mit mehreren Unterkünften zu studieren, insbesondere zu den „positiven“ Ergebnissen, die zeigen, dass Flow eine gute Annäherung an den Cut darstellt (z. B. innerhalb eines Faktors, der in der...
Mit "gut" meine ich, dass der Algorithmus entweder eine relativ enge Grenze bietet oder eine relativ schnelle Laufzeit hat. Jede Referenz ist
Ich beschäftige mich mit ML, um effizienteren Code zu generieren (dh Kompilierungszeit- und Laufzeitheuristiken). Ich habe einen Doktortitel (Compiler, HPC), aber sehr wenig ML-Erfahrung. Ich würde mich über Hinweise auf bestehende Arbeiten freuen. Noch wichtiger ist, welche Techniken des...
Welche Algorithmen / mathematischen Techniken stehen zur Verfügung, um die Anzahl unabhängiger Mengen genau / ungefähr zu zählen? Gibt / gibt es eine gute Referenz / gute Referenzen zu diesem Thema? Ich interessiere mich für regelmäßige
Es gibt einfache Algorithmen, um die obere Hüllkurve einer Linienanordnung in der Ebene zu berechnen. Siehe z. B. Abschnitt 2.3 in der Übersicht Davenport-Schinzel-Sequenzen und ihre geometrischen Anwendungen . Gibt es bekannte Algorithmen / Datenstrukturen für die dynamische Version desselben...
Ich versuche mein Verständnis in dem Beispiel zu verdeutlichen, das in Abschnitt 2.2 von Einweg-Quantenautomaten: Stärken, Schwächen und Verallgemeinerungen vorgestellt wird (dieser alternative Link kann ebenfalls nützlich sein). Dieses Beispiel bietet ein sehr reduziertes Beispiel für eine 1-QFA...
Tarskis Fixpunktsatz besagt, dass die Fixpunkte eines monotonen Operators auf einem vollständigen Gitter ein vollständiges Gitter sind. Infolgedessen haben wir einen eindeutigen größten Fixpunkt und einen eindeutigen kleinsten Fixpunkt für einen monotonen Operator auf einem vollständigen Gitter....
Ich interessiere mich für Zeiger auf Algorithmen (Approximationsalgorithmen sind in Ordnung), die versuchen, einen Graphen in zwei Teilmengen zu unterteilen, so dass die Summe der Kantengewichte in jeder Teilmenge (ungefähr) gleich ist und die Summe der Kantengewichte zwischen den beiden Teilmengen...
Ein Entscheidungsproblem ist gut charakterisiert, wenn es sich in . Viele natürliche Graphprobleme haben gute Charakterisierungen. Zum Beispiel liefert Kuratuwskis Theorem eine gute Charakterisierung planarer Graphen. Der Satz von Konig liefert eine gute Charakterisierung von zweigeteilten Graphen....
Warum braucht man Bewertungen, um die Semantik der Logik erster Ordnung zu definieren? Warum nicht einfach für Sätze definieren und auch Formelsubstitutionen definieren (wie erwartet). Das sollte genug sein: M.⊨ ∀ x . ϕ⟺für alle d∈ d o m ( M.) , M. ⊨ ϕ [ x ↦ d]]M⊨∀x.ϕ⟺for all d∈dom(M), M⊨ϕ[x↦d]M...
Die Entscheidung über die Diffie-Hellman-Entscheidung , kurz DDH, ist ein bekanntes Problem in der Kryptographie. Die DDH-Annahme gilt für eine zyklische Gruppe (G,∗)(G,∗)(G,*) der (Haupt-) Ordnung qqq , wenn für einen Generator g∈Gg∈Gg \in G und für zufällig ausgewählte a,b,c∈a,b,c∈a,b,c \in \...
Wenn wir Optimierungsprobleme lernen, betrachten wir normalerweise die lineare Programmierung (oder allgemeiner: die konvexe Optimierung) als das einfachste Beispiel. Es ist in Polynomzeit lösbar und hat relativ leicht verständliche Algorithmen. Die Entscheidungsversion von LP ist jedoch...
Lassen und - Sets sein und eine Partition sein . Ich möchte beweisen, dass es eine Verteilung über deren Rand über einheitlich ist , und dass die durch induzierte Verteilung über eine große Entropie aufweist (die Die letztere Verteilung wird definiert, indem jedem die Gesamtwahrscheinlichkeitsmasse...
Ich suche nach einer Lösung für das folgende Problem und frage mich, ob mich jemand auf eine bestehende Forschung zu diesem Thema hinweisen könnte. Ich komme aus einer realen Anwendung von Graphen. Nehmen Sie also Kontakt mit mir auf, wenn meine Terminologie nicht genau stimmt. Ich habe ein...