Theoretische Informatik

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

2
Komplexität der n-Königinnen-Vervollständigung?
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 alle i ≠ jQ[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne …
3
Probleme in nicht bekannt ist, dass sie sich in ?
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 multivariate Polynomfaktorisierung gleichwertig sind, und ich würde sie als nur …
7
Nichttriviale Mitgliedschaft in NP
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 Sprache in …
27 reductions  np 
2
Gründe zu glauben, dass
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 glauben, dass ". Dieses Zitat ist in Geometrische Algorithmen und …
10
Probabilistische (randomisierte) Algorithmen, bevor die „moderne“ Informatik auftauchte
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 Paarproblem in der Rechengeometrie als erster randomisierter …
4
Eine Lotterie, von der Sie überzeugt sein können, dass sie fair ist
(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 die Zufallsziehung tatsächlich fair war?kkkjjjpipip_i
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.