Ich bin verwirrt über den subtilen Unterschied zwischen Aussagen und Urteilen, wenn ich der Theorie des intuitionistischen Typs ausgesetzt bin. Kann mir jemand erklären, woran es liegt, sie zu unterscheiden und was sie unterscheidet? Besonders im Hinblick auf den Curry-Howard
Beim Lesen des Artikels "Ist es an der Zeit, den Sieg bei der Zählung der Komplexität zu erklären?" über an dem „Gödels verlorenen Brief und P = NP“ Blog, erwähnte sie die Dichotomie für CSPs. Nachdem ich ein paar Links gefolgt, gegoogelt und Wikipeds gemacht hatte, stieß ich auf Ladners Theorem :...
(Entschuldigung, wenn dies bekannt ist.) Ich möchte einem von Agenten einen Gegenstand geben , damit der Agent den Gegenstand mit der Wahrscheinlichkeit erhält . Gibt es ein kryptografisches (oder ein anderes) Tool, mit dem jeder Agent (und sogar jeder Beobachter) davon überzeugt werden kann, dass...
Angenommen, ist eine Grafik mit der Farbzahl . Betrachten Sie das folgende Spiel zwischen Alice und Bob. In jeder Runde wählt Alice einen Scheitelpunkt und Bob antwortet mit einer Farbe in für diesen Scheitelpunkt. Das Spiel endet, wenn eine monochromatische Kante entdeckt wird. Sei die maximale...
Ich möchte einen Sonderfall der Frage „ Entscheiden, ob eine gegebene NC 0- Schaltung eine Permutation berechnet “ von QiCheng ansprechen, der unbeantwortet geblieben ist. Eine Boolesche Schaltung wird als NC 0 k- Schaltung bezeichnet, wenn jedes Ausgangsgatter syntaktisch von höchstens k...
In der Rechenkomplexität gibt es einen wichtigen Unterschied zwischen monotonen und allgemeinen Berechnungen, und ein berühmter Satz von Rasborow besagt, dass 3-SAT und sogar MATCHING im monotonen Booleschen Schaltungsmodell nicht polynomisch sind. Meine Frage ist einfach: Gibt es ein Quantenanalog...
Bearbeiten: Ich wähle die Antwort mit der höchsten Punktzahl bis zum 06. Dezember 2012. Das ist eine weiche Frage. Das Konzept der (deterministischen) Algorithmen geht auf BC zurück. Was ist mit den probabilistischen Algorithmen? In diesem Wiki-Eintrag wurde Rabins Algorithmus für das nächste...
Das Studium von Ökologie und Evolution wird immer mathematischer, aber die meisten theoretischen Werkzeuge scheinen aus der Physik zu stammen. In vielen Fällen sind die Probleme jedoch sehr diskret (siehe z. B. SLBS00 ) und könnten aus Informatiksicht von Nutzen sein . Dennoch sind mir nur wenige...
Ich habe kürzlich Die zwei Dualitäten der Berechnung gelesen: Negative und fraktionale Typen . Das Papier erweitert die Summen- und Produkttypen und gibt den Typen a - bund eine Semantik a/b. Im Gegensatz zu Addition und Multiplikation gibt es nicht nur eine, sondern zwei Umkehrungen von...
Es scheint, dass viele Leute glauben, dass , auch weil sie glauben, dass Factoring nicht polyzeitlösbar ist. (Shiva Kintali hat hier einige andere Kandidatenprobleme aufgelistet ).P≠NP∩coNPP≠NP∩coNPP \ne NP \cap coNP Andererseits haben Grötschel, Lovász und Schrijver geschrieben, dass "viele Leute...
Bei einem gegebenen mmm von nnn binären Matrix MMM (Einträge sind 000 oder 111 ), ist das Problem , zu bestimmen , ob es existiert zwei binäre Vektoren v1≠v2v1≠v2v_1 \ne v_2 , so daß Mv1= Mv2Mv1=Mv2Mv_1 = Mv_2 (alle Operationen durchgeführt über ZZ\mathbb{Z} ). Ist das Problem NP-schwer? Es ist...
Gibt es ein Beispiel für eine Sprache, die in , aber wo wir diese Tatsache nicht direkt beweisen können, indem wir zeigen, dass es ein polynomisches Zeugnis für die Zugehörigkeit zu dieser Sprache gibt?NPNPNP Stattdessen würde die Tatsache, dass die Sprache in , durch Reduzieren auf eine andere...
Grothendieck ist verstorben . Er hatte einen massiven Einfluss auf die Mathematik des 20. Jahrhunderts, die bis ins 21. Jahrhundert andauerte. Diese Frage wird zum Beispiel in Anlehnung an Alan Turings Beiträge zur Informatik gestellt . Was sind die wichtigsten Einflüsse von Grothendieck auf die...
Welche Probleme gehören bekanntermaßen zu aber nicht zu ?B P PBPP\mathsf{BPP}PP\mathsf P Genauer gesagt, ich interessiere mich für unabhängige Probleme, bei denen nicht bekannt ist, dass ihre Derandomisierungen gleichwertig sind. Beispielsweise ist bekannt, dass die Derandomisierung von PIT und die...
Das klassische -queens-Problem fragt bei einer positiven ganzen Zahl n , ob es ein Array Q [ 1 .. n ] von ganzen Zahlen gibt, das die folgenden Bedingungen erfüllt:nnnnnnQ[1..n]Q[1..n]Q[1..n] für alle i1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le niii für alle i ≠ jQ[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j]i≠ji≠ji\ne j für...
In meiner Informatikausbildung stelle ich zunehmend fest, dass die meisten diskreten Probleme (zumindest) NP-vollständig sind, wohingegen die Optimierung kontinuierlicher Probleme fast immer leicht erreichbar ist, normalerweise durch Gradiententechniken. Gibt es Ausnahmen
Ich fand dieses Papier sehr interessant. Zusammenfassend lässt sich festhalten, warum in der Praxis selten der schlimmste Fall eines NP-vollständigen Problems auftritt. Die Idee in dem Artikel ist, dass Instanzen normalerweise entweder sehr unter- oder sehr überfordert sind, was beide relativ...
Ich versuche, mich mit den tatsächlichen Unterschieden zwischen dem Actor Model of Concurrency und dem Communicating Sequential Processes (CSP) -Modell von Concurrency auseinanderzusetzen. Das Beste, was mir bisher eingefallen ist, ist, dass das Aktormodell eine Änderung der Anzahl und des Layouts...
Berücksichtigen Sie das Problem der minimalen Mengenabdeckung mit den folgenden Einschränkungen: Jede Menge enthält höchstens Elemente, und jedes Element des Universums kommt in höchstens Mengen vor.fkkkfff Beispiel: Der Fall und f = 2 entspricht dem Minimum Vertex Cover Problem in Graphen mit...
Ist es möglich, eine Boolesche Formel B in eine äquivalente Konjunktion von Horn-Klauseln zu übersetzen? Der Wikipedia-Artikel über HornSAT scheint zu implizieren, dass dies der Fall ist, aber ich konnte keine Referenz aufspüren. Beachten Sie, dass ich nicht "in polynomialer Zeit" meine, sondern...