Theoretische Informatik

1

Sei ein Graph mit (positiv) gewichteten Kanten. Ich möchte das Voronoi-Diagramm für eine Menge von Knoten / Stellen S definieren , um einem Knoten v ∈ S den Teilgraphen R ( v ) von G zuzuordnen, der von allen Knoten induziert wird, die genau näher an v liegen als an …

10 reference-request graph-theory cg.comp-geom

3

Ressource / Buch für die jüngsten Fortschritte in der statistischen Lerntheorie

Ich bin mit der Theorie hinter VC-Dimension ziemlich vertraut, aber ich schaue jetzt auf die jüngsten (letzten 10 Jahre) Fortschritte in der statistischen Lerntheorie: (lokale) Rademacher-Durchschnittswerte, Massarts Finite-Klassen-Lemma, Deckungszahlen, Verkettung, Dudleys Theorem, Pseudodimension, Fat Shattering Dimension, Packungszahlen, Rademacher-Zusammensetzung und möglicherweise andere Ergebnisse / Werkzeuge, die mir nicht bekannt sind. Gibt …

10 reference-request machine-learning lg.learning books vc-dimension

1

Finden von Min-Max-Vertex-disjunkten Pfaden mit einer gemeinsamen Quelle in planaren Graphen

Finden Sie bei einem planaren ungewichteten Graphen und einer Sammlung von Scheitelpunktpaaren ( k ≥ 2 ist eine Konstante) k vertex-disjunkte (außer Quell-) Pfade von s nach t i so, dass die Länge des längsten Pfades minimiert wird.( s , t1) , … , ( S , tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k ≥ 2k≥2k\ge2kkkssstichtit_i …

10 ds.algorithms graph-algorithms

1

Verbinden von Zellen durch Linien- und Spaltenpermutationen in einem endlichen Gitter

Ich würde gerne wissen, ob das folgende einfache Problem bereits untersucht wurde und ob eine Lösung bekannt ist. Sei G ein endliches (MxN) Gitter, S eine Teilmenge von Gs Zellen (die "Krümel"). Zwei Krümel sollen (lokal) verbunden sein, wenn sich ihre Koordinaten um höchstens eins unterscheiden (dh wenn sie als …

10 ds.algorithms graph-theory graph-algorithms

1

Regelmäßiger Graph mit hohem Umfang mit einer „lokal einheitlichen“ Gesamtreihenfolge auf Knoten

Definitionen Sei und sei d , r und g positive ganze Zahlen (mit g > 2 r + 1 ).ϵ > 0ϵ>0\epsilon > 0dddrrrGggG> 2 r + 1g>2r+1g > 2r+1 Sei ein einfacher, d- regelmäßiger, ungerichteter, endlicher Graph mit einem Umfang von mindestens g .G = ( V., E.)G=(V,E)G = …

10 graph-theory co.combinatorics dc.distributed-comp

2

Bedecken eines einfachen Polygons mit Kreisen

Angenommen, ich habe ein einfaches Polygon und eine ganze Zahl . Welche Ansätze gibt es, um den kleinsten Radius so zu finden, dass ich mit Kreisen mit dem Radius abdecken kann ? Wie wäre es, wenn fest ist und ich minimieren möchte ?S.SSr S k r r kkkkrrrS.SSkkkrrrrrrkkk

10 cg.comp-geom planar-graphs set-cover

3

Typinferenz für andere zwingende Anweisungen als Zuweisung

Auf meiner Suche nach Forschungsarbeiten über Typensysteme für imperative Sprachen finde ich nur Lösungen für eine Sprache mit veränderlichen Referenzen, aber ohne echte imperative Kontrollstrukturen wie zusammengesetzte Operatoren, Schleifen oder Bedingungen. Es ist also nicht klar, wie eine imperative Sprache mit partieller Typinferenz wie http://rust-lang.org implementiert werden kann. In den …

10 reference-request pl.programming-languages type-theory type-inference imperative-programming

1

Härte der Approximation der gebrochenen chromatischen Zahl in Graphen mit begrenztem Grad

Ist es ungefähr schwierig, die gebrochene chromatische Zahl in Graphen mit begrenztem Grad zu approximieren?

10 cc.complexity-theory graph-theory approximation-hardness graph-colouring bounded-degree

1

Kann eine solche Matrix existieren?

Während meiner Arbeit stieß ich auf folgendes Problem: Ich versuche, eine n×nn×nn \times n (0,1)(0,1)(0,1) -Matrix MMM für jedes n>3n>3n > 3 mit den folgenden Eigenschaften zu finden: Die Determinante von MMM ist gerade. Für alle nicht leeren Teilmengen I,J⊆{1,2,3}I,J⊆{1,2,3}I,J\subseteq\{1,2,3\} mit |I|=|J||I|=|J||I| = |J|, Die Submatrix MIJMJIM^I_J hat ungerade Determinante …

10 graph-theory co.combinatorics linear-algebra matrices boolean-matrix

3

Reduzierung schwieriger Probleme auf physikalische Modelle

Ich suche nach Beispielen für schwierige Probleme (in NP oder schwieriger) aus der Informatik, die auf Modelle physikalischer Prozesse reduziert werden können. Zum Beispiel kann max-2-sat in einem Ising-Modell auf Energieminimierung reduziert werden. Ich würde gerne weitere Beispiele für diese Art der Reduzierung finden.

10 cc.complexity-theory reductions physics formal-modeling

2

Gibt es einen Quantenalgorithmus ala Deutschs Algorithmus, der AND anstelle von XOR berechnet?

Der Algorithmus von Deutsch ist eine bekannte Quantenberechnung mit nur einer Bewertung von . Wenn wir durch ersetzen, scheint das Problem etwas anders zu werden. Meine Frage ist: Gibt es eine Quantenalgorithmus den Wert der Berechnung (oder UND wenn Sie bevorzugen) mit nur einer Auswertung von . Ansonsten: Ist bekannt, …

10 reference-request quantum-computing

1

PhD Entwicklung; Literaturübersicht Taktik

Ich bin mir nicht sicher, ob der Bereich korrekt ist, aber hier geht es weiter. Beginn einer Promotion in Vertrauens- und Reputationsmanagement in Kommunikationsnetzwerken (viel Graphentheorie, Wahrscheinlichkeitsanalyse usw.) und viel Lesen vor mir. Kann jemand raten, wie man das akademische Lesen am besten verwaltet und was ich für Literaturrecherche / …

10 soft-question advice-request research-practice

1

Überspannende Spinnen finden

Gibt es einen Polynom-Zeit-Algorithmus, um - falls vorhanden - eine überspannende Spinne eines gegebenen Graphen ? Eine Spinne ist ein Baum mit höchstens einem Knoten mit einem Grad größer als 2: Ich weiß, dass verschiedene Gradbedingungen auf (im Wesentlichen ausreichend große Knotengrade) die Existenz einer überspannenden Spinne garantieren. Aber ich …

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

2

Sortieren von Punkten, so dass der minimale euklidische Abstand zwischen aufeinanderfolgenden Punkten maximiert wird

Angesichts einer Reihe von Punkten in einem kartesischen 3D-Raum suche ich nach einem Algorithmus, der diese Punkte so sortiert, dass der minimale euklidische Abstand zwischen zwei aufeinanderfolgenden Punkten maximiert wird. Es wäre auch vorteilhaft, wenn der Algorithmus zu einem höheren durchschnittlichen euklidischen Abstand zwischen aufeinanderfolgenden Punkten tendieren würde.

10 graph-algorithms cg.comp-geom optimization

2

Wie mische ich Farbkugeln?

Ich habe 400 Bälle, von denen 100 rot, 40 gelb, 50 grün, 60 blau, 70 lila und 80 schwarz sind. (Kugeln der gleichen Farbe sind identisch) Ich brauche einen effizienten Mischalgorithmus, damit die Bälle nach dem Mischen in einer Liste stehen und 3 aufeinanderfolgende Bälle haben nicht die gleiche Farbe. …

10 ds.algorithms randomized-algorithms permutations