Pertanyaan yang diberi tag «topology»

Topologi adalah ilmu yang mempelajari benda-benda yang dapat terus menerus berubah bentuk menjadi benda lain tanpa merobek atau membuat lubang pada benda tersebut. Ini juga bisa berarti keluarga himpunan yang memiliki properti ruang topologi. Properti tersebut adalah konvergensi, keterhubungan, dan kontinuitas.

Contoh Matematika “Tidak Terkait” yang Memainkan Peran Mendasar dalam TCS?
Harap sebutkan contoh-contoh di mana teorema dari matematika yang biasanya tidak dianggap berlaku dalam ilmu komputer pertama kali digunakan untuk membuktikan hasil dalam ilmu komputer. Contoh terbaik adalah mereka yang hubungannya tidak jelas, tetapi begitu ditemukan, itu jelas "cara yang tepat" untuk melakukannya. Ini adalah arah yang berlawanan dari pertanyaan …

Aplikasi topologi untuk ilmu komputer
Saya ingin menulis survei tentang aplikasi Topologi dalam Ilmu Komputer. Saya berencana untuk membahas sejarah ide-ide topologi dalam Ilmu Komputer dan juga menyoroti beberapa perkembangan saat ini. Akan sangat membantu jika ada yang bisa memberi masukan tentang pertanyaan di bawah ini. Adakah tulisan atau catatan yang menggambarkan kronologi penggunaan topologi …

Bijections input-terbatas dari sekuens tak terbatas
Ini adalah teka-teki yang belum berhasil saya pecahkan. Saya ingin tahu apakah masalah ini sudah diketahui, atau memiliki solusi yang mudah. Dimungkinkan untuk mendefinisikan sebuah bijection menggunakan properti dari kategori tertutup bicartesian. Andrej Bauer memposting penjelasan tentang apa artinya ini di blognya sebagai " Permata konstruktif: juggling eksponensial ".3N≅5N3N≅5N 3^\mathbb{N} …


Kompleksitas dari Properti Topologis.
Saya adalah seorang ilmuwan komputer yang mengambil kursus tentang Topologi (taburan topologi set-point yang penuh dengan teori kontinum). Saya menjadi tertarik pada masalah keputusan yang menguji deskripsi ruang (secara sederhana) untuk properti topologi; yang dipertahankan hingga homeomorfisme. Diketahui, misalnya, bahwa menentukan genus suatu simpul adalah dalam PSPACE dan NP-Hard. (Agol …


Ruang topologi terkait dengan SAT: apakah kompak?
Masalah Kepuasan , tentu saja, masalah mendasar dalam CS teoritis. Saya bermain dengan satu versi masalah dengan banyak sekali variabel. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Pengaturan Dasar. Biarkan XXX menjadi seperangkat variabel bebas dan mungkin tak terbatas . Literal adalah variabel x∈Xx∈Xx \in X atau negasi ¬x¬x\neg x . Klausa ccc adalah disjungsi …

Sejauh mana matematika Real dapat diterapkan ke Real Komputasi?
Apakah ada teorema umum yang akan menyatakan, dengan sanitasi yang tepat, bahwa hasil yang paling diketahui mengenai penggunaan bilangan real sebenarnya dapat digunakan ketika mempertimbangkan hanya real yang dapat dihitung? Atau adakah karakterisasi hasil yang tepat yang tetap valid ketika hanya mempertimbangkan real yang dapat dihitung? Pertanyaan sampingannya adalah apakah …

Aplikasi untuk teori himpunan, teori ordinal, kombinatorik tak terbatas dan topologi umum dalam ilmu komputer?
Saya seorang ahli matematika yang tertarik pada teori himpunan, teori ordinal, kombinatorik tak terbatas dan topologi umum. Apakah ada aplikasi untuk mata pelajaran ini dalam ilmu komputer? Saya telah melihat sedikit, dan menemukan banyak aplikasi (tentu saja) untuk teori graf hingga, topologi terbatas, topologi dimensi rendah, topologi geometris dll. Namun, …



Dalam teori domain, untuk apa struktur tambahan yang ada dalam ruang metrik digunakan?
Bab Smyth dalam buku pegangan logika dalam ilmu komputer dan referensi lain menjelaskan bagaimana ruang metrik dapat digunakan sebagai domain. Saya mengerti bahwa ruang metrik lengkap memberikan titik tetap yang unik, tetapi saya tidak mengerti mengapa ruang metrik penting. Saya sangat menghargai pemikiran tentang pertanyaan-pertanyaan berikut. Apa contoh bagus penggunaan …

Kode batang grafik
Dengan menggunakan homologi persisten, kita dapat menganalisis bentuk (topologi) dari awan titik menggunakan metode tiga langkah berikut: mengubah set titik menjadi kompleks sederhana (dan ada beberapa cara berbeda untuk melakukan ini) parameter dengan parameter "noise" Hitung kelompok homologi kompleks ini (sekali lagi parameterkan oleh parameter) lihat evolusi kelompok ketika parameter …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.