Theoretische Informatik

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

1
Logik in Gegenwart von Zweifel, Unsicherheit, Lügen
Ich las Harry Frankfurts On Bulls * t , einen philosophischen Aufsatz von 1986 über diese verschwommene Vorstellung zwischen Wahrheit und Falschheit. Dies ist keine unentgeltliche Übung. Dies kann Anwendungen in der Informatik haben, da wir immer Datensätze ineinander leiten . Einige dieser Datenquellen sind möglicherweise fadenscheinig, der Rohrleitungsprozess kann …
1
Superpolynomielle Zeitnäherungsalgorithmen für Optimierungsprobleme
Dies ist durch meine vorherige Frage, Superpolynom-Zeitnäherungsalgorithmen für MAX-3SAT, motiviert . Für viele Optimierungsprobleme haben wir für jedes eine ungefähre Untergrenze Annahme einer weithin angenommenen komplexitätstheoretischen Vermutung. Mit anderen Worten, es gibt keinen Polynomzeitalgorithmus für solche Optimierungsprobleme mit einem Approximationsverhältnis, das besser ist als einige (unterschiedliches Verhältnis für jedes Problem).α …
3
P vs NP: Ein lehrreiches Beispiel dafür, wann eine Brute-Force-Suche vermieden werden kann
Um Nicht-Mathematikern das P vs NP-Problem erklären zu können, hätte ich gerne ein pädagogisches Beispiel dafür, wann eine Brute-Force-Suche vermieden werden kann. Das Problem sollte im Idealfall sofort verständlich sein und der Trick sollte weder zu einfach noch zu schwer sein. Das Beste, was ich mir bisher ausgedacht habe, ist …
1
Approximationsalgorithmen für gerichteten Mindestschnitt mit Kardinalitätsbeschränkungen
Wir möchten wissen, ob es bekannte Approximationsergebnisse für den kardinalitätsbeschränkten minimalen - - Schnitt in gerichteten Graphen gibt. Ein solches Ergebnis konnten wir in der Literatur nicht finden.sssttt Das Problem ist wie folgt definiert: Instanz: Ein gerichteter Graph , eine Kostenfunktion , zwei Eckpunkte und eine ganze Zahl .w : …
1
Ist
Betrachten Sie jede Sprache . Definieren Sie s ( L ) ∈ { 0 , 1 } ω (eine unendliche Folge von Bits) durch die rekursive FormelLLLs(L)∈{0,1}ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s(L)n=χL(s(L)&lt;n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) |s&lt;2n|=2n|s&lt;2n|=2n|s_{<2n}| = 2n V∉PV∉PV \notin \mathsf{P}VVVEE\mathsf{E} VVVPV=NPVPV=NPV\mathsf{P}^V=\mathsf{NP}^V Ich bin besonders daran interessiert, entweder ein spezifisches …
1
Neuere probabilistische Methoden in der Kombinatorik und ihre Anwendung auf die Komplexitätstheorie
Ich habe das berühmte Buch von Alon und Spencer über die probabilistische Methode in der Kombinatorik gelesen. Gibt es eine Umfrage oder Vorlesungsunterlagen zu den jüngsten Fortschritten und Beziehungen zu den folgenden komplexitätstheoretischen Themen dieser Methode über dieses Lehrbuch hinaus? Pseudozufallsgeneratoren, die konkrete Berechnungsmodelle täuschen, Expander-Graphen. Komplexitätsuntergrenzen für konkrete Berechnungsmodelle …
2
Freie Theoreme, wo?
Ich habe diese Webanwendung gefunden, mit der Sie einen kostenlosen Satz für einen bestimmten Typ erstellen können. Die generierten Theoreme quantifizieren über Typen und Beziehungen zu diesen Typen. Diese Sätze (Formeln) sind Sätze von welcher Theorie / welchem ​​logischen System? In welcher Beziehung steht dieses System zur Gleichungstheorie der Sprache?
1
Was ist die rechnerische Komplexität bei der Berechnung der Varianz-Kovarianz-Matrix?
Ich verwende eine Berechnung der Varianz-Kovarianz-Matrix in einem Programm, das ich geschrieben habe (für die Hauptkomponentenanalyse), und frage mich, wie komplex sie ist. Während die Eigenvektorzerlegung offensichtlich den größten Leistungstreffer verursacht, frage ich mich, wie viel von diesem Treffer durch die Covarianzmatrixberechnung verursacht wird. Die asymptotische Laufzeit, die ich schätze, …
2
Wie erstelle ich einen optimalen Affix-Code?
Ein Affix-Code ist ein Code, der gleichzeitig Präfix- und Suffix-Code ist. Das heißt, kein Codewort ist weder das Präfix noch das Suffix eines anderen Codeworts. Affix-Codes können sofort in beide Richtungen (vorwärts und rückwärts) dekodiert werden . Ich möchte eine erstellen, die eine bestimmte Verteilung der Eingabesymbole bei einer Reihe …
3
Finden Sie die nächsten
Wie kann man die d+1d+1d+1 Ecken des Einheitswürfels in RdRd\mathbb{R}^d einem Punkt xxx im Würfel am nächsten liegen ? Verwenden Sie die L1-Metrik, so dass in 4d | xxx - 0000 | = ∑xi∑xi\sum {x_i} , | xxx - 0001 | = x3+x2+x1+(1−x0)x3+x2+x1+(1−x0)x_3 + x_2 + x_1 + (1 - …
3
Natürliche Grafiken, die nicht skalierungsfrei sind
Es ist mittlerweile eine bekannte Beobachtung, dass viele grafische Strukturen, die in natürlichen Umgebungen entstehen, dazu neigen, skalenfreien Eigenschaften wie dem Potenzgesetz der Gradverteilung zu gehorchen. Gibt es ein gutes Beispiel für natürliche Graphen, die ziemlich zufällig sind und nicht unbedingt skalierungsfreien Eigenschaften entsprechen?
2
Einfach ausgedrückt Einschränkung der imperativen Programmiersprache, die die elementaren Funktionen erfasst?
Die Sprache der whileProgramme kann die rechnerisch aufzählbaren Funktionen ausdrücken. (Dies gilt auch dann, wenn die einzigen arithmetischen Operationen für Variablen beispielsweise Inkrementierung und Dekrementierung sind.) Wenn whiledurch ersetzt wird forund Schleifen immer begrenzt werden, kann die Sprache nur die primitiven rekursiven Funktionen ausdrücken. Vor kurzem wurde mir die Klasse …
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.