Theoretische Informatik

2

Turingmaschinen, deren Beendigung nicht beweisbar ist?

Ich habe eine naive Frage: Gibt es eine Turing-Maschine, deren Beendigung wahr ist, aber durch keine natürliche, konsistente und endlich axiomatisierbare Theorie bewiesen werden kann? Ich bitte eher um einen bloßen Existenznachweis als um ein konkretes Beispiel. Dies könnte einen Zusammenhang mit der Ordnungsanalyse haben . In der Tat können …

9 turing-machines proof-theory halting-problem

3

Gepflanzte Clique in G (n, p), variierend p

In dem Problem der gepflanzten Cliquen muss man eine Clique wiederherstellen, die in einem Erdos-Renyi-Zufallsgraphen gepflanzt ist . Dies wurde hauptsächlich für . In diesem Fall ist bekannt, dass es polynomial lösbar ist, wenn und für hart vermutet wird .kkkG ( n, p )G(n,p)G(n,p)p = 12p=12p=\frac{1}{2}k > n- -- -√k>nk …

9 cc.complexity-theory approximation-algorithms approximation-hardness

4

Was sind die Verwendungen von Grenzen und Grenzen der Kategorietheorie bei alltäglichen Problemen?

Ich bin daran interessiert zu wissen, wie wir die Konzepte von Limits und Colimits bei der Modellierung von Problemen im täglichen Leben verwenden können. Könnte vielleicht jemand (Software-) Engineering-Beispiele liefern? Oder allgemein intuitiv beschreiben, für welche Art von Modellierungsproblemen wir diese Konzepte verwenden können? Vielen Dank.

9 ct.category-theory

1

Komplexität beim Finden der maximalen Anzahl paarweiser disjunkter Mengen

Angenommen, ich habe Mengen mit Elementen aus r möglichen. Jeder Satz hat die Größe n ( n < r ), wobei sich die Sätze überlappen können. Ich möchte feststellen, ob die folgenden zwei Probleme NP-vollständig sind oder nicht:PPPrrrnnnn<rn<rn<r Problem A. Gibt es ( 1 ≤ M ≤ P ) verschiedene …

9 graph-theory np-hardness

5

Transitivitätsprüfung vs. Transitivverschluss

Ist es nicht einfacher, die Transitivität eines Digraphen zu überprüfen, als (in Bezug auf die asymptotische Komplexität) den transitiven Verschluss des Digraphen vorzunehmen? Kennen wir eine Untergrenze besser als um festzustellen, ob ein Digraph transitiv ist oder nicht?Ω ( n2)Ω(n2)\Omega(n^2)

9 graph-theory directed-acyclic-graph transitive-closure

3

Wie kann man den Lambda-Kalkül ohne Typensystem stark normalisieren?

Gibt es ein System ähnlich dem Lambda-Kalkül, das sich stark normalisiert, ohne dass ein Typsystem hinzugefügt werden muss?

9 pl.programming-languages computability lambda-calculus functional-programming

3

Entspricht die Klasse der primitiven Rekursionsfunktionen der Klasse der Funktionen, deren Beendigung Fetus nachweist?

Fetus, wenn Sie nicht davon gehört haben, können bis zu lesen hier . Es verwendet ein System von 'Aufrufmatrizen' und 'Aufrufdiagrammen', um alle 'Rekursionsverhalten' von rekursiven Aufrufen in einer Funktion zu finden. Um zu zeigen, dass eine Funktion beendet wird, zeigt sie, dass alle Rekursionsverhalten von rekursiven Aufrufen einer Funktion …

9 lo.logic computability functional-programming

1

Hyperdoktrinen und monadische Logik zweiter Ordnung

Diese Frage ist im Wesentlichen die Frage, die ich bei Mathoverflow gestellt habe. Die MSO-Logik (Monadic Second Order) ist eine Logik zweiter Ordnung mit Quantifizierung über unäre Prädikate. Das heißt, Quantifizierung über Mengen. Es gibt mehrere MSO-Logiken, die für in der Informatik untersuchte Strukturen von grundlegender Bedeutung sind. Frage 1. …

