Theoretische Informatik

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

1
Gibt es eine Möglichkeit, Suchmaschinenverzerrungen zu erkennen?
Suchmaschinen werden zunehmend als Informationstorhüter eingesetzt, doch die Kriterien, nach denen Suchmaschinen die Ergebnisse bewerten, sind für Benutzer undurchsichtig. Wie können Benutzer sicher sein, dass ihre Ergebnisse nicht voreingenommen oder in irgendeiner Weise manipuliert sind, um ein gewisses Interesse auf Kosten der Qualität der Suchergebnisse zu fördern? Regierungen fordern routinemäßig, …
1
Funktionale Vollständigkeit der 3-wertigen Logik
Im Zusammenhang mit einigen neueren Arbeiten haben wir eine Sprache definiert, die auf einer dreiwertigen Logik à la Kleene basiert, wobei für wahr, 0 für falsch und ⊥ für Fehler oder Nichtwissen steht . Um zu zeigen, dass unsere Sprache ausdrucksstark ist, wollten wir beweisen, dass wir eine Reihe von …
2
Mittelpunktlösungen für lineare Programme
Es gibt ein lineares Programm, für das ich nicht nur eine Lösung möchte, sondern eine Lösung, die auf der Vorderseite des Polytops so zentral wie möglich ist und den minimalen Wert annimmt. A priori erwarten wir, dass die Minimierungsfläche aus verschiedenen Gründen hochdimensional sein sollte, einschließlich der Tatsache, dass die …
1
Wie hat Knuth A abgeleitet?
Bei der Interpretation von Schlüsseln als natürliche Zahlen können wir die folgende Formel verwenden. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Was ich nicht verstehen kann, ist, wie wir den Wert von A wählen, wo: 0&lt;A&lt;10&lt;A&lt;1\begin{equation} 0 < A < 1 \end{equation} Ein optimaler Wert ist nach Knuth: A≈(5–√−1)/2=0.6180339887...A≈(5−1)/2=0.6180339887...\begin{equation} …
3
Entscheidbarkeit transzendentaler Zahlen
Ich habe eine Frage, deren Antwort wahrscheinlich bekannt ist, aber ich kann nach einigem Suchen anscheinend nichts Sinnvolles finden, daher würde ich mich über Hilfe freuen. Meine Frage ist, ob bekannt ist, dass die Entscheidung, ob eine Zahl transzendent ist, unentscheidbar ist. Möglicherweise nimmt man als Eingabe ein Programm an, …
2
Zweck und Bestimmung, wann versteckte Ebenen verwendet werden sollen
Weiterverfolgung dieser Frage ... Ich versuche zu lernen, wie man neuronale Netze für meine Forschung verwendet und erstellt, und ein Punkt entgeht mir etwas. Mir ist klar, dass verborgene Schichten ein etwas notwendiger Teil davon sind, aber ich stecke in zwei Punkten fest, die meine Referenzen nicht zu meiner Zufriedenheit …
2
Geben uns gute PCPs für NP gute PCPs für die gesamte Polynomhierarchie?
Das PCP-Theorem besagt, dass jedes Entscheidungsproblem in NP probabilistisch überprüfbare Beweise hat (oder äquivalent dazu, dass es ein vollständiges und quasi-schalldichtes Beweissystem für Theoreme in NP gibt, das eine konstante Abfragekomplexität und logarithmisch viele zufällige Bits verwendet). Die „Volksweisheit“, die den PCP-Satz umgibt (wobei die Bedeutung von PCP für die …
1
"Richtige" Gleichförmigkeitsbedingung für Nicks Klasse
DLOGTIME ist definiert unter http://en.wikipedia.org/wiki/DLOGTIME ist definiert unter http://en.wikipedia.org/wiki/L_%28complexity%29 und sind unter http://en.wikipedia.org/wiki/NC_%28complexity%29 definiert LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME scheint das kleinste zu sein, das funktionieren könnte. Ich habe an verschiedenen Stellen gelesen , dass , obwohl jeder Ort , den ich habe , dass Ergebnisse , die eine Gleichmäßigkeits Bedingung Verwendungen …
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.