Elamur GroupantsMova'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.
Algorithm snapshots, continued (200)
| # | implementation | state | obernant kinds | Rust |
|---|---|---|---|---|
| 101 | Kruskalalgorithms/src/kruskal/mod.rs | partial descriptive instance | behavior complement · cycle preimage · reverse reconstruction · undirected representation equivalence · weight scaling | — |
| 102 | L1 ball projectionalgorithms/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 | Lanczosalgorithms/src/lanczos/mod.rs | partial descriptive instance | behavior complement · full reorthogonalization · nonnegative beta sign · reverse reconstruction · terminal residual observation · terminal status order | — |
| 104 | Lcp arrayalgorithms/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 | Levenshteinalgorithms/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 treealgorithms/src/li_chao_tree/mod.rs | partial source derived instance | behavior complement · coordinate projection · numeric domain · reverse reconstruction · tie fiber | — |
| 107 | Linear recurrencealgorithms/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 subsequencealgorithms/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 substringalgorithms/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 subsequencealgorithms/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 subsequencealgorithms/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 ancestoralgorithms/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 decompositionalgorithms/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 factorizationalgorithms/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 | Lz77algorithms/src/lz77/mod.rs | partial descriptive instance | behavior complement · deterministic ties · finite arithmetic · resource observation · reverse reconstruction · transition relation | — |
| 116 | Lzwalgorithms/src/lzw/mod.rs | partial descriptive instance | behavior complement · deterministic ties · finite arithmetic · resource observation · reverse reconstruction · transition relation | — |
| 117 | Manacheralgorithms/src/manacher/mod.rs | partial source derived instance | behavior complement · boundary exclusion · constraint feasibility · information loss · metamorphic relation · observation projection · reverse reconstruction | — |
| 118 | Matrix chainalgorithms/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 flowalgorithms/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 searchalgorithms/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 closurealgorithms/src/maximum_weight_closure/mod.rs | partial source derived instance | behavior complement · error partition · reverse reconstruction · specialized relation | — |
| 122 | Meet in middle knapsackalgorithms/src/meet_in_middle_knapsack/mod.rs | partial descriptive instance | behavior complement · capacity monotonicity · dominance envelope · permutation · reverse reconstruction · zero extension | — |
| 123 | Merge sortalgorithms/src/merge_sort/mod.rs | partial source derived instance | behavior complement · counterfactual boundary · fixed point · reverse reconstruction · stability projection | — |
| 124 | Miller rabinalgorithms/src/miller_rabin/mod.rs | partial source derived instance | behavior complement · finite oracle · product boundary · reverse reconstruction · strong chain · witness reduction | — |
| 125 | Minimal rotationalgorithms/src/minimal_rotation/mod.rs | partial descriptive instance | behavior complement · cyclic arithmetic · order embedding · periodic tie · reverse reconstruction | — |
| 126 | Minimum arborescencealgorithms/src/minimum_arborescence/mod.rs | partial source derived instance | behavior complement · error partition · reverse reconstruction · specialized relation | — |
| 127 | Minimum cost flowalgorithms/src/minimum_cost_flow/mod.rs | partial source derived instance | behavior complement · feasibility certificate · irrelevant input · monotone extension · potential reweighting · reverse reconstruction | — |
| 128 | Misra griesalgorithms/src/misra_gries/mod.rs | partial | additive frequency certificate · behavior complement · cancellation conservation · checked transition · resource envelope · reverse reconstruction | — |
| 129 | Mobius sievealgorithms/src/mobius_sieve/mod.rs | partial source derived instance | behavior complement · divisor identity · factor oracle · least prime · resource partition · reverse reconstruction | — |
| 130 | Modified gram schmidtalgorithms/src/modified_gram_schmidt/mod.rs | partial descriptive instance | behavior complement · dependency threshold · factor observations · positive diagonal sign · projection order · reverse reconstruction | — |
| 131 | Modular poweralgorithms/src/modular_power/mod.rs | partial source derived instance | algebraic composition · behavior complement · boundary specialization · metamorphic relation · reverse reconstruction | — |
| 132 | Monotone cubicalgorithms/src/monotone_cubic/mod.rs | partial descriptive instance | affine reproduction · behavior complement · endpoint clip · harmonic sign limiter · locality relation · reverse reconstruction | — |
| 133 | Myers bitvectoralgorithms/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 splinealgorithms/src/natural_cubic_spline/mod.rs | partial descriptive instance | behavior complement · continuity observation · interval partition · natural boundary · reverse reconstruction · tridiagonal relation | — |
| 135 | Needleman wunschalgorithms/src/needleman_wunsch/mod.rs | partial source derived instance | behavior complement · domain partition · metamorphic relation · refinement relation · reverse reconstruction · state preimage | — |
| 136 | Nesterov quadraticalgorithms/src/nesterov_quadratic/mod.rs | partial descriptive instance | behavior complement · finite arithmetic · iteration state · resource observation · reverse reconstruction · termination partition | — |
| 137 | Neville interpolationalgorithms/src/neville_interpolation/mod.rs | partial descriptive instance | behavior complement · finite failure · query fiber · reverse reconstruction · storage refinement · tableau projection | — |
| 138 | Newton divided differencesalgorithms/src/newton_divided_differences/mod.rs | partial descriptive instance | basis reconstruction · behavior complement · column preservation · finite failure · query cost · reverse reconstruction | — |
| 139 | Number theoretic transformalgorithms/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 connectivityalgorithms/src/offline_dynamic_connectivity/mod.rs | partial source derived instance | behavior complement · component information · lifecycle partition · reverse reconstruction · rollback scope | — |
| 141 | Optimal string alignmentalgorithms/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 treealgorithms/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 diffalgorithms/src/patience_diff/mod.rs | partial descriptive instance | behavior complement · deterministic ties · finite arithmetic · resource observation · reverse reconstruction · transition relation | — |
| 144 | Persistent segment treealgorithms/src/persistent_segment_tree/mod.rs | partial | behavior complement · persistent frame · reverse reconstruction · rollback atomicity · signed sum embedding · structural allocation bound | — |
| 145 | Piecewise linearalgorithms/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 rhoalgorithms/src/pollard_rho/mod.rs | partial source derived instance | algebraic relation · behavior complement · certificate relation · metamorphic relation · resource relation · reverse reconstruction | — |
| 147 | Power iterationalgorithms/src/power_iteration/mod.rs | partial descriptive instance | behavior complement · budget precedence · initial normalization · rayleigh observation · reverse reconstruction · spectral gap condition | — |
| 148 | Primalgorithms/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 factorizationalgorithms/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 boxalgorithms/src/projected_gradient_box/mod.rs | partial descriptive instance | behavior complement · finite arithmetic · resource observation · reverse reconstruction · termination partition · update relation | — |
| 151 | Proximal gradient lassoalgorithms/src/proximal_gradient_lasso/mod.rs | partial descriptive instance | behavior complement · finite arithmetic · iteration state · resource observation · reverse reconstruction · termination partition | — |
| 152 | Pruferalgorithms/src/prufer/mod.rs | partial source derived instance | behavior complement · canonical tree identity · degree fiber · reverse reconstruction · tree validation partition | — |
| 153 | Quantized dotalgorithms/src/quantized_dot/mod.rs | partial descriptive instance | behavior complement · cancellation fiber · certificate boundary · checked accumulation fiber · quantization cell fiber · reverse reconstruction | — |
| 154 | Quickselectalgorithms/src/quickselect/mod.rs | partial descriptive instance | behavior complement · duplicate rank fiber · interval progress · resource bound · reverse reconstruction | 4 Rust approximants |
| 155 | Rabin karpalgorithms/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 sortalgorithms/src/radix_sort/mod.rs | partial source derived instance | behavior complement · composition relation · conservation relation · metamorphic relation · resource preimage · reverse reconstruction | — |
| 157 | Romberg integrationalgorithms/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 encodingalgorithms/src/run_length_encoding/mod.rs | partial source derived instance | behavior complement · domain partition · metamorphic relation · restricted inverse · reverse reconstruction · state preimage | — |
| 159 | Savitzky golayalgorithms/src/savitzky_golay/mod.rs | partial descriptive instance | behavior complement · parameter precedence · polynomial invariant · qr composition · reverse reconstruction · shifted boundary | — |
| 160 | Segment treealgorithms/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 sievealgorithms/src/segmented_sieve/mod.rs | partial source derived instance | behavior complement · boundary specialization · certificate relation · metamorphic relation · resource relation · reverse reconstruction | — |
| 162 | Shift andalgorithms/src/shift_and/mod.rs | partial descriptive instance | accepting bit · behavior complement · length partition · overlap trace · reverse reconstruction | — |
| 163 | Sievealgorithms/src/sieve/mod.rs | partial source derived instance | behavior complement · boundary specialization · certificate relation · metamorphic relation · resource observation · reverse reconstruction | — |
| 164 | Simplex projectionalgorithms/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 scalingalgorithms/src/sinkhorn_scaling/mod.rs | partial descriptive instance | behavior complement · budget partition · cross ratio · marginal residual · positive arithmetic · reverse reconstruction | — |
| 166 | Sliding window minimumalgorithms/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 | Smawkalgorithms/src/smawk/mod.rs | partial descriptive instance | behavior complement · budget prefix · positive scale · restriction · reverse reconstruction · row translation | — |
| 168 | Soft thresholdalgorithms/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 savingalgorithms/src/space_saving/mod.rs | partial | additive frequency certificate · behavior complement · checked transition · deterministic argmin · estimate conservation · reverse reconstruction | — |
| 170 | Sparse tablealgorithms/src/sparse_table/mod.rs | partial | behavior complement · interval cover · reverse reconstruction · snapshot frame · stable argmin | 4 Rust approximants |
| 171 | Splay treealgorithms/src/splay_tree/mod.rs | partial source derived instance | access state · amortization scope · behavior complement · capacity precedence · double rotation · reverse reconstruction | — |
| 172 | Stable marriagealgorithms/src/stable_marriage/mod.rs | partial descriptive instance | behavior complement · first failure partition · monotone progress · reverse reconstruction · stable lattice extreme | — |
| 173 | Stoer wagneralgorithms/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 momentsalgorithms/src/streaming_moments/mod.rs | partial | behavior complement · centered moment identity · chan combination · checked transition · numerical domain · reverse reconstruction | — |
| 175 | Strongly connected componentsalgorithms/src/strongly_connected_components/mod.rs | partial descriptive instance | acyclic quotient · behavior complement · partition coarsening · representation equivalence · reverse reconstruction | — |
| 176 | Subset convolutionalgorithms/src/subset_convolution/mod.rs | partial source derived instance | arithmetic bound · behavior complement · rank filter · reverse reconstruction · validation order · zeta inversion | — |
| 177 | Subset mobiusalgorithms/src/subset_mobius/mod.rs | partial source derived instance | behavior complement · inclusion exclusion · reverse reconstruction · subtraction boundary · validation partition | — |
| 178 | Subset sumalgorithms/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 fptasalgorithms/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 zetaalgorithms/src/subset_zeta/mod.rs | partial source derived instance | behavior complement · reverse reconstruction · stage coordinate · validation partition · wide modulus | — |
| 181 | Suffix arrayalgorithms/src/suffix_array/mod.rs | partial source derived instance | behavior complement · metamorphic relation · progress relation · refinement relation · reverse reconstruction · state preimage | — |
| 182 | Suffix automatonalgorithms/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 quadraturealgorithms/src/tanh_sinh_quadrature/mod.rs | partial descriptive instance | behavior complement · budget partition · finite arithmetic · reverse reconstruction · tail complement · transform geometry | — |
| 184 | Tarjan sccalgorithms/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 shanksalgorithms/src/tonelli_shanks/mod.rs | partial source derived instance | behavior complement · canonical sign · normalization fiber · reverse reconstruction · subgroup descent · validation partition | — |
| 186 | Topological sortalgorithms/src/topological_sort/mod.rs | partial descriptive instance | behavior complement · failure preimage · multiplicity equivalence · ordering preimage · reverse reconstruction | — |
| 187 | Totient sievealgorithms/src/totient_sieve/mod.rs | partial source derived instance | behavior complement · coprime oracle · divisor identity · prime update · resource partition · reverse reconstruction | — |
| 188 | Transitive closurealgorithms/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 dagalgorithms/src/transitive_reduction_dag/mod.rs | partial source derived instance | behavior complement · constructive preimage · deletion certificate · fixed point · representation invariance · reverse reconstruction | — |
| 190 | Treapalgorithms/src/treap/mod.rs | partial source derived instance | arena reclamation · behavior complement · failure precedence · priority ties · reverse reconstruction · rotation conservation | — |
| 191 | Triangular solvealgorithms/src/triangular_solve/mod.rs | partial descriptive instance | behavior complement · dependency order · diagonal scaling · residual reconstruction · reverse reconstruction · validation partition | — |
| 192 | Two satalgorithms/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 matchingalgorithms/src/two_way_matching/mod.rs | partial source derived instance | behavior complement · domain partition · metamorphic relation · refinement relation · reverse reconstruction · state preimage | — |
| 194 | Viterbialgorithms/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 matrixalgorithms/src/wavelet_matrix/mod.rs | partial | behavior complement · lexicographic bit order · order statistic bounds · partition conservation · reverse reconstruction · snapshot frame | — |
| 196 | Weighted covariancealgorithms/src/weighted_covariance/mod.rs | partial descriptive instance | atomic failure · behavior complement · merge moments · population policy · reverse reconstruction · zero mass | — |
| 197 | Weighted interval schedulingalgorithms/src/weighted_interval_scheduling/mod.rs | partial source derived instance | behavior complement · choice relation · compatibility relation · failure partition · metamorphic relation · reverse reconstruction | — |
| 198 | Wildcard matchingalgorithms/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 algorithmalgorithms/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 bfsalgorithms/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 | — |
This page in Markdown → https://md.groupants.elamur.ai/free/en/library/page/2/