Theoretische Informatik

3

Nehmen wir an, wir lösen das Problem des Zählens der richtigen Farben, indem wir die gewichteten Farben wie folgt zählen: Jede richtige Farbe wird mit 1 gewichtet, und jede falsche Farbe wird mit gewichtet, wobei c eine Konstante ist und v die Anzahl der Kanten mit identischen Endpunkten ist. Wenn …

26 graph-theory approximation-algorithms approximation-hardness counting-complexity graph-colouring

3

Ist es NP-schwer, internationale Drafts korrekt zu spielen?

Ist das folgende Problem NP-schwer? Wenn Sie eine Kartenkonfiguration für internationale Entwürfe haben , finden Sie einen einzigen legalen Schritt.n × nn×nn\times n Das entsprechende Problem für amerikanische Kontrolleure (auch englische Entwürfe genannt) ist in der Polynomzeit trivial lösbar. Es gibt drei Hauptunterschiede zwischen diesen beiden Spielen.n × nn×nn\times n …

26 cc.complexity-theory np-hardness open-problem board-games

2

Sind Lambda-Kalkül und kombinatorische Logik gleich?

Ich lese gerade " Lambda-Kalkül und Kombinatoren " von Hindley und Seldin. Ich bin kein Experte, habe mich aber immer für Lambda-Kalkül interessiert, weil ich mich mit funktionaler Programmierung befasst habe (angefangen mit Lisp und SICP, und jetzt mit R und Haskell). In " Binary Lambda Calculus and Combinatory Logic" …

26 combinatory-logic functional-programming lambda-calculus

3

Berechnung von Informationen zu Max-3SAT

Für eine 3CNF Formel lassen in beliebiger Zuordnung zur maximalen Anzahl der Klauseln erfüllt sein . Es ist bekannt, dass Max-3SAT schwer zu approximieren ist (abhängig von P ≠ NP), dh es gibt keinen Polyzeitalgorithmus, dessen Eingabe eine 3CNF-Formel ist und dessen Ausgabe die Zahl so dass innerhalb von a …

26 cc.complexity-theory sat

1

Was ist der Unterschied zwischen dem Actor Model of Concurrency und Communicating Sequential Processes?

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 von Knoten zulässt, während CSP eine feste Struktur von …

26 concurrency

3

Übersetzen von SAT nach HornSAT

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 "überhaupt".

26 reference-request lo.logic sat

4

Bounded-Cardinality-Bounded-Frequency-Set-Cover: Härte der Approximation

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 maximalem Grad 4.f = 2k=4k=4k = 4f=2f=2f = …

26 cc.complexity-theory reference-request approximation-algorithms set-cover np-hardness

3

Natürliche Probleme in nicht in ?

Gibt es in irgendwelche natürlichen Probleme , die in nicht vorhanden sind (von denen bekannt ist, dass sie es sind) ?NP∩ c o NPNP∩cONPNP \cap coNPUP∩ c o UPUP∩cOUPUP \cap coUP Offensichtlich ist die große, die jeder in kennt, die Entscheidungsversion des Factorings (hat n einen von höchstens k), aber …

26 cc.complexity-theory complexity-classes np

2

Gibt es eine NP-vollständige Sprache, die genau die Hälfte der n-Bit-Instanzen enthält?

Gibt es eine (vorzugsweise natürliche) NP-vollständige Sprache , so dass für jedes n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 gilt? Mit anderen Worten enthält L genau die Hälfte aller n- Bit-Instanzen.L ⊆ { 0 , 1 }∗L⊆{0,1}∗L\subseteq \{0,1\}^*n ≥ …

25 cc.complexity-theory np np-complete

5

Gibt es kommentierte formale Verifizierungssysteme für reine funktionale Programmiersprachen?

ACSL (Ansi C Specification Language) ist eine mit speziellen Kommentaren versehene Spezifikation für C-Code, mit der C-Code formal verifiziert werden kann. Ich habe es nicht untersucht, aber ich stelle mir vor, dass die in ACSL- Verifizierern verwendeten formalen Methoden Hoare Logic ähneln würden. Für reine funktionale Sprachen wie Haskell kann …

25 lo.logic pl.programming-languages functional-programming formal-methods haskell

1

Erkennen von Sequenzen mit allen Permutationen von als Teilsequenzen

Für jeden , sage ich , dass eine Folge von ganzen Zahlen in ist -komplette , wenn für jede Permutation von geschrieben als eine Folge von paarweise verschiedenen ganzen Zahlen , ist die Folge eine Teilfolge von , dh es gibtso dass für alle .n>0n>0n > 0sss{1,…,n}{1,…,n}\{1, \ldots, n\}nnnpp\mathbf{p}{1,…,n}{1,…,n}\{1, \ldots, …

25 cc.complexity-theory co.combinatorics np-hardness permutations

1

Ist kubische Komplexität für LP noch immer Stand der Technik?

Nach D. den Hertog, Interior Point Approach of Linear, Quadratic and Convex Programming, 1994 , ist ein lineares Programm mit Variablen, Nebenbedingungen und Genauigkeit in Zeit lösbar . Wurde das verbessert?nnnnnnLLLO ( n3L )O(n3L)O(n^3L)

25 cc.complexity-theory reference-request linear-programming

3

Wurden Untersuchungen zu SAT oberhalb der Erfüllbarkeitsschwelle durchgeführt?

Ein bekanntes Merkmal von SAT-Instanzen ist das Verhältnis der Anzahl von Sätzen zur Anzahl von Variablen , dh der Quotient . Für jedes gibt es einen Schwellenwert st \ für , die meisten Instanzen sind erfüllbar und für meisten Instanzen nicht erfüllbar. Es wurde eine Menge Forschung für Probleme durchgeführt, …

25 cc.complexity-theory sat random-k-sat phase-transition

3

Kryptographie ohne Annahmen - auf der Suche nach einem Überblick

Angenommen, und ein schneller linearer Zeitalgorithmus für SAT erscheinen morgen. Plötzlich ist RSA unsicher, ein Großteil unseres modernen Kommunikationssystems ist kaputt und wir müssen überdenken, wie wir Geheimnisse voneinander fernhalten können.P= NPP=NPP = NP Frage: Gibt es eine gute Einzelreferenz (oder Kurzliste), um einen umfassenden Überblick darüber zu erhalten, was …

25 cr.crypto-security

5

Mathematische Implikationen komplexitätstheoretischer Vermutungen außerhalb des TCS

Kennen Sie interessante Konsequenzen von (Standard-) Vermutungen in der Komplexitätstheorie in anderen Bereichen der Mathematik (dh außerhalb der theoretischen Informatik)? Ich würde Antworten vorziehen, wo: Die Vermutung der Komplexitätstheorie ist so allgemein und normal wie möglich. Ich bin auch mit den Konsequenzen der Härte spezifischer Probleme einverstanden, aber es wäre …

25 cc.complexity-theory conditional-results