<p>The interval count problem, a classical question in the study of interval orders, was introduced by Ronald Graham in the 1980s. This problem asks: given an interval order <i>P</i>, what is the minimum number of distinct interval lengths required to construct an interval representation of <i>P</i>? Interval orders that can be represented with just one interval length are known as semiorders, and their characterization is well known. However, the characterization of interval orders that require at most <i>k</i> interval lengths — termed <i>k</i>-count interval orders—remains an open and challenging problem for <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(k\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. Our investigation into 2-count interval orders led us naturally to consider a related problem, interval representations of permutations, which we introduce in this paper. Specifically, we characterize permutations that have a 2-count interval representation. We prove that a permutation admits a 2-count interval representation if and only if its longest decreasing subsequences have length at most 2. For larger values of <i>k</i>, however, a similar characterization does not hold. There are permutations that do not permit a 3-count interval representation even though all of their decreasing subsequences have length at most 3. Characterizing <i>k</i>-count permutations remains open for <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(k \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. The <i>k</i>-count permutation representation problem appears to capture essential aspects of the broader problem of characterizing <i>k</i>-count interval orders. To support this connection, we apply our findings on interval representations of permutations to demonstrate that a height-3 interval order is 2-count if and only if it has depth at most 2, where the depth of an interval order is the minimum, over all interval representations of the order, of the maximum number of intervals in a chain of nested intervals.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Two-count Interval Representation of a Permutation

  • Csaba Biró,
  • André E. Kézdy,
  • Jenő Lehel

摘要

The interval count problem, a classical question in the study of interval orders, was introduced by Ronald Graham in the 1980s. This problem asks: given an interval order P, what is the minimum number of distinct interval lengths required to construct an interval representation of P? Interval orders that can be represented with just one interval length are known as semiorders, and their characterization is well known. However, the characterization of interval orders that require at most k interval lengths — termed k-count interval orders—remains an open and challenging problem for \(k\ge 2\) k 2 . Our investigation into 2-count interval orders led us naturally to consider a related problem, interval representations of permutations, which we introduce in this paper. Specifically, we characterize permutations that have a 2-count interval representation. We prove that a permutation admits a 2-count interval representation if and only if its longest decreasing subsequences have length at most 2. For larger values of k, however, a similar characterization does not hold. There are permutations that do not permit a 3-count interval representation even though all of their decreasing subsequences have length at most 3. Characterizing k-count permutations remains open for \(k \ge 3\) k 3 . The k-count permutation representation problem appears to capture essential aspects of the broader problem of characterizing k-count interval orders. To support this connection, we apply our findings on interval representations of permutations to demonstrate that a height-3 interval order is 2-count if and only if it has depth at most 2, where the depth of an interval order is the minimum, over all interval representations of the order, of the maximum number of intervals in a chain of nested intervals.