Topologie die Untersuchung von Objekten, die kontinuierlich in andere Objekte verformt werden können, ohne das Objekt zu zerreißen oder Löcher zu bohren. Es kann auch eine Familie von Mengen bedeuten, die die Eigenschaft eines topologischen Raums haben. Die Eigenschaften sind Konvergenz, Verbundenheit und Kontinuität.
Bitte führen Sie Beispiele auf, bei denen ein Satz aus der Mathematik, der normalerweise nicht in der Informatik angewendet wurde, zum ersten Mal verwendet wurde, um ein Ergebnis in der Informatik zu beweisen. Die besten Beispiele sind solche, bei denen die Verbindung nicht offensichtlich war, aber...
Ich möchte eine Umfrage zu den Anwendungen der Topologie in der Informatik schreiben. Ich habe vor, die Geschichte der topologischen Ideen in der Informatik zu behandeln und auch einige aktuelle Entwicklungen aufzuzeigen. Es wäre äußerst hilfreich, wenn jemand Beiträge zu den folgenden Fragen...
Hier ist ein Rätsel, das ich nicht gelöst habe. Ich würde gerne wissen, ob dieses Problem bereits bekannt ist oder eine einfache Lösung hat. Es ist möglich, eine Bijektion Verwendung der Eigenschaften von bicartesischen geschlossenen Kategorien zu definieren. Was dies bedeutet, hat Andrej Bauer in...
Warum heißt "topologische Sortierung" "topologisch"? Liegt es nur daran, dass eine Reihenfolge bestimmt wird, ohne dass Scheitelpunkte oder Kanten verändert werden - so wie ein Donut und eine Kaffeetasse topologisch gleichwertig sind? Warum heißt es nicht "Abhängigkeitssortierung" oder etwas...
Ich bin ein Informatiker, der einen Kurs über Topologie belegt (eine Prise Punkt-Set-Topologie, die stark von der Kontinuum-Theorie beeinflusst ist). Ich habe mich für Entscheidungsprobleme interessiert, bei denen ich eine Beschreibung eines Raumes (durch Vereinfachungen) auf topologische...
Derzeit verfügt Bitcoin über ein Proof-of-Work-System (PoW) mit SHA256. Andere Hash-Funktionen verwenden einen Proof-of-Work-System. Ist es möglich, ein Entscheidungsproblem in der Knotentheorie wie die Knotenerkennung zu verwenden und es zu einem Beweis der Arbeitsfunktion zu machen? Hat das auch...
Ich fragte mich, welche Papiere ich lesen sollte, um diese Frage zu verstehen Eine unerwartete Verbindung zu anderen Bereichen der Mathematik wie der algebraischen Geometrie oder der höheren Kohomologie. Vielleicht ist sogar ein Bereich der Mathematik noch nicht erschlossen. Vielleicht wird jemand...
Diese Frage wurde von Physics Stack Exchange migriert, da sie über Theoretical Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Bei der adiabatischen Quantenberechnung (AQC) wird die Lösung eines Optimierungsproblems im Grundzustand eines [problem] Hamiltonian . Um...
Das Erfüllbarkeit Problem ist natürlich, ein grundsätzliches Problem in der theoretischen CS. Ich habe mit einer Version des Problems mit unendlich vielen Variablen gespielt. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Grundeinstellung. Sei eine nicht leere und...
Es ist bekannt, dass und K 3 , 3 für ebene Graphen verbotene Minderjährige sind. Es gibt Hunderte verbotener Minderjähriger für Grafiken, die auf einem Torus eingebettet werden können . Die Anzahl verbotener Minderjähriger für Graphen, die auf der Oberfläche der Gattung g eingebettet werden können,...
Gibt es einen allgemeinen Satz, der besagt, dass die bekanntesten Ergebnisse in Bezug auf die Verwendung reeller Zahlen tatsächlich verwendet werden können, wenn nur berechenbare reelle Zahlen betrachtet werden? Oder gibt es eine ordnungsgemäße Charakterisierung der Ergebnisse, die gültig bleiben,...
Ich bin Mathematiker und interessiere mich für Mengenlehre, Ordinaltheorie, unendliche Kombinatorik und allgemeine Topologie. Gibt es Bewerbungen für diese Fächer in der Informatik? Ich habe ein bisschen nachgesehen und (natürlich) viele Anwendungen für die Theorie der endlichen Graphen, die...
GI und Knotenproblem sind beide das Problem, die strukturelle Äquivalenz von mathematischen Objekten zu bestimmen. Gibt es irgendwelche Ergebnisse, die Verbindungen zwischen ihnen herstellen? Gute Zusammenhänge des Knotenproblems mit der statistischen Physik wurden über Knotenpolynome untersucht....
Es ist bekannt, dass die Bestimmung, ob eine gegebene triangulierte 3-Mannigfaltigkeit eine 3-Sphäre ist oder nicht, in NP erfolgt, über eine Arbeit von Saul Schleimer im Jahr 2004: "Die Sphärenerkennung liegt in NP" arXiv: math / 0407047v1 [math.GT] . Ich frage mich, ob sich herausgestellt hat,...
Smyths Kapitel im Handbuch der Logik in der Informatik und andere Referenzen beschreiben, wie metrische Räume als Domänen verwendet werden können. Ich verstehe, dass vollständige metrische Räume eindeutige Fixpunkte ergeben, aber ich verstehe nicht, warum metrische Räume wichtig sind. Ich würde...
Das Borsuk-Ulam-Theorem besagt, dass es für jede stetige ungerade Funktion ggg von einer n-Kugel in den euklidischen n-Raum einen Punkt x0x0x_0 so dass g(x0)=0g(x0)=0g(x_0)=0 . Simmons und Su (2002) beschreiben eine Methode zur Approximation des Punktes x0x0x_0 Verwendung von Tuckers Lemma . Es ist...
Ich bin ein Homotopietheoretiker, der sich für Informatik interessiert. Ich möchte fragen, was einige interessante Anwendungen der homotopischen Algebra (Modellkategorien, Unendlichkeitskategorien, einfache Kategorien usw.) in der theoretischen Informatik
Mithilfe der persistenten Homologie können wir die (topologische) Form einer Punktwolke mithilfe der folgenden dreistufigen Methode analysieren: Konvertieren Sie den eingestellten Punkt in einen einfachen Komplex (und es gibt verschiedene Möglichkeiten, dies zu tun), der durch einen "Rausch"...