CMSOL zählt die monadische Logik zweiter Ordnung, dh eine Logik von Graphen, bei der die Domäne die Menge von Scheitelpunkten und Kanten ist, es Prädikate für die Scheitelpunkt-Adjazenz und die Scheitelpunkt-Inzidenz gibt, es gibt eine Quantifizierung über Kanten, Scheitelpunkte, Kantensätze und...
Der Titel spricht für sich. Hier sind Akinator und 20Q . Das Prinzip dieser Spiele besteht darin, einem Benutzer eine Reihe von Fragen zu stellen, die sich auf eine vom Benutzer ausgewählte Entität beziehen. Und dann finde heraus, was diese Entität ist. Der Kern des Algorithmus besteht darin, in...
Ich suche eine gute Referenz für Engpass kürzeste Wege. Insbesondere möchten Sie bei den Eckpunkten s und t in einem ungerichteten Diagramm mit Kantengewichten den kürzesten Pfad von s nach t, wobei die Länge eines Pfads die maximale Kante auf diesem Pfad ist. Dies kann in O (n + m) gelöst...
Sei x1, … , Xnx1,…,xnx_1, \ldots, x_n Punkte in der Ebene . Betrachten Sie einen vollständigen Graphen mit den Punkten als Eckpunkten und mit Kantengewichten von . Finden Sie immer ein Stück Gewicht, das mindestens des Gesamtgewichts beträgt? Wenn nicht, welche Konstante soll die \ frac 2 3...
Es gibt mehrere konkurrierende Begriffe eines "spärlichen Graphen". Beispielsweise könnte ein oberflächeneinbettbarer Graph als spärlich angesehen werden. Oder ein Diagramm mit begrenzter Kantendichte. Oder eine Grafik mit hohem Umfang. Ein Diagramm mit großer Ausdehnung. Ein Diagramm mit...
Man betrachte einen dimensionalen Vektor v, wobei v i ∈ { 0 , 1 } ist . Für jedes i kennen wir p i = P ( v i = 1 ) und nehmen an, dass v i unabhängig sind. Gibt es unter Verwendung dieser Wahrscheinlichkeiten einen effizienten Weg, um binäre n- dimensionale Vektoren zu iterieren, um mit größter...
Der Simplex-Algorithmus wird häufig entweder in der realen Arithmetik oder in der diskreten Welt mit genauen Berechnungen behandelt. Es scheint jedoch am häufigsten mit Gleitkomma-Arithmetik implementiert zu werden. Dies führt zu der Frage, ob der Simplex-Algorithmus als numerischer Algorithmus...
Kann es bei einer gegebenen Folge von Zahlen mit Vergleichen und Swaps / Moves sortiert werden ? Alle Verweise auf Veröffentlichungen zu diesem Thema oder Gegenargumente, die eine Untergrenze von , wären hilfreich.nnnO(nlnn)O(nlnn)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nlnn)\Omega(n \ln...
In meinem Beruf tritt folgendes Problem auf: Gibt es einen bekannten Algorithmus, der die chromatische Zahl eines Graphen ohne einen unabhängigen Satz der Ordnung 65 approximiert? (Alpha (G) <= 64 ist also bekannt, und | V | / 64 ist eine triviale untere, | V | eine triviale obere Schranke. Gibt...
Betrachten Sie das folgende Problem beim Testen der Mitgliedschaft von Abelian-Untergruppen . Eingänge: Eine endliche abelsche Gruppe G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} mit beliebig großem didid_i . Ein Generatorsatz...
'Gegeben , gibt es , ' ist -vollständig.a , b , c ∈ Nein,b,c∈Na,b,c\in\Bbb Nx , y∈ Nx,y∈Nx,y\in\Bbb Na x2+ b y= ceinx2+by=cax^2+by=cN PNP\mathsf{NP} Zu welcher Komplexitätsklasse gehört 'Gegeben , gibt es , '?a , b , c ∈ Nein,b,c∈Na,b,c\in\Bbb Nx , y∈ Nx,y∈Nx,y\in\Bbb Na x2+ b y2=...
Ich lese Umfragen von Trevisan und Lovett zu Anwendungen von additiven kombinatorischen in TCS. Die Mehrzahl dieser Anwendungen fällt unter Rechenaufwand , z. B. Untergrenzen. Ich frage mich, ob additive Kombinatorik auch im Algorithmus-Design Anwendung gefunden hat . Die Motivation für meine Frage...
Angenommen, wir wollen n×nn×nn \times n Matrizen multiplizieren . Der langsame Matrixmultiplikationsalgorithmus läuft in der Zeit O(n3)O(n3)O(n^3) und verwendet den O(n2)O(n2)O(n^2) -Speicher. Die schnellste Matrixmultiplikation läuft in der Zeit nω+o(1)nω+o(1)n^{\omega + o(1)} , wobei ωω\omega die...
Es gibt einen linearen Zeitalgorithmus zum gleichmäßigen Aufteilen von Text in Zeilen maximaler Breite. Es verwendet SMAWK (oder Knuth & Plass) und bedeutet "gleichmäßig": http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Gibt es einen Algorithmus oder eine Konkavkostenfunktion für den...
Ganz ähnlich zu meiner zuvor geposteten Frage . Diesmal ist das Diagramm jedoch ungerichtet. Gegeben Ein ungerichteter Graph GGG ohne Mehrkanten oder Schleifen, Ein Quellscheitel ,sss Ein Zielscheitelpunkt ,ttt Maximale Weglänge lll , Ich suche nach G′G′G' - Ein Teilgraph von GGG , der einen...
Ich bin ein Mathematik-Hauptfach, das sich für TCS interessiert. Ich möchte die Algorithmen und deren Komplexität zum Lösen der gruppentheoretischen Probleme wie Reihenfolge der Elemente finden, Aufzählung der Nebenmengen, Generator finden und testen, ob eine gegebene Teilmenge die Gruppe erzeugt....
Ich hoffe, dass jemand einen Hinweis darauf kennt, sodass ich die Literatur nicht lesen muss ... Betrachten Sie eine Folge von Zahlen . Stellen Sie sich die Sequenz als n - 1 Intervalle [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n - 1 , x n ] vor . Es ist klar, dass die ursprüngliche Sequenz bitonisch...
Dies mag eher nach einer sozialwissenschaftlichen Frage als nach einer TCS-Frage klingen, ist es aber nicht. Wenn man " Randomisierte Algorithmen " liest, die das Problem der stabilen Ehe beschreiben, kann man Folgendes lesen (S. 54) "Es kann gezeigt werden, dass es für jede Auswahl von...
Es tut mir leid, wenn ich mich mit dem Ort irre, an dem ich die Frage stellen kann (vielleicht sollte ich zu stackoverflow.com/mathoverflow.net gehen?). Ich frage mich, ob es einen Beweis dafür gibt, dass bei der Bewertung des erweiterten euklidischen Algorithmus die Bézout-Koeffizienten (dh s und...
Ich würde mich sehr für Verweise auf die Theorie der submodularen Funktionen (von den Grundlagen bis zu den Fortgeschrittenen) interessieren. Insbesondere studiere ich Annäherungen an schwierige Optimierungsprobleme und möchte meine Grundlagen in submodularen Funktionen entwickeln, da diese für die...