9 lo.logic ct.category-theory

2

Was kann mit semidefiniter Programmierung gelöst werden, was mit linearer Programmierung nicht gelöst werden kann?

Ich bin mit linearen Programmen vertraut, da sie Probleme mit linearen Zielfunktionen und linearen Einschränkungen lösen können. Aber was kann semidefinite Programmierung lösen, was lineare Programmierung nicht kann? Ich weiß bereits, dass semidefinite Programme eine Verallgemeinerung linearer Programme sind. Wie erkennt man ein Problem, das mit semidefiniter Programmierung gelöst werden …

9 linear-programming convex-optimization semidefinite-programming

1

Komplexität der blinden Art?

Wir alle wissen, dass die minimale Komplexität eines vergleichsbasierten Sortieralgorithmus Vergleiche sind. Ich versuche eine blinde Sortierung durchzuführen, dh wenn eine Zahl einen Schaltkreis (mit booleschen, arithmetischen und "Vergleichs" -Gattern) ausgibt, der eine Liste von Elementen sortiert .Ω ( n logn )Ω(nLog⁡n)\Omega(n \log n)nnnnnn Wenn ich alle -Vergleiche vorberechnete und …

9 cc.complexity-theory terminology sorting

2

Anzahl der Zyklen in einem Diagramm

Wie viele Zyklen ( k ≥ 3 ) gibt es in einem n Scheitelpunktgraphen, so dass der Graph keinen Zyklus C m ( m > k ) hat .CkCkC_k (k≥3)(k≥3)(k \geq 3)nnn CmCmC_m (m>k)(m>k)(m>k) Zum Beispiel , k = 3 , dann hat der Graph höchstens zwei C 3 , …

9 graph-theory graph-algorithms

2

Genaue Komplexität eines Problems in

Sei xi∈{−1,0,+1}xich∈{- -1,0,+1}}x_i \in \{-1,0,+1\} für i∈{1,…,n}ich∈{1,…,n}}i \in \{1,\ldots,n\} mit dem Versprechen, dass x = ∑ni = 1xich∈ { 0 , 1 }x=∑ich=1nxich∈{0,1}}x = \sum_{i=1}^n{x_i} \in \{0,1\} (wobei die Summe über Z.Z.\mathbb{Z} ). Wie komplex ist es dann zu bestimmen, ob x = 1x=1x = 1 ? Beachten Sie, dass …

9 reference-request complexity-classes circuit-complexity upper-bounds

2

Genaue Exponentialzeitalgorithmen für 0-1-Programme mit nichtnegativen Daten

Gibt es bekannte Algorithmen für das folgende Problem, die den naiven Algorithmus übertreffen? Eingabe: Matrix AAA und Vektoren b,cb,cb,c , wobei alle Einträge von A,b,cA,b,cA,b,c nichtnegative ganze Zahlen sind. x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{ 0,1\}^n \} Diese Frage ist eine verfeinerte Version meiner vorherigen …

9 np-hardness integer-programming exp-time-algorithms

2

Wählen Sie zwei Zahlen aus , die sich unter Verwendung der sublinearen Abfragezeit zu

Hier ist ein Problem mit dem nächsten Nachbarn. Wenn die reellen Werte (sehr großes n !) Plus das reelle Ziel p sind , finden Sie ein i und ein j, deren SUMME p am nächsten kommt . Wir erlauben angemessene Vorbearbeitung / Indizierung von einem 1 , ... , eine …

9 ds.algorithms cg.comp-geom ds.data-structures

1

Gibt es einen versteckten Zusammenhang zwischen der Existenz unzähliger Mengen und der Unentscheidbarkeit des Halteproblems?

Da beide Beweise das diagonale Argument verwenden, frage ich mich, ob es einen obskuren Zusammenhang zwischen der Existenz unzähliger unendlicher Mengen und der Unentscheidbarkeit des Halteproblems gibt. Wäre das Stoppproblem entscheidbar, wenn alle Sätze abzählbar wären?

9 halting-problem