rumus algoritma