---
title: Largest-Ratio-First Scheduling Algorithm
url: https://www.emergentmind.com/topics/largest-ratio-first-task-scheduling-algorithm
type: topic
---

# Largest-Ratio-First Scheduling Algorithm

Searching arXiv for the specified scheduling papers to ground the article and cite them accurately.
{"query":"arXiv 2508.04159 Approximation Algorithms for Scheduling Crowdsourcing Tasks in Mobile Social Networks"}
{"query":"arXiv 2603.26129 Improved Algorithms for Unrelated Crowd Worker Scheduling in Mobile Social Networks"}
{"query":"arXiv 1910.05702 The Largest-Z-ratio-First algorithm is 0.8531-approximate for scheduling unreliable jobs on m parallel machines"}
Largest-Ratio-First (LRF) is a greedy list-scheduling algorithm for minimizing total weighted completion time on parallel workers. In the mobile social network formulation, a requester owns a set of indivisible crowdsourcing tasks, each task has a weight and a required service time, and each crowd worker incurs two expected requester-worker contact intervals, one for assignment and one for feedback. LRF orders tasks by non-increasing Smith ratio and assigns them one by one to the worker with the smallest current expected workload, thereby combining single-machine Smith ordering with parallel-machine load balancing under communication delay [2508.04159][2603.26129].

## 1. Formal scheduling model

In the mobile social network setting, the user set is $\mathcal{U}=\{u_0,u_1,\dots,u_m\}$, where $u_0$ is the requester and $u_j$ for $1\le j\le m$ are crowd workers. The requester has $n$ indivisible tasks $\mathcal{S}=\{s_1,s_2,\dots,s_n\}$. Each task has a required service time and a weight: in one notation these are $(\tau_i,w_i)$, and in another they are $(p_j,w_j)$ [2508.04159][2603.26129].

Communication is modeled through expected inter-contact times. In the rate-based notation, the inter-meeting time between requester $u_0$ and worker $u_j$ is exponential with rate $\lambda_j$, so the expected meeting time is $\mathrm{EMT}_{0j}=1/\lambda_j$. In the alternative notation, the expected inter-contact time for worker $i$ is $\phi_i$, and the total contact time for a task on that worker is $D_i=2\phi_i$ because each task requires one meeting for distribution and one meeting for feedback [2508.04159][2603.26129].

A schedule is a partition of tasks into worker-specific sets. Each worker processes its assigned tasks sequentially and non-preemptively. For a task assigned to worker $i$, its completion time includes three components: one expected contact interval for assignment, the cumulative processing time of earlier tasks on that worker plus its own service time, and one expected contact interval for returning the result. The optimization objective is the exact total weighted completion time
$$
\min \sum_j w_j C_j.
$$
This is the quantity denoted by $\mathrm{WCT}$, with $\mathrm{WCT}_{\mathrm{OPT}}$ for the optimum and $\mathrm{WCT}_{\mathrm{LRF}}$ for the LRF schedule [2508.04159][2603.26129].

A central load quantity is the expected workload. For worker $u_j$ with assigned task set $\mathcal{S}_j=\{s_{j_1},\dots,s_{j_k}\}$,
$$
EW_j=\frac{2}{\lambda_j}+\sum_{h=1}^k \tau_{j_h},
$$
and if the worker has no assigned task, $EW_j=2/\lambda_j$. In the $\phi_i$ notation,
$$
\operatorname{EW}_i=2\phi_i+\sum_{j\in J_i} p_{ij},
$$
with $\operatorname{EW}_i=2\phi_i$ if $J_i=\varnothing$ [2508.04159][2603.26129].

## 2. Algorithmic definition

LRF uses the Smith ratio. In the identical-worker environment, where $p_{ij}=p_j$ for all workers, the priority index is
$$
\frac{w_j}{p_j},
$$
equivalently $\frac{w_i}{\tau_i}$ in the alternative notation. Tasks are presorted in non-increasing order of this ratio [2508.04159][2603.26129].

