Pertanyaan yang diberi tag notation

28
Mengapa tipe void C tidak analog dengan tipe kosong / bawah?

Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan...

19
Buat dua fungsi

Buat dua fungsi memuaskan:f, g: R+→ R+f,g:R+→R+ f,g: R^+ → R^+ kontinu;f, gf,gf, g meningkat secara monoton;f, gf,gf, g dan g ≠ O ( f ) .f≠ O ( g)f≠O(g)f \ne O(g)g≠ O ( f)g≠O(f)g \ne

15
Apa yang dimaksud dengan

Apa yang dimaksud dengan log O ( 1 ) nlogO(1)n\log^{O(1)}n ? Saya menyadari notasi O besar, tetapi notasi ini tidak masuk akal bagi saya. Saya juga tidak dapat menemukan apa-apa tentang itu, karena tidak ada mesin pencari yang mengartikan ini dengan benar. Untuk sedikit konteks, kalimat di mana...

14
Menemukan XOR maks dari dua angka dalam satu interval: dapatkah kita melakukan lebih baik daripada kuadratik?

Misalkan kita diberi dua angka dan dan kita ingin menemukan untuk l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Algoritma naif hanya memeriksa semua pasangan yang mungkin; misalnya dalam ruby, kita akan memiliki: def max_xor(l, r) max = 0...

14
Apa yang salah dengan jumlah istilah Landau?

saya menulis ∑i = 1n1saya= ∑i = 1nO (1)= O (n)∑saya=1n1saya=∑saya=1nHAI(1)=HAI(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) tetapi teman saya mengatakan ini salah. Dari lembar contekan TCS saya tahu bahwa jumlah ini juga disebut HnHnH_n yang...

13
Apa artinya tilde, dalam notasi O besar?

Saya membaca makalah, dan dikatakan dalam deskripsi kompleksitas waktunya bahwa kompleksitas waktu adalah .O~(22n)O~(22n)\tilde{O}(2^{2n}) Saya telah mencari di internet dan wikipedia, tetapi saya tidak dapat menemukan apa yang dilambangkan tilde ini dalam notasi O-Landau besar. Di koran itu...

12
Rantai tak terbatas besar

Pertama, izinkan saya menulis definisi big OOO hanya untuk membuat semuanya eksplisit. f(n)∈O(g(n))⟺∃c,n0>0f(n)∈O(g(n))⟺∃c,n0>0f(n)\in O(g(n))\iff \exists c, n_0\gt 0 sehingga0≤f(n)≤cg(n),∀n≥n00≤f(n)≤cg(n),∀n≥n00\le f(n)\le cg(n), \forall n\ge n_0 Katakanlah kita memiliki sejumlah fungsi...

11
Analisis asimptotik untuk dua variabel?

Bagaimana analisis asimptotik (big o, little o, big theta, big theta, dll.) Didefinisikan untuk fungsi dengan banyak variabel? Saya tahu bahwa artikel Wikipedia memiliki bagian di atasnya, tetapi menggunakan banyak notasi matematika yang saya tidak terbiasa dengannya. Saya juga menemukan makalah...

11
Inferring type refinement

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...