---
title: "Global library: Mova's own implementations 101–200"
description: "General explanations admitted by an independent review through a hash-bound publication catalog: 0 admitted today."
url: "https://groupants.elamur.ai/free/en/library/page/2/"
---
Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants**

This page as HTML: <https://groupants.elamur.ai/free/en/library/page/2/>

# Mova's own implementations 101–200

Entries 101 to 200 of the catalog's 292 Mova implementation entries, in the order of the first page. They are Mova's own implementation material, not admitted global entries.

## Mova's own implementations — not admitted global entries

> **Not admitted.** The catalog scopes these 292 entries as Mova implementation material. They are listed here so they can be found, not admitted: each links to the Mova code model of the source it binds, and its state, obernant kinds and Rust approximants are that code model's, shown as written.

Pages: [1](https://md.groupants.elamur.ai/free/en/library/) **2** [3](https://md.groupants.elamur.ai/free/en/library/page/3/)

### Algorithm snapshots, continued (200)

| # | implementation | state | obernant kinds | Rust |
|---|---|---|---|---|
| 101 | [Kruskal](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/kruskal/mod.rs.groupant/) (`algorithms/src/kruskal/mod.rs`) | partial descriptive instance | behavior complement · cycle preimage · reverse reconstruction · undirected representation equivalence · weight scaling | — |
| 102 | [L1 ball projection](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/l1_ball_projection/mod.rs.groupant/) (`algorithms/src/l1_ball_projection/mod.rs`) | partial source derived instance | arithmetic resource partition · behavior complement · interior and zero · proximal relation · reverse reconstruction · simplex composition | — |
| 103 | [Lanczos](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/lanczos/mod.rs.groupant/) (`algorithms/src/lanczos/mod.rs`) | partial descriptive instance | behavior complement · full reorthogonalization · nonnegative beta sign · reverse reconstruction · terminal residual observation · terminal status order | — |
| 104 | [Lcp array](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/lcp_array/mod.rs.groupant/) (`algorithms/src/lcp_array/mod.rs`) | partial source derived instance | behavior complement · boundary relation · composition relation · metamorphic relation · projection relation · refinement relation · reverse reconstruction · state preimage | — |
| 105 | [Levenshtein](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/levenshtein/mod.rs.groupant/) (`algorithms/src/levenshtein/mod.rs`) | partial descriptive instance | append distance residual · behavior complement · reverse reconstruction · score length kernel obstruction · symmetry fiber · unit projection · zero fiber | 4 Rust approximants |
| 106 | [Li chao tree](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/li_chao_tree/mod.rs.groupant/) (`algorithms/src/li_chao_tree/mod.rs`) | partial source derived instance | behavior complement · coordinate projection · numeric domain · reverse reconstruction · tie fiber | — |
| 107 | [Linear recurrence](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/linear_recurrence/mod.rs.groupant/) (`algorithms/src/linear_recurrence/mod.rs`) | partial source derived instance | behavior complement · coefficient orientation · linearity · normalization · overflow envelope · quotient power · reverse reconstruction · validation partition | — |
| 108 | [Longest common subsequence](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/longest_common_subsequence/mod.rs.groupant/) (`algorithms/src/longest_common_subsequence/mod.rs`) | partial source derived instance | behavior complement · equality transport · failure partition · metamorphic relation · observation domain · reverse reconstruction · state relation | — |
| 109 | [Longest common substring](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/longest_common_substring/mod.rs.groupant/) (`algorithms/src/longest_common_substring/mod.rs`) | partial descriptive instance | behavior complement · empty fiber · reverse reconstruction · storage bound · suffix recurrence · swap projection · tie selection · unit projection | — |
| 110 | [Longest increasing subsequence](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/longest_increasing_subsequence/mod.rs.groupant/) (`algorithms/src/longest_increasing_subsequence/mod.rs`) | partial descriptive instance | behavior complement · equal tail policy · minimum tail invariant · resource bound · reverse reconstruction | 4 Rust approximants |
| 111 | [Longest palindromic subsequence](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/longest_palindromic_subsequence/mod.rs.groupant/) (`algorithms/src/longest_palindromic_subsequence/mod.rs`) | partial source derived instance | behavior complement · composition relation · information loss · metamorphic relation · order relation · output constraint · reverse reconstruction | — |
| 112 | [Lowest common ancestor](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/lowest_common_ancestor/mod.rs.groupant/) (`algorithms/src/lowest_common_ancestor/mod.rs`) | partial source derived instance | ancestor absorption · behavior complement · commutativity · conservative extension · constructive preimage · equivariance · order characterization · reverse reconstruction | — |
| 113 | [Lu decomposition](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/lu_decomposition/mod.rs.groupant/) (`algorithms/src/lu_decomposition/mod.rs`) | partial descriptive instance | behavior complement · pivot tie order · prefix swap dependency · reconstruction observation · reverse reconstruction · shared kernel composition | — |
| 114 | [Lyndon factorization](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/lyndon_factorization/mod.rs.groupant/) (`algorithms/src/lyndon_factorization/mod.rs`) | partial descriptive instance | behavior complement · coverage reconstruction · nonincreasing partition · period emission · resource progress · reverse reconstruction · rotation primitivity · unsigned order | — |
| 115 | [Lz77](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/lz77/mod.rs.groupant/) (`algorithms/src/lz77/mod.rs`) | partial descriptive instance | behavior complement · deterministic ties · finite arithmetic · resource observation · reverse reconstruction · transition relation | — |
| 116 | [Lzw](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/lzw/mod.rs.groupant/) (`algorithms/src/lzw/mod.rs`) | partial descriptive instance | behavior complement · deterministic ties · finite arithmetic · resource observation · reverse reconstruction · transition relation | — |
| 117 | [Manacher](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/manacher/mod.rs.groupant/) (`algorithms/src/manacher/mod.rs`) | partial source derived instance | behavior complement · boundary exclusion · constraint feasibility · information loss · metamorphic relation · observation projection · reverse reconstruction | — |
| 118 | [Matrix chain](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/matrix_chain/mod.rs.groupant/) (`algorithms/src/matrix_chain/mod.rs`) | partial descriptive instance | behavior complement · constant dimensions · interval composition · overflow pruning · resource partition · reversal · reverse reconstruction · uniform scaling | — |
| 119 | [Max flow](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/max_flow/mod.rs.groupant/) (`algorithms/src/max_flow/mod.rs`) | partial source derived instance | augmenting path obstruction · behavior complement · constructive preimage · homogeneity · numeric boundary · optimality certificate · reverse reconstruction · terminal duality | — |
| 120 | [Maximum cardinality search](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/maximum_cardinality_search/mod.rs.groupant/) (`algorithms/src/maximum_cardinality_search/mod.rs`) | partial source derived instance | behavior complement · constructive preimage · extension relation · greedy certificate · representation invariance · reverse reconstruction | — |
| 121 | [Maximum weight closure](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/maximum_weight_closure/mod.rs.groupant/) (`algorithms/src/maximum_weight_closure/mod.rs`) | partial source derived instance | behavior complement · error partition · reverse reconstruction · specialized relation | — |
| 122 | [Meet in middle knapsack](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/meet_in_middle_knapsack/mod.rs.groupant/) (`algorithms/src/meet_in_middle_knapsack/mod.rs`) | partial descriptive instance | behavior complement · capacity monotonicity · dominance envelope · permutation · reverse reconstruction · zero extension | — |
| 123 | [Merge sort](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/merge_sort/mod.rs.groupant/) (`algorithms/src/merge_sort/mod.rs`) | partial source derived instance | behavior complement · counterfactual boundary · fixed point · reverse reconstruction · stability projection | — |
| 124 | [Miller rabin](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/miller_rabin/mod.rs.groupant/) (`algorithms/src/miller_rabin/mod.rs`) | partial source derived instance | behavior complement · finite oracle · product boundary · reverse reconstruction · strong chain · witness reduction | — |
| 125 | [Minimal rotation](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/minimal_rotation/mod.rs.groupant/) (`algorithms/src/minimal_rotation/mod.rs`) | partial descriptive instance | behavior complement · cyclic arithmetic · order embedding · periodic tie · reverse reconstruction | — |
| 126 | [Minimum arborescence](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/minimum_arborescence/mod.rs.groupant/) (`algorithms/src/minimum_arborescence/mod.rs`) | partial source derived instance | behavior complement · error partition · reverse reconstruction · specialized relation | — |
| 127 | [Minimum cost flow](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/minimum_cost_flow/mod.rs.groupant/) (`algorithms/src/minimum_cost_flow/mod.rs`) | partial source derived instance | behavior complement · feasibility certificate · irrelevant input · monotone extension · potential reweighting · reverse reconstruction | — |
| 128 | [Misra gries](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/misra_gries/mod.rs.groupant/) (`algorithms/src/misra_gries/mod.rs`) | partial | additive frequency certificate · behavior complement · cancellation conservation · checked transition · resource envelope · reverse reconstruction | — |
| 129 | [Mobius sieve](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/mobius_sieve/mod.rs.groupant/) (`algorithms/src/mobius_sieve/mod.rs`) | partial source derived instance | behavior complement · divisor identity · factor oracle · least prime · resource partition · reverse reconstruction | — |
| 130 | [Modified gram schmidt](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/modified_gram_schmidt/mod.rs.groupant/) (`algorithms/src/modified_gram_schmidt/mod.rs`) | partial descriptive instance | behavior complement · dependency threshold · factor observations · positive diagonal sign · projection order · reverse reconstruction | — |
| 131 | [Modular power](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/modular_power/mod.rs.groupant/) (`algorithms/src/modular_power/mod.rs`) | partial source derived instance | algebraic composition · behavior complement · boundary specialization · metamorphic relation · reverse reconstruction | — |
| 132 | [Monotone cubic](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/monotone_cubic/mod.rs.groupant/) (`algorithms/src/monotone_cubic/mod.rs`) | partial descriptive instance | affine reproduction · behavior complement · endpoint clip · harmonic sign limiter · locality relation · reverse reconstruction | — |
| 133 | [Myers bitvector](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/myers_bitvector/mod.rs.groupant/) (`algorithms/src/myers_bitvector/mod.rs`) | partial descriptive instance | append drift partial exclusion · append preimage transport · behavior complement · deterministic ties · finite arithmetic · ordered error fibers · orientation admission closure · resource observation · reverse reconstruction · right context kernel obstruction · transition relation | — |
| 134 | [Natural cubic spline](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/natural_cubic_spline/mod.rs.groupant/) (`algorithms/src/natural_cubic_spline/mod.rs`) | partial descriptive instance | behavior complement · continuity observation · interval partition · natural boundary · reverse reconstruction · tridiagonal relation | — |
| 135 | [Needleman wunsch](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/needleman_wunsch/mod.rs.groupant/) (`algorithms/src/needleman_wunsch/mod.rs`) | partial source derived instance | behavior complement · domain partition · metamorphic relation · refinement relation · reverse reconstruction · state preimage | — |
| 136 | [Nesterov quadratic](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/nesterov_quadratic/mod.rs.groupant/) (`algorithms/src/nesterov_quadratic/mod.rs`) | partial descriptive instance | behavior complement · finite arithmetic · iteration state · resource observation · reverse reconstruction · termination partition | — |
| 137 | [Neville interpolation](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/neville_interpolation/mod.rs.groupant/) (`algorithms/src/neville_interpolation/mod.rs`) | partial descriptive instance | behavior complement · finite failure · query fiber · reverse reconstruction · storage refinement · tableau projection | — |
| 138 | [Newton divided differences](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/newton_divided_differences/mod.rs.groupant/) (`algorithms/src/newton_divided_differences/mod.rs`) | partial descriptive instance | basis reconstruction · behavior complement · column preservation · finite failure · query cost · reverse reconstruction | — |
| 139 | [Number theoretic transform](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/number_theoretic_transform/mod.rs.groupant/) (`algorithms/src/number_theoretic_transform/mod.rs`) | partial source derived instance | behavior complement · evaluation homomorphism · normalization and bounds · padding no alias · resource partition · reverse reconstruction · root order · transform inverse | — |
| 140 | [Offline dynamic connectivity](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/offline_dynamic_connectivity/mod.rs.groupant/) (`algorithms/src/offline_dynamic_connectivity/mod.rs`) | partial source derived instance | behavior complement · component information · lifecycle partition · reverse reconstruction · rollback scope | — |
| 141 | [Optimal string alignment](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/optimal_string_alignment/mod.rs.groupant/) (`algorithms/src/optimal_string_alignment/mod.rs`) | partial descriptive instance | arithmetic resource · behavior complement · restricted script · reverse reconstruction · row age · symmetry bound · triangle failure · unit and empty | — |
| 142 | [Palindromic tree](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/palindromic_tree/mod.rs.groupant/) (`algorithms/src/palindromic_tree/mod.rs`) | partial descriptive instance | behavior complement · content projection · first witness · occurrence flow · resource partition · reverse reconstruction · root extension · suffix link | — |
| 143 | [Patience diff](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/patience_diff/mod.rs.groupant/) (`algorithms/src/patience_diff/mod.rs`) | partial descriptive instance | behavior complement · deterministic ties · finite arithmetic · resource observation · reverse reconstruction · transition relation | — |
| 144 | [Persistent segment tree](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/persistent_segment_tree/mod.rs.groupant/) (`algorithms/src/persistent_segment_tree/mod.rs`) | partial | behavior complement · persistent frame · reverse reconstruction · rollback atomicity · signed sum embedding · structural allocation bound | — |
| 145 | [Piecewise linear](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/piecewise_linear/mod.rs.groupant/) (`algorithms/src/piecewise_linear/mod.rs`) | partial descriptive instance | absolute metric transport · affine reproduction · behavior complement · curvature assumption fiber · domain partition · reverse reconstruction · validation budget counterfactual | — |
| 146 | [Pollard rho](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/pollard_rho/mod.rs.groupant/) (`algorithms/src/pollard_rho/mod.rs`) | partial source derived instance | algebraic relation · behavior complement · certificate relation · metamorphic relation · resource relation · reverse reconstruction | — |
| 147 | [Power iteration](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/power_iteration/mod.rs.groupant/) (`algorithms/src/power_iteration/mod.rs`) | partial descriptive instance | behavior complement · budget precedence · initial normalization · rayleigh observation · reverse reconstruction · spectral gap condition | — |
| 148 | [Prim](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/prim/mod.rs.groupant/) (`algorithms/src/prim/mod.rs`) | partial descriptive instance | behavior complement · canonical trace · error and numeric boundary · greedy optimality · ignored edge preimage · positive weight equivariance · reverse reconstruction · undirected equivalence | — |
| 149 | [Prime factorization](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/prime_factorization/mod.rs.groupant/) (`algorithms/src/prime_factorization/mod.rs`) | partial source derived instance | algebraic relation · behavior complement · boundary specialization · certificate relation · order relation · projection relation · reverse reconstruction · termination relation | — |
| 150 | [Projected gradient box](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/projected_gradient_box/mod.rs.groupant/) (`algorithms/src/projected_gradient_box/mod.rs`) | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · update relation | — |
| 151 | [Proximal gradient lasso](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/proximal_gradient_lasso/mod.rs.groupant/) (`algorithms/src/proximal_gradient_lasso/mod.rs`) | partial descriptive instance | behavior complement · finite arithmetic · iteration state · resource observation · reverse reconstruction · termination partition | — |
| 152 | [Prufer](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/prufer/mod.rs.groupant/) (`algorithms/src/prufer/mod.rs`) | partial source derived instance | behavior complement · canonical tree identity · degree fiber · reverse reconstruction · tree validation partition | — |
| 153 | [Quantized dot](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/quantized_dot/mod.rs.groupant/) (`algorithms/src/quantized_dot/mod.rs`) | partial descriptive instance | behavior complement · cancellation fiber · certificate boundary · checked accumulation fiber · quantization cell fiber · reverse reconstruction | — |
| 154 | [Quickselect](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/quickselect/mod.rs.groupant/) (`algorithms/src/quickselect/mod.rs`) | partial descriptive instance | behavior complement · duplicate rank fiber · interval progress · resource bound · reverse reconstruction | 4 Rust approximants |
| 155 | [Rabin karp](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/rabin_karp/mod.rs.groupant/) (`algorithms/src/rabin_karp/mod.rs`) | partial descriptive instance | alphabet bijection · behavior complement · empty boundary · hash collision · overlap period · prefix extension · reverse reconstruction · rolling state | — |
| 156 | [Radix sort](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/radix_sort/mod.rs.groupant/) (`algorithms/src/radix_sort/mod.rs`) | partial source derived instance | behavior complement · composition relation · conservation relation · metamorphic relation · resource preimage · reverse reconstruction | — |
| 157 | [Romberg integration](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/romberg_integration/mod.rs.groupant/) (`algorithms/src/romberg_integration/mod.rs`) | partial descriptive instance | behavior complement · heuristic error fiber · nested sample reuse · reverse reconstruction · richardson cancellation · status partition | — |
| 158 | [Run length encoding](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/run_length_encoding/mod.rs.groupant/) (`algorithms/src/run_length_encoding/mod.rs`) | partial source derived instance | behavior complement · domain partition · metamorphic relation · restricted inverse · reverse reconstruction · state preimage | — |
| 159 | [Savitzky golay](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/savitzky_golay/mod.rs.groupant/) (`algorithms/src/savitzky_golay/mod.rs`) | partial descriptive instance | behavior complement · parameter precedence · polynomial invariant · qr composition · reverse reconstruction · shifted boundary | — |
| 160 | [Segment tree](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/segment_tree/mod.rs.groupant/) (`algorithms/src/segment_tree/mod.rs`) | partial source derived instance | behavior complement · commutation relation · decomposition relation · frame relation · order embedding relation · reverse reconstruction · snapshot relation | — |
| 161 | [Segmented sieve](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/segmented_sieve/mod.rs.groupant/) (`algorithms/src/segmented_sieve/mod.rs`) | partial source derived instance | behavior complement · boundary specialization · certificate relation · metamorphic relation · resource relation · reverse reconstruction | — |
| 162 | [Shift and](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/shift_and/mod.rs.groupant/) (`algorithms/src/shift_and/mod.rs`) | partial descriptive instance | accepting bit · behavior complement · length partition · overlap trace · reverse reconstruction | — |
| 163 | [Sieve](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/sieve/mod.rs.groupant/) (`algorithms/src/sieve/mod.rs`) | partial source derived instance | behavior complement · boundary specialization · certificate relation · metamorphic relation · resource observation · reverse reconstruction | — |
| 164 | [Simplex projection](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/simplex_projection/mod.rs.groupant/) (`algorithms/src/simplex_projection/mod.rs`) | partial source derived instance | active support · arithmetic resource partition · behavior complement · mass and zero · reverse reconstruction · translation invariance | — |
| 165 | [Sinkhorn scaling](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/sinkhorn_scaling/mod.rs.groupant/) (`algorithms/src/sinkhorn_scaling/mod.rs`) | partial descriptive instance | behavior complement · budget partition · cross ratio · marginal residual · positive arithmetic · reverse reconstruction | — |
| 166 | [Sliding window minimum](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/sliding_window_minimum/mod.rs.groupant/) (`algorithms/src/sliding_window_minimum/mod.rs`) | partial source derived instance | behavior complement · containment relation · decomposition relation · index transport relation · information loss relation · order embedding relation · reverse constraint relation · reverse reconstruction | — |
| 167 | [Smawk](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/smawk/mod.rs.groupant/) (`algorithms/src/smawk/mod.rs`) | partial descriptive instance | behavior complement · budget prefix · positive scale · restriction · reverse reconstruction · row translation | — |
| 168 | [Soft threshold](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/soft_threshold/mod.rs.groupant/) (`algorithms/src/soft_threshold/mod.rs`) | partial source derived instance | arithmetic resource partition · behavior complement · composition and contraction · reverse reconstruction · subgradient stationarity · zero plateau | — |
| 169 | [Space saving](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/space_saving/mod.rs.groupant/) (`algorithms/src/space_saving/mod.rs`) | partial | additive frequency certificate · behavior complement · checked transition · deterministic argmin · estimate conservation · reverse reconstruction | — |
| 170 | [Sparse table](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/sparse_table/mod.rs.groupant/) (`algorithms/src/sparse_table/mod.rs`) | partial | behavior complement · interval cover · reverse reconstruction · snapshot frame · stable argmin | 4 Rust approximants |
| 171 | [Splay tree](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/splay_tree/mod.rs.groupant/) (`algorithms/src/splay_tree/mod.rs`) | partial source derived instance | access state · amortization scope · behavior complement · capacity precedence · double rotation · reverse reconstruction | — |
| 172 | [Stable marriage](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/stable_marriage/mod.rs.groupant/) (`algorithms/src/stable_marriage/mod.rs`) | partial descriptive instance | behavior complement · first failure partition · monotone progress · reverse reconstruction · stable lattice extreme | — |
| 173 | [Stoer wagner](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/stoer_wagner/mod.rs.groupant/) (`algorithms/src/stoer_wagner/mod.rs`) | partial source derived instance | behavior complement · certificate relation · equivariance relation · error partition · kernel relation · order relation · quotient relation · reverse reconstruction | — |
| 174 | [Streaming moments](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/streaming_moments/mod.rs.groupant/) (`algorithms/src/streaming_moments/mod.rs`) | partial | behavior complement · centered moment identity · chan combination · checked transition · numerical domain · reverse reconstruction | — |
| 175 | [Strongly connected components](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/strongly_connected_components/mod.rs.groupant/) (`algorithms/src/strongly_connected_components/mod.rs`) | partial descriptive instance | acyclic quotient · behavior complement · partition coarsening · representation equivalence · reverse reconstruction | — |
| 176 | [Subset convolution](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/subset_convolution/mod.rs.groupant/) (`algorithms/src/subset_convolution/mod.rs`) | partial source derived instance | arithmetic bound · behavior complement · rank filter · reverse reconstruction · validation order · zeta inversion | — |
| 177 | [Subset mobius](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/subset_mobius/mod.rs.groupant/) (`algorithms/src/subset_mobius/mod.rs`) | partial source derived instance | behavior complement · inclusion exclusion · reverse reconstruction · subtraction boundary · validation partition | — |
| 178 | [Subset sum](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/subset_sum/mod.rs.groupant/) (`algorithms/src/subset_sum/mod.rs`) | partial descriptive instance | behavior complement · permutation · prefix stability · resource partition · reverse reconstruction · scale equivariance · single use · zero extension | — |
| 179 | [Subset sum fptas](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/subset_sum_fptas/mod.rs.groupant/) (`algorithms/src/subset_sum_fptas/mod.rs`) | partial descriptive instance | behavior complement · candidate budget fiber · feasible subset fiber · relative loss envelope · reverse reconstruction · trim interval fiber | — |
| 180 | [Subset zeta](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/subset_zeta/mod.rs.groupant/) (`algorithms/src/subset_zeta/mod.rs`) | partial source derived instance | behavior complement · reverse reconstruction · stage coordinate · validation partition · wide modulus | — |
| 181 | [Suffix array](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/suffix_array/mod.rs.groupant/) (`algorithms/src/suffix_array/mod.rs`) | partial source derived instance | behavior complement · metamorphic relation · progress relation · refinement relation · reverse reconstruction · state preimage | — |
| 182 | [Suffix automaton](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/suffix_automaton/mod.rs.groupant/) (`algorithms/src/suffix_automaton/mod.rs`) | partial source derived instance | behavior complement · boundary exclusion · information loss · metamorphic relation · output constraint · reverse reconstruction · structural invariant | — |
| 183 | [Tanh sinh quadrature](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/tanh_sinh_quadrature/mod.rs.groupant/) (`algorithms/src/tanh_sinh_quadrature/mod.rs`) | partial descriptive instance | behavior complement · budget partition · finite arithmetic · reverse reconstruction · tail complement · transform geometry | — |
| 184 | [Tarjan scc](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/tarjan_scc/mod.rs.groupant/) (`algorithms/src/tarjan_scc/mod.rs`) | partial descriptive instance | behavior complement · direction reversal invariance · first failure partition · mutual reachability quotient · order normalization · partition equivariance · reverse reconstruction · stack membership boundary | — |
| 185 | [Tonelli shanks](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/tonelli_shanks/mod.rs.groupant/) (`algorithms/src/tonelli_shanks/mod.rs`) | partial source derived instance | behavior complement · canonical sign · normalization fiber · reverse reconstruction · subgroup descent · validation partition | — |
| 186 | [Topological sort](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/topological_sort/mod.rs.groupant/) (`algorithms/src/topological_sort/mod.rs`) | partial descriptive instance | behavior complement · failure preimage · multiplicity equivalence · ordering preimage · reverse reconstruction | — |
| 187 | [Totient sieve](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/totient_sieve/mod.rs.groupant/) (`algorithms/src/totient_sieve/mod.rs`) | partial source derived instance | behavior complement · coprime oracle · divisor identity · prime update · resource partition · reverse reconstruction | — |
| 188 | [Transitive closure](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/transitive_closure/mod.rs.groupant/) (`algorithms/src/transitive_closure/mod.rs`) | partial descriptive instance | behavior complement · closure idempotence · directed order · empty path semantics · first failure partition · multigraph equivalence · representation projection · reverse reconstruction | — |
| 189 | [Transitive reduction dag](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/transitive_reduction_dag/mod.rs.groupant/) (`algorithms/src/transitive_reduction_dag/mod.rs`) | partial source derived instance | behavior complement · constructive preimage · deletion certificate · fixed point · representation invariance · reverse reconstruction | — |
| 190 | [Treap](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/treap/mod.rs.groupant/) (`algorithms/src/treap/mod.rs`) | partial source derived instance | arena reclamation · behavior complement · failure precedence · priority ties · reverse reconstruction · rotation conservation | — |
| 191 | [Triangular solve](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/triangular_solve/mod.rs.groupant/) (`algorithms/src/triangular_solve/mod.rs`) | partial descriptive instance | behavior complement · dependency order · diagonal scaling · residual reconstruction · reverse reconstruction · validation partition | — |
| 192 | [Two sat](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/two_sat/mod.rs.groupant/) (`algorithms/src/two_sat/mod.rs`) | partial source derived instance | behavior complement · boundary specialization · certificate relation · composition relation · equivariance relation · order relation · permutation relation · reverse reconstruction | — |
| 193 | [Two way matching](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/two_way_matching/mod.rs.groupant/) (`algorithms/src/two_way_matching/mod.rs`) | partial source derived instance | behavior complement · domain partition · metamorphic relation · refinement relation · reverse reconstruction · state preimage | — |
| 194 | [Viterbi](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/viterbi/mod.rs.groupant/) (`algorithms/src/viterbi/mod.rs`) | partial descriptive instance | backpointer witness · behavior complement · empty horizon validation cost · log semiring · reverse reconstruction · tie policy · validation resources | — |
| 195 | [Wavelet matrix](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/wavelet_matrix/mod.rs.groupant/) (`algorithms/src/wavelet_matrix/mod.rs`) | partial | behavior complement · lexicographic bit order · order statistic bounds · partition conservation · reverse reconstruction · snapshot frame | — |
| 196 | [Weighted covariance](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/weighted_covariance/mod.rs.groupant/) (`algorithms/src/weighted_covariance/mod.rs`) | partial descriptive instance | atomic failure · behavior complement · merge moments · population policy · reverse reconstruction · zero mass | — |
| 197 | [Weighted interval scheduling](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/weighted_interval_scheduling/mod.rs.groupant/) (`algorithms/src/weighted_interval_scheduling/mod.rs`) | partial source derived instance | behavior complement · choice relation · compatibility relation · failure partition · metamorphic relation · reverse reconstruction | — |
| 198 | [Wildcard matching](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/wildcard_matching/mod.rs.groupant/) (`algorithms/src/wildcard_matching/mod.rs`) | partial source derived instance | behavior complement · counterfactual relation · domain partition · metamorphic relation · refinement relation · restricted inverse · reverse reconstruction · state preimage | — |
| 199 | [Z algorithm](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/z_algorithm/mod.rs.groupant/) (`algorithms/src/z_algorithm/mod.rs`) | partial source derived instance | behavior complement · constraint feasibility · information loss · metamorphic relation · observation projection · reverse ambiguity · reverse reconstruction · structural equivalence | — |
| 200 | [Zero one bfs](https://md.groupants.elamur.ai/free/en/mova/algorithms/src/zero_one_bfs/mod.rs.groupant/) (`algorithms/src/zero_one_bfs/mod.rs`) | partial source derived instance | behavior complement · boundary specialization · certificate relation · closure relation · equivariance relation · error partition · order relation · reverse reconstruction | — |