Apa itu poligon yang mengalami degenerasi? Bagaimana seseorang memeriksa apakah sepasang poligon yang diberikan mengalami degenerasi atau
Dalam Type Theory jika seseorang memungkinkan Type untuk menjadi anggota dari dirinya sendiri, itu membuat teori tidak konsisten. Saya memahaminya dengan analogi dengan paradoks Russel dalam Set Theory, tetapi lebih suka melihatnya dilakukan dalam Type Theory. Apakah ada contoh singkat dari yang...
Saya membuat DFA acak untuk menguji algoritma reduksi DFA. Algoritma yang saya gunakan saat ini adalah sebagai berikut: untuk setiap status , untuk setiap simbol dalam alfabet , tambahkan \ delta (q, c) ke beberapa keadaan acak. Setiap negara bagian memiliki probabilitas yang sama untuk menjadi...
Untuk gelar CS saya, saya memiliki sebagian besar latar belakang matematika "standar": Kalkulus: diferensial, integral, bilangan kompleks Aljabar: cukup banyak konsep hingga bidang. Teori Angka: XGCD dan hal-hal terkait, kebanyakan untuk crypto. Aljabar Linier: hingga vektor eigen / nilai...
Saya mencoba memahami sistem bukti interaktif dan mencoba masalah berikut sebagai latihan. Kita tahu bahwa dan , jadi datang dengan sistem bukti interaktif (mudah dimengerti) untuk ?I P = P S P A C E P HPH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACEsayaP= PSPA CEIP=PSPACEIP=PSPACEPHPHPH Sistem bukti...
Saya mencari tata bahasa yang peka konteks yang menggambarkan bahasa berikut: L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . Saya punya masalah dengan fakta bahwa tidak ada aturan seperti X→εX→εX \to \varepsilon yang diizinkan dan oleh karena itu saya...
Sebuah tim telah memutuskan bahwa setiap pagi seseorang harus membawa croissant untuk semua orang. Seharusnya tidak ada orang yang sama setiap saat, jadi harus ada sistem untuk menentukan giliran siapa selanjutnya. Tujuan dari pertanyaan ini adalah untuk menentukan algoritma untuk memutuskan...
Saya telah mengimplementasikan jaringan saraf (menggunakan CUDA) dengan 2 lapisan. (2 Neuron per lapisan). Saya mencoba membuatnya belajar 2 fungsi polinomial kuadrat sederhana menggunakan backpropagation . Tetapi alih-alih konvergen, ia menyimpang (output menjadi tak terhingga) Berikut ini...
Mengapa jaringan saraf bobot awal diinisialisasi sebagai angka acak? Saya telah membaca di suatu tempat bahwa ini dilakukan untuk "memecahkan simetri" dan ini membuat jaringan saraf belajar lebih cepat. Bagaimana cara memecahkan simetri membuatnya belajar lebih cepat? Bukankah menginisialisasi...
Saya ingin mencicipi titik acak seragam dalam poligon ... Jika sampel dalam jumlah besar, mereka kemungkinan besar akan jatuh ke dalam dua wilayah jika mereka memiliki wilayah yang sama. Ini akan sangat sederhana jika itu adalah kuadrat karena saya akan mengambil dua angka acak dalam [0,1]...
Saat memasukkan item ke pohon splay, rotasi dilakukan berpasangan berdasarkan pola zig-zag atau zig-zig. Ketika ada jumlah rotasi yang ganjil untuk dilakukan, kita bisa melakukan rotasi ekstra dimulai dari daun atau menyimpan rotasi ekstra dan melakukannya di root. Apakah itu penting? Sebagai...
Diberikan program yang terdiri dari variabel dan instruksi yang memodifikasi variabel-variabel ini, dan primitif sinkronisasi (monitor, mutex, kunci java disinkronkan atau kunci C #), apakah mungkin untuk membuktikan bahwa program seperti itu aman untuk digunakan? Apakah ada model formal untuk...
Seperti yang dinyatakan dalam pertanyaan, bagaimana kita membuktikan bahwa ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Adakah yang bisa mengarahkan saya ke bukti atau menguraikannya di sini? Terima
Apakah mungkin untuk menggunakan Tipe Tanggungan dalam implementasi Typed Racket yang ada ? (Yaitu apakah mereka ada di dalamnya?) Apakah mungkin untuk menerapkan Sistem Jenis Tanggungan menggunakan Typed
Saya menggunakan Mathematica untuk menyelesaikan masalah. Saya punya pertanyaan tentang matriks invers. jika saya hanya menginginkan satu elemen dari matriks invers, apakah ada algoritma yang lebih cepat daripada menggunakan Inverseuntuk menghitung seluruh matriks invers dan mengekstrak elemen...
Saya sudah belajar tentang jaringan saraf dan SVM. Tutorial yang saya baca menekankan betapa pentingnya kernelisasi, untuk SVM. Tanpa fungsi kernel, SVM hanyalah sebuah classifier linier. Dengan kernelisasi, SVMs juga dapat menggabungkan fitur-fitur non-linear, yang membuatnya menjadi classifier...
Saya mencari makalah yang mudah dan pengantar tentang bukti Teorema Courcelle . Saya juga tertarik dengan hubungannya dengan kompleksitas parameter tentang treewidth . Saya hanya pemula di bidang ini. Ada
Diketahui bahwa logika temporal LTL, CTL, CTL * dapat diterjemahkan / disematkan ke dalam -calculus. Dengan kata lain, (modal) -calculus menggolongkan logika ini, (yaitu lebih ekspresif.)μμ\muμμ\mu Bisakah Anda jelaskan / arahkan saya ke makalah / buku yang menguraikan hal ini. Secara khusus,...
Tampaknya aneh bagi saya bahwa TSP menyangkal kemungkinan kota yang berulang. Tujuan dari penjual keliling ini adalah untuk pergi secepat mungkin dan mengunjungi semua kota, bukan? Jadi bagaimana jika lebih cepat melakukan perjalanan melalui kota yang sudah pernah Anda
Salah satu senior saya memiliki wawancara kerja dan dia ditanya mengapa itu disebut dinamis. Dia tidak bisa menjawab dan setelah dia menyerah pewawancara mengatakan bahwa tidak ada yang dinamis tentang hal itu, itu hanya disebut seperti itu. Sulit bagi saya untuk percaya. Apakah ini merujuk pada...