Theoretische Informatik reference-request

1

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 - …

8 cc.complexity-theory reference-request np-hardness polynomial-hierarchy subset-sum

2

Asymptotische Komplexität der Sortierung mit k-Vergleichen

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 Bausteine sortieren, ist die informationstheoretische Untergrenze . Wir können leicht n log k ( n …

8 cc.complexity-theory ds.algorithms reference-request sorting

1

Diagrammpartitionierung, Ausgleich innerhalb der Kantengewichte der Teilmenge

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 sind (ungefähr) minimal. Alle Hinweise werden sehr geschätzt.

8 ds.algorithms reference-request graph-theory graph-algorithms

1

maschinelles Lernen zur Code- und Compileroptimierung?

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 maschinellen Lernens sollte ich erforschen? Jedes Datenmuster ist ein Code + …

8 reference-request optimization machine-learning compilers

2

Dynamische obere Hüllkurve von Linien in der Ebene

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 Problems? Das heißt, wir möchten die obere Hüllkurve eines Satzes …

8 ds.algorithms reference-request ds.data-structures cg.comp-geom

3

unabhängige Sätze zählen

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 Grafiken.

8 ds.algorithms reference-request graph-theory approximation-algorithms counting-complexity

2

(0,1) -Vektor-XOR-Problem

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 im Besonderen. Ich werde …

8 cc.complexity-theory reference-request circuit-complexity lower-bounds

1

Diagramm mit eingeschränktem Durchmesser und minimaler Spannweite

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 Zulassen von Zyklen dazu beitragen kann, den Durchmesser zu verringern. …

8 cc.complexity-theory reference-request graph-theory

3

Dreiecke in einem Diagramm finden: andere Ansätze neben dem Testen von Eigenschaften?

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 und der erforderlichen Kommunikationslast. Ich suche nach Hinweisen auf Arbeiten zu …

8 reference-request graph-theory graph-algorithms

2

Zur Proof-Technik von Boneh-Lynn-Shacham-Gap-Signaturen

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 Gegnern zu verwenden, haben sie den Beweis in 6 Spiele unterteilt, …

8 reference-request cr.crypto-security

1

Ergebnisse in der Informatik nach der Stepanov-Methode

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 einfachen Tatsache beweisen kann, dass ein Grad Polynom über einem Feld höchstens …

8 reference-request polynomials

2

Wo finde ich eine elementare strukturelle Betriebssemantik in kleinen Schritten für Schließungen?

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 Beschreibung?

8 reference-request pl.programming-languages semantics compilers

2

Ist dies ein bekanntes kombinatorisches Optimierungs- / Planungsproblem?

Wir erhalten Stapel, die "Gegenstände" unterschiedlicher Farbe enthalten, und eine Maschine, die mehrere Gegenstände derselben Farbe auf einmal verarbeiten kann. Bei jedem Schritt können wir einen Gegenstand von der Oberseite jedes Stapels entfernen und in unsere Maschine legen (so effektiv kann die Maschine höchstens n Gegenstände in einem Schritt verarbeiten …

8 ds.algorithms reference-request scheduling

3

Auf der Suche nach Artikeln und Artikeln über sequentielle Systeme höherer Ordnung

Ich suche nach Arbeiten an Systemen, die den Sequenzen höherer Ordnung von K. Dosen ("Sequent Systems for Modal Logic", JSL 50 ) ähnlich sind . Die einzige mir bekannte Arbeit ist die jüngste Arbeit von Iemhoff und Metcalfe ("Beweistheorie für zulässige Regeln", Annals of Pure and Applied Logic 159 (1-2), …

8 reference-request lo.logic proof-theory

2

DATALOG Referenzen

Was sind die besten Referenzen für das Selbststudium in DATALOG? Ich interessiere mich besonders für Ausdruckskraft, Komplexitätsergebnisse, Bewertungsmethoden, Erweiterungen von DATALOG mit Negation usw. Gibt es Bücher oder Papiere, die all dies abdecken?

8 reference-request lo.logic db.databases logic-programming

Als «reference-request» getaggte Fragen