Theoretische Informatik reference-request

1

"Überprüfbare Informationen": Ist dies ein bekanntes Konzept?

Das Folgende scheint mir eine natürliche Definition zu sein und ich frage mich, ob es irgendwo studiert wurde Betrachten Sie eine Reihe von Sprachen. Dann heißt K ⊂ { 0 , 1 } ω " X- überprüfbare Information", wenn L ∈ X st vorliegtX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}K⊂{0,1}ωK⊂{0,1}ωK \subset …

9 cc.complexity-theory reference-request

2

Komplexitätsergebnisse für rekursive Funktionen mit niedrigerer Elementarzahl?

Fasziniert von Chris Presseys interessanter Frage zu elementar-rekursiven Funktionen , habe ich mehr untersucht und konnte im Internet keine Antwort auf diese Frage finden. Die elementaren rekursiven Funktionen entsprechen gut der exponentiellen Hierarchie .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Aus der Definition geht hervor, dass Entscheidungsprobleme, die durch Funktionen mit niedrigeren …

9 cc.complexity-theory reference-request complexity-classes computability

1

Funktionale Vollständigkeit der 3-wertigen Logik

Im Zusammenhang mit einigen neueren Arbeiten haben wir eine Sprache definiert, die auf einer dreiwertigen Logik à la Kleene basiert, wobei für wahr, 0 für falsch und ⊥ für Fehler oder Nichtwissen steht . Um zu zeigen, dass unsere Sprache ausdrucksstark ist, wollten wir beweisen, dass wir eine Reihe von …

9 reference-request lo.logic

4

Baumbreite und Verpackung

Meine Frage ist etwas vage. Ich habe mich gefragt, ob (und wie) wir den Begriff der Baumbreite auf Packprobleme in Grafiken anwenden können. Ich würde mich über Erkenntnisse oder Referenzen früherer Forschungsarbeiten zu diesem Thema freuen (vorausgesetzt, es handelt sich um eine Beziehung). Vielen Dank.

9 ds.algorithms reference-request graph-theory graph-algorithms approximation-algorithms

1

Richtiges PAC-Lernen von 2-DNF unter gleichmäßiger Verteilung

Was ist das Stand der Technik über die Abfragekomplexität von richtigen PAC-Lern-2-DNF-Formeln mit Beispielabfragen und unter gleichmäßiger Verteilung ? Oder eine nicht triviale Bindung daran? Da ich mit Lerntheorie überhaupt nicht vertraut bin und diese Frage von einem anderen Bereich motiviert ist, könnte die Antwort offensichtlich sein. Ich habe das …

9 reference-request lg.learning boolean-functions

2

Kommunikationskomplexität mit einem Schiedsrichter

Nehmen Sie einen Rahmen für die Kommunikationskomplexität an, in dem wir zwei Spieler A (Läuse) und B (ob) und einen R (eferee) haben. A und B kommunizieren nicht direkt miteinander. In jeder Kommunikationsrunde sendet jeder von ihnen eine Nachricht ( , ) an das R. R berechnet zwei Funktionen und …

9 cc.complexity-theory reference-request communication-complexity

2

Berechnung der Entfernung zum k-ten nächsten Nachbarn für alle Punkte in der Menge

Für eine Anwendung zum maschinellen Lernen muss meine Gruppe den euklidischen Abstand zum ten nächsten Nachbarn in einer Menge X für jedes x ∈ ( X ∪ Y ) ⊂ R d (für d zwischen 5 und etwa 100 und | X | ≈ ) berechnen | Y | einige …

9 reference-request cg.comp-geom near-neighbors

1

Beweis, dass der spärlichste Schnitt NP-hart ist

Überall, wo ich über das dünnste Schnittproblem lese, heißt es nur, dass das Problem als NP- hart bekannt ist. Wo finde ich einen Beweis dafür? Welches bekannte NP- harte Problem reduziert sich auf das dünnste Schnittproblem? Ich konnte keinen Beweis in Vaziranis Buch "Approximationsalgorithmen" finden, in dem der Leighton Rao-Algorithmus …

