Fairness accounting variable

Read the equation

Defines the service count or target-share term used in the deficit calculation. Consistent accounting is necessary for the largest-deficit rule to represent the intended allocation.

Terms & definitions

The recovered passage does not supply a separate symbol table. Read the source context for the notation used in this version; familiar letters may carry different meanings in other builds.

How it works

1. Read served_f as the quantity being defined or updated by this relation.

2. Substitute the source-defined variables or recorded values and follow the displayed arithmetic and indexing exactly.

3. Use this version’s variable definitions and update order. The same symbol may be assigned a different meaning in another build.

Assumptions & limits

Source recovery establishes that the expression appears in this record. Its mathematical validity, implementation behavior, and interpretation must be assessed separately. See the linked source and research notes for the checks available for this version.

Original context

1. Compute deficit for each family:
Δ_f = s_f × total_events - served_f

Where s_f = target share (configurable weight per family)
served_f = how many times family f has been served

2. Select family with largest deficit:
f* = argmax_f(Δ_f)

3. If f*'s queue is empty, borrow from nearest neighbor

4. After serving: served_f* += 1

served_f = how many times family f has been served

Related builds