Pertanyaan yang diberi tag «discrete-mathematics»

Mengapa perusahaan seperti Twitter tertarik pada konsep aljabar seperti grup, monoids, dan cincin? Lihat repositori mereka di github: twitter / algebird . Yang bisa saya temukan adalah: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom , HyperLogLog , dan CountMinSketch . Ini memungkinkan Anda untuk memikirkan operasi canggih …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

(Saya seorang siswa dengan latar belakang matematika dan saya ingin tahu bagaimana cara menghitung jumlah jenis pohon biner tertentu.) Melihat halaman Wikipedia untuk Binary Trees , saya perhatikan pernyataan ini bahwa jumlah pohon biner yang berakar berukurannnn akan menjadi Angka Katalan ini : Cn=1n+1(2nn)Cn=1n+1(2nn)C_n = \dfrac{1}{n+1}{2n \choose n} Tetapi saya …

28 combinatorics  binary-trees  discrete-mathematics 

Iklan pizza mengklaim bahwa Anda dapat menggabungkan bahan-bahannya hingga 34 juta kombinasi berbeda. Saya tidak mempercayainya, jadi saya membersihkan keterampilan kombinatorik saya yang berkarat dan mencoba mencari tahu. Inilah yang saya miliki sejauh ini: Dari situs pemesanan online saya mendapat pilihan kerak (4 jenis, pilih 1) ukuran (4 jenis, pilih …

20 combinatorics  discrete-mathematics 

The logaritma diskrit adalah sama dengan menemukan bbb di Sebuahb= c mod NSebuahb=cmodNa^b=c \bmod N , diberikan SebuahSebuaha , ccc , dan NNN . Saya bertanya-tanya dalam kelompok kerumitan apa (misalnya untuk komputer klasik dan kuantum), dan pendekatan apa (yaitu algoritma) yang terbaik untuk menyelesaikan tugas ini. Tautan wikipedia di …

20 algorithms  complexity-theory  time-complexity  discrete-mathematics 

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 tabel kebenaran? Bagi saya ini seperti menggunakan ilmu hitam, …

19 logic  discrete-mathematics  didactics 

Beberapa frontmatter: Saya seorang ilmuwan komputer rekreasi dan insinyur perangkat lunak yang dipekerjakan. Jadi, maafkan jika prompt ini tampaknya agak keluar dari bidang kiri - saya secara rutin bermain dengan simulcra matematika dan membuka masalah ketika saya tidak punya yang lebih baik untuk dilakukan. Saat bermain dengan hipotesis Riemann , …

16 algorithms  reference-request  discrete-mathematics 

Saya mencoba untuk mendapatkan makalah klasik dalam judul hanya dengan cara dasar (tidak ada fungsi menghasilkan, tidak ada analisis kompleks, tidak ada analisis Fourier) walaupun dengan presisi jauh lebih sedikit. Singkatnya, saya "hanya" ingin membuktikan bahwa tinggi rata-rata hnhnh_n dari sebuah pohon dengan nnn simpul (yaitu, jumlah maksimum simpul dari …

15 combinatorics  discrete-mathematics  trees  average-case  random-walks 

Saya perlu membuat d-regular expander graph untuk beberapa simpul tetap kecil (seperti 3 atau 4) dari n simpul. Apa metode termudah untuk melakukan ini dalam praktek? Membuat grafik d-reguler acak, yang terbukti sebagai expander? Saya juga membaca tentang konstruksi Margulis dan grafik Ramanujan yang merupakan ekspander dan konstruksi yang menggunakan …

14 graph-theory  combinatorics  cryptography  discrete-mathematics  expanders 

Apakah ada cara alami atau terkenal untuk menghubungkan atau menautkan kelompok matematika dan bahasa formal CS atau konsep inti CS lainnya misalnya mesin Turing? Saya mencari referensi / aplikasi. Namun perhatikan bahwa saya mengetahui tautan antara semigroup dan bahasa CS (yaitu via finata automata ). (Apakah literatur tentang semiautomata ini …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Di kelas Java saya, kami belajar tentang kompleksitas berbagai jenis koleksi. Segera kita akan membahas pohon biner, yang telah saya baca. Negara-negara buku yang tinggi minimal pohon biner adalah log2(n+1)−1log2⁡(n+1)−1\log_2(n+1) - 1 , tetapi tidak menawarkan penjelasan lebih lanjut. Adakah yang bisa menjelaskan mengapa?

10 data-structures  binary-trees  discrete-mathematics  trees 

Jawaban untuk pertanyaan ini di Crypto Stack Exchange pada dasarnya mengatakan bahwa, untuk mengukur kompleksitas masalah logaritma, kita harus memperhitungkan panjang angka yang mewakili ukuran grup. Tampaknya sewenang-wenang, mengapa kita tidak memilih ukuran kelompok sebagai argumen? Adakah kriteria untuk mengetahui argumen apa yang harus dipilih? Sebenarnya, saya tahu saya mengabaikan …

9 time-complexity  discrete-mathematics  cryptography 

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 eigen Statistik: probabilitas, pengujian Logika: proposisional, predikat, modal, hibrida. Minat utama …

9 artificial-intelligence  cryptography  discrete-mathematics 

Biasanya universitas mengajarkan matematika diskrit / struktur diskrit. Pertanyaan saya adalah, berapa banyak matematika yang perlu diketahui untuk memahami bidang ini? Apakah kalkulus diperlukan atau akankah precalculus baik-baik saja? Apakah seseorang perlu melakukan pembuktian sebelumnya untuk dapat memahami bidang ini? Terima kasih atas jawaban Anda. Catatan: Permintaan maaf saya jika …

9 discrete-mathematics 

Adakah sumber belajar web Diskrit matematika yang bagus dengan set masalah?

9 reference-request  education  discrete-mathematics 

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 saran?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity