In dem Max-Cut- Problem sucht man eine Teilmenge S von Eckpunkten eines gegebenen einfachen ungerichteten Graphen, so dass die Anzahl der Kanten zwischen S und dem Komplement von S so groß wie möglich ist. Max-Cut ist APX-vollständig auf Graphen mit begrenztem Grad [PY91] und tatsächlich...
Für eine Anwendung zum maschinellen Lernen muss meine Gruppe den euklidischen Abstand zum ten nächsten Nachbarn in einer Menge X für jedes x ∈ ( X ∪ Y ) ⊂ R d (für d zwischen 5 und etwa 100 und | X | ≈ ) berechnen | Y | einige hundert bis einige Millionen). Wir verwenden derzeit entweder den...
Gegeben ist eine submodulare Funktion auf Ω = X 1 ∪ X 2, wobei X 1 und X 2 disjunkt sind und f ( S ) = f 1 ( S ∩ X 1 ) + f 2 ( S ∩ X 2 ) . Hier sind f 1 und f 2 auf X 1 bzw. X 2 submodular .fffΩ = X.1∪ X.2Ω=X1∪X2\Omega=X_1\cup X_2X.1X1X_1X.2X2X_2f( S.) = f1( S.∩ X.1) + f2( S.∩...
Ich lerne die algebraische Theorie des Parsens. Mein erstes Problem ist die Identifizierung von Semiring-Beispielen, die spezifisch für die formale Sprachtheorie sind. Hier ist ein Versuch, zwei Beispiele zu konstruieren. 1 Bei gegebener CNF-Grammatik sind die Elemente des Semirings Sätze von...
Ich versuche, mehr über Typprüfungs- und Typinferenzierungssysteme für das gesamte Programm zu erfahren, die Informationen von Funktionsaufrufseiten verwenden, um Typinformationen zu berechnen (zusätzlich zum Standardansatz der Verwendung des Funktionskörpers). Beispielsweise könnte ein solcher...
Ich lese eine alte Arbeit von MC Golumbic über EPT-Graphen (Kantenschnittpunkte von Pfaden in einem Baum). In der Arbeit wird gezeigt, dass die Anzahl der maximalen Cliquen einer EPT-Grapheninstanz polynomisch ist. Es kommt zu dem Schluss, dass, wenn ein Orakel meldet, dass ein Graph ein EPT-Graph...
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...
Nehmen Sie einen Rahmen für die Kommunikationskomplexität an, in dem wir zwei Spieler A (Läuse) und B (ob) und einen R (eferee) haben. A und B kommunizieren nicht direkt miteinander. In jeder Kommunikationsrunde sendet jeder von ihnen eine Nachricht ( , ) an das R. R berechnet zwei Funktionen und...
(Entschuldigung, wenn dies falsch oder zu weit gefasst ist. Ich bin offen für Vorschläge zur Neuformulierung.) Ich bin daran interessiert, die "alte" Geschichte der Max-Flow-Algorithmen und der diskreten Optimierungsalgorithmen im Allgemeinen zurückzuverfolgen. Ford-Fulkerson ist mein Strohmann...
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...
Delaunay-Triangulationen in der Ebene maximieren den minimalen Winkel in einem Dreieck. Gilt das auch für die Delaunay-Triangulation von Punkten auf der Kugel? (hier ist der "Winkel" der lokale Winkel in einer Nachbarschaft um den Scheitelpunkt an der Spitze). Inspiriert von dieser Frage zu...
Ich suche Software zur Berechnung / Schätzung des Volumens hochdimensionaler konvexer Polyeder. Insbesondere interessiert mich ein Programm, das Körper mit Eckpunkten im d- dimensionalen Raum mit ungefähr wie folgt begrenzten Parametern verarbeiten kann: d ≤ 50 und n ≤ 1000 . Beachten Sie, dass für...
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...
Angenommen, ich habe eine Liste von Teilmengen von { 1 , . . . , n } . Bei Bedarf kann ich diese Liste vorverarbeiten. Nach dieser Vorverarbeitung wird mir eine weitere Menge A ⊆ { 1 , . . . , n } . Ich möchte alle Mengen B ∈ X mit B ⊆ A identifizieren .XX\cal X{1,...,n}{1,...,n}\{1, ...,...
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:...
Ich würde gerne wissen, warum für die Erkennung kontextfreier Sprachen nur nicht deterministische Push-Down-Automaten (DPA = NPDA) funktionieren. Warum erkennen deterministische Push-Down-Automaten (DPDA) solche Sprachen
Was ist das Stand der Technik über die Abfragekomplexität von richtigen PAC-Lern-2-DNF-Formeln mit Beispielabfragen und unter gleichmäßiger Verteilung ? Oder eine nicht triviale Bindung daran? Da ich mit Lerntheorie überhaupt nicht vertraut bin und diese Frage von einem anderen Bereich motiviert...
Ich wollte herausfinden, welche Anwendung SGT im Bereich der Informations- und Codierungstheorie und vielleicht der Kommunikation gibt. Am verwandtesten ist die Arbeit an Expander-Codes Michael Sipser und Daniel Spielman, "Expander Codes", IEEE Transactions on Information Theory, Band 42, Nr. 6, S....
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...
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...