Skip to main content

Balanced brackets

Have you observed something? When ever you are writing code using any IDE, if you write mismatched brackets, immediately an error is shown by IDE.

So how does IDE  know if an expression is having balanced brackets? For that, the expression must have equal number of opening and closing brackets of matching types and also they must be in correct order.

Let us look at some examples

(a+b)*c+d*{e+(f*g)}   - balanced

(p+q*[r+u)] - unbalanced

(p+q+r+s)) - unbalanced

(m+n*[p+q]+{g+h}) - balanced


So we do we write a program to check if an expression is having balanced brackets? We do need to make use of stack to store the brackets.

The algorithm is as follows
  1. Scan a character - ch from the expression
  2. If the character is opening bracket, push it to stack
  3. If the character is closing bracket
    1. pop a character from stack
    2. If popped opening bracket and ch are not of same type ( ( and ) or [ and ] ) stop the function and return false
  4. Repeat steps 2 and 3 till all characters are scanned.
  5. Once the loop is completed, if the stack is empty return true else return false
Once we have this algorithm, code will be quite simple.

int is_opening_bracket(char ch)
{
switch(ch)
{
case '(':
case '[':
case '{':

return 1;
default : return 0;
}
}

int is_closing_bracket(char ch)
{
switch(ch)
{
case ')':
case ']':
case '}':

return 1;
default : return 0;
}
}

int is_matching_bracket(struct node **top,char ch)
{
char ch2 = pop(top);
if(ch2!=ERRORCHAR)
{
switch(ch)
{
case ')': if(ch2!='(') return 0;
break;
case ']': if(ch2!='[') return 0;
break;
case '}': if(ch2!='{') return 0;
break;

return 1;
default : return 0;
}
}else
return 0;
}
int is_balanced(char *expression)
{
char ch;

struct node *top = NULL;
while(ch =*expression++)
{
if(is_opening_bracket(ch))
{
top = push(ch,top);
}
else if(is_closing_bracket(ch))
{
if(!is_matching_bracket(&top,ch))
{
return 0;
}
}
}
return is_empty(top);
}


I have used 3 helper function to find out if the character is opening bracket, is a closing bracket and if the character matches with the bracket popped from stack. The stack in this case a character stack.

And here you have the driver program with stack implemented using linked list.


#include<stdio.h>
#include<string.h>
#include<stdlib.h>
#define ERRORCHAR 65
struct node
{
char ch;
struct node *next;
};
struct node *createnode(char ch)
{
struct node *newnode = (struct node*) malloc(sizeof(struct node));
newnode->ch = ch;
newnode->next = NULL;
}

int is_empty(struct node *top)
{
return top==NULL;
}
struct node * push(char ch,struct node *top)
{
struct node *newnode = createnode(ch);
newnode->next = top;
top = newnode;
return top;
}

char pop(struct node ** top)
{
char ch;
if(*top==NULL)
return ERRORCHAR;
struct node * temp = *top;
*top =(*top)->next;
ch = temp->ch;

free(temp);
return ch;
}

int main()
{
char expression[50];
double ans;
printf("Enter an expression :");
scanf("%s",expression);
if(is_balanced(expression))
{
printf("The expression has balanced brackets");
}
else
{
printf("The expression has unbalanced brackets");
}
return 0;
}


Comments

  1. Amazing! Its actually awesome article, I have got much clear idea concerning
    from this article.

    ReplyDelete

Post a Comment

Popular posts from this blog

In order traversal of nodes in the range x to y

Question : Write a function for in-order traversal of nodes in the range x to y from a binary search tree. This is quite a simple function. As a first solution we can just traverse our binary search tree in inorder and display only the nodes which are in the range x to y. But if the current node has a value less than x, do we have to traverse its left subtree? No. Because all the nodes in left subtree will be smaller than x. Similarly if the current node has a key value more than y, we need not visit its right subtree. Now we are ready to write our algorithm.     if nd is NOT NULL  if nd->val >=x then visit all the nodes of left subtree of nd recursively display nd->val if nd->val <y then visit all the nodes of right subtree of nd recursively  That's all. We have our function ready. void in_order_middle (NODEPTR nd, int x, int y) { if (nd) { if (nd -> val >= x) in_order_middle(nd...

Josephus problem

Question: Write a function to delete every k th node from circular linked list until only one node is left. This has a story associated with it. Flavius Josephus was Jewish Historian from 1st century. He and 40 other soldiers were trapped in a cave by Romans. They decided to kill themselves rather than surrendering to Romans. Their method was like this. All the soldiers will stand in a circle and every k th soldier will be shot dead. Josephus said to have calculated the starting point so that he would remain alive. So we have similar problem at hand. We delete every kth node in a circular list. Eventually only one node will be left. e.g. Let us say this is our list And we are deleting every third node.  We will delete 30. Then we delete 60. Next we delete 10. Next it will be 50. Next to be deleted is 20. Next 80. This continues. Implementation   We can count k-1 nodes and delete next node. This can be repeated in  a loop. What must be the termina...

Lowest common ancestor of binary search tree

Question : Write a function to print the lowest common ancestor of two nodes in a binary search tree.  Lowest common ancestor of two nodes x and y in a binary tree is the lowest node that has both x and y as descendants. Here lowest common ancestor of 1 and 7 is 3. LCA of 13 and 7 is root - 8. And LCA of 6 and 7 is 6 itself. The program to find gets complicated for an ordinary binary tree. But for a binary search tree, it is quite simple. As we see from the diagram above, the paths to 1 and 4 are common till the node 3. And at 3 they branch in different directions. So 3 is our LCA. That is lowest common ancestor is the node where the paths to x and y from root deviate. As long as they branch in same direction, we continue to traverse. When they branch in different directions, that is the lowest common ancestor. So let us write a simple algorithm, set temp=root if temp->val >x and temp->val>y temp = temp->left else if temp->val<x and ...