Różnice między wybraną wersją a wersją aktualną.
| Next revision | Previous revision | ||
|
inplace_merge [2009/04/03 17:16] ornsh utworzono |
inplace_merge [2009/04/03 18:25] (aktualna) ornsh |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| ====== Algorytm inplace_merge() ====== | ====== Algorytm inplace_merge() ====== | ||
| - | ''template <class BidirectionalIterator> | + | <code cpp> |
| + | template <class BidirectionalIterator> | ||
| inline void inplace_merge(BidirectionalIterator first, | inline void inplace_merge(BidirectionalIterator first, | ||
| BidirectionalIterator middle, | BidirectionalIterator middle, | ||
| Linia 9: | Linia 10: | ||
| inline void inplace_merge(BidirectionalIterator first, | inline void inplace_merge(BidirectionalIterator first, | ||
| BidirectionalIterator middle, | BidirectionalIterator middle, | ||
| - | BidirectionalIterator last, StrictWeakOrdering comp);'' | + | BidirectionalIterator last, StrictWeakOrdering comp); |
| + | </code> | ||
| + | |||
| + | ===== Opis algorytmu ===== | ||
| + | |||
| + | Algorytm zawarty w Standard Template Library. | ||
| + | Funkcja inplace_merge() łączy dwa uporządkowane rosnąco zakresy //[first, middle)// oraz //[middle, last)// w jeden zakres //[first, last)// uporządkowany rosnąco. | ||
| + | Algorytm jest stabilny. W pierwszej wersji funkcji do porównywania elementów używany jest //operator< //. | ||
| + | W drugiej wersji możliwe jest dostarczenie własnego funktora testującego poprzedzanie elementów. Funkcja testująca pobiera 2 argumenty i zwraca wartość logiczną //TRUE// w przypadku, gdy pierwszy argument poprzedza drugi; jeśli zamienimy argumenty miejscami otrzymamy //FALSE//. | ||
| + | |||
| + | ===== Złożoność ===== | ||
| + | |||
| + | Złożoność pesymistyczna algorytmu to O(N log(N)). | ||
| + | |||
| + | ===== Nagłówek ===== | ||
| + | |||
| + | <code cpp>#include <algorithm></code> | ||
| + | |||
| + | ===== Parametry ===== | ||
| + | |||
| + | * first - iterator wskazujący początek pierwszego zakresu | ||
| + | * middle - iterator wskazujący koniec pierwszego zakresu i jednocześnie początek drugiego zakresu | ||
| + | * last - iterator wskazujący koniec drugiego zakresu | ||
| + | * comp - argument opcjonalny, wskaźnik na funkcję testującą poprzedzanie drugiego obiektu przez pierwszy | ||
| + | |||
| + | ===== Przykłady ===== | ||
| + | |||
| + | * Inicjalizacja struktur danych | ||
| + | |||
| + | <code cpp> | ||
| + | std::list<int> container, containerDesc, containerDivis; | ||
| + | std::list<int>::iterator it; | ||
| + | |||
| + | container.push_back(13); containerDesc.push_back(13); containerDivis.push_back(2); | ||
| + | container.push_back(15); containerDesc.push_back(11); containerDivis.push_back(8); | ||
| + | container.push_back(17); containerDesc.push_back(9); containerDivis.push_back(32); | ||
| + | container.push_back(19); containerDesc.push_back(7); containerDivis.push_back(128); | ||
| + | |||
| + | container.push_back(8); containerDesc.push_back(20); containerDivis.push_back(1); | ||
| + | container.push_back(10); containerDesc.push_back(12); containerDivis.push_back(4); | ||
| + | container.push_back(14); containerDesc.push_back(8); containerDivis.push_back(16); | ||
| + | container.push_back(18); containerDesc.push_back(5); containerDivis.push_back(64); | ||
| + | container.push_back(28); containerDesc.push_back(0); containerDivis.push_back(1024); | ||
| + | </code> | ||
| + | |||
| + | * Próba użycia algorytmu przy niespełnionym warunku uporządkowania jednego z zakresów | ||
| + | |||
| + | zakres pierwszy: 13, 15, 17\\ | ||
| + | zakres drugi: 19, 8, 10, 14, 18, 28\\ | ||
| + | Na wyjściu otrzymamy niepożądaną kolejność elementów (w tym przypadku niezmienioną) | ||
| + | |||
| + | <code cpp> | ||
| + | std::inplace_merge(container.begin(), ++(++(++container.begin())), container.end()); | ||
| + | |||
| + | std::cout << "wynik dzialania funkcji przy braku uporzadkowania rosnacego:" << std::endl; | ||
| + | for(it = container.begin(); it != container.end(); ++it) | ||
| + | std::cout << *it << " "; | ||
| + | std::cout << std::endl <<std::endl; | ||
| + | </code> | ||
| + | |||
| + | * Najprostsze użycie algorytmu inplace_merge tworzące jeden rosnąco posortowany zakres z dwóch oddzielnie uporządkowanych | ||
| + | |||
| + | zakres pierwszy: 13, 15, 17, 19\\ | ||
| + | zakres drugi: 8, 10, 14, 18, 28 | ||
| + | |||
| + | <code cpp> | ||
| + | std::inplace_merge(container.begin(), ++(++(++(++container.begin()))), container.end()); | ||
| + | |||
| + | std::cout << "zawartosc container'a po wykonaniu inplace_merge to:" << std::endl; | ||
| + | for(it = container.begin(); it != container.end(); ++it) | ||
| + | std::cout << *it << " "; | ||
| + | std::cout << std::endl <<std::endl; | ||
| + | </code> | ||
| + | |||
| + | * Wykorzystanie opcjonalnego argumentu funkcji inplace_merge() | ||
| + | |||
| + | Załóżmy że chcemy uzyskać uporządkowanie malejące z dwóch malejących zakresów.\\ | ||
| + | Do tego celu posłużę się funktorem greater<T> (nagłówek: //#include <functional>//).\\ | ||
| + | zakres pierwszy: 13, 11, 9, 7\\ | ||
| + | zakres drugi: 20, 12, 8, 5, 0 | ||
| + | |||
| + | <code cpp> | ||
| + | std::inplace_merge(containerDesc.begin(), ++(++(++(++containerDesc.begin()))), containerDesc.end(), std::greater<int>()); | ||
| + | |||
| + | std::cout << "zawartosc containerDesc'a po wykonaniu inplace_merge z odwroconym uporzadkowaniem to:" << std::endl; | ||
| + | for(it = containerDesc.begin(); it != containerDesc.end(); ++it) | ||
| + | std::cout << *it << " "; | ||
| + | std::cout << std::endl <<std::endl; | ||
| + | </code> | ||
| + | |||
| + | * Wykorzystanie opcjonalnego argumentu funkcji inplace_merge() | ||
| + | |||
| + | Tym razem utworzyłem funkcję //bool divisible(int, int)//, która zwraca //TRUE// w przypadku gdy drugi argument jest podzielny przez pierwszy, w przeciwnym wypadku //FALSE//\\ | ||
| + | funkcja zostanie wykorzystana przez inplace_merge | ||
| + | <code cpp> | ||
| + | /** | ||
| + | * Funkcja testująca podzielność drugiego argumentu przez pierwszy | ||
| + | * Zwraca TRUE w przypadku gdy drugi argument jest podzielny przez pierwszy, w przeciwnym wypadku FALSE | ||
| + | */ | ||
| + | const bool divisible(const int &arg1, const int &arg2) | ||
| + | { | ||
| + | return !(arg2 % arg1); | ||
| + | } | ||
| + | </code> | ||
| + | zakres pierwszy: 2, 8, 32, 128\\ | ||
| + | zakres drugi: 1, 4, 16, 64, 1024 | ||
| + | |||
| + | <code cpp> | ||
| + | std::inplace_merge(containerDivis.begin(), ++(++(++(++containerDivis.begin()))), containerDivis.end(), divisible); | ||
| + | |||
| + | std::cout << "zawartosc containerDivis'a po wykonaniu inplace_merge z dostarczona funkcja divisible:" << std::endl; | ||
| + | for(it = containerDivis.begin(); it != containerDivis.end(); ++it) | ||
| + | std::cout << *it << " "; | ||
| + | std::cout << std::endl <<std::endl; | ||
| + | </code> | ||
| + | |||
| + | ===== inplace_merge algorithm.cpp ===== | ||
| + | |||
| + | {{ inplace_merge algorithm.cpp }} | ||