tournament.bend checks
raw source on the hub · import 0xcd07e24a626a62e74603d48f436cd679/tournament.bend as Tournament
Mating tournament — C# TournamentSelection / TournamentMode. Default for algorithm A/B is PymooCompatible (pymoo comp_by_rank_and_ref_line_dist): same niche → rank then perp dist; else random. RankNicheDistance (C# default: rank → niche count → dist) is also implemented. This slice is unconstrained, so CV branches are unused (all individuals are treated feasible).
7 imports
import Base import ./individual.bend as Ind import ./non_dominated_sort.bend as NDS import ./normalization.bend as Norm import ./survival.bend as Surv import ./rng.bend as Rng import ./util.bend as Util
Types
type Mode source · line 16 · raw
Data
PymooCompatibleMode
RankNicheDistanceMode
type PHold source · line 97 · raw
Data
PH@rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> @acc:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> PHold
Definitions
def pymoo source · line 20 · raw
Mode
def rank_niche source · line 23 · raw
Mode
def get_ind source · line 26 · raw
@+pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @i:Nat -> 0xcd07e24a626a62e74603d48f436cd679/individual.Individual
def coin source · line 29 · raw
@a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def cmp_pick source · line 33 · raw
@a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> @ab:Bool -> @ba:Bool -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def by_dist source · line 42 · raw
@+a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @+b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def by_rank.eq source · line 47 · raw
@+a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @+b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> @same:Bool -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def by_rank source · line 54 · raw
@+a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @+b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def winner_pymoo.same source · line 57 · raw
@+a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @+b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> @same:Bool -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def winner_pymoo source · line 64 · raw
@+a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @+b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def by_niche source · line 67 · raw
@+a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @+b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def winner_rnd.eq source · line 72 · raw
@+a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @+b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> @same:Bool -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def winner_rnd source · line 79 · raw
@+a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @+b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def winner source · line 82 · raw
@mode:Mode -> @+a:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @+b:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def one source · line 89 · raw
@+mode:Mode -> @+pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual)
def parents_next.w source · line 103 · raw
@acc:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @pair:Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual) -> PHold
def parents_next source · line 107 · raw
@+mode:Mode -> @+pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @hold:PHold -> PHold
def parents_loop source · line 112 · raw
@fuel:Nat -> @hold:PHold -> @+mode:Mode -> @+pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual>)
def select_parents source · line 119 · raw
@+mode:Mode -> @+pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @count:Nat -> @rng:0xcd07e24a626a62e74603d48f436cd679/rng.State -> Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual>)
def parents_of source · line 122 · raw
@pair:Pair(0xcd07e24a626a62e74603d48f436cd679/rng.State, List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual>) -> List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual>
def stamp_front source · line 126 · raw
@idxs:List<&2, Nat> -> @+pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @+r:Nat -> List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual>
def stamp_ranks source · line 133 · raw
@fronts:List<&2, List<&2, Nat>> -> @pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @+r:Nat -> List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual>
def stamp_asgs.one source · line 140 · raw
@+a:0xcd07e24a626a62e74603d48f436cd679/survival.Assignment -> @+ind:0xcd07e24a626a62e74603d48f436cd679/individual.Individual -> 0xcd07e24a626a62e74603d48f436cd679/individual.Individual
def stamp_asgs.go source · line 144 · raw
@+fuel:Nat -> @pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @+asgs:List<&2, 0xcd07e24a626a62e74603d48f436cd679/survival.Assignment> -> List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual>
Zip pop with assignments. Mid-split both lists at the same mid.
def stamp_asgs source · line 168 · raw
@+pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @asgs:List<&2, 0xcd07e24a626a62e74603d48f436cd679/survival.Assignment> -> List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual>
def prepare.with source · line 171 · raw
@+dirs:List<&2, List<&2, F32>> -> @+pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @+fronts:List<&2, List<&2, Nat>> -> @pair:Pair(0xcd07e24a626a62e74603d48f436cd679/normalization.State, List<&2, List<&2, F32>>) -> Pair(0xcd07e24a626a62e74603d48f436cd679/normalization.State, List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual>)
def prepare source · line 178 · raw
@+pop:List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual> -> @+dirs:List<&2, List<&2, F32>> -> @state:0xcd07e24a626a62e74603d48f436cd679/normalization.State -> Pair(0xcd07e24a626a62e74603d48f436cd679/normalization.State, List<&2, 0xcd07e24a626a62e74603d48f436cd679/individual.Individual>)
Recompute ranks + niche association (C# PrepareForSelection). Threads the persistent Normalization state.