Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Tardos-Funktion Gegenbeispiel zu Blums
In diesem Thread wird Norbet Blums versuchter P≠NPP≠NPP \neq NP Beweis kurz widerlegt, indem festgestellt wird, dass die Tardos-Funktion ein Gegenbeispiel zu Satz 6 ist. Satz 6 : Sei f∈Bnf∈Bnf \in \mathcal{B}_n eine monotone Boolesche Funktion. Angenommen, es gibt einen CNF-DNF-Approximator AA\mathcal{A} dem eine Untergrenze für Cm(f)Cm(f)C_m(f) . Dann kann …
1
Was sind die praktischen Probleme mit Schnitt- und Vereinigungstypen?
Ich entwerfe eine einfache statisch typisierte funktionale Programmiersprache als Lernerfahrung. Es scheint, dass das Typsystem, das ich bisher implementiert habe, (mit ein wenig zusätzlicher Arbeit) Schnitt- und Vereinigungstypen enthalten könnte, z. B .: <Union String Integer> <Union Integer Foo> Der Schnittpunkt der beiden oben genannten Typen wäre eine Ebene Integer …
5
Neugierig auf computergestützte NP-Vollständigkeitsnachweise
In der Arbeit "Die Komplexität von Zufriedenheitsproblemen" von Thomas J. Schaefer hat der Autor darauf hingewiesen This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. …
9
Kurze Einführung in Algorithmen für Mathematiker
Ich bin auf der Suche nach einem kurzen Einführungstext zu Algorithmen mit einem hohen Verhältnis vonEs sollte am Anfang beginnen, dann aber schnell voranschreiten, ohne zu viel Zeit mit Beispielen aus der Praxis, Beweistechniken usw. zu verbringen. Als wissenschaftlicher Mathematiker habe ich einen soliden mathematischen Hintergrund, den ich gerne zum …
3
Rechtfertigung der asymptotischen Worst-Case-Analyse für Wissenschaftler
Ich habe daran gearbeitet, einige Ergebnisse aus der Komplexität von Berechnungen in die theoretische Biologie, insbesondere Evolution und Ökologie , einfließen zu lassen , mit dem Ziel, für Biologen interessant / nützlich zu sein. Eine der größten Schwierigkeiten, mit denen ich konfrontiert war, war die Rechtfertigung des Nutzens einer asymptotischen …
10
Probleme, die bei ungewichteten Diagrammen einfach sind, bei gewichteten Diagrammen jedoch schwer
Viele algorithmische Graphenprobleme können sowohl in ungewichteten als auch in gewichteten Graphen in Polynomzeit gelöst werden. Einige Beispiele sind der kürzeste Pfad, der minimale Spannbaum, der längste Pfad (in gerichteten azyklischen Graphen), der maximale Fluss, der minimale Schnitt, der maximale Abgleich, die optimale Arboreszenz, bestimmte dichteste Subgraphenprobleme, maximale disjunkte gerichtete …
1
Genau planarer elektrischer Fluss
Stellen Sie sich ein elektrisches Netzwerk vor, das als ebener Graph G modelliert ist, wobei jede Kante einen 1Ω-Widerstand darstellt. Wie schnell können wir den genauen effektiven Widerstand zwischen zwei Eckpunkten in G berechnen ? Wie schnell können wir den exakten Strom berechnen, der entlang jeder Kante fließt, wenn wir …
2
Grafiken, in denen alle kürzesten Wege eindeutig sind
Ich suche ungerichtete, ungewichtete, zusammenhängende Graphen , in denen es für jedes Paar einen eindeutigen Pfad gibt, der den Abstand erkennt. .G = ( V, E)G=(V,E)G=(V,E)u , v ∈ Vu,v∈Vu,v \in Vu → vu→vu \rightarrow vd( u , v )d(u,v)d(u,v) Ist diese Klasse von Graphen bekannt? Welche anderen Eigenschaften hat …
1
Gibt es ein Problem, das für kubische Grafiken einfach, für Grafiken mit maximalem Grad 3 jedoch schwierig ist?
Kubische Graphen sind Graphen, bei denen jeder Scheitelpunkt Grad 3 hat. Sie wurden eingehend untersucht, und ich bin mir bewusst, dass einige NP-harte Probleme auch auf Unterklassen von kubischen Graphen beschränkt bleiben, andere jedoch einfacher werden. Eine Superklasse von kubischen Graphen ist die Klasse von Graphen mit maximalem Grad .Δ≤3Δ≤3\Delta …
2
Untergrenze für Determinante und Permanent
In Anbetracht der jüngsten Kluft bei Tiefe-3 ergibt sich (was unter anderem eine Tiefen-3-Arithmetikschaltung für die Determinante über ergibt ), Ich habe folgende Fragen: Grigoriev und Karpinski haben eine Untergrenze für jede arithmetische Tiefen-3-Schaltung bewiesen, die die Determinante von Matrizen über endlichen Feldern berechnet (was ich vermute, gilt auch für …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.