View source for Marzullo's algorithm

{{Short description|Agreement algorithm}}
'''Marzullo's algorithm''', invented by [[Keith Marzullo]] for his Ph.D. dissertation in 1984, is an ''agreement algorithm'' used to select sources for estimating accurate time from a number of [[noise|noisy]] time sources. A refined version of it, renamed the "[[intersection algorithm]]", forms part of the modern [[Network Time Protocol]].
Marzullo's algorithm is also used to compute the [[relaxed intersection]] of n boxes (or more generally ''n'' subsets of '''R'''<sup>''n''</sup>), as required by several [[Set_estimation|robust set estimation]] methods.

==Purpose==

Marzullo's algorithm is efficient in terms of time for producing an optimal value from a set of estimates with [[confidence interval]]s where the actual value may be outside the confidence interval for some sources.  In this case the best estimate is taken to be the smallest interval [[consistent]] with the largest number of sources.

If we have the estimates 10&nbsp;±&nbsp;2, 12&nbsp;±&nbsp;1 and 11&nbsp;±&nbsp;1 then these intervals are [8,12], [11,13] and [10,12] which intersect to form [11,12] or 11.5&nbsp;±&nbsp;0.5 as consistent with all three values. 
[[Image:Marzullo_example-1.jpg|600x600px|center|Marzullo's algorithm, example#1]]

If instead the ranges are [8,12], [11,13] and [14,15] then there is no interval consistent with all these values but [11,12] is consistent with the largest number of sources &mdash; namely, two of them. 
[[Image:Marzullo_example-2.jpg|600x600px|center|Marzullo's algorithm, example#2]]

Finally, if the ranges are [8,9], [8,12] and [10,12] then both the intervals [8,9] and [10,12] are consistent with the largest number of sources.
[[Image:Marzullo_example-3.jpg|center|600x600px|Marzullo's algorithm, example#3]]

This procedure determines an interval. If the desired result is a best value from that interval then a naive approach would be to take the center of the interval as the value, which is what was specified in the original Marzullo algorithm. A more sophisticated approach would recognize that this could be throwing away useful information from the confidence intervals of the sources and that a [[probabilistic model]] of the sources could return a value other than the center.

Note that the computed value is probably better described as "optimistic" rather than  "optimal". For example, consider three intervals [10,12], [11, 13] and [11.99,13]. The algorithm described below computes [11.99, 12] or 11.995&nbsp;±&nbsp;0.005 which is a very precise value. If we suspect that one of the estimates might be incorrect, then at least two of the estimates must be correct.  Under this condition, the best estimate is [11,13] since this is the largest interval that always intersects at least two estimates. The algorithm described below is easily parameterized with the maximum number of incorrect estimates.

==Method==

Marzullo's algorithm begins by preparing a table of the sources, sorting it and then searching (efficiently) for the intersections of intervals.  For each source there is a range [c&minus;r,c+r] defined by c&nbsp;±&nbsp;r. For each range the table will have two [[tuple]]s of the form {{angbr|offset,type}}. One tuple will represent the beginning of the range, marked with type &minus;1 as {{angbr|c&minus;r,&minus;1}} and the other will represent the end with type +1 as {{angbr|c+r,+1}}.

The description of the algorithm uses the following variables: best (largest number of overlapping intervals found), cnt (current number of overlapping intervals), beststart and bestend (the beginning and end of best interval found so far), i (an index), and the table of tuples.

# <li value="0">Build the table of tuples.</li>
# [[sorting algorithm|Sort]] the table by the offset.  (If two tuples with the same offset but opposite types exist, indicating that one interval ends just as another begins, then a method of deciding which comes first is necessary.  Such an occurrence can be considered an overlap with no duration, which can be found by the algorithm by putting type &minus;1 before type +1. If such pathological overlaps are considered objectionable they can be avoided by putting type +1 before &minus;1 in this case.)
# [initialize] best=0 cnt=0
# [loop] go through each tuple in the table in ascending order
:# <li value="4">[current number of overlapping intervals] cnt=cnt−type[i]</li>
:# if cnt>best then best=cnt beststart=offset[i] bestend=offset[i+1]

:''commentary: the next tuple, at [i+1], will either be an end of an interval (type=+1) in which case it ends this best interval, or it will be a beginning of an interval (type=&minus;1) and in the next step will replace best.''

:''ambiguity: unspecified is what to do if best=cnt.  This is a condition of a tie for greatest overlap.  The decision can either be made to take the smaller of bestend&minus;beststart and offset[i+1]&minus;offset[i] or just take an arbitrary one of the two equally good entries. This decision is relevant only when type[i+1]=+1.''

# <li value="6">[end loop] return [beststart,bestend] as optimal interval.  The number of ''false'' sources (ones which do not overlap the optimal interval returned) is the number of sources minus the value of best.</li>

==Efficiency==
Marzullo's algorithm is efficient in both space and time.  The [[asymptotic]] space usage is [[Big O notation|O(n)]], where n is the number of sources.  In considering the asymptotic time requirement the algorithm can be considered to consist of building the table, sorting it and searching it.  Sorting can be done in O(n log n) time, and this dominates the building and searching phases which can be performed in [[linear]] time.  Therefore, the time efficiency of Marzullo's algorithm is [[Big O notation|O(n log n)]].

Once the table has been built and sorted it is possible to update the interval for one source (when new information is received) in linear time.  Therefore, updating data for one source and finding the best interval can be done in O(n) time.

== References ==
* {{cite thesis |first= K. A. |last= Marzullo |title=  Maintaining the Time in a Distributed System: An Example of a Loosely-Coupled Distributed Service |work=  Ph.D. dissertation |publisher= Stanford University |series=  Department of Electrical Engineering |date= Feb 1984 |url= https://searchworks.stanford.edu/view/1137192 |id= DDC 3781.1984 M |oclc= 38621764 |asin= B000710CSC }}

== External links ==
* {{cite web |first= David L. |last= Mills |url= http://www.eecis.udel.edu/~mills/database/papers/history.pdf |title= A Brief History of NTP Time: Confessions of an Internet Timekeeper |work= EECIS |publisher= UDEL |date= Aug 5, 2000}}
* {{cite web |url= http://www.cse.ucsd.edu/users/marzullo/ |title= Keith Marzullo |work= CSE |publisher= UCSD }}


[[Category:Agreement algorithms]]