Lexikalische Verschlüsse sind eine Implementierungstechnik in Sprachen mit erstklassigen Funktionen. Ich interessiere mich für eine einfache Funktionsbeschreibung von Funktionsschließungen. Kennt jemand eine solche
Ich habe kürzlich an einem Workshop über Pseudozufälligkeit im Mathematischen Institut für Pseudozufälligkeit in Chennai teilgenommen. Venkat Guruswami machte im Vorbeigehen während seines Vortrags (zur Codierungstheorie) die folgende schöne Aussage: Es ist bemerkenswert, wie viel man mit der...
In dem Papier "Kurze Unterschriften aus der Weil-Paarung" von Boneh, Lynn und Shacham habe ich den Sicherheitsnachweis wie jede andere Unterschrift durchgesehen. Die in diesem Artikel verwendete Technik ist jedoch ziemlich einzigartig. Anstatt die normale Interaktion zwischen Herausforderern und...
Wir arbeiten an einem Artikel, in dem einige Algorithmen zum Auffinden von Dreiecken und Netzwerkmotiven (Untergraphen konstanter Größe, auch als Graphlets bezeichnet) in einer verteilten Umgebung vorgestellt werden. Wir charakterisieren den Kompromiss zwischen der Anzahl der Dreiecke im Diagramm...
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...
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...
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 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...
Das Sortieren unter Verwendung von 2-Element-Vergleichen hat eine asymptotische Worst-Case-Komplexität von (erreicht durch Mergesort, Heapsort, binäre Einfügung, mindestens Ford-Johnson), was optimal ist.n log2( n )nlog2(n)n \log_2(n) Wenn wir mit Vergleichen sortieren, die k Elemente als...
Gibt es nicht triviale Untergrenzen für die Laufzeit von Graph-Algorithmen in RAM / PRAM / Berechnungsmodellen? Ich suche hier nicht nach den NP-Härteergebnissen. Folgendes ist ein Ergebnis, das ich finden konnte [siehe Lit. L92]: Das 3-Färben eines n-Zyklus erfordert Zeit.Ω ( log∗n...
Ich kenne die folgenden Varianten von SUBSETSUM-Problemen: ( Elberfeld at. Al., 2010 ), NP-vollständige S U B S E T S U M und NEXP-vollständige S U C C I N C T - S U B S E T S U M ( Link ).U.N A R Y - S U.B S E T S U.M ∈ L.U.N.EINR.Y.- -S.U.B.S.E.T.S.U.M.∈L. \mathtt{UNARY\mbox{-}SUBSETSUM} \in...
Angenommen, wir möchten das kleinste Element einer Menge , deren Elemente von bis indiziert sind . Wir haben keinen Zugriff auf die Werte dieser Elemente, aber wir können zwei beliebige Elemente von um festzustellen, welches kleiner ist. Für alle Indizes und sind Kosten , um das te und das te...
Ich suche nach dem Originalpapier, in dem Hoare (oder jemand anderes, nehme ich an) die Kündigung (Total Correctness) bespricht. Oder irgendeine andere frühe Arbeit über die Beendigung der "Vanilla" Hoare-Logik (damit meine ich vermutlich einen HL für eine C-ähnliche Spielzeugsprache). Ich habe mir...
Sei eine Menge der Größe und eine Menge der Größe für festes und und so, dass . Was ist die (oder eine) Sperner-Familie auf für die maximiert ist?k B ℓ k ℓ A ∩ B = ∅ F A ∪ B F B = { C ∩ B : C ∈ F }EINAAkkkB.BBℓℓ\ellkkkℓℓ\ellA ∩ B = ∅A∩B=∅A\cap B=\emptysetF.F\mathcal{F}A ∪ B.A∪BA\cup BF.B.= { C.∩ B...
Thor Johnson et al. Haben in ihrer Arbeit: Directed Tree Width eine Definition für das gerichtete Gitter , und sie vermuteten:JkJkJ_k Für jede ganze Zahl k existiert eine ganze Zahl N, so dass jeder Digraph mit der Baumbreite N oder mehr eine zu J k isomorphe Nebenzahl hat
Net (auch als FreeNet oder NetWalk bekannt) ist ein Puzzlespiel, das auf einem Raster mit den folgenden Objekten gespielt wird:n × nn×nn \times n es gibt Computer ; Jeder Computer belegt eine Zelle und verfügt über ein Verbindungskabel.mmm Jeder Computer muss an die Zentraleinheit angeschlossen...
Ich habe in letzter Zeit mit Wiederaufnahmen herumgespielt, hauptsächlich aus Abramskys klassischem Artikel Retracing Some Paths in Process Algebra . Sie sind ziemlich geschickt (im Grunde genommen Lösungen für die Domänengleichung ) und erinnern sehr an Kahn-Netzwerke.R = I.→ ( O × R )R=I→(O×R)R =...
Welche Anwendungen der modularen Graphzerlegung gibt es in der TCS / Komplexitätstheorie? Ich bin besonders an seiner Verwendung in Proofs oder oberen / unteren Grenzen interessiert, wenn es auftritt. [1] Modulare Graphzerlegung , Wikipedia. [2] Referenzen für modulare Zerlegung ,...