Jumlah istilah Landau ditinjau kembali


10

Saya mengajukan pertanyaan (seed) tentang jumlah istilah Landau sebelumnya , mencoba untuk mengukur bahaya penyalahgunaan notasi asimtotik di aritmatika, dengan kesuksesan beragam.

Sekarang, di sini guru pengulangan kami, JeffE , pada dasarnya melakukan ini:

i=1nΘ(1i)=Θ(Hn)

Walaupun hasil akhirnya benar, saya pikir ini salah. Mengapa? Jika kita menambahkan semua keberadaan konstanta yang tersirat (hanya batas atas), kita miliki

i=1nci1icHn.

Sekarang bagaimana kita menghitung c dari c1,,cn ? Jawabannya adalah, saya percaya, bahwa kita tidak dapat: c harus terikat untuk semua n tetapi kita mendapatkan lebih banyak ci saat n tumbuh. Kami tidak tahu apa-apa tentang mereka; ci mungkin sangat bergantung pada i , jadi kita tidak dapat mengasumsikan suatu ikatan: a terbatas cmungkin tidak ada.

Selain itu, ada masalah halus yang variabelnya menuju hingga tak terbatas di sisi kiri - i atau n ? Kedua? Jika n (demi kompatibilitas), apa arti dari Θ(1/i) , mengetahui bahwa 1in ? Apakah itu tidak hanya berarti Θ(1) ? Jika demikian, kami tidak dapat mengikat jumlah lebih baik dari Θ(n) .

Jadi, di mana itu meninggalkan kita? Apakah ini kesalahan yang mencolok? Yang halus? Atau itu hanya penyalahgunaan biasa notasi dan kita tidak harus melihat tanda-tanda seperti ini di luar konteks? Bisakah kita merumuskan aturan (yang benar) yang benar untuk mengevalutasikan (pasti) jumlah istilah Landau?=

Saya pikir pertanyaan utamanya adalah: apa yang ? Jika kita menganggapnya konstan (karena berada di dalam cakupan penjumlahan) kita dapat dengan mudah membangun contoh tandingan. Jika tidak konstan, saya tidak tahu cara membacanya.i


2
Pertanyaan tentang matematika ini. SE adalah bacaan yang baik tentang aritmatika dengan istilah Landau secara umum.
Raphael

4
ΘC = maks ( c 1 , c 2 , , c n )c=min(c1,c2,,cn)C=max(c1,c2,,cn)

5
Tunggu sebentar, Bucky. Saya tidak menulis penjumlahan dengan Theta di dalamnya. Saya menulis perulangan dengan Theta di dalamnya. Apakah Anda benar-benar menafsirkan perulangan " " sebagai sesuatu selain "Ada fungsi sedemikian sehingga "? f Θ x ( x 1 / x ) t ( n ) = f ( n ) + t ( n - 1 )t(n)=Θ(1/n)+t(n1)fΘx(x1/x)t(n)=f(n)+t(n1)
JeffE

4
@ Raphael Tidak, perulangan tidak secara matematis sama dengan jumlah, untuk alasan yang Anda jelaskan! Perulangan memiliki tepat satu istilah Theta di dalamnya, yang jelas mengacu pada fungsi tunggal.
JeffE

2
Itu tidak terlalu intuitif - saya sangat tidak setuju, tapi saya pikir ini masalah selera dan pengalaman.
JeffE

Jawaban:


5

Tampak benar bagi saya dalam konvensi berikut:

Sn=k=1nΘ(1/k) adalah notasi yang mudah digunakan

Ada (seperti ) sedemikian rupax f(x)Θ(1/x)x

Sn=k=1nf(k) .

Jadi (atau dengan notasi dalam jawaban ini ) yang Anda dapatkan, tidak benar-benar bergantung pada .c k kcickk

Di bawah interpretasi ini, memang benar bahwa .Sn=Θ(Hn)

Bahkan, dalam jawaban Jeff, ia menunjukkan bahwa mana , sehingga konsisten dengan interpretasi di atas.f Θ ( 1 / k )T(k+1)=f(k)+T(k)fΘ(1/k)

Kebingungan tampaknya timbul dari mental "membuka gulungan" dan menganggap fungsi yang berbeda untuk setiap kemunculan ...ΘΘ


Jup, tetapi setiap dapat memiliki fungsinya sendiri, dan konstan. Jadi konvensi ini hanya bekerja dengan konteks, yaitu jika kita tahu bahwa istilah Landau berasal dari definisi "seragam" (dalam dan ) yang agak seragam . k nΘ kn
Raphael

2
@ Raphael: Tampaknya tidak ada artinya membuka gulungan dan kemudian mengizinkan berbeda : konstanta kemudian akan tergantung pada variabel! dan itu menjadi penggunaan yang salah dari , dengan asumsi variabel adalah (atau dalam jawaban di atas). Bahkan jika kita mengasumsikan variabelnya adalah , masih terlihat tidak berarti bagi saya. Θ Θ i k nfiΘΘikn
Aryabhata

