加载中…
We consider a variant of Dickson lemma, where each entry of a vector can be reseted or incremented by 1 in respect to the previous one. We give an example of non dominating sequence of length . It perfectly match the previously known upperbound.

生成讲解博客的中文版本

生成AI智能校验的中文版本