Pytania otagowane jako topology

Topologia badanie obiektów, które mogą być w sposób ciągły odkształcane w inne obiekty bez rozdzierania lub robienia dziur w obiekcie. Może również oznaczać rodzinę zbiorów, które mają właściwość przestrzeni topologicznej. Właściwości to zbieżność, spójność i ciągłość.

20
Przykłady „niepowiązanej” matematyki grającej podstawową rolę w TCS?
Proszę wymienić przykłady, w których twierdzenie matematyki, które normalnie nie było uważane za stosowane w informatyce, zostało po raz pierwszy wykorzystane do udowodnienia wyniku w informatyce. Najlepszymi przykładami są te, w których połączenie nie było oczywiste, ale kiedy zostało odkryte, jest to wyraźnie „właściwy sposób”, aby to zrobić. To jest …
14
Zastosowania topologii w informatyce
Chciałbym napisać ankietę na temat zastosowań topologii w informatyce. Planuję opisać historię pomysłów topologicznych w dziedzinie informatyki, a także zwrócić uwagę na kilka aktualnych osiągnięć. Byłoby niezwykle pomocne, gdyby ktokolwiek mógł udzielić informacji na temat któregokolwiek z poniższych pytań. Czy są jakieś prace lub notatki opisujące chronologię wykorzystania topologii w …
2
Ograniczenia wejściowe nieskończonych sekwencji
Oto łamigłówka, której nie udało mi się rozwiązać. Chciałbym wiedzieć, czy ten problem jest już znany, czy ma łatwe rozwiązanie. Możliwe jest zdefiniowanie biosekcji przy użyciu właściwości dwuczęściowych kategorii zamkniętych. Andrej Bauer zamieścił wyjaśnienie, co to znaczy na swoim blogu jako „ Konstruktywny klejnot: żonglerka wykładnicza ”.3N≅5N3N≅5N 3^\mathbb{N} \cong 5^\mathbb{N} …
2
Złożoność właściwości topologicznych.
Jestem informatykiem biorącym udział w kursie na temat topologii (posypka topologii punktowej mocno przyprawionej teorią kontinuum). Zainteresowały mnie problemy decyzyjne testujące opis przestrzeni (uproszczeniem) dla właściwości topologicznych; zachowane do homeomorfizmu. Wiadomo na przykład, że określenie rodzaju węzła znajduje się w PSPACE i jest NP-twarde. (Agol 2006; Hass, Lagarias, Pippenger 1999) …
1
Czy istnieje geometryczny obraz adiabatycznego obliczenia kwantowego?
W adiabatycznym obliczeniu kwantowym (AQC) koduje się rozwiązanie problemu optymalizacji w stanie podstawowym [problemu] Hamiltoniana . Aby dojść do tego stanu podstawowego, zaczynasz w łatwym do stanie początkowym (podstawowym) z Hamiltonianem i „wyżarzaniem” ( adiabatycznym) w kierunku , tj.H i H pH.pHpH_pH.jaHiH_iH.pHpH_p H.( s ) = s H.ja+ ( 1 …
1
Przestrzeń topologiczna związana z SAT: czy jest zwarta?
Spełnialności problemem jest to, oczywiście, podstawowym problemem teoretycznym CS. Bawiłem się jedną wersją problemu z nieskończenie wieloma zmiennymi. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Podstawowe ustawienia. Niech będzie niepustym i prawdopodobnie nieskończonym zestawem zmiennych . Dosłowność to albo zmienna albo jej negacja . Klauzula jest rozróżnieniem skończonej liczby literałów . Na koniec definiujemy formułę …
1
W jakim stopniu matematykę Rzeczywistości można zastosować do Rzeczywistości Obliczalnych?
Czy istnieje ogólne twierdzenie, które przy odpowiedniej dezynfekcji stanowiłoby, że najbardziej znane wyniki dotyczące użycia liczb rzeczywistych mogą być rzeczywiście wykorzystane przy rozważaniu tylko liczb rzeczywistych? Czy też istnieje właściwa charakterystyka wyników, które pozostają aktualne, biorąc pod uwagę tylko rzeczywiste obliczalne? Bocznym pytaniem jest to, czy wyniki dotyczące liczb obliczalnych …
3
Zastosowania teorii mnogości, teorii porządkowej, nieskończonej kombinatoryki i ogólnej topologii w informatyce?
Jestem matematykiem zainteresowanym teorią zbiorów, teorią porządkową, nieskończoną kombinatoryką i topologią ogólną. Czy są jakieś zastosowania dla tych przedmiotów w informatyce? Szukałem trochę i znalazłem wiele zastosowań (oczywiście) do teorii grafów skończonych, topologii skończonej, topologii niskowymiarowej, topologii geometrycznej itp. Szukam jednak zastosowań nieskończonych obiektów tych podmiotów, tj. Drzew nieskończonych ( …
1
W teorii domen, do czego można wykorzystać dodatkową strukturę występującą w przestrzeniach metrycznych?
Rozdział Smytta w podręczniku logiki w informatyce i inne źródła opisują, w jaki sposób przestrzeni metrycznych można użyć jako domen. Rozumiem, że pełne przestrzenie metryczne dają unikalne stałe punkty, ale nie rozumiem, dlaczego przestrzenie metryczne są ważne. Byłbym wdzięczny za wszelkie przemyślenia na następujące pytania. Jakie są dobre przykłady wykorzystania …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.