Haftungsausschluss : Während ich mich für Typentheorie interessiere, betrachte ich mich selbst nicht als Experten für Typentheorie. Im einfach getippten Lambda-Kalkül hat der Null-Typ keine Konstruktoren und einen eindeutigen Eliminator: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M...
Ich suche nach einer Implementierung eines Algorithmus zur Berechnung der Pfadbreite eines Graphen. Es ist bekannt, dass das Berechnen der Pfadbreite dem Berechnen der Knotensuchnummer, der Scheitelpunkttrennungsnummer oder der Intervalldicke des Graphen äquivalent ist. Der Algorithmus muss nicht...
Diese Frage wird durch eine MathOverflow-Frage von Peng Zhang motiviert . Valiant hat gezeigt, dass das Zählen maximaler Cliquen in einem allgemeinen Graphen # P-vollständig ist, aber was ist, wenn wir uns auf Unvergleichbarkeitsgraphen beschränken (dh, wir möchten maximale Antichains in einem...
Der beliebte DEFLATE-Algorithmus verwendet Huffman-Codierung über Lempel-Ziv. Wenn wir eine zufällige Datenquelle haben (= 1-Bit-Entropie / Bit), ist es im Allgemeinen wahrscheinlich , dass keine Codierung, einschließlich Huffman, diese im Durchschnitt komprimiert. Wenn Lempel-Ziv "perfekt" wäre...
Parity-L, auch bekannt als L, ist die Menge von Sprachen, die von einer nicht deterministischen Turing-Maschine erkannt werden, die nur zwischen einer geraden Anzahl oder einer ungeraden Anzahl von "Akzeptanz" -Pfaden unterscheiden kann. Eine kürzlich gestellte verwandte Frage wurde von Niel de...
Branch-and-Bound ist eine effektive Heuristik für Suchprobleme, und Wikipedia listet eine Reihe schwerwiegender Probleme auf, bei denen Branch-and-Bound verwendet wurde. Es ist mir jedoch nicht gelungen, Referenzen zu finden, die darauf hindeuten, dass dies mehr als nur eine Methode zur Lösung...
Kapitel 1 des Buches The Probabilistic Method von Alon und Spencer erwähnt das folgende Problem: Entscheide in einem gegebenen Graphen , ob seine Randkonnektivität mindestens beträgt oder nicht.GGGn / 2n/2n/2 Der Autor erwähnt die Existenz eines -Algorithmus von Matula und verbessert ihn zu .O (...
Gibt es Probleme, die NP-vollständig sind, wenn die euklidische Geometrie verwendet wird, aber für einige nicht-euklidische Geometrien in der Polynomzeit gut definiert und lösbar
Chong, Han und Lam zeigten, dass mit O ( m + n ) -Prozessoren ungerichtete st-Konnektivität auf dem EREW-PRAM in -Zeit gelöst werden kann .O ( log n )Ö(Logn)O({\log}n)O ( m + n )Ö(m+n)O(m+n) Was ist der bekannteste parallele Algorithmus für die St-Konnektivität in gerichteten planaren Graphen?...
In dieser Arbeit von Kempe-Kleinberg-Tardos schlagen die Autoren einen gierigen Algorithmus vor, der auf submodularen Funktionen basiert, um die einflussreichsten Knoten in einem Graphen mit Anwendungen auf soziale Netzwerke zu bestimmen .kkk Grundsätzlich geht der Algorithmus wie folgt vor: S= e m...
Ich hatte einige Nachforschungen angestellt, konnte aber in keiner Weise eine Antwort finden. Huck antwortete voll und ganz. Vielen Dank
Sei ein Quadrat reelle Matrix A und zwei Vektoren x und b der Länge n , so dass A x = b . Das Auflösen nach x durch Standard-Gauß-Eliminierung ergibt eine Gesamtkomplexität von fast O ( n 3 ) . Es gibt jedoch Fälle, in denen das Lösen (oder ϵ- ungefähres Lösen) nach x O ( n log ρ n ) kostet , wie...
In der Definition der (starken) Traktierbarkeit fester Parameter ist die ein Ausdruck der Form wobei die mit dem Parameter ,f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkppp ist Polynom und ist eine berechenbare Funktion.fff Es ist möglich, die Berechenbarkeitsanforderung für durch andere...
In meiner fortwährenden Suche nach dem Lambda-Kalkül erwähnt Hindley & Seldins "Lambda-Kalkül und Kombinatoren eine Einführung" die folgende Abhandlung (von Bruce Lercher), die beweist, dass der einzige reduzierbare Ausdruck derselbe ist (Modulo-Alpha-Konvertierung) ist:
Ich bin auf dieses Problem in einem Bereich der Physik gestoßen, der ziemlich weit von der Informatik entfernt ist, aber es scheint, als wäre die Art von Frage, die in CS untersucht wurde, so dass ich dachte, ich würde mein Glück versuchen, es hier zu stellen. Stellen Sie sich vor, Sie erhalten...
Die Mobius-Funktion μ(n)μ(n)\mu(n) ist definiert als μ(1)=1μ(1)=1\mu(1)=1 , μ(n)=0μ(n)=0\mu(n)=0 wenn nnn einen quadratischen Primfaktor hat, und μ(p1…pk)=(−1)kμ(p1…pk)=(−1)k\mu(p_1 \dots p_k)= (-1)^k wenn alle Primzahlen vorhanden sind p1,…,pkp1,…,pkp_1,\dots,p_k sind unterschiedlich. Kann man μ (...
Ich habe eine Frage zur SERF-Reduzierbarkeit von Impagliazzo, Paturi und Zane und zu subexponentiellen Algorithmen. Die Definition der SERF-Reduzierbarkeit ergibt folgendes: Ist SERF-reduzierbar auf P 2 und gibt es einen O ( 2 ε n ) -Algorithmus für P 2 für jedes ε > 0 , dann gibt es einen O ( 2...
Ich interessiere mich für die Modellierung von Objekten aus der objektorientierten Programmierung in der Theorie der abhängigen Typen. Als mögliche Anwendung hätte ich gerne ein Modell, in dem ich verschiedene Funktionen von imperativen Programmiersprachen beschreiben kann. Ich konnte nur einen...
Der parallele Pretitionssatz von Raz ist ein wichtiges Ergebnis bei PCP, Inapproximation usw. Der Satz ist wie folgt gegliedert. Ein Spiel , wobei S , T , A , B endliche Mengen sind, π eine Verteilung auf S × T ist und das Prädikat V : S × T × A × B ist → { 0 , 1 } . Definiere den Wert des Spiels v...
Die Definition von Ramsey-Zahlen lautet wie folgt: Sei eine positive Zahl, so dass jeder Graph der Ordnung mindestens R ( a , b ) entweder eine Clique auf einem Knoten oder eine stabile Menge auf b Knoten enthält.R ( a , b )R(ein,b)R(a,b)R ( a , b )R(ein,b)R(a,b)eineinabbb Ich arbeite an einer...