Computer Science

Loop Invariant

Updated Jul 26, 2026Computer Science/Algorithm/Practical Knowledges/Insertion Sort/Loop Invariant

Loop Invariant adalah Subarray yang elemennya sudah diurutkan, contohnya seperti subarray di sisi kiri pada Insertion Sort (diwakili tangan kiri dalam ilustrasinya).

Loop Invariants membantu kita memahami bagaimana suatu algoritma dapat memiliki kondisi Correct Algorithm. Saat kita memakai Loop Invariants, ada 3 hal yang perlu diperhatikan:

  1. Initialization
  2. Maintenance
  3. Termination

Pembuktian loop invariant adalah bentuk dari Induksi Matematika.

Linked mentions