The offline algorithm initializes every worker with an empty task set and an expected workload equal to its two contact intervals. It then scans tasks in non-increasing Smith-ratio order. For each task, it selects a worker with minimum current expected workload,
$$
i^*=\arg\min_{i\in M}\operatorname{EW}_i,
$$
assigns the task to that worker, and updates the worker’s expected workload by adding the task’s service time. The resulting schedule is the partition of tasks across workers after all such assignments are made [2508.04159][2603.26129].

This construction has two structural consequences. First, the global ordering rule is purely ratio-based: high $w_j/p_j$ tasks are considered earlier. Second, the assignment rule is purely load-based: each next task is sent to the currently least-loaded worker as measured by expected workload rather than by raw processing time. Within each worker, tasks are processed in assignment order, so the local sequence respects the global non-increasing Smith-ratio order. Tie-breaking for equal ratios or equal workloads is arbitrary [2508.04159].

For the identical-worker version presented in the unrelated-worker follow-up paper, the reported running time is $O(nm+n\log n)$: $O(n\log n)$ for sorting and $O(nm)$ for scanning workers to find the minimum expected workload at each assignment step [2603.26129].

## 3. Approximation guarantees and corrected analysis

LRF is closely connected to the classical identical-parallel-machine problem $P_m\|\sum w_j C_j$, for which Eastman et al. are recalled as establishing a $1.5$-approximation for Largest Ratio First in the no-communication setting [2603.26129]. In the mobile social network model, however, requester-worker contact times alter both lower-bound constructions and ratio analysis.

A central correction was made in "Approximation Algorithms for Scheduling Crowdsourcing Tasks in Mobile Social Networks" [2508.04159]. That work shows that the approximation-ratio analysis presented by Zhang et al. for the communication-aware LRF algorithm is incorrect. Specifically, the lower bound
$$
\mathrm{WCT}_{\mathrm{OPT}} \ge \frac{1}{m}M_1 + \frac{m-1}{2m}M_n + M_\Lambda
$$
is shown not to hold in general, via a counterexample with four equal-ratio tasks and two workers. The invalidity of that inequality means the previously claimed $3/2$ approximation for offline LRF in the mobile social network model is not justified as stated [2508.04159].

The corrected general bound in that paper separates the processing component from the communication component. It derives
$$
\frac{\mathrm{WCT}_{\mathrm{LRF}}}{\mathrm{WCT}_{\mathrm{OPT}}}
\le
\max\left\{\frac{3}{2},\frac{w_{\max}\lambda_{\max}}{w_{\min}\lambda_{\min}}\right\}.
$$
The same work also proves a distinct bound in a service-time-dominant regime: when
$$
\tau_{\min}>\frac{2}{\lambda_{\max}}
\quad\text{and}\quad
n\ge m,
$$
the approximation ratio can reach
$$
2-\frac{1}{m}.
$$
This argument uses a single-worker surrogate schedule and an averaging bound on task completion times [2508.04159].

A subsequent paper strengthens the communication-aware identical-worker guarantee. "Improved Algorithms for Unrelated Crowd Worker Scheduling in Mobile Social Networks" removes task-weight dependence from the ratio and proves
$$
\frac{\mathrm{WCT}_{\mathrm{LRF}}}{\mathrm{WCT}_{\mathrm{OPT}}}
\le
\max\left\{\frac{3}{2},\frac{\Phi_{\max}}{\Phi_{\min}}\right\},
$$
where $\Phi_{\max}=2\phi_{\max}$ and $\Phi_{\min}=2\phi_{\min}$. The proof introduces communication-only terms
$$
M_A=2\phi_{\max}\sum_j w_j,
\qquad
M_A^*=2\phi_{\min}\sum_j w_j,
$$
and combines them with Eastman-type processing bounds through the inequality
$$
\frac{a+a'}{b+b'}\le \max\left\{\frac{a}{b},\frac{a'}{b'}\right\}
$$
for positive $a,a',b,b'$ [2603.26129].

