Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

3
Verlauf und Status des Diagrammanpassungsproblems
Ein Teil der Schwierigkeit, mehr über dieses Problem herauszufinden, besteht darin, dass sich das Graph-Matching-Problem von seinem viel bekannteren Cousin, dem Matching-Problem, unterscheidet, aber bei der Verwendung von Suchmaschinen schwer zu unterscheiden ist. Gegeben sind zwei Graphen G=(V,E)G=(V,E)G=(V,E) und G′=(V′,E′)G′=(V′,E′)G'=(V',E') so dass |V|=|V′||V|=|V′||V| = |V'|besteht die Aufgabe darin, eine Bijektion …
1
Ist Bitcoin kryptografisch sicher
Ich versuche, das Bitcoin-Protokoll im Kontext der rechnergestützten kryptografischen Sicherheit zu verstehen. Die Frage ist eine Referenzanfrage an Grundlagen von Kryptografieartikeln zu Bitcoin. Meine erste Frage ist, welches abstrakte kryptografische Protokoll Bitcoin zu implementieren versucht. Haben wir eine Definition von elektronischem Geld / digitaler Währung in der Kryptographie, die Bitcoin …
1
Obergrenze für den Grad einer Booleschen Funktion in Bezug auf ihre Empfindlichkeit
Ein sehr interessantes offenes Problem bei der Untersuchung von Komplexitätsmaßen der Booleschen Funktion ist die sogenannte Vermutung der Empfindlichkeit gegenüber der Blockempfindlichkeit. Hintergrundinformationen zur Empfindlichkeit gegenüber Blockempfindlichkeit finden Sie im folgenden Blogpost von S. Aaronson unter http://www.scottaaronson.com/blog/?p=453 . Um beste Wissen und Gewissen, die besten Ober auf gebunden bekannt in …
1
Ergebnisse der unteren Grenzen / Härte von Noisy Parity (LWE)
Einige Hintergrundinformationen: Ich bin daran interessiert, "weniger bekannte" Untergrenzen (oder Härteergebnisse) für das Problem "Lernen mit Fehlern" (LWE) und Verallgemeinerungen wie "Lernen mit Fehlern über Ringe" zu finden. Für spezifische Definitionen usw. finden Sie hier eine schöne Umfrage von Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf Der Standardtyp der Annahme im (R) LWE-Stil ist die …
2
Kunstgalerie-Varianten mit paarweiser Sichtbarkeit?
Das Problem der traditionellen Kunstgalerie richtet eine Region und Wachen mit einer gewissen Sichtbarkeit ein und fordert die Mindestanzahl von Wachen an, die platziert werden müssen, um die gesamte Region zu sehen. Hat sich jemals jemand Kunstgalerievarianten angesehen, bei denen der Sichtbarkeitsbereich stattdessen von zwei Wachen definiert wird ? Zum …
1
Komplexität der einzigartigen st-Konnektivität
Ich möchte wissen, ob das folgende Problem in (nicht deterministischer Logspace) entschieden werden kann:NLNL\mathsf{NL} Gibt es bei einem gerichteten Graphen mit zwei unterschiedlichen Eckpunkten und einen eindeutigen Pfad von nach in ?GGGssstttssstttGGG Ich , dass es wahrscheinlich in da wir beide entscheiden können, ob es einen - - Pfad gibt …
2
Nichtlokale Spiele und Quantenkommunikation
Ich bin derzeit auf der Suche nach gutem Referenzmaterial, das nicht-lokale Spiele mit nützlichen Aspekten in der Quantenkommunikation in Verbindung bringt. Ich bin mir zum Beispiel bewusst, dass nicht-lokale Spiele die Komplexität der Kommunikation begrenzen und die Sicherheit von QKD-Protokollen gewährleisten können. Was ich gerne wissen würde ist, was sind …
1
Wenn ein PDA M gegeben ist, so dass L (M) in DCFL ist, konstruiere ein DPDA N, so dass L (N) = L (M)
Ist es möglich, einen Algorithmus zu konstruieren, der einen Pushdown-Automaten als Eingabe verwendet, zusammen mit dem Versprechen, dass die von diesem Automaten akzeptierte Sprache eine deterministische kontextfreie Sprache ist und einen deterministischen Pushdown-Automaten ausgibt, der genau die akzeptierte Sprache akzeptiert von ?L ( M ) N M.M.MML ( M.)L(M)L(M)N.NNM.MM Ein …
4
Ein endliches Modell finden
ϕϕ\phi ϕϕ\phiϕϕ\phi Der zweite Teil meiner Frage lautet: Gibt es bekannte Einschränkungen, so dass das Problem entscheidbar ist? Beispielsweise kann das Problem für Formeln erster Ordnung mit nur monadischen Prädikaten entscheidbar werden. Oder wenn wir ein monadisches Prädikat plus eine Nachfolgerbeziehung haben. Aber ich kann mir keinen Algorithmus vorstellen, um …
2
Verweise auf Programmiersprachen basierend auf bedingten Logiken
Bedingte Logik ist eine Logik, die die traditionelle logische Implikation mit Modaloperatoren erweitert, die anderen Begriffen der Bedingung entsprechen (z. B. lautet die kausale Bedingung " verursacht" B "oder" B " probabilistische Konditionierung " ", die " gegebenes " lautet ).A□→BA◻→BA\; \square\!\!\!\!\to BA | B A B.AAAA|BA|BA|BAAABBB Normalerweise werden diese …
4
Komplexitätsklasse NEXP
Ich habe ein Problem, das sich in NEXP NP befindet und auch durch ein alternierendes TM mit exponentieller Zeit und nur einem Wechsel (beginnend in einem existenziellen Zustand) gelöst werden kann.NPNP^{\text{NP}} Ist etwas über NEXP NP bekannt ? Ist es gleich NEXP oder einer anderen Klasse? Gibt es andere als …
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.