wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

treedepth_weighted (113B)

      1 # Weighted treedepth
      2 
      3 Can be [NP_complete], cf [dirks2025weighted]
      4 
      5 Up: [treedepth]
      6 
      7 Aliases: Weighted treedepth