9 cc.complexity-theory reference-request np-hardness

3

Lineare Programmierlösung in einem Durchgang mit geordneten Variablen

Ich habe eine Familie linearer Programmierprobleme: Maximiere vorbehaltlich A x ≤ b , x ≥ 0 . Die Elemente von A , b und c sind nichtnegative ganze Zahlen, c streng positiv. ( x sollte auch ganzzahlig sein, aber darüber werde ich mich später Gedanken machen.)c′xc′xc' xAx≤bAx≤bA x\le bx≥0x≥0x\ge0AAAbbbccccccxxx In …

9 ds.algorithms reference-request linear-programming matrices

2

Ausgangspunkt für Cache-ahnungslose Algorithmen?

Ich bin daran interessiert, mehr über Cache-vergessene Algorithmen und Datenstrukturen zu erfahren, aber es gibt so viele Artikel, dass ich ehrlich gesagt nicht weiß, wo ich anfangen soll. Ich habe Prokups ursprüngliche These zu diesem Thema gefunden, was ein guter Ausgangspunkt zu sein scheint, aber wenn es eine einfache und …

9 ds.algorithms reference-request cache-oblivious

2

Kürzeste Wege, die jede Kante verbieten

Ich würde mich über Hinweise oder Begriffe freuen, die mich in die richtige Richtung führen könnten. Wir haben einen gerichteten Graphen und Längen l i j für jede Kante i j , die als positiv angenommen werden können. Es gibt einen speziellen Startknoten s und einen speziellen Endknoten t .G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt …

9 ds.algorithms reference-request graph-algorithms

1

Heuristiken zur Optimierung

Da es Freitag ist, ist es Zeit für eine CW-Frage. Ich suche nach Heuristiken, die bei Optimierungsproblemen weit verbreitet sind. Um den Umfang auf "theoretisch freundlichere" Heuristiken zu beschränken, sind hier die Regeln (einige willkürlich, andere nicht). Es sollte eine genau definierte Methode ohne zahlreiche Parameter und mit einer konkreten …

9 ds.algorithms reference-request optimization heuristics

2

Maximieren der Summenkantengewichte

Ich frage mich, ob das folgende Problem einen Namen hat oder irgendwelche damit verbundenen Ergebnisse. Sei G=(V,w)G=(V,w)G = (V,w) ein gewichteter Graph, wobei das Gewicht der Kante zwischen und bezeichnet und für alle , . Das Problem besteht darin, eine Teilmenge von Eckpunkten zu finden, die die Summe der Gewichte …

9 reference-request graph-theory approximation-algorithms terminology approximation-hardness

2

Informationen zu k-SAT (Einführung, Grenzen, Methoden usw.)

Ich würde gerne wissen, wo ich mich für eine gute, sanfte Einführung in k-SAT wenden kann (dies kann für Mathematiker sein, die möglicherweise keinen guten Informatik-Hintergrund haben). Ich würde auch gerne Artikel kennenlernen, die möglicherweise aktuelle Methoden zur Lösung von k-SAT untersuchen oder erläutern. Schließlich interessieren mich die bekanntesten Methoden …

9 reference-request sat survey

3

Algorithmen für die Polygon-Triangulation

Es fiel mir schwer, einen Algorithmus zu finden oder Artikel über die Triangulation von sich selbst schneidenden Polygonen (auch Polygone mit Lochstruktur) zu veröffentlichen. Kann mich bitte jemand anleiten, veröffentlichte Artikel / Algorithmen zu finden? PS: Jemand markiert diese Frage bitte angemessen. Ich habe nicht genügend Reputationspunkte, um dies zu …

9 ds.algorithms reference-request cg.comp-geom

Als «reference-request» getaggte Fragen