Computerwissenschaften

1

Beweis, dass TAUT coNP-vollständig ist (oder dass ein Problem coNP-vollständig ist, wenn sein Komplement NP-vollständig ist)

Ich muss beweisen, dass TAUT coNP-vollständig ist. Ich habe gezeigt, dass indem auf . Ich kann jedoch nicht herausfinden, wie ich beweisen kann, dass jedes Problem in coNP in Polynomzeit auf reduziert werden kann . Dazu würde ich eines von zwei Dingen brauchen:TAUT ∈ coNPTAUT∈coNP\text{TAUT} \in \text{coNP}SATSAT\text{SAT}STRAFF¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯TAUT¯\overline{\text{TAUT}}STRAFFTAUT\text{TAUT} Ein bekanntes coNP-vollständiges …

7 complexity-theory np-complete proof-techniques co-np

1

modulare Multiplikation

Ich habe die Seite Modulare Multiplikation auf Wikipedia gelesen ... und konnte den Algorithmus zur Berechnung von nicht verstehen a⋅b(modm)a⋅b(modm)a \cdot b \pmod{m}. uint64_t mul_mod(uint64_t a, uint64_t b, uint64_t m) { long double x; uint64_t c; int64_t r; if (a >= m) a %= m; if (b >= m) b …

7 algorithm-analysis modular-arithmetic

1

Gibt es eine Turing-Maschine, die rechtzeitig läuft?

Es ist bekannt, dass jede (deterministische, einfach geklebte) Turing-Maschine rechtzeitig läuft o ( n logn )o(nlog⁡n)o(n\log n), entscheidet sich für eine reguläre Sprache (zB siehe diesen Link ). Es gibt also eine äquivalente Turing-Maschine, die rechtzeitig läuftO ( n )O(n)O(n). Mit anderen Worten, wennt ( n ) = o ( …

7 complexity-theory turing-machines time-complexity

1

Unmöglichkeit für byzantinische Generäle Problem wo

Wiki: https://en.wikipedia.org/wiki/Byzantine_fault_tolerance In der Arbeit "Einigung in Gegenwart von Fehlern erzielen" haben M. Pease et al. bewiesen, dass es kein Protokoll (irgendeiner Art) gibt, für das das Problem gelöst werden kannn≤3mn≤3mn \leq 3m, wo nnn steht für die Anzahl der Generäle und mmmsteht für die Anzahl der Verräter. Der Schlüssel …

7 distributed-systems information-theory fault-tolerance

1

Können Arbeitsnachweise wahrscheinlich überprüfbar sein?

Ich habe eine Weile gelauert; Dies ist mein erster Beitrag hier. Es tut mir leid, wenn meine Frage schlecht formuliert oder schlecht formatiert ist. Diese Frage entstand aus einigen Ideen in einer anderen Frage von einer Schwesterseite. Frage Aufgrund der Natur einer Blockchain kann eine große Anzahl von öffentlich akzeptablen …

7 complexity-theory np hash proof-of-work

1

Hoare-Logik - vollständige Korrektheit der Schleifen

Betrachten Sie eine while-Schleife des Formulars: while (C) {S}while (C) {S}\texttt{while (C) {S}} mit die Bedingung und den Hauptteil der Schleife.CC\texttt{C}SS\texttt{S} Sei und jeweils eine Invariante und eine Variante dieser Schleife. Die Regel für die vollständige Korrektheit von while-Schleifen ist in meinem Lehrbuch gegeben durch:II\texttt{I}VV\texttt{V} IfI⇒V≥0I⇒V≥0\texttt{I} \Rightarrow \texttt{V} \geq 0 …

7 hoare-logic

1

Datenstruktur zum Testen aller Teilmengen einer Abfrage auf Mitgliedschaft

Gibt es eine Datenstruktur, die die folgenden Vorgänge effizient unterstützt? Set hinzufügen Fragen Sie ab, ob eine Teilmenge einer Menge hinzugefügt wurde. Dies könnte mit linearem Overhead implementiert werden, indem jeder hinzugefügte Satz während jeder Abfrage getestet wird. Kann es effizienter umgesetzt werden? Kleine Wahrscheinlichkeiten für falsch positive / negative …

7 data-structures

2

Höherrangiger Polymorphismus ohne explizite Anwendung oder Subtypisierung?

Daher kenne ich zwei Hauptstrategien für einen höherrangigen Polymorphismus in einer Sprache: Polymorphismus im System-F-Stil, bei dem Funktionen explizit typisiert werden und die Instanziierung explizit über die Typanwendung erfolgt. Diese Systeme können beeindruckend sein. Subtypisierungsbasierter Polymorphismus, wobei ein polymorpher Typ ein Subtyp aller seiner Instanziierungen ist. Um eine entscheidbare Subtypisierung …

7 programming-languages type-theory functional-programming type-checking polymorphisms

2

Kann der Geist ein endlicher Automat sein und trotzdem die Turing-Maschine erfinden?

Die Turing-Maschine wurde von einem menschlichen Verstand erfunden. Vermutlich kann nichts weniger Leistungsfähiges als eine Turingmaschine eine Turingmaschine erfinden. Eine Turing-Maschine hat jedoch unendlich viel Band, während sich der Geist in einem endlichen Universum befindet und daher nur ein TM mit endlichem Band sein kann. Ein TM mit endlichem Band …

7 turing-machines

1

Äquivalenz zwischen zwei Definitionen der Baumbreite

Baumbreite : 1) Durch Triangulierter Graph : Größe der größten Clique - 1 in einer chordal Beendigung des Graphen .(ω(G))(ω(G))(\omega (G))GGG 2) Durch Baumzerlegung : Eine Baumzerlegung von besteht aus einem Baum (auf einem anderen ) und einer Teilmenge die jedem Knoten von . (Wir werden diese Teilmengen die "Teile" …

7 graph-theory parameterized-complexity

2

Beispiel für induktive Mengen, die weder der kleinste noch der größte Fixpunkt sind

Gibt es eine Reihe von induktiven Regeln und einen festen Punkt dieser Regeln, aber gibt es weder den kleinsten noch den größten festen Punkt?

7 logic inductive-datatypes

1

Unterschied zwischen Reihenpolymorpismus und begrenztem Polymorpishmus?

Ich bin kürzlich auf diesen Blog-Beitrag von Brian McKenna gestoßen, der den Zeilenpolymorphismus erklärt. Das schien mir eine wundervolle Idee zu sein, aber dann wurde mir klar, dass es sehr nach begrenztem parametrischem Polymorphismus riecht: Mit Zeilenpolymorphismus: sum: {x: int, y: int | rho} -> int function sum r = …

7 programming-languages semantics

6

Kann eine Teilmenge eines NP-vollständigen Problems in P sein?

Das Problem ist NP-vollständig (bewährt) für alle Eingabedaten (ohne Ausnahme). Wir nehmen an, dass P! = NP. Ist es möglich, dass es eine (unendlich große) Teilmenge des Problems gibt, für die sich diese Teilmenge in P befindet? Theoretische Frage.

7 complexity-theory time-complexity np-complete np

1

Das Schließen regulärer Sprachen wird unter bestimmten Kürzungsvorgängen geschlossen

Lassen f:N→Nf:N→Nf : \mathbb{N} \to \mathbb{N}eine ganzzahlige Funktion sein. Für eine SpracheLLL, definieren f(L)={w∣∃x:|x|=f(|w|) and wx∈L}f(L)={w∣∃x:|x|=f(|w|) and wx∈L}f(L) = \{w \mid \exists x : |x| = f(|w|) \text{ and } wx \in L\} Zum Beispiel wenn f(n)=nf(n)=nf(n) = n Dies ist nur die "Halbierungs" -Operation, und es ist bekannt, dass …

7 regular-languages

4

Warum ist die Anzahl der Sätze nicht endlich?

Ich lerne zurzeit formale Sprachen. In meinem Vortrag heißt es, dass die Wörter einer Sprache zwar endlich sind, die mit der zugrunde liegenden Grammatik aufgebauten Sätze jedoch nicht. Aber ich verstehe nicht, warum dies allgemein wahr sein sollte. Ich kann mir eine Grammatik vorstellen, die mir eine endliche Anzahl von …

7 formal-languages