Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

2
Wie ist der Stand der Technik bei Online-Abstimmungen?
Gibt es ein kryptografisches Protokoll, mit dem Menschen zumindest theoretisch (und unter kryptografischen Standardannahmen) sicher von zu Hause aus abstimmen können? Ich konnte sehen, wie die verschiedenen Probleme angegangen werden könnten (z. B. Verhindern, dass Personen zweimal abstimmen, Beweise dafür vorlegen, dass die Abstimmung registriert wurde, ohne dass Informationen darüber …
2
Min. Gewicht, perfekt passend zu einer geraden Anzahl roter Kanten
Betrachten Sie ein gewichtetes Diagramm mit einigen roten Rändern. Wir sind daran interessiert, eine perfekte Übereinstimmung zu finden, so dass die Anzahl der roten Kanten gerade ist und unter den vorherigen Einschränkungen das Gewicht minimiert wird. Ist dieses Problem in Polynomzeit lösbar? Auch für zweigeteilte Graphen? Was ist mit einer …
8 matching 
1
Wie „schwer“ ist es, eine Polynomfunktion unter linearen Bedingungen zu maximieren?
Allgemeines Problem Angenommen, wir haben eine multivariate Polynomfunktion f( x )f(x)f(\mathbf{x})und mehrere lineare Funktionen . Was ist über die Komplexität der Lösung des folgenden Optimierungsproblems bekannt?ℓich( x )ℓich(x)\ell_i(\mathbf{x}) MaximierenVorbehaltlich: f( x )ℓich( x ) ≤ 0 für alle iMaximierenf(x)Vorbehaltlich: ℓich(x)≤0 für alle ich\begin{align*} \text{Maximize} & \;\; f(\mathbf{x}) \\ \text{Subject to: …
1
Nichtdeterminismus ist im Durchschnitt für Schaltkreise nutzlos?
Savický und Woods (Die Anzahl der Booleschen Funktionen, die durch Formeln einer bestimmten Größe berechnet werden) beweisen das folgende Ergebnis. Satz [SW98]: Für jede Konstante haben fast alle Booleschen Funktionen mit einer Formelkomplexität von höchstens eine Schaltungskomplexität von mindestens .n k n k / kk > 1k>1k>1nknkn^knk/ knk/.kn^k/k Der Beweis …
1
Frage zur Subtypisierung von Handlern in „Ein Effektsystem für algebraische Effekte und Handler“
Ich hatte eine Frage zur Untertypisierung in der Arbeit "Ein Effektsystem für algebraische Effekte und Handler" . Ich habe mich gefragt, warum es keine Subtypisierungsregel zum Hinzufügen von Effekten auf beiden Seiten eines Handlertyps gibt. T!A⇒R!B⩽T!(A∪C)⇒R!(B∪C)T!A⇒R!B⩽T!(A∪C)⇒R!(B∪C) \frac{ }{ T!A \;\Rightarrow\; R!B \;\leqslant\; T!(A \cup C) \;\Rightarrow \;R!(B \cup C) } …
2
Wie können Sie eine koinduktive Memoisierungstabelle für rekursive Funktionen über Binärbäumen erstellen?
Die StreamMemo- Bibliothek für Coq zeigt, wie eine Funktion f : nat -> Aüber die natürlichen Zahlen gespeichert wird . Insbesondere wenn f (S n) = g (f n)die imemo_makeFreigabe die Berechnung von rekursiven Aufrufen teilt. Angenommen, wir möchten anstelle natürlicher Zahlen rekursive Funktionen über Binärbäume speichern: Inductive binTree : …
4
Stephen Hawkings Einfluss auf die Informatik
Angesichts des heutigen Todes von Stephen Hawking habe ich mich gefragt, ob eines seiner Ergebnisse einen direkten Einfluss auf cs hat. Der offensichtliche Kandidat wäre das Quantencomputing oder vielmehr der Aufbau eines physischen Quantencomputers, aber vielleicht gibt es Ergebnisse, die andere Auswirkungen haben. Ich kenne seine Arbeit nur auf populärwissenschaftlicher …
1
Reduziert
Angenommen , . Dann ein einfaches Argument zeigt , daß P H P P = N P . Können wir noch einen Schritt weiter gehen und P P P P = N P erhalten ? Das einfache Argument istN.P.= P.P.NP=PPNP=PPP.H.P.P.= N.P.PHPP=NPPH^{PP}=NPP.P.P.P.= N.P.PPPP=NPPP^{PP}=NP Theorem Wenn dann P H P P = …
4
Unmöglichkeit in Berechenbarkeit und Komplexität: immer letztendlich aufgrund diagonaler Argumente?
Wenn wir in der Berechenbarkeit beweisen wollen, dass ein Problem nicht rekursiv oder nicht rekursiv aufzählbar ist, können wir z. B. Reduktionen aus anderen nicht rekursiven oder nicht re-Problemen, dem Riceschen Theorem, dem Rice-Shapiro-Theorem usw. verwenden. Diese Techniken funktionieren dank oder basieren direkt auf der Existenz eines diagonalen Arguments (dh …
1
Komplexität der Modallogik IK5
Was ist die Komplexität des lokalen Erfüllbarkeitsproblems für modale Logik ? Hier bezeichnen wir mit die Modallogik über euklidische Rahmen, die mit inverser Modalität erweitert wurden. Könnten Sie Referenzen angeben? Ist es in ?I K 5IK5\mathit{IK5}ichK.5IK5IK5N.P.NPNP Was weiß ich über das Thema? Es ist leicht zu erkennen, dass sich in …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.