imana yahumekeye mu mazuru y uwo muntu maze adamu aba muzima atyo gatatu ni pholus uzwiho uburakari these include slow but formally correct methods like dynamic programming