| Setting | Approximation guarantee | Source |
|---|---:|---|
| Communication-aware MSN, corrected general bound | $\max\left\{\frac{3}{2},\frac{w_{\max}\lambda_{\max}}{w_{\min}\lambda_{\min}}\right\}$ | [2508.04159] |
| Service-time-dominant regime, $\tau_{\min}>2/\lambda_{\max}$ and $n\ge m$ | $2-\frac{1}{m}$ | [2508.04159] |
| Improved identical-worker communication-aware bound | $\max\left\{\frac{3}{2},\frac{\Phi_{\max}}{\Phi_{\min}}\right\}$ | [2603.26129] |

These results locate the main theoretical sensitivity of LRF in the communication model. The later improvement indicates that, in the identical-worker environment, communication heterogeneity rather than weight heterogeneity is the relevant worst-case parameter [2603.26129].

## 4. Online use through CosMOS

LRF also appears as the offline engine inside the online framework CosMOS. In that framework, whenever the requester meets a worker at time $t_i$, the algorithm initializes a reduced offline instance on the remaining unscheduled tasks and remaining workers, sets the currently met worker’s workload to its total contact time $D_i$, sets every other remaining worker’s workload to $2\phi_k-t_i$, runs an offline algorithm such as LRF, assigns to the met worker the tasks allocated to it in that hypothetical offline solution, schedules those tasks locally in Smith-ratio order, and then removes both the assigned tasks and that worker from the residual instance [2603.26129].

The corrected 2025 paper gives an online competitive-ratio template of the form
$$
\frac{\mathrm{WCT}_{\mathrm{CosMOS}}}{\mathrm{WCT}_{\mathrm{OPT}}}
\le
\alpha\left(1+\frac{n\cdot w_{\max}\cdot \frac{2}{\lambda_{\min}}}{w_{\min}\sum_{i=1}^n \tau_i}\right),
$$
where $\alpha$ is taken from the offline LRF analysis: in general,
$$
\alpha=\max\left\{\frac{3}{2},\frac{w_{\max}\lambda_{\max}}{w_{\min}\lambda_{\min}}\right\},
$$
and under $\tau_{\min}>2/\lambda_{\max}$,
$$
\alpha=2-\frac{1}{m}.
$$
This expresses the online loss as the offline approximation multiplied by a factor depending on communication relative to total service time [2508.04159].

The later 2026 paper provides an updated competitive ratio for CosMOS under an offline algorithm with approximation factor $\alpha$:
$$
\frac{\mathrm{WCT}_{\mathrm{CosMOS}}}{\mathrm{WCT}_{\mathrm{OPT}}}
\le
\alpha\left(1+\frac{\Phi_{\max}}{\Phi_{\min}+p_{\min}}\right).
$$
Substituting the improved LRF bound gives an explicit online guarantee for LRF-based CosMOS in the identical-worker environment [2603.26129].

## 5. Extensions to unrelated workers and empirical behavior

LRF itself is defined for the identical-worker environment. In the unrelated-worker model, the service time of task $j$ depends on the assigned worker, so $p_{ij}$ is arbitrary over $(i,j)$ rather than equal to a worker-independent $p_j$ [2603.26129]. The main algorithms proposed for that setting are not direct LRF extensions; instead they are time-indexed LP-based methods: RTS, DTS, and EDTS [2603.26129].

For empirical comparison in the unrelated setting, three LRF-like heuristics are defined by replacing each task’s worker-dependent service times with a proxy processing time:
- **LRF-MAX**: $p_j=\max_{i\in M} p_{ij}$.
- **LRF-MIN**: $p_j=\min_{i\in M} p_{ij}$.
- **LRF-MEAN**: $p_j=\operatorname{mean}_{i\in M} p_{ij}$.

