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...
Ich fand ein Problem in Barendregts Beweis der Subjektreduktion (Thm 4.2.5 von Lambda-Kalkülen mit Typen ). Der letzte Schritt des Beweises (Seite 60) lautet: "und daher nach Lemma 4.1.19 (1), .Γ , x : ρ ⊢ P: σ′Γ,x:ρ⊢P:σ′\quad\Gamma,x:\rho\vdash P:\sigma' Nach Lemma 4.1.19 (1) sollte es jedoch , da...
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...
Bekanntlich können NP-harte Optimierungsprobleme viele verschiedene Approximationsverhältnisse aufweisen, die von PTAS bis hin zur Unannäherbarkeit innerhalb eines Faktors reichen. Dazwischen haben wir verschiedene Konstanten, , usw.O(logn)Ö(Logn)O(\log n)poly(n)pÖly(n)poly(n) Was ist über die...
Ich suche eine Sprache L mit folgenden Eigenschaften: L sollte nicht kontextfrei sein. Ls Komplement sollte nicht kontextfrei sein. (Alles, was Sie in Lehrbüchern als Paradebeispiele für nicht kontextfreie Sprachen sehen, scheint diese zweite Anforderung nicht zu erfüllen.) L sollte nicht zu schwer...
Das Gewichteiner binären Zeichenkette ist die Anzahl der Einsen in der Zeichenkette. Was passiert, wenn wir daran interessiert sind, eine monotone Funktion an Eingängen mit wenigen zu berechnen?x ∈ { 0 , 1 } n|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n Wir wissen, dass die Entscheidung, ob ein Graph...
Wenn ein Endofunktor F:Set→SetF:Set→SetF : Set \rightarrow Set , können wir Beobachtungsfunktionen als Funktionen definieren, die für jede Kohlegebra polymorph sind, dh für jede Kohlegebra definiert ist . Eine andere Art, Beobachtungsfunktionen zu betrachten, sind die Funktionen der endgültigen...
In der Regel ist es einfacher, über die Berechnung zu urteilen, wenn die Begrenzung in der Endlichkeit der Berechnung besteht, als über einen Schwellenwert wie "in polynomieller Zeit berechenbar". In der formalen Sprachtheorie zum Beispiel lieber das ∃ n . xn + 1=xn∃n.xn+1=xn\exists n. x^{n+1} =...
Ich möchte nur einige Beispiele für die Funktionen kennen, die mit dem untypisierten Lambda-Kalkül berechnet werden können, aber nicht mit typisierten Lambda-Kalkülen. Da ich ein Anfänger bin, wäre eine Wiederholung der Hintergrundinformationen wünschenswert. Vielen Dank. Edit: Mit getippten...
Angenommen, man hat eine Sprache , aber man weiß nicht, welche Zeichenfolgen tatsächlich Teil der Sprache sind. Alles, was man hat, ist eine endliche Sicht auf die Sprache: eine endliche Menge von Strings , von denen bekannt ist, dass sie in der Sprache sind, und eine endliche Menge von Strings ,...
Ich suche nach einem schnellen Algorithmus zur Berechnung des maximalen Durchflusses in dynamischen Diagrammen. dh wenn ein Graph G=(V,E)G=(V,E)G=(V,E) und , haben wir den maximalen Fluss in von nach . Dann wird der neue / alte Knoten mit seinen entsprechenden Kanten hinzugefügt / gelöscht, um...
Gegeben sei ein Bloom-Filter der Größe N-Bits und K Hash-Funktionen, von denen M-Bits (wobei M <= N) des Filters gesetzt sind. Ist es möglich, die Anzahl der in den Bloom-Filter eingefügten Elemente zu schätzen? Einfaches Beispiel Ich habe über das folgende Beispiel nachgedacht und eine BF von...
Ich habe nach einer Formalisierung des Kompaktheitssatzes für FOL gesucht, aber keine gefunden. Ist jemandem eine solche Entwicklung oder verwandte Arbeit
Gibt es entscheidbare Probleme, so dass wir für keinen Algorithmus, der das Problem löst, eine Zeitgrenze als Funktion der Länge n der Eingabeinstanz angeben können? Ich bin zu dieser Frage gekommen, weil ich über Folgendes nachgedacht habe: Angenommen, wir haben ein rekursiv aufzählbares, aber...
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...
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...
Ist bekannt, ob das Problem der Rückkopplungsscheitelpunktmenge auf ungerichteten planaren Graphen mit begrenztem Grad -hart ist?N
Arora und Barak zeigen, dass als ausgedrückt werden kann . ist auch eine natürliche randomisierte Verallgemeinerung von indem Sie den deterministischen Verifizierer durch einen randomisierten ersetzen.AMEINM\mathsf{AM}M A N PBP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Gibt...
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,...
Ein MPA (Multipebble-Automat) ist ein 2DFA (bidirektionaler deterministischer endlicher Automat), der eine beliebige Anzahl von Steinen verwenden kann (tatsächlich höchstens Steine auf einer gegebenen Eingabe w - die Eingabe wird auf das Band zwischen zwei Enden geschrieben -Markierungen als # w...