3
Pada prinsipnya, setiap dapat memiliki konstan sendiri, tetapi dalam konteks tertentu Anda menjelaskan , jelas bahwa setiap tidak tidak memiliki konstan sendiri. ΘΘΘ
JeffE

2
@ Jeff: Benar. Kita dapat memiliki banyak dengan konstanta mereka sendiri, selama konstanta benar-benar konstan :-)Θ
Aryabhata

1
@ Jeff JEFE Jadi mengapa Anda tidak hanya menulis apa yang Anda maksud tetapi lebih suka sesuatu yang ambigu / salah? Perhatikan bahwa jawaban saya yang diperbarui sekarang mengusulkan cara untuk melakukannya. Saya menghargai komentar tentang itu; downvotes tanpa alasan tidak membantu saya memahami mengapa orang tampaknya menolak pendapat saya.
Raphael

1

Saya pikir saya telah menyelesaikan masalahnya. Intinya: menggunakan istilah Landau memisahkan variabel fungsi sumand dari variabel penjumlahan sum. Kami masih (ingin) membacanya sebagai identik, karena itu kebingungan.

Untuk mengembangkannya secara formal, apa yang dilakukannya

Sni=1nΘ(f(i))(1)

sangat jahat? Sekarang saya berasumsi bahwa ini membiarkan - bukan - hingga tak terbatas; jika kita membiarkan , setiap jumlah tersebut dievaluasi menjadi (jika penjumlahannya bebas dari dan karenanya konstan) yang jelas salah. Ini adalah hadiah pertama yang kita berikan pada hal-hal kasar: terikat (dan konstan) di dalam jumlah, tetapi kita masih membiarkannya sampai tak terbatas?i n n Θ ( n ) n iΘinnΘ(n)ni

Menerjemahkan (untuk batas atas, batas bawah bekerja dengan cara yang sama), kita dapatkan(1)

f1,,fnΘ(f). Sni=1nfi(i)

Sekarang jelas bahwa sum- dan parameter- yang dipisahkan: kita dapat dengan mudah menentukan sehingga mereka menggunakan sebagai konstan. Dalam contoh dari pertanyaan, kita dapat mendefinisikan dan memilikii f i i f i ( j ) = i 1iifiifi(j)=i1jΘ(1/j)

i=0nfi(i)"="i=0nΘ(1/j)=i=0nΘ(1/i)

tetapi jumlah aslinya jelas tidak mengevaluasi sesuatu di . Sekarang menukar untuk - yang hanya mengubah nama - di mungkin terasa aneh karena tidak terlepas dari resp. jumlah, tetapi jika kita keberatan dengan itu sekarang , kita seharusnya tidak pernah menggunakan di dalam di tempat pertama (karena yang memegang keanehan yang sama).j i Θ i n i ΘΘ(Hn)=Θ(logn)jiΘiniΘ

Perhatikan bahwa kami bahkan tidak mengeksploitasi bahwa juga bergantung pada . nfin

Untuk menyimpulkan, identitas yang diusulkan adalah palsu. Tentu saja kita dapat menyepakati konvensi tentang cara membaca jumlah seperti singkatan dari perhitungan yang ketat. Namun, konvensi semacam itu tidak akan sesuai dengan definisi istilah-istilah Landau (bersama-sama dengan pelecehan normal terhadap mereka), tidak mungkin untuk dipahami dengan benar tanpa konteks dan menyesatkan (untuk pemula) setidaknya - tetapi itu pada akhirnya adalah masalah selera (dan kekejaman) ?).

Terpikir olehku bahwa kami juga dapat menulis dengan tepat apa yang kami maksud dan masih memanfaatkan kenyamanan istilah-istilah Landau. Kita tahu bahwa semua puncak datang dari satu fungsi umum, menyiratkan bahwa batas asimptotik menggunakan konstanta yang sama. Ini hilang ketika kita memasukkan ke dalam jumlah. Jadi mari kita tidak meletakkannya di sana dan menulisΘ

i=1n2i1i(i+1)Θ(i=1n1i)=Θ(Hn)

sebagai gantinya. Menempatkan luar hasil penjumlahanΘ

  • pernyataan matematis yang benar dan
  • istilah sederhana di dalam bisa kita tangani dengan mudah (yang kita inginkan di sini, kan?).Θ

Jadi bagi saya sepertinya ini adalah cara yang benar dan berguna untuk menuliskan masalah ini, dan karena itu harus lebih disukai daripada menggunakan simbol Landau di dalam jumlah ketika kita berarti mereka di luar itu.


Pertimbangkan . Saya dapat mendefinisikan (menggunakan sebagai konstanta), oleh karena itu dengan alasan Anda, bukan? Tetapi jumlah ini adalah . inifi(n)=iiini=inO(1)=O(n)O(n2)
Xodarap

@Xodarap: Dengan alasan saya, runtuh jumlahnya seperti ini tidak bekerja, karena kopling dalam s (yang tidak digabungkan dengan atau ) untuk tidak mengubah makna. Θinn
Raphael

Saya tidak mengaitkannya dengan , saya hanya menggunakan fakta bahwa . (Dan saya kira juga fakta bahwa .)nink=nknO(f)=O(nf)
Xodarap

