Als «reference-request» getaggte Fragen

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

1
Durchschnittliche Raumkomplexität
Ich versuche, Probleme zu finden, deren durchschnittliche Raumkomplexität analysiert wurde. Insbesondere interessiert mich, ob es Probleme mit einer nachgewiesenen Untergrenze der Raumkomplexität gibt, die superlinear ist, und insbesondere, wenn es Probleme mit einer Durchschnittsfallanalyse gibt (z. B. gilt die Grenze, selbst wenn der Algorithmus zulässig ist sich für einen kleinen …
1
Untergrenzen für nichtdeterministische Mehrparteienkommunikation
Dies ist eine Fortsetzung meiner vorherigen Frage zur Kommunikationsuntergrenze für partielle Boolesche Funktionen . Kann jemand einen Hinweis auf Untergrenzen für nichtdeterministische Mehrparteienkommunikation vorschlagen? Ich habe die Arbeiten auf dem Gebiet untersucht, aber jeder scheint Trennungen des folgenden Typs aufzuweisen: eine Untergrenze für ein randomisiertes Protokoll und eine (kleinere) Obergrenze …
1
Agnostisches Lernen über beliebige Verteilungen
DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in Cerr(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\ err(f,D) Angenommen, ein Algorithmus lernt C agnostisch über jede Verteilung, wenn er für jedes D mit einer Wahrscheinlichkeit von 2/3 eine Funktion f finden kann, so dass err (f, D) \ leq OPT (C, …
1
Betrachten Menschen die Schleifenverschachtelung in booleschen Schaltkreisen?
Während eines EE-Studiums besuchte ich einige Vorlesungen, die eine schöne Charakterisierung der Booleschen Schaltkreise hinsichtlich der Anzahl der verschachtelten Schleifen darstellten. In der Komplexität werden boolesche Schaltungen oft als Dags angesehen, aber in realen Hardwarezyklen sind sie üblich. Nun, modulo einige technische Details in Bezug darauf, was eine Schleife ist …
1
Berechnung der maximalen H-freien Mengen
In einem Diagramm ist eine unabhängige Menge eine Scheitelpunktuntermenge, die keine Kante als induzierten Untergraphen enthält. Das Problem, die größten unabhängigen Mengen in einem Graphen zu finden, ist eine grundlegende algorithmische Frage, und zwar eine schwierige. Betrachten wir die allgemeinere Frage des Findens (der Größe) einer größten H-freien Menge in …
3
Bedeutet
Bezeichne mit den minimalen In-Grad in G und mit δ - ( G ) den minimalen In-Grad.δ+( G )δ+(G)\delta^+(G)GGGδ- -( G )δ−(G)\delta^-(G) In einer verwandten Frage habe ich die Ghouila-Houri-Erweiterung des Dirac-Theorems über Hamilton-Zyklen erwähnt , was darauf hindeutet, dass wenn dann ist G Hamiltonian.δ+( G ) , δ- -( …
4
Wiederherstellen der Steigung einer digitalisierten Linie
Wurde daran gearbeitet, die Steigung eines Liniensegments nach seiner Digitalisierung wiederherzustellen? Das kann man natürlich nicht mit perfekter Genauigkeit machen; Was man will, ist eine Methode, aus einer digitalisierten Linie ein Intervall möglicher Steigungen abzuleiten. (Der Begriff einer digitalisierten Linie, den ich verwende, ist Rosenfelds: die Menge von Paaren wobei …
5
Submodulare Funktionen: Referenzanforderung
Ich würde mich sehr für Verweise auf die Theorie der submodularen Funktionen (von den Grundlagen bis zu den Fortgeschrittenen) interessieren. Insbesondere studiere ich Annäherungen an schwierige Optimierungsprobleme und möchte meine Grundlagen in submodularen Funktionen entwickeln, da diese für die von mir untersuchten Optimierungsprobleme relevant sind. Danke im Voraus.
2
Implementierung von „internen“ Sprachen
Eine der praktischsten Konsequenzen der "Curry-Howard-Lambek" -Korrespondenz ist, dass die Syntax vieler Lambda-Calucli / Logiken verwendet werden kann, um Konstruktionen in einer ausreichend strukturierten Kategorie auszuführen. Beispielsweise verfügt die synthetische Differentialgeometrie über Modelle in Topoi, die die Kategorie der glatten Mannigfaltigkeiten enthalten und einbetten, sodass Sie Logik höherer Ordnung verwenden …
1
Beweisverfahren zum Nachweis der abhängigen Typprüfung sind entscheidbar
Ich bin in einer Situation, in der ich zeigen muss, dass Typchecking für einen abhängig typisierten Kalkül, an dem ich arbeite, entscheidend ist. Bisher konnte ich beweisen, dass sich das System stark normalisiert und somit die definitive Gleichheit entscheidbar ist. In vielen Referenzen, die ich lese, wird die Entscheidbarkeit der …
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.