daily pastebin goal
47%
SHARE
TWEET

Untitled

a guest Aug 21st, 2018 63 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. public class InsertionSort
  2. {
  3.  
  4.     /**
  5.      * Constructor for objects of class InsertionSort
  6.      */
  7.     public static void InsertionSort()
  8.     {
  9.         int r[] = ArrayMaker.getArray(20);
  10.         ShowArray.show(r);
  11.  
  12.         boolean finished = false;
  13.         int i = 1;
  14.         int j = 1;
  15.        
  16.         //inv1 : gesorteerd([0..i-1])
  17.        
  18.         while (i!= r.length)
  19.         {
  20.             //inv1 : gesorteerd([0..i-1])
  21.             j=i;
  22.             finished = false;
  23.            
  24.             //inv2: gesorteerd([0..j-1]) &&  gesorteerd([j..i])
  25.             while (finished == false && j>0)
  26.             {
  27.                 if (r[j] < r[j-1])
  28.                 {
  29.                     //gesorteerd([0..j-1]) &&  gesorteerd([j..i]) && r[j] < r[j-1]
  30.                     Wissel.wissel(r, j, j-1);
  31.                     //gesorteerd([0..j-2]) && gesorteerd([j-1..i])
  32.                     j--;
  33.                     //gesorteerd([0..j-1]) && gesorteerd([j..i])
  34.                 }
  35.                 else
  36.                 {
  37.                     // gesorteerd([0..j-1]) && gesorteerd([j..i])  && r[j] < r[j-1]
  38.                     //=> gesorteerd[0..j]
  39.                     finished = true;
  40.                 }
  41.             }
  42.             //2 mogelijkheden:
  43.             //=> gesorteerd([0..j-1]) &&  gesorteerd([j..i]) && j = 0
  44.             // of (else blok) => gesorteerd[0..j]
  45.             // => algemeen: gesorteerd([0..i])
  46.             i++;
  47.             //=> gesorteerd([0..i-1)]
  48.         }
  49.         //gesorteerd([0..i-1]) && i = r.length
  50.         //=> gesorteerd([0..lengte-1]
  51.         ShowArray.show(r);
  52.     }
  53. }
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top