Ilmu Komputer

T&J untuk siswa, peneliti, dan praktisi ilmu komputer

1
Menemukan subgraf bebas 3-klik terbesar yang diinduksi
Pertimbangkan masalah ini: Diberikan grafik tidak terarah G=(V,E)G=(V,E)G = (V, E), Temukan G′=(V′,E′)G′=(V′,E′)G' = (V', E') seperti yang: G′G′G' adalah subgraph yang diinduksi dari GGG G′G′G' tidak memiliki 3-klik |V′||V′||V'| maksimal Jadi jumlah simpul paling sedikit harus dihilangkan GGG sehingga 3-klik dihilangkan. Masalah yang setara adalah menemukan 2-pewarnaan untuk GGG …
2
Model paralel teoretis mana yang paling dekat dengan CUDA?
Model paralel teoretis mana yang paling dekat dengan model pemrograman CUDA / OpenCL? Misalnya, ini cocok pada tingkat tertentu dengan model Mesin Akses Acak Paralel (PRAM) generik. Namun, itu terlalu umum, karena membuat abstraksi dari berbagai latensi akses memori dan masalah sinkronisasi. Pertanyaan saya adalah model teoretis mana yang paling …
1
Membuktikan bahwa bahasa itu teratur atau tidak teratur
Membiarkan LLLmenjadi bahasa biasa. Buktikan bahwa: L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L_{-+-}=\left\{w:\exists_{u,v} |u|=|w|=|v| \wedge uwv\in L\right\} teratur dan: L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L_{+-+}=\left\{ uv:\exists_w |u|=|w|=|v| \wedge uwv\in L \right\} tidak teratur. Tampaknya sangat sulit bagi saya. Saya kira 1-3 serupa (tapi saya mungkin salah), tetapi saya …
1
Kompleksitas Waktu dari Simulasi Mesin Turing Universal dan Teorema Hierarki Waktu
Saya punya sedikit masalah untuk memahami bukti Teorema Time Hierarchy (Hennie and Stearns, 1966) yang memastikan keberadaan bahasa yang dapat diterima dalam tetapi tidak dapat diterima dalam untuk fungsi apa pun , sehingga dapat dikonstruksi waktu danU(n)U(n)U(n)T(n)T(n)T(n)T(n),U(n)T(n),U(n)T(n),U(n)U(n)U(n)U(n) n≤T(n)=o(U(n)logT(n)).n≤T(n)=o(U(n)log⁡T(n)).n \leq T(n) = o\left(\frac{U(n)}{\log T(n)}\right). Bukti ini didasarkan pada keberadaan mesin Universal …
2
Seberapa sulit untuk dipecahkan
Dari grafik isomorfisme, kita tahu bahwa dua grafik A dan B adalah isomorfik jika ada matriks permutasi P sehingga A = P× B ×P- 1SEBUAH=P×B×P-1A = P \times B \times P^{-1} Jadi, untuk menyelesaikan masalah, jika dua grafik isomorfis, kita perlu menemukan matriks permutasi P. Masalahnya diyakini NP (dan NP …
2
Mengapa seseorang sering membutuhkan ruang konstruksi dalam teorema Savitch?
Ketika teorema terkenal Savitch dinyatakan, orang sering melihat persyaratan bahwa dapat dibangun dalam ruang (yang menariknya, dihilangkan dalam Wikipedia). Pertanyaan sederhana saya adalah: Mengapa kita membutuhkan ini? Saya mengerti persyaratan untuk berada di , yang jelas dari buktinya. Tapi tidak ada bukti yang saya lihat sejauh ini secara eksplisit menggunakan …
2
Mengubah dari mode Kernel ke mode Pengguna (dan sebaliknya)
Saya membaca buku Sistem Operasi oleh Galvin. Galvin menjelaskan, apa itu mode kernel & pengguna, hak istimewa instruksi yang diberikan untuk kedua mode & juga tentang mode-bit. Tapi saya tertarik untuk mengetahui bagaimana perubahan mode dari satu ke yang lain. Pada dasarnya saya ingin menyelesaikan pertanyaan berikut: CPU memiliki 2 …
2
Algoritme komponen yang terhubung dengan kuat untuk grafik berarah
Saya telah membaca tentang algoritma untuk menemukan komponen yang sangat terhubung dalam grafik yang diarahkan G=(V,E)G=(V,E)G=(V,E). Ini mempertimbangkan dua DFS mencari dan langkah kedua adalah transposing grafik asli .GTGTG^T Algoritma adalah sebagai berikut: Jalankan DFS pada (mulai dari titik awal yang berubah-ubah), catat waktu penyelesaian dari semua simpul.GGG Hitung transposnya, …
2
Menemukan satu set solusi yang berbeda secara maksimal menggunakan pemrograman linier atau teknik optimasi lainnya
Secara tradisional, pemrograman linier digunakan untuk menemukan satu solusi optimal untuk sekumpulan kendala, variabel, dan tujuan (semuanya digambarkan sebagai hubungan linier). Kadang-kadang, ketika tujuannya sejajar dengan kendala, ada solusi optimal tak terbatas atau banyak yang sama baiknya. Saya tidak bertanya tentang kasus terakhir ini. Saya lebih tertarik menemukan banyak solusi …
4
Temukan pekerjaan terjadwal yang tidak tumpang tindih dengan biaya maksimum
Diberikan satu set n pekerjaan dengan [waktu mulai, waktu selesai, biaya] menemukan subset sehingga tidak ada 2 pekerjaan yang tumpang tindih dan biaya maksimum. Sekarang saya tidak yakin apakah algoritma serakah akan melakukan trik. Yaitu, urutkan berdasarkan biaya dan selalu mengambil pekerjaan berikutnya yang tidak bersinggungan dan dengan biaya maksimum …
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.