Theoretische Informatik

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

3
Ungefähre Summe einer sortierten Liste
Kürzlich habe ich mich mit dem Problem beschäftigt, die ungefähre Summe einer Liste von sortierten nichtnegativen Zahlen zu berechnen. Für jedes feste ϵ>0ϵ>0\epsilon>0 wurde ein O(logn)O(log⁡n)O(\log n) -Zeitnäherungsschema so abgeleitet, dass es eine (1+ϵ)(1+ϵ)(1+\epsilon) -Näherung für die Summe ergibt . Das Papier ist unter http://arxiv.org/abs/1112.0520 abrufbar und wurde noch nicht …
1
Wo ist der Beweis, dass Coq + Excluded Middle konsistent ist?
Ich habe gesehen (und gehört), dass behauptet wird, dass es sicher ist, das klassische Axiom der ausgeschlossenen Mitte zu Coq hinzuzufügen, aber ich kann anscheinend kein Papier finden, das diese Behauptung stützt. Die Papiere, die ich im Coq-Wiki über ausgeschlossene Mitten sehe, weisen Inkonsistenzen mit Impredicative Set auf. Tatsächlich scheint …
3
Vom Extraktor zum Pseudozufallsgenerator?
Luca Trevisan hat gezeigt, wie viele Konstruktionen von Pseudozufallsgeneratoren tatsächlich als Extraktorkonstruktionen betrachtet werden können: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf Gibt es eine sinnvolle Unterhaltung? Kann man sich "natürliche" Konstruktionen von Extraktoren als Pseudozufallsgeneratoren (PRG) vorstellen? Extraktorkonstruktionen scheinen Verteilungen über PRGs zu entsprechen (so dass es keinem Distinguisher gelingt, fast alle von ihnen zu …
2
Färben von ebenen Diagrammen
Betrachten Sie die Menge der ebenen Graphen, bei denen alle inneren Flächen Dreiecke sind. Wenn es einen Innenpunkt ungeraden Grades gibt, kann das Diagramm nicht dreifarbig sein. Wenn jeder Innenpunkt einen gleichmäßigen Grad hat, kann er immer dreifarbig sein? Idealerweise hätte ich gerne ein kleines Gegenbeispiel.
2
Wie gut ist der Huffman-Code, wenn keine großen Wahrscheinlichkeitsbuchstaben vorhanden sind?
Der Huffman-Code für eine Wahrscheinlichkeitsverteilung ist der Präfixcode mit der minimalen gewichteten durchschnittlichen Codewortlänge , wobei die Länge des ten Codeworts ist. Es ist ein bekanntes Theorem, dass die durchschnittliche Länge pro Symbol des Huffman-Codes zwischen und , wobei die Shannon-Entropie ist der Wahrscheinlichkeitsverteilung.ppp∑piℓi∑piℓi\sum p_i \ell_iℓiℓi\ell_iiiiH(p)H(p)H(p)H(p)+1H(p)+1H(p)+1H(p)=−∑ipilog2piH(p)=−∑ipilog2⁡piH(p) = -\sum_i \, p_i …
2
Effizientes Finden eines 5-Zyklus in einem spärlichen Graphen.
(Crossposting von MathOverflow) Hallo, Ich habe diesen Thread gelesen: /mathpro/16393/finding-a-cycle-of-fixed-length Ich möchte einen 5-Zyklus in einer Grafik finden. Eigentlich , was ich wirklich will , ist ein kürzester ungeradeer Zyklus der Länge mindestens 5, aber vielleicht ist das ein wenig nebensächlich. Für meine Zwecke behandle ich und in der Komplexitätsanalyse …
3
Wie schnell können wir ein völlig unimodulares ganzzahliges lineares Programm lösen?
(Dies ist ein Follow-up zu dieser Frage und ihrer Antwort .) Ich habe das folgende völlig unimodulare (TU) ganzzahlige lineare Programm (ILP). Hier sind alle positive ganze Zahlen, die als gegeben sind Teil der Eingabe. Eine angegebene Teilmenge der Variablen wird auf Null gesetzt, und der Rest kann positive Integralwerte …
4
Beweis des Pumplemmas für kontextfreie Sprachen mit Pushdown-Automaten
Das pumpfähige Lemma für reguläre Sprachen kann durch Betrachtung eines Automaten mit endlichen Zuständen bewiesen werden, der die untersuchte Sprache erkennt, eine Zeichenfolge mit einer Länge auswählt, die größer als die Anzahl der Zustände ist, und das Taubenlochprinzip anwendet. Das pumpfähige Lemma für kontextfreie Sprachen (sowie Ogdens Lemma, das etwas …
3
Grenzen des Parallel Computing
Ich bin im weitesten Sinne neugierig auf das, was über Parallelisierungsalgorithmen in P bekannt ist. Ich habe den folgenden Wikipedia-Artikel zu diesem Thema gefunden: http://en.wikipedia.org/wiki/NC_%28complexity%29 Der Artikel enthält folgenden Satz: Es ist nicht bekannt, ob NC = P ist, aber die meisten Forscher vermuten, dass dies falsch ist, was bedeutet, …
4
DNA-Algorithmen und NP-Vollständigkeit
Welche Beziehung besteht zwischen DNA-Algorithmen und den Komplexitätsklassen, die mit Turing-Maschinen definiert wurden? Womit korrespondieren die Komplexitätsmaße wie Zeit und Raum in DNA-Algorithmen? Können damit Fälle von NP-vollständigen Problemen wie TSP gelöst werden, die von Neumann-Maschinen in der Praxis nicht realisierbar sind?
6
Referenzen zu Circuit Lower Bounds
Präambel Interaktive Beweissysteme und Arthur-Merlin-Protokolle wurden bereits 1985 von Goldwasser, Micali, Rackoff und Babai eingeführt . Zuerst wurde angenommen, dass das erstere leistungsfähiger ist als das letztere, aber Goldwasser und Sipser zeigten, dass sie die gleiche Leistung haben ( in Bezug auf die Spracherkennung). Daher werde ich in diesem Beitrag …
1
Konsensclustering unter Verwendung der Mengenunion
Ich habe diese Frage bereits vor einiger Zeit auf MathOverflow gepostet , aber meines Wissens ist sie immer noch offen. Deshalb veröffentliche ich sie hier in der Hoffnung, dass jemand davon gehört hat. Problemstellung Lassen , Q und R drei Trennwände in seiner p nicht leeren Teile (bezeichnet P h …
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.