Each heuristic sorts tasks by non-increasing proxy Smith ratio $w_j/p_j$ and then assigns each task to the worker that minimizes its completion time under the current partial assignment [2603.26129].

Performance is evaluated by the weighted completion time ratio
$$
\mathrm{WCTR}
=
\frac{\text{Total weighted completion time of algorithm}}{\text{Lower bound from LP (5)}},
$$
so smaller values are better and values close to $1$ are near the LP lower bound. Across synthetic datasets and real MSN traces from Cambridge Haggle, Intel, and Infocom, EDTS is reported to consistently outperform the three LRF variants. The gap widens as task density increases, and EDTS also shows lower variance. At the same time, the experiments report that as the influence-factor ratio approaches $1$, making the instance nearly uniform and closer to a related-machine environment, the WCTR of LRF variants drops and they can outperform EDTS [2603.26129].

These results support a sharp distinction. In identical-worker settings with moderate communication heterogeneity, LRF has a concise ratio rule and provable guarantees. In genuinely heterogeneous unrelated-worker settings, LP-based assignment plus per-worker Smith ordering yields better theoretical and empirical performance [2603.26129].

## 6. Relation to Smith’s rule and to other ratio-based algorithms

The organizing principle behind LRF is Smith’s rule. For a fixed machine or worker, once the assigned task set is known, ordering tasks in non-increasing $w_j/p_{ij}$ is optimal for minimizing $\sum_j w_j C_j$. Both the LRF algorithm and the unrelated-worker algorithms DTS and EDTS exploit this fact: the principal difficulty lies in assignment across workers, whereas the optimal local sequencing rule is already determined by Smith ratios [2603.26129].

This places LRF within a broader family of ratio-based scheduling algorithms, but not all similarly named procedures optimize the same objective. A notable example is the Largest-Z-ratio-First algorithm for scheduling unreliable jobs on $m$ parallel machines. There, each job has success probability $T_j$ and reward $r_j$, the objective is to maximize expected reward rather than minimize weighted completion time, and the priority index is
$$
Z_j=\frac{T_j r_j}{1-T_j}.
$$
Jobs are sorted by non-increasing $Z_j$ and assigned to the machine with maximum cumulative probability, not the worker with minimum expected workload. That algorithm is proved to be a $0.853196$-approximation, and the bound is tight [1910.05702].

The distinction is substantive. LRF is a completion-time minimization rule built around the Smith ratio and additive workloads; Largest-Z-ratio-First is an expected-reward maximization rule built around a failure-risk ratio and multiplicative survival probabilities. The similarity in naming reflects a common ratio-ordering paradigm, but the models, objectives, and analyses are different [1910.05702].

## 7. Significance and limitations

LRF remains important because it is algorithmically simple, structurally transparent, and analytically tractable. In its canonical form, it needs only a Smith-ratio ordering and a running estimate of each worker’s expected workload. This makes it a natural baseline for mobile crowdsourcing systems in which assignment and feedback are both gated by requester-worker meetings [2508.04159][2603.26129].

Its limitations are equally clear in the current literature. First, the classical $3/2$-style reasoning does not transfer naively once communication terms are inserted into lower bounds; this is the central correction made in 2025 [2508.04159]. Second, even after that correction, worst-case behavior depends on communication heterogeneity, and in the earlier corrected analysis it also depended on task-weight heterogeneity [2508.04159]. Third, in unrelated-worker environments there is no formally analyzed direct LRF extension in the cited work; the available LRF-MAX, LRF-MIN, and LRF-MEAN procedures are heuristics used as baselines, not proven approximations [2603.26129].

The current state of the topic therefore presents LRF as a rigorously studied greedy algorithm for identical-worker, communication-aware weighted-completion scheduling, with corrected and improved approximation guarantees, a clear online integration through CosMOS, and a well-defined boundary beyond which LP-based methods become preferable [2508.04159][2603.26129].

Source: https://www.emergentmind.com/topics/largest-ratio-first-task-scheduling-algorithm