Als «reference-request» getaggte Fragen

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

5
Was sind gute Referenzen zum Verständnis des Online-Lernens?
Insbesondere bitte ich um Ressourcen, um mehr über maschinelle Lernsysteme zu erfahren, die ihre jeweiligen Glaubensnetzwerke (oder gleichwertige) während des Betriebs aktualisieren können. Ich bin sogar auf einige gestoßen, obwohl ich sie nicht mit einem Lesezeichen versehen konnte. Wie Sie sich vorstellen können, ist es ein ziemlich herausforderndes Thema, im …
1
Ist die Kolmogorov-Komplexität der Wahrheitstabellen des Halteproblems asymptotisch bekannt?
Es sei HALTnHALTnHALT_n die Zeichenkette der Länge 2n2n2^n , die der Wahrheitstabelle des Halteproblems für Eingaben der Länge nnn . Wenn die Sequenz der Kolmogorov Komplexitäten K(HALTn)K(HALTn)K(HALT_n) waren O(1)O(1)O(1) , dann einer der Ratschläge Saiten unendlich oft verwendet werden würde, und eine TM mit dieser Zeichenfolge hartcodierte der Lage wäre …
1
Die Quelle des modularen Zerlegungsgraphen
Bei der Einführung der modularen Zerlegung von Graphen verwenden die meisten Autoren den 11-Vertex-Graphen, den ich aus Wikipedia kopiere. Die Frage ist, wer der ursprüngliche Designer davon ist (sind). (Ich frage nicht, wer diese Grafik für Wikipedia gezeichnet hat, sondern die ursprüngliche Quelle.) Die Wikipedia-Seite wurde im Dezember 2006 erstellt. …
1
Bekannteste asymptotische PCP-Größen / 3-SAT
Was sind die bekanntesten asymptotischen Obergrenzen für die Größe probabilistisch überprüfbarer Beweise? Idealerweise suche ich nach einer zeitgemäßen Umfrage zu dieser umfassenden Frage, aber wenn es keine gibt, bin ich besonders an der Unannäherbarkeit von 3-SAT interessiert. Sei 7/8 + ε-3-SAT 3-SAT mit dem Versprechen, dass die Instanz erfüllbar ist, …
2
Entscheidbarkeit der Typinferenz und Typprüfung in MLTT
In Martin-Löfs Eine intuitionistische Theorie der Typen: Prädikativer Teil wird bewiesen, dass die Typprüfung unter dem Vorbehalt Typisierbarkeit entscheidend ist , indem ein Normalisierungssatz für geschlossene typisierbare Begriffe bewiesen wird. Andererseits habe ich an mehreren Stellen (Wikipedia, Nördstrom usw.) gesehen, dass das Einchecken von (intensiven) MLTT-Entscheidungen entscheidbar ist. beschränken sie …
1
Mustervergleich mit egal: Mehrere Muster
Kalais 2-seitiges SODA-Papier bietet einen einfachen und effizienten Algorithmus für den Mustervergleich mit egal (Platzhalter, die einem Zeichen entsprechen). Im Wesentlichen ist es so einfach wie Faltung. Aber was passiert, wenn wir nach mehreren Mustern suchen , ohne sich darum zu kümmern? Können wir es trotzdem irgendwie lösen, zB mit …
2
Graph-Minor-Theorem verstehen
Diese Frage ist zweifach und hauptsächlich referenzorientiert: Gibt es irgendwo, wo die wichtigsten Intuitionen zum Beweis des Graph-Minor-Theorems gegeben sind, ohne zu sehr auf die Details einzugehen? Ich weiß, dass der Beweis lang und schwierig ist, aber es muss sicherlich Schlüsselideen geben, die auf einfachere Weise kommuniziert werden können. Gibt …
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.