@Xodarap: Tapi Anda tidak punya satu , tapi satu per musim panas. Jika fungsi dasar menggunakan (sebagai faktor konstan), Anda harus mengembangkannya, dan jumlah akhirnya menjadi benar. Jadi, jelas, dengan alasan saya aturan penjumlahan yang Anda usulkan tidak berfungsi saat Anda menulis. ffifii
Raphael

Jika saya memiliki urutan , masing-masing adalah (asalkan mereka tidak meningkat seiring seri berlangsung). Apakah Anda mengatakan bahwa menambahkan dari mereka akan menghasilkan jumlah ? Apa bedanya jika alih-alih menjadi konstanta, saya menggambarkannya sebagai fungsi konstan ? 5,1,3,2,O(1)nO(n)f1(x)=5,f2(x)=1,
Xodarap

-1

Jika setiap adalah konstanta, maka ada beberapa sedemikian rupa sehingga . Jadi jelas Ide yang sama untuk sedikit Hai.cicmaxci:cicmax

cif(i)cmaxf(i)=cmaxf(i)=O(f(i))

Saya pikir masalahnya di sini adalah . Ini (karena tidak ada sehingga ), jadi jumlah keseluruhannya adalah . Dan setiap istilah adalah , artinya jumlah keseluruhannya adalah . Jadi tidak ada batasan ketat yang dapat ditemukan dari metode ini.1/iΘ(1)o(1/n)ϵi:1/i>ϵno(1/n)=o(1)O(1)O(n)

Saya pikir pertanyaan Anda adalah:

  1. Apakah membatasi dengan melakukan sedikit dari setiap istilah dan besar dari setiap istilah kemudian dikalikan dengan dapat diterima? (Jawab: Ya)inf(i)n
  2. Apakah ada metode yang lebih baik? (Jawab: Bukan yang saya tahu.)

Semoga orang lain bisa menjawab # 2 dengan lebih jelas.

EDIT: Melihat kembali pertanyaan Anda, saya pikir Anda bertanya

inΘ(f(n))=Θ(nf(n)) ?

Yang jawabannya adalah ya. Namun dalam hal ini, setiap istilah bukanlah apa pun, sehingga pendekatan itu berantakan.Θ

EDIT 2: Anda mengatakan "pertimbangkan , maka tidak ada ". Benar-benar benar. Jika Anda mengatakan bahwa adalah fungsi non-konstan dari , maka, menurut definisi, non-konstan.ci=icmaxcii

Perhatikan bahwa jika Anda mendefinisikannya dengan cara ini, maka bukan , itu . Memang, jika Anda mendefinisikan "konstan" berarti "fungsi ", maka dua fungsi berbeda dengan "konstan"!ciiΘ(i)Θ(i2)ii

Mungkin ini adalah cara yang lebih mudah untuk memikirkannya: kita memiliki urutan . Apa istilah terkecil dalam urutan ini? Yah, itu akan tergantung pada . Jadi kita tidak bisa menganggap istilah itu konstan.1,12,,1nn

(Ilmuwan komputer sering lebih akrab dengan big-O, jadi mungkin lebih intuitif untuk bertanya apakah memiliki istilah terbesar yang konstan.)1,,n

Untuk memberikan bukti Anda: biarkan menjadi nilai terkecil dari dalam rentang . Kemudianf(imin)f(i)1,,n

inf(i)inf(imin)=nf(imin)=no(f(n))

Bukti analog dapat dibuat untuk batas atas.

Terakhir, Anda menulis bahwa dan sebagai bukti berikan bahwa . Ini sebenarnya adalah bukti-balik: jika "lebih besar" dari , maka itu tidak bisa "lebih kecil" dari , yang diperlukan untuk itu menjadi . Jadi tidak mungkin .Hn=o(n)Hn=Θ(logn)HnnlognΘ(logn)o(n)


1) "..kemudian ada beberapa sedemikian rupa sehingga ..." - tidak, tidak ada. Pertimbangkan dengan . 2) "Saya tidak berpikir " - 3) . Ini - Itu salah. Seperti , . 4) "(Jawab: Ya)" - selama saya tidak melihat bukti resmi dari fakta itu, saya tidak percaya. Selain itu, "mengalikan dengan " bukan yang terjadi dalam kasus yang dipamerkan. ( c i ) i N c i = i H n = o ( n ) H nΘ ( ln n ) 1 / i Θ ( 1 ) o ( 1 / n ) 1 / i 1 / n 1 / i Ω ( 1 / n )cmax(ci)iNci=iHn=o(n)HnΘ(lnn)1/iΘ(1)o(1/n)1/i1/n1/iΩ(1/n)n
Raphael

Saya pikir kamu melewatkan intinya. Bukti Anda tidak berfungsi karena kami mungkin tidak memiliki sama di setiap musim, dan bahkan tidak sama untuk musim yang sama tetapi berbeda . Saya pikir saya berhasil melakukannya; Saya akan menulis jawaban segera. nfn
Raphael

Saya masih tidak mengerti apa yang Anda katakan, jadi saya senang Anda menemukan
jawabannya
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.