Jump to content

Talk:Compilation complexity

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jannikp97 (talk | contribs) at 16:58, 21 March 2024 (Merge proposal: new section). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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)[reply]