Pertanyaan yang diberi tag «master-theorem»

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 tipe kembali dari kekosongan …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Teorema Master adalah alat yang indah untuk memecahkan beberapa jenis perulangan . Namun, kami sering mengabaikan bagian integral ketika menerapkannya. Misalnya, selama analisis Mergesort kami dengan senang hati pergi dari T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)\qquad T(n) = T\left(\left\lfloor \frac{n}{2} \right\rfloor\right) + T\left(\left\lceil \frac{n}{2} \right\rceil\right) + f(n) untuk T′(n)=2T′(n2)+f(n)T′(n)=2T′(n2)+f(n)\qquad T'(n) = 2 T'\left(\frac{n}{2}\right) + f(n) …

20 asymptotics  proof-techniques  recurrence-relation  master-theorem 

Pertimbangkan pengulangannya T(n)=n−−√⋅T(n−−√)+cnT(n)=n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n untuk dengan beberapa konstanta positif , dan .n>2n>2n \gt 2cccT(2)=1T(2)=1T(2) = 1 Saya tahu teorema Master untuk menyelesaikan perulangan, tapi saya tidak yakin bagaimana kita bisa menyelesaikan hubungan ini dengan menggunakannya. Bagaimana Anda mendekati parameter root kuadrat?

18 asymptotics  recurrence-relation  master-theorem 

Saya telah membaca Pengantar Algoritma oleh Cormen et al. dan saya membaca pernyataan teorema Tuan mulai dari halaman 73 . Dalam kasus 3 ada juga kondisi keteraturan yang perlu dipenuhi untuk menggunakan teorema: ... 3. Jika f(n)=Ω(nlogba+ε)f(n)=Ω(nlogb⁡a+ε)\qquad \displaystyle f(n) = \Omega(n^{\log_b a + \varepsilon}) untuk beberapa konstanta ε>0ε>0\varepsilon > 0 …

15 algorithms  asymptotics  mathematical-analysis  landau-notation  master-theorem 

Saya mencoba untuk menemukan terikat untuk persamaan perulangan berikut:ΘΘ\Theta T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Saya pikir Teorema Master tidak tepat karena jumlah subproblem dan divisi yang berbeda. Pohon rekursi juga tidak berfungsi karena tidak ada atau lebih tepatnya .T ( 0 )T(1)T(1)T(1)T(0)T(0)T(0)

15 asymptotics  recurrence-relation  master-theorem 

Diberikan persamaan rekursif berikut kita ingin menerapkan teorema Master dan perhatikan ituT(n)=2T(n2)+nlognT(n)=2T(n2)+nlog⁡n T(n) = 2T\left(\frac{n}{2}\right)+n\log n nlog2(2)=n.nlog2⁡(2)=n. n^{\log_2(2)} = n. Sekarang kita periksa dua case pertama untuk , yaitu apakahε>0ε>0\varepsilon > 0 ataunlogn∈O(n1−ε)nlog⁡n∈O(n1−ε)n\log n \in O(n^{1-\varepsilon}) .nlogn∈Θ(n)nlog⁡n∈Θ(n)n\log n \in \Theta(n) Kedua kasus tidak puas. Jadi kita harus memeriksa kasus ketiga, …

11 proof-techniques  asymptotics  recurrence-relation  master-theorem