Non-dominating sequences of vectors using only resets and increments

Fundamenta Informaticae(2015)

引用 0|浏览17
暂无评分
摘要
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 $2^{2^{\theta (n)}}$. It perfectly match the previously known upperbound.
更多
查看译文
关键词
Dickson's Lemma
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要