Non-dominating sequences of vectors using only resets and increments
From MaRDI portal
Publication:3187002
DOI10.3233/FI-2015-1247zbMATH Open1343.05102arXiv1506.05279OpenAlexW1935504760MaRDI QIDQ3187002FDOQ3187002
Authors: Wojciech Czerwiński, Tomasz Gogacz, Eryk Kopczyński
Publication date: 15 August 2016
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Abstract: 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.
Full work available at URL: https://arxiv.org/abs/1506.05279
Recommendations
This page was built for publication: Non-dominating sequences of vectors using only resets and increments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3187002)