13 papers · ranked by Valyu relevance
Carbonell Juan Pablo, Solsona, José E., Szasz + 3 more
We provide full certifications of two versions of merge sort of arrays in the verification-aware programming language Dafny. We start by considering schemas for applying the divide-and-conquer or partition method of solution to specifications given by pre- and post-conditions involving linear arrays. We then derive the…
Jesper Larsson Träff
This note makes an observation that significantly simplifies a number of previous parallel, two-way merge algorithms based on binary search and sequential merge in parallel. First, it is shown that the additional merge step of distinguished elements as found in previous algorithms is not necessary, thus simplifying the…
Philippe J. Giabbanelli, Joseph G. Peters
In distributed classification, each learner observes its environment and deduces a classifier. As a learner has only a local view of its environment, classifiers can be exchanged among the learners and integrated, or merged, to improve accuracy. However, the operation of merging is not defined for most classifiers.…
Glodny, Niels
Despite being widely used, the algorithms that enable collaboration with Git are not well understood. The diff and merge algorithms are particularly interesting, as they could be applied in other contexts. In this thesis, I document the main functionalities of Git: how diffs are computed, how they are used to run…
Sam Buss, Alexander Knop
We introduce new stable natural merge sort algorithms, called 2-merge sort and α-merge sort. We prove upper and lower bounds for several merge sort algorithms, including Timsort, Shivers' sort, α-stack sorts, and our new 2-merge and α-merge sorts. The upper and lower bounds have the forms c · n log m and c · n log n…
Bérenger Bramas, Quentin Bramas
In this paper, we present several improvements in the parallelization of the in-place merge algorithm, which merges two contiguous sorted arrays into one with an O(T) space complexity (where T is the number of threads). The approach divides the two arrays into as many pairs of partitions as there are threads available…
Oded Green, Saher Odeh, Yitzhak Birk
We present a novel, visually intuitive approach to partitioning two input sorted arrays into pairs of contiguous sequences of elements, one from each array, such that 1) each pair comprises any desired total number of elements, and 2) the elements of each pair form a contiguous sequence in the output merged sorted…
Alexander Ponomarenko
This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal…
Yuzhao Yang, Jérôme Darmont, Franck Ravat, Olivier Teste
Using data warehouses to analyse multidimensional data is a significant task in company decision-making. The need for analyzing data stored in different data warehouses generates the requirement of merging them into one integrated data warehouse. The data warehouse merging process is composed of two steps: matching…
Marek A. Suchenek
| 1 | Introduction | | 3 | | --- | --- | --- | --- | | 2 | Some Math prerequisites | | 4 | | 3 | MergeSort | and its worst-case behavior W(n) | 5 | | 4 | | An easy yet precise derivation of W(n) | 7 | | 5 | | Close smooth bounds on W(n) | 9 | | 6 | | Other properties of the recursion tree Tn | 13 | | 7 | A derivation…
Albert Tedja
This article introduces a new optimization method to improve mergesort's runtime complexity, when sorting sequences that have equal keys to O(nlog2k), where k is the number of distinct keys in the sequence. When k is constant, it is evident that mergesort is capable of achieving linear time by utilizing linked lists as…
Feng Shi, Zhiyuan Yan, Meghanad D. Wagh
—Merging-based sorting networks are an important family of sorting networks. Most merge sorting networks are based on 2-way or multi-way merging algorithms using 2-sorters as basic building blocks. An alternative is to use n-sorters, instead of 2-sorters, as the basic building blocks so as to greatly reduce the number…
Gene Myers
Merging T sorted, non-redundant lists containing M elements into a single sorted, non-redundant result of size N ≥ M/T is a classic problem typically solved practically in O(M log T ) time with a priority-queue data structure the most basic of which is the simple heap. We revisit this problem in the situation where the…