Theoretische Informatik

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

1
Komplexität der Versickerung
Betrachten Sie im Zusammenhang mit der Bindungsperkolation auf wobei eine positive ganze Zahl ist, das Problem der Berechnung einer -Näherung der kritischen Perkolation bei einer Gitterdimension und ein Präzisionsparameter als Eingaben. Gibt es bekannte Ergebnisse zur Komplexität eines solchen Problems? d 2 - k p c d≤ N k≤ N.ZdZd\mathbb{Z}^dddd2−k2−k2^{-k}pcpcp_cd∈Nd∈Nd\in\mathbb{N}k∈Nk∈Nk\in\mathbb{N}
3
Einweg randomisierte Kommunikationskomplexität der Disjunktheit
Ich suche eine Referenz für die (klassische) einseitig randomisierte Kommunikationskomplexität der Disjunktheit, wenn das Universum groß sein kann. Angenommen, Alice und Bob haben beide Mengen der Größe mmm aus einem Universum der Größe UUU und Bob möchte feststellen, ob der Schnittpunkt ihrer Mengen leer ist oder nicht. Ich würde prob …
1
Partitionieren einer verbundenen Form in Rechtecke
Ich stelle mir vor, dass dies eine einführende Frage zur rechnergestützten Geometrie sein muss, bin mir aber nicht sicher, welche Suchphrasen am besten geeignet sind, und ich interessiere mich auch für Variationen der Frage. Ich hoffe daher auf Hinweise auf nützliche Referenzen. Ich interessiere mich für mögliche Algorithmen für das …
2
Rechenkomplexität von Clustering-Algorithmen
Mein Wunsch ist es, die zeitliche Komplexität mehrerer Clustering-Ansätze zu beschreiben. Angenommen, wir haben Datenpunkte im dimensionalen Raum.mnnnmmm Nehmen wir weiter an, dass die paarweise Unähnlichkeitsmatrix von Dimensionen bereits berechnet wurde und dass wir bereits Schritte ausgegeben haben . Was ist dann die zeitliche Komplexität gerade vonn × n O …
2
Über die Entsprechung der linken Einführung und Beseitigung der Implikation in Sequent Calculus und in Natural Deduction resp.
Könnte jemand eine intuitive ( nicht intutionistische) Erklärung für die Entsprechung der linken Einführung und der Beseitigung von Implikationen in Sequent Calculus (SC) bzw. Natural Deduction (ND) geben? Ich weiß, dass sie durch die Symmetrie von SC sollten, aber ich sehe nicht, wie sie einander entsprechen. Im Allgemeinen verstehe ich …
1
Was ist der Unterschied zwischen Online- und inkrementeller Optimierung?
Kürzlich habe ich einige Artikel über inkrementelle Optimierungsprobleme gelesen, aber ich kann nicht erkennen, was der Unterschied zwischen diesen und Online-Optimierungsproblemen ist. Mein Eindruck ist, dass ich jedes Online-Problem als inkrementelles Gegenstück definieren kann (das Gegenteil ist eindeutig der Fall). Hier gehen die (nicht sehr formalen) Definitionen. In einem inkrementellen …
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.