Talk:Compilation complexity
Appearance
Merge proposal
I propose merging Summability criterion into Compilation complexity. Summability seems like a slightly weaker version of Compilation complexity, however, without research or properly cited material backing the definition up. The results for summability further mostly seem subsumed by the results for compilation complexity, especially the fact that IRV is not summable. @RobLa, Erel Segal, and DominikPeters: Jannikp97 (talk) 16:58, 21 March 2024 (UTC)