You want to be able to access the largest element in a stack.
You've already implemented this Stack structure:
typedef struct StackNode {
void *value;
struct StackNode *next;
} StackNode;
typedef struct Stack {
StackNode *top;
} Stack;
/* Allocate and initialize an empty stack */
Stack * stackNew()
{
Stack *stack = calloc(1, sizeof(Stack));
assert(stack != NULL);
return stack;
}
/* Free a previously allocated stack */
void stackFree(Stack *stack)
{
if (stack != NULL) {
StackNode *node = stack->top;
while (node != NULL) {
StackNode *next = node->next;
free(node->value);
free(node);
node = next;
}
free(stack);
}
}
/* Check if the stack is empty */
int stackIsEmpty(const Stack *stack)
{
assert(stack != NULL);
return stack->top == NULL;
}
/* Push a new item onto the stack */
void stackPush(Stack *stack, const void *value, size_t valueSize)
{
assert(stack != NULL);
StackNode *node = malloc(sizeof(StackNode));
assert(node != NULL);
if (valueSize > 0) {
node->value = malloc(valueSize);
assert(node->value != NULL);
memcpy(node->value, value, valueSize);
}
else {
node->value = NULL;
}
node->next = stack->top;
stack->top = node;
}
/* Remove and return the last item */
void stackPop(Stack *stack)
{
assert(stack != NULL);
assert(stack->top != NULL);
StackNode *next = stack->top->next;
free(stack->top->value);
free(stack->top);
stack->top = next;
}
/* Return the last item without removing it */
void * stackPeek(const Stack *stack)
{
assert(stack != NULL);
assert(stack->top != NULL);
return stack->top->value;
}
Use your Stack structure to implement a new structure MaxStack with a function getMax that returns the largest element in the stack. getMax should not remove the item.
Your stacks will contain only integers.
What if we push several items in increasing numeric order (like 1, 2, 3, 4...), so that there is a new max after each push? What if we then pop each of these items off, so that there is a new max after each pop? Your algorithm shouldn't pay a steep cost in these edge cases.
You should be able to get a runtime of for push, pop, and getMax.
A just-in-time approach is to have getMax simply walk through the stack (popping all the elements off and then pushing them back on) to find the max element. This takes time for each call to getMax. But we can do better.
To get time for getMax, we could store the max integer as a member variable (call it max). But how would we keep it up to date?
For every push, we can check to see if the item being pushed is larger than the current max, assigning it as our new max if so. But what happens when we pop the current max? We could re-compute the current max by walking through our stack in time. So our worst-case runtime for pop would be . We can do better.
What if when we find a new current max (newMax), instead of overwriting the old one (oldMax) we held onto it, so that once newMax was popped off our stack we would know that our max was back to oldMax?
What data structure should we store our set of maxes in? We want something where the last item we put in is the first item we get out ("last in, first out").
We can store our maxes in another stack!
We define two new stacks within our MaxStack structure—stack holds all of our integers, and maxesStack holds our "maxima." We use maxesStack to keep our max up to date in constant time as we push and pop:
-
Whenever we push a new item, we check to see if it's greater than or equal to the current max, which is at the top of maxesStack. If it is, we also push it onto maxesStack.
-
Whenever we pop, we also pop from the top of maxesStack if the item equals the top item in maxesStack.
// Implements a stack
// Stack * stackNew(void);
// void stackFree(Stack *stack);
// int stackIsEmpty(const Stack *stack);
// void stackPushString(Stack *stack, const char *str);
// void stackPop(Stack *stack);
// void * stackPeek(const Stack *stack);
#include "Cake/Stack.h"
typedef struct MaxStack {
Stack *stack;
Stack *maxesStack;
} MaxStack;
void maxStackInit(MaxStack *maxStack)
{
maxStack->stack = stackNew();
maxStack->maxesStack = stackNew();
}
void maxStackDestroy(MaxStack *maxStack)
{
stackFree(maxStack->stack);
stackFree(maxStack->maxesStack);
}
// Add a new item to the top of our stack. If the item is greater
// than or equal to the last item in maxesStack, it's
// the new max! So we'll add it to maxesStack.
void push(MaxStack *maxStack, int item)
{
stackPush(maxStack->stack, &item, sizeof(item));
if (stackIsEmpty(maxStack->maxesStack)
|| item >= *(int *)stackPeek(maxStack->maxesStack)) {
stackPush(maxStack->maxesStack, &item, sizeof(item));
}
}
// Remove and return the top item from our stack. If it equals
// the top item in maxesStack, they must have been pushed in together.
// So we'll pop it out of maxesStack too.
int pop(MaxStack *maxStack)
{
int item = *(int *)stackPeek(maxStack->stack);
stackPop(maxStack->stack);
if (item == *(int *)stackPeek(maxStack->maxesStack)) {
stackPop(maxStack->maxesStack);
}
return item;
}
// The last item in maxesStack is the max item in our stack.
int getMax(const MaxStack *maxStack)
{
return *(int *)stackPeek(maxStack->maxesStack);
}
time for push, pop, and getMax. additional space, where m is the number of operations performed on the stack.
Our solution requires additional
space for the second stack. But do we really need it?
Can you come up with a solution that
requires additional space? (It's
tricky!)
Notice how in the solution we're spending time on push and pop so we can save time on getMax. That's because we chose to optimize for the time cost of calls to getMax.
But we could've chosen to optimize for something else. For example, if we expected we'd be running push and pop frequently and running getMax rarely, we could have optimized for faster push and pop functions.
Sometimes the first step in algorithm design is deciding what we're optimizing for. Start by considering the expected characteristics of the input.