Pertanyaan ini diposting di CS.SE dua minggu lalu , tetapi tidak mendapatkan jawaban yang memuaskan.
Misalkan Anda memiliki permainan berikut:
Ada banyak sekali penghitung , semuanya diinisialisasi ke 0.
Di setiap langkah, Anda memilih penghitung dan meningkatkan nilainya 1.
Sayangnya, setiap langkah , setiap penghitung yang memiliki nilai positif dikurangi sebesar 1.
Selain itu, nilai penghitung dibatasi oleh , jadi Anda tidak bisa menambah penghitung lebih jauh.
1. Diberikan langkah sebanyak yang Anda suka, dapatkah banyak penghitung bernilai positif dapat Anda jangkau?
2. Berapa banyak penghitung bernilai positif yang dapat dijangkau setelah langkah ?
Untuk pertanyaan (1), inilah aa penumpukan rinci untuk counter positif:
- Meskipun Anda memiliki penghitung kurang dari dengan nilai M :
- Kenaikan indeks kontra minimal yang nilainya ketat kurang dari .
(Ini harus menyatu karena jumlah penghitung terikat untuk meningkatkan setiap langkah )
Biarkan .
Sementara ( )
Sebuah. sementara ( )
- Kenaikan
b.
Sekarang untuk analisis: pengamatan pertama adalah bahwa jumlah penghitung positif adalah .
Sekarang mari menjadi nilai maksimal c r yang telah dicapai. Untuk r = T kita mendapatkan M ( 1 - 1. Untukr=T+1kita mendapatkanmr(1-1, atau secara umum∀r≥T:mr=M(1-1
Selanjutnya kita perhatikan bahwa ketika tercapai, c 0 = m r . Ini berarti loop akan berhenti ketika m r < 1 (memberi atau menerima integralitas dan strategi akhir permainan).
Ini memberi kita (1-1
Apakah mungkin melakukan lebih baik? Adakah yang bisa membuktikan ini optimal?