Update exponential_search.cpp

This commit is contained in:
Divide-et-impera-11 2019-11-30 19:58:22 +01:00 committed by GitHub
parent 895010d8a9
commit 51c26b85fe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,50 +1,37 @@
// Copyright 2020 Divide-et-impera-11
#include <iostream> #include <iostream>
#include <string> #include <string>
#include <assert.h> #include <assert.h>
using namespaces std; using namespaces std;
//-----------------Binary Search Algorithm(use by Struzik algorithm)----------------- template<class Type> inline Type* binary_search(Type *array, size_t size, Type key){
// Time Complexity O(log n) where 'n' is the number of elements int32_t lower_index(0), upper_index(size - 1),middle_index;
// Worst Time Complexity O(log n)
// Best Time Complexity O(1)
// Space Complexity O(1)
// Auxiliary Space Complexity O(1)
template<class Type> inline Type* binary_search(Type *array, size_t size, Type key) {//Parameter List:Pointer to an array|size of array|key what you search
int32_t lower_index(0), upper_index(size - 1),middle_index; //lower_index => start of search range|upper_index => end of search range
while (lower_index <= upper_index) while (lower_index <= upper_index)
{ {
middle_index = floor((lower_index + upper_index) / 2); middle_index = floor((lower_index + upper_index) / 2);
if (*(array + middle_index) < key) lower_index = (middle_index + 1); //narrow the search range from up if (*(array + middle_index) < key) lower_index = (middle_index + 1);
else if (*(array + middle_index) > key) upper_index = (middle_index - 1);//narrow the search range from down else if (*(array + middle_index) > key) upper_index = (middle_index - 1);
else return (array + middle_index); //key has been found else return (array + middle_index);
} }
return nullptr; return nullptr;
} }
//-----------------Struzik Search Algorithm(Exponential)----------------- template<class Type> Type* Struzik_Search(Type* array,size_t size,Type key) {
// Time Complexity O(log i)where i is the position of the search key in the list uint32_t block_front(0),block_size = size == 0 ? 0 : 1;
// Worst Time Complexity O(log i) while (block_front != block_size)
// Best Time Complexity O(1)
// Space Complexity O(1)
// Auxiliary Space Complexity O(1)
template<class Type> Type* Struzik_Search(Type* array,size_t size,Type key) { // Parameter List:Pointer to an array|size of array|key what you search
uint32_t block_front(0),block_size = size == 0 ? 0 : 1; //block_front => start of search range|block_size => end of search range
while (block_front != block_size) //if key bigger than last element itt will be equal and return nullptr
{ {
if (*(array + block_size - 1) < key) {//if the key is bigger than the end of block we define a new block what is twice bigger than the previous if (*(array + block_size - 1) < key) {
block_front = block_size; block_front = block_size;
(block_size * 2 - 1 < size) ? (block_size *= 2) : block_size = size;//if the end of new block bigger than size of array it takes the end of array (block_size * 2 - 1 < size) ? (block_size *= 2) : block_size = size;
continue; continue;
} }
return binary_search<Type>(array + block_front, (block_size - block_front), key);//if delimit the block where the key shold be,do binary search return binary_search<Type>(array + block_front, (block_size - block_front), key);
} }
return nullptr; return nullptr;
} }
int main(){ int main(){
// ----------------TEST CASES----------------
int *sorted_array = new int[7]{ 7,10,15,23,70,105,203 }; int *sorted_array = new int[7]{ 7,10,15,23,70,105,203 };
assert(Struzik_Search<int>(sorted_array, 7, 0) == nullptr);// Key smaller than the first element of array assert(Struzik_Search<int>(sorted_array, 7, 0) == nullptr);
assert(Struzik_Search<int>(sorted_array, 7, 1000) == nullptr);// Key bigger than the last element of array assert(Struzik_Search<int>(sorted_array, 7, 1000) == nullptr);
assert(Struzik_Search<int>(sorted_array, 7, 50) == nullptr);// Key between the elemenets of array assert(Struzik_Search<int>(sorted_array, 7, 50) == nullptr);
assert(Struzik_Search<int>(sorted_array, 7, 7) == sorted_array);// Key is in the array !FOUND! assert(Struzik_Search<int>(sorted_array, 7, 7) == sorted_array);
// ----------------TEST CASES----------------
return EXIT_SUCCESS; return EXIT_SUCCESS;
} }