# Correctness and the Loop Invariant in Algorithm | HackerRank Programming Solutions | HackerRank Problem Solving Solutions in Java [💯Correct]

Hello Programmers/Coders, Today we are going to share solutions of Programming problems of HackerRank, Algorithm Solutions of Problem Solving Section in Java. At Each Problem with Successful submission with all Test Cases Passed, you will get an score or marks. And after solving maximum problems, you will be getting stars. This will highlight your profile to the recruiters.

In this post, you will find the solution for Correctness and the Loop Invariant in Java-HackerRank Problem. We are providing the correct and tested solutions of coding problems present on HackerRank. If you are not able to solve any problem, then you can take help from our Blog/website.

`Use “Ctrl+F” To Find Any Questions Answer. & For Mobile User, You Just Need To Click On Three dots In Your Browser & You Will Get A “Find” Option There. Use These Option to Get Any Random Questions Answer.`

#### Introduction To Algorithm

The word Algorithm means “a process or set of rules to be followed in calculations or other problem-solving operations”. Therefore Algorithm refers to a set of rules/instructions that step-by-step define how a work is to be executed upon in order to get the expected results.

• It is easy to understand.
• Algorithm is a step-wise representation of a solution to a given problem.
• In Algorithm the problem is broken down into smaller pieces or steps hence, it is easier for the programmer to convert it into an actual program.

Link for the ProblemCorrectness and the Loop Invariant – Hacker Rank Solution

`Correctness and the Loop Invariant– Hacker Rank Solution`

### Problem:

In the previous challenge, you wrote code to perform an Insertion Sort on an unsorted array. But how would you prove that the code is correct? I.e. how do you show that for any input your code will provide the right output?

Loop Invariant
In computer science, you could prove it formally with a loop invariant, where you state that a desired property is maintained in your loop. Such a proof is broken down into the following parts:

• Initialization: It is true (in a limited sense) before the loop runs.
• Maintenance: If it’s true before an iteration of a loop, it remains true before the next iteration.
• Termination: It will terminate in a useful way once it is finished.

Insertion Sort’s Invariant
Say, you have some InsertionSort code, where the outer loop goes through the whole array :

```for(int i = 1; i < A.length; i++){
//insertion sort code
```

You could then state the following loop invariant:

At the start of every iteration of the outer loop (indexed with ), the subarray until  consists of the original elements that were there, but in sorted order.

To prove Insertion Sort is correct, you will then demonstrate it for the three stages:

• Initialization – The subarray starts with the first element of the array, and it is (obviously) sorted to begin with.
• Maintenance – Each iteration of the loop expands the subarray, but keeps the sorted property. An element  gets inserted into the array only when it is greater than the element to its left. Since the elements to its left have already been sorted, it means  is greater than all the elements to its left, so the array remains sorted. (In Insertion Sort 2 we saw this by printing the array each time an element was properly inserted.)
• Termination – The code will terminate after  has reached the last element in the array, which means the sorted subarray has expanded to encompass the entire array. The array is now fully sorted.

You can often use a similar process to demonstrate the correctness of many algorithms. You can see these notes for more information.

Challenge

In the InsertionSort code below, there is an error. Can you fix it? Print the array only once, when it is fully sorted.

Input Format

There will be two lines of input:

•  – the size of the array
•  – the list of numbers that makes up the array

Constraints

Output Format

Output the numbers in order, space-separated on one line.

Sample Input

```6
7 4 3 5 6 2
```

Sample Output

```2 3 4 5 6 7
```

Explanation

The corrected code returns the sorted array.

`Correctness and the Loop Invariant – Hacker Rank Solution`
```import java.util.Scanner;

/**
* @author Techno-RJ
*
*/
public class CorrectnessAndTheLoopInvariant {
public static void insertionSort(int[] A) {
for (int i = 1; i < A.length; i++) {
int value = A[i];
int j = i - 1;
while (j >= 0 && A[j] > value) {
A[j + 1] = A[j];

j = j - 1;
}
A[j + 1] = value;

}

printArray(A);
}

static void printArray(int[] ar) {
for (int n : ar) {
System.out.print(n + " ");
}
}

public static void main(String[] args) {
Scanner in = new Scanner(System.in);
int n = in.nextInt();
int[] ar = new int[n];
for (int i = 0; i < n; i++) {
ar[i] = in.nextInt();
}
insertionSort(ar);
in.close();
}
}```  