Hukum De Morgan sering diperkenalkan dalam matematika pengantar untuk kursus ilmu komputer, dan saya sering melihatnya sebagai cara untuk mengubah pernyataan dari DAN ke ATAU dengan meniadakan istilah. Apakah ada penjelasan yang lebih intuitif mengapa hal ini berhasil daripada hanya mengingat...
Membiarkan L={an∣∃p≥n p, p+2 are prime}.L.={Sebuahn∣∃hal≥n hal, hal+2 adalah prima}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Apakah teratur?LL.L Pertanyaan ini tampak mencurigakan pada pandangan pertama dan saya menyadari bahwa itu terkait dengan dugaan kembar...
Kursus grafis intro biasanya memiliki proyek yang meminta Anda membuat pelacak sinar untuk membuat adegan. Banyak siswa grafis yang memasuki sekolah pascasarjana mengatakan bahwa mereka ingin mengerjakan ray tracing. Namun sepertinya ray tracing adalah bidang mati di tempat-tempat seperti SIGGRAPH...
Saya baru-baru ini membaca bahwa dimungkinkan untuk memiliki array yang tidak perlu diinisialisasi, yaitu dimungkinkan untuk menggunakannya tanpa harus menghabiskan waktu mencoba mengatur setiap anggota ke nilai default. yaitu Anda dapat mulai menggunakan array seolah-olah telah diinisialisasi...
Grafik unipathic adalah grafik terarah sedemikian sehingga ada paling banyak satu jalur sederhana dari satu titik ke titik lainnya. Grafik unipathic dapat memiliki siklus. Misalnya, daftar yang ditautkan dua kali lipat (bukan yang melingkar!) Adalah grafik unipathic; jika daftar memiliki elemen,...
Saya mencari algoritma yang efisien yang memungkinkan saya memproses pohon pencarian minimax untuk catur dengan pemangkasan alpha-beta pada arsitektur terdistribusi. Algoritma yang saya temukan (PVS, YBWC, DTS lihat di bawah) semuanya cukup tua (1990 adalah yang terbaru). Saya berasumsi ada banyak...
Saya mencoba menggunakan pemompaan lemma untuk membuktikan bahwa tidak teratur.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Inilah yang saya miliki sejauh ini: Asumsikan teratur dan biarkan p menjadi panjang pemompaan, jadi w = ( 01 ) p 2 p . Pertimbangkan setiap dekomposisi...
Untuk setiap fungsi yang dapat dihitung apakah ada masalah yang dapat diselesaikan paling baik dalam waktu atau adakah fungsi yang dapat dihitung sehingga setiap masalah yang dapat diselesaikan dalam dapat juga dipecahkan dalam waktu ?fffΘ ( f( n ) )Θ(f(n))\Theta(f(n))fffO ( f( n )...
Jadi saya pikir pertanyaan (meskipun agak mendasar) ini ada di sini: Katakanlah saya memiliki grafik ukuran 100 node yang tersusun dalam pola 10x10 (pikirkan papan catur). Grafik tidak diarahkan, dan tidak berbobot. Bergerak melalui grafik melibatkan bergerak tiga ruang ke depan dan satu ruang ke...
Tujuan saya adalah untuk memecahkan masalah berikut ini, yang telah saya jelaskan dengan input dan outputnya: Memasukkan: Grafik asiklik diarahkan dengan node, sumber, dan sink ( ).GGGmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Keluaran: The VC-dimensi (atau perkiraan itu) untuk jaringan saraf...
Jika ada cara untuk mengidentifikasi apakah dua set poin dapat dipisahkan oleh garis? Kami memiliki dua set titik dan jika ada garis yang memisahkan dan sehingga semua titik dan hanya di satu sisi garis, dan semua titik dan hanya di sisi lainnya.AAABBBAAABBBAAAAAABBBBBB Algoritma yang paling...
Saya mencoba mencari pendekatan untuk masalah berikut: Diberikan himpunan titik dan jari-jari r , temukan titik pusat lingkaran, sedemikian sehingga lingkaran itu mengandung jumlah maksimum titik dari himpunan. Waktu yang berjalan harus O ( n 2 ) .SSSrrrO(n2)O(n2)O(n^2) Pada awalnya itu...
Identitas yang digunakan dalam algoritma perkalian oleh Karatsuba (bilangan bulat) Gauss (bilangan kompleks) Strassen (matriks) tampaknya sangat terkait erat. Apakah ada kerangka abstrak umum /
Saat menguji algoritma, pendekatan yang umum adalah pengujian acak: menghasilkan sejumlah besar input sesuai dengan beberapa distribusi (biasanya seragam), jalankan algoritma pada mereka dan verifikasi kebenarannya. Kerangka pengujian modern dapat menghasilkan input secara otomatis mengingat tanda...
Saya mencoba untuk menemukan Set Independen Maksimum dari Grafik Biparite. Saya menemukan yang berikut dalam beberapa catatan "13 Mei 1998 - University of Washington - CSE 521 - Aplikasi aliran jaringan" : Masalah: Mengingat bipartit grafik , menemukan set independen yang sebagai besar...
Mari F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a TM which stops for every input in at most 50 steps}\} . Saya perlu memutuskan apakah F dapat dipilih atau dihitung secara rekursif. Saya...
Saya perhatikan bahwa dalam beberapa makalah penelitian CS, untuk membandingkan efisiensi dua algoritma, jumlah total perbandingan kunci dalam algoritma digunakan daripada waktu komputasi yang sebenarnya. Mengapa kita tidak bisa membandingkan mana yang lebih baik dengan menjalankan kedua program...
Saya terjebak pada pertanyaan berikut: "Bahasa reguler adalah persis yang diterima oleh automata terbatas. Mengingat fakta ini, menunjukkan bahwa jika bahasa LLL diterima oleh beberapa otomat terbatas, maka LRLRL^{R} juga diterima oleh beberapa yang terbatas; LRLRL^{R} terdiri dari semua kata LLL...
Saya terus menemukan referensi ke titik tetap dalam pertanyaan dan jawaban di stackexchange dan saya mencari artinya di web jelas menemukan referensi di situs-situs seperti Wikipedia. Namun tidak ada referensi yang benar-benar menjawab pertanyaan saya tentang apa itu titik tetap dan apa artinya...
Saya telah membaca halaman wikipedia untuk aturan 110 dalam automata seluler, dan saya kurang lebih tahu cara kerjanya (seperangkat aturan menentukan di mana menggambar 1 atau 0 berikutnya). Saya baru saja membaca bahwa Turing sudah lengkap, tetapi saya bahkan tidak bisa mengerti bagaimana Anda...