Ich hatte kürzlich eine Diskussion mit einem Freund (der sich für stark typisierte Sprachen einsetzt). Er machte den Kommentar: Die Erfinder von Lambda Calculus haben immer beabsichtigt, es zu tippen. Jetzt können wir sehen, dass Church mit dem einfach getippten Lambda-Kalkül in Verbindung gebracht...
Ich benötige eine Liste von vollständigen Sprachen. Im Complexity Zoo sind zwei solche Probleme aufgeführt :Σp2Σ2p\Sigma_2^p Mindestäquivalent DNF. Gibt es bei einer DNF-Formel F und einer Ganzzahl k eine DNF-Formel, die F mit k oder weniger Vorkommen von Literalen äquivalent ist? Kürzester...
Gibt es einen allgemeinen Satz, der besagt, dass die bekanntesten Ergebnisse in Bezug auf die Verwendung reeller Zahlen tatsächlich verwendet werden können, wenn nur berechenbare reelle Zahlen betrachtet werden? Oder gibt es eine ordnungsgemäße Charakterisierung der Ergebnisse, die gültig bleiben,...
Sei ein Digraph (nicht unbedingt eine DAG) und sei . Was ist die Komplexität der Zählen der Anzahl von einfachen Pfade in . s , t ≤ V ( G ) s - t GGGGs , t ∈ V( G )s,t∈V(G)s,t \in V(G) s - ts−ts-tGGG Ich würde erwarten, dass das Problem # -vollständig ist, konnte aber keine genaue Referenz finden....
Ich suche nach einem One-Pass-Algorithmus, der die Parität einer Permutation berechnet. Ich gehe davon aus, dass eine Eingabepermutation durch stream . Die Ausgabe sollte die Parität der Permutation sein. Die Frage, die mich interessiert, wie viel Speicher ein deterministischer Algorithmus...
Wenn man sich den Blog über Homotopietypentheorie ansieht , findet man leicht eine Menge Bibliotheken, die die meisten Homotopietypentheorien in Agda und Coq formalisieren. Ist jemandem bekannt, ob es einen ähnlichen Versuch gibt, HoTT in Idris zu formalisieren
Ich habe gelesen, dass die ganzzahlige lineare Programmierung in Polynom-Zeit lösbar ist, wenn die Anzahl der Variablen fest ist, dh n ∈ O ( 1 ) . Wenn die Anzahl der Variablen logarithmisch ansteigt, dh n ∈ O ( log 2 ( N ) ) für eine gegebene Eingabe der Größe N , ist das Problem in der...
Das 0-1-Prinzip besagt, dass, wenn ein Sortiernetzwerk für alle 0-1-Sequenzen funktioniert, es für einen beliebigen Satz von Zahlen funktioniert. Gibt es ein so dass, wenn ein Netzwerk jede 0-1-Sequenz von S sortiert, es jede 0-1-Sequenz sortiert und die Größe von S in n polynomial ist ?S⊂ { 0 , 1...
Das Zählen von Dreiecken in allgemeinen Diagrammen kann trivial in und ich denke, dass es schwierig ist, viel schneller zu arbeiten (Referenzen erwünscht). Was ist mit planaren Graphen? Das folgende unkomplizierte Verfahren zeigt, dass es in O ( n log n ) Zeit durchgeführt werden kann. Meine Frage...
Ich werde mein Problem mit einem Beispiel vorstellen. Angenommen, Sie entwerfen eine Prüfung, die aus einer bestimmten Menge von nnn unabhängigen Fragen besteht (die die Kandidaten entweder richtig oder falsch beantworten können). Sie möchten sich für eine Punktzahl entscheiden, die für jede der...
Lassen Sie AAA und BBB werden Teilmengen von { 0 , ... , n }{0,…,n}\{0,\ldots,n\} . Wir sind daran interessiert, die Minkowski-Summe A + B = { a + b | zu finden a ∈ A , b ∈ B } A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} . χ X : { 0 , ... , 2 n } → { 0 , 1
In der formalen Beschreibung deterministischer Pushdown-Automaten erlauben sie Bewegungen, bei denen die Maschine Symbole auf den Stapel kopieren oder schieben kann, ohne ein Symbol von der Eingabe zu lesen. Wenn diese Bewegungen nicht zulässig sind und der Stapel nur einmal nach jedem...
Ein gemischtes Diagramm ist ein Diagramm, das sowohl gerichtete als auch ungerichtete Kanten haben kann. Das zugrunde liegende ungerichtete Diagramm wird erhalten, indem die Ausrichtungen der gerichteten Kanten vergessen werden, und in der anderen Richtung wird eine Ausrichtung eines gemischten...
Auf eine Frage hin, die Greg Kuperberg mir gestellt hat, frage ich mich, ob es Papiere gibt, die Komplexitätsklassen von Sprachen definieren und untersuchen, die verschiedene Arten von Wissensnachweisen zulassen . Klassen wie SZK und NISZK sind vom Standpunkt der Komplexität aus äußerst natürlich,...
Was sind einige Beispiele für Paare von Komplexitätsklassen und B, so dassAAABBB wir wissen nicht, ob undA=BA=BA=B wir kennen auch keine widersprüchlichen Relativierungen (dh wir kennen keine Orakel und Q, so dass A P = B P und A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Um die Frage...
Viele Veröffentlichungen der Informatik aus den 1950er und 1960er Jahren enthalten faszinierende philosophische Spekulationen über die Natur des Geistes und die Bedeutung von Informationen in Bezug auf die physische Welt. Berühmte Beispiele sind der "Turing Test", Zuses "Calculating Space",...
Hintergrund . Ich bin ein Bachelor-Student, der sich für Forschung in Bezug auf Kategorietheorie, Monaden und Haskell interessiert, und ich möchte ein Thema für meine Bachelor-Arbeit in diesem Bereich finden. Ich habe mir die Zeitung angesehen Eugenio Moggi , " Vorstellungen von Berechnungen und...
Es ist ein Standardnachweis in Automatenkursen, der für L=Σ⋆L=Σ⋆L = \Sigma^\star und |Σ|≥2|Σ|≥2|\Sigma| \ge 2 dass S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} keine kontextfreie Sprache ist. Es ist auch wahr , dass für jede endliche LLL , S(L)S(L)S(L) endlich ist (und daher ein CFL). Ich...
Haftungsausschluss: Ich weiß sehr wenig über Komplexitätstheorie. Es tut mir leid, aber es gibt wirklich keine Möglichkeit, diese Frage zu stellen, ohne (schrecklich) präzise zu sein: Was sollen die Morphismen in "der" Kategorie der Turingmaschinen sein? Dies ist offensichtlich subjektiv und hängt...
Ein Student von mir hat kürzlich die folgende Frage gestellt: Es sei angenommen , D T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) . DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).Muss es ein h ( n ) geben,h(n)h(n) so dass D T I M E ( f ( n ) ) ⊊ D T I M E ( h ( n ) ) ⊊ D T IM E ( g ( n )...