od Him » 10. 2. 2009 14:56
Dostal jsem binární sčítání a stačilo napsat kód algoritmu Carry look ahead, jak je popsán v textech k Algovision + napsal jsem tam:
o tvrzení 1 - nedokazovane tvrzeni o scitani bin. cisel s definici prenosovych bitu
o definici operace o - tj. skladani dvou bloku
o tvrzení 2 - operace o je asociativni (s důkazem, který je velice technický a jednoduchý)
o definici symbolu B_i,i a B_i,j
o tvrzení 3 - B_i_0 odpovídá c_i (důkaz je jen indukcí)
o tvrzení 4 - znění věty, která říká, že g_k-1,j odpovídá c_j (bez důkazu)
o tvrzení 5 - složitost algoritmu je O(n log n) ... a jen jsem podle algoritmu napsal, co jak dlouho trvá
a odcházel jsem spokojený, takže není třeba se učit tvrzení o K (kappa) a ta další tvrzení, která jsou docela kašel indexů..
hodně štěstí, které to ještě čeká
Dostal jsem binární sčítání a stačilo napsat kód algoritmu Carry look ahead, jak je popsán v textech k Algovision + napsal jsem tam:
o tvrzení 1 - nedokazovane tvrzeni o scitani bin. cisel s definici prenosovych bitu
o definici operace [b]o[/b] - tj. skladani dvou bloku
o tvrzení 2 - operace [b]o[/b] je asociativni (s důkazem, který je velice technický a jednoduchý)
o definici symbolu B_i,i a B_i,j
o tvrzení 3 - B_i_0 odpovídá c_i (důkaz je jen indukcí)
o tvrzení 4 - znění věty, která říká, že g_k-1,j odpovídá c_j (bez důkazu)
o tvrzení 5 - složitost algoritmu je O(n log n) ... a jen jsem podle algoritmu napsal, co jak dlouho trvá
a odcházel jsem spokojený, takže není třeba se učit tvrzení o K (kappa) a ta další tvrzení, která jsou docela kašel indexů..
hodně štěstí, které to ještě čeká