Theoretische Informatik co.combinatorics

5

Additive kombinatorische Anwendungen im Algorithmus-Design

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 ist die folgende: Während der Zusammenhang zwischen …

12 ds.algorithms reference-request co.combinatorics

1

Effizienter Algorithmus für das Vorhandensein von Permutation mit Differenzenfolge?

Diese Frage wird durch diesen Beitrag motiviert: Können Sie die Summe von zwei Permutationen in der Polynomzeit identifizieren? und mein Interesse an rechnerischen Eigenschaften von Permutationen. Eine Differenzsequenz ein1, ein2, … Anein1,ein2,…einna_1, a_2, \ldots a_n einer Permutation ππ\pi der Zahlen 1 , 2 , … n + 11,2,…n+11, 2, \ldots …

12 cc.complexity-theory co.combinatorics np-hardness permutations

1

Gibt es ein Buch / eine Umfrage, in dem / der Sprachklassenhierarchien, Abschlusseigenschaften usw

Ich mache derzeit einige formale Sprachrecherchen mit Sprachklassen über Regular, aber unter Context Free. Ich betrachte Dinge wie umkehrbar gebundene Multicounter-Maschinen, Single-Stack-Counter-Maschinen, deterministische CFLs usw. Ich frage mich, ob irgendjemand ein gutes Buch oder einen Fragebogen kennt, der die Eigenschaften dieser Sprachen beschreibt. Das meiste, was ich mir anschaue, ist …

12 reference-request co.combinatorics fl.formal-languages automata-theory research-practice

2

Kleine Grafik mit Lücke zwischen chromatischer und vektorieller chromatischer Zahl?

Ich suche einen kleinen Graphen GGG dessen vektorielle Farbzahl kleiner als die Farbzahl ist, χv(G)<χ(G)χv(G)<χ(G)\chi_v(G)<\chi(G) . ( hat Vektor chromatische Zahl Q , wenn es eine Zuweisung x : V → R d , wobei intuitiv die zugehörigen Vektoren mit den Eckpunkten benachbarten weit voneinander entfernt sind Voraussetzung ist. ⟨ …

12 ds.algorithms graph-theory co.combinatorics graph-algorithms graph-colouring

2

Ganzzahlige Programmierung mit einer festen Anzahl von Variablen

Die berühmte Arbeit von H. Lenstra aus dem Jahr 1983 über die Ganzzahlprogrammierung mit einer festen Anzahl von Variablen besagt, dass Ganzzahlprogramme mit einer festen Anzahl von Variablen zeitpolynomiell in der Länge der Daten lösbar sind. Ich interpretiere das wie folgt. Ganzzahlige Programmierung ist im Allgemeinen immer noch NP-vollständig, aber …

12 co.combinatorics linear-programming integer-programming

1

Kombinatorische Einbettung eines Graphen

Hier: http://www.planarity.org/Klein_elementary_graph_theory.pdf (in Kapitel Einbettungen) wird die Definition der kombinatorischen Einbettung eines planaren Graphen gegeben. (mit Definition von Flächen usw.) Obwohl es für jedes Diagramm leicht verwendet werden kann, definieren sie ein ebenes Diagramm als das Diagramm, für das die Euler-Formel gilt (vorausgesetzt, dass das Diagramm verbunden ist). Es ist …

12 graph-theory co.combinatorics planar-graphs

1

Implementierung von Wilf-Zeilberger und verwandten Methoden

Das Buch A = B von Petkovsek, Wilf und Zeilberger beschreibt Algorithmen zur Berechnung verschiedener Summen von Binomen. AFAIK, diese Algorithmen werden noch von verschiedenen Autoren verbessert. Wissen Sie, wo wir die aktuellsten Implementierungen dieser Algorithmen finden können? Und wissen Sie, ob es Implementierungen in einigen kostenlosen Softwareprogrammen wie Sage …

12 ds.algorithms co.combinatorics implementation

1

Zitate, die Minderjährige zeigen, sind topologische Minderjährige für subkubische Graphen

Wenn ein Graph mit maximalen Grad 3 und eine kleinere von ist , dann ist eine topologische minor von .GGGHHHGGGHHH Wikipedia zitiert dieses Ergebnis aus Diestels "Graphentheorie". Es ist als Prop 1.7.4 in der neuesten Version des Buches aufgeführt. Dem Buch fehlen Beweise oder Zitate. Sind die Aufenthaltsorte für einen …

12 reference-request graph-theory co.combinatorics graph-minor

2

Wie breit ist das 3D-Gitter (Gitter oder Gitter) mit der Seitenlänge k?

Ich habe diese Frage vor einigen Wochen bei mathoverflow gestellt , aber keine Antwort erhalten. Hier meine ich mit 3D-Gitter der Seitenlänge den Graphen G = ( V , E ) mit V = { 1 , … , k } 3 und E = { ( ( a , …

12 reference-request graph-theory co.combinatorics treewidth integer-lattice

1

Haben die Graphen der äußeren Gattung eine konstante Baumbreite?

Sei und bezeichne mit G k die Menge aller Graphen, die auf einer Oberfläche der Gattung k so eingebettet werden können, dass sich alle Eckpunkte auf der Außenseite befinden . Zum Beispiel ist G 0 die Menge der äußeren ebenen Graphen. Kann die Baumbreite von Graphen in G k durch …

12 graph-theory co.combinatorics parameterized-complexity graph-classes

3

Unterteilen kubischer Diagramme in Klauen und Pfade

Wieder ein Edge-Partitioning-Problem, auf dessen Komplexität ich neugierig bin, motiviert durch eine frühere Frage von mir . Eingabe: ein kubischer Graph G=(V,E)G=(V,E)G=(V,E) Frage: Gibt es eine Aufteilung von in E 1 , E 2 , ... , E s , so dass der von jedem E i induzierte Teilgraph entweder …

12 cc.complexity-theory graph-theory np-hardness co.combinatorics

1

Effizienter Algorithmus zur nahezu optimalen Randfärbung von Hypergraphen

Probleme beim Färben von Diagrammen sind für die meisten Menschen bereits schwer genug . Trotzdem muss ich mich schwer tun und ein Problem mit dem Färben von Hypergraphen stellen. Frage. Welche effizienten Algorithmen gibt es, um eine annähernd optimale Kantenfärbung für k-einheitliche Hypergraphen zu finden? Einzelheiten --- Ein k-gleichförmiger Hypergraph …

12 co.combinatorics hypergraphs graph-colouring

2

Hat die Theorie erster Ordnung einer endlichen Struktur einen begrenzten Quantifiziererrang?

Sei eine beliebige endliche Struktur. Hat seine Theorie erster Ordnung T : = T H ( A ) einen begrenzten Quantifiziererrang in dem Sinne, dass es ein q ∈ N gibt, so dass es für alle φ ∈ T mit q r ( φ ) > q ein φ ′ …

11 co.combinatorics lo.logic relational-structures

1

Berechnen Sie das Polytop mit der niedrigsten Dimension aus einem bestimmten Satz von Vorzeichenvektoren

Bei einer Menge von Hyperebenen, die durch die Normalenvektoren , sind ihre Zelltypen (oder Vorzeichenvektoren) alle Vektoren t ∈ { + , - } m, für die ein Vektor v ∈ R d existiert so daß ⟨ v , h i ⟩ & ne; 0 und t i = sign …

11 co.combinatorics cg.comp-geom computational-geometry metric-spaces

4

Polynomprobleme in Graphklassen, die durch verbotene induzierte zyklische Subgraphen definiert sind

Crossposted von MO . Sei eine Graphklasse, die durch eine endliche Anzahl verbotener induzierter Untergraphen definiert ist, die alle zyklisch sind (mindestens einen Zyklus enthalten).CCC Gibt es NP-harte Graphprobleme, die in der Polynomzeit für außer Clique und Clique Cover gelöst werden können ?CCC Wenn ich mich richtig erinnere, ist dies …

11 cc.complexity-theory graph-theory graph-algorithms co.combinatorics

Als «co.combinatorics» getaggte Fragen