<p>We say that two partial orders on <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\varvec{[n]}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo mathvariant="bold" stretchy="false">[</mo> <mi mathvariant="bold-italic">n</mi> <mo mathvariant="bold" stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> are compatible if there exists a partial order that refines both of them. This compatibility relation induces a natural set system structure between the collection <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\varvec{\mathcal {F}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-script">F</mi> </mrow> </math></EquationSource> </InlineEquation> of all partial orders and the collection <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\varvec{\mathcal {G}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-script">G</mi> </mrow> </math></EquationSource> </InlineEquation> of all total orders on <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\varvec{[n]}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo mathvariant="bold" stretchy="false">[</mo> <mi mathvariant="bold-italic">n</mi> <mo mathvariant="bold" stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, where each order is identified with the set of orders compatible with it. In this note, we determine the VC-dimension of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\varvec{\mathcal {F}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-script">F</mi> </mrow> </math></EquationSource> </InlineEquation> with respect to <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varvec{\mathcal {G}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-script">G</mi> </mrow> </math></EquationSource> </InlineEquation>, proving that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\varvec{VC}}_{\varvec{\mathcal {G}}(\mathcal {F}) = \lfloor \frac{n^2}{4}\rfloor }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mi mathvariant="bold-italic">VC</mi> </mrow> <mrow> <mrow> <mi mathvariant="bold-script">G</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">F</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo>⌊</mo> <mfrac> <msup> <mi>n</mi> <mn>2</mn> </msup> <mn>4</mn> </mfrac> <mo>⌋</mo> </mrow> </mrow> </msub> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\varvec{n \geqslant 4}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">n</mi> <mo mathvariant="bold">⩾</mo> <mn mathvariant="bold">4</mn> </mrow> </math></EquationSource> </InlineEquation>. We also establish bounds on the dual VC-dimension, showing that <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\varvec{2}\varvec{(n-3)} \leqslant {\varvec{VC}}_{\varvec{\mathcal {F}}}(\varvec{\mathcal {G}}) \leqslant n \log _2 \varvec{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mn mathvariant="bold">2</mn> </mrow> <mrow> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">n</mi> <mo mathvariant="bold">-</mo> <mn mathvariant="bold">3</mn> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> <mo>⩽</mo> <msub> <mrow> <mi mathvariant="bold-italic">VC</mi> </mrow> <mrow> <mi mathvariant="bold-script">F</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-script">G</mi> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>⩽</mo> <mi>n</mi> <msub> <mo>log</mo> <mn>2</mn> </msub> <mrow> <mi mathvariant="bold-italic">n</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\varvec{n \geqslant 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">n</mi> <mo mathvariant="bold">⩾</mo> <mn mathvariant="bold">1</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

VC-dimensions Between Partially Ordered Sets and Totally Ordered Sets

  • Boyan Duan,
  • Minghui Ouyang,
  • Zheng Wang

摘要

We say that two partial orders on \(\varvec{[n]}\) [ n ] are compatible if there exists a partial order that refines both of them. This compatibility relation induces a natural set system structure between the collection \(\varvec{\mathcal {F}}\) F of all partial orders and the collection \(\varvec{\mathcal {G}}\) G of all total orders on \(\varvec{[n]}\) [ n ] , where each order is identified with the set of orders compatible with it. In this note, we determine the VC-dimension of \(\varvec{\mathcal {F}}\) F with respect to \(\varvec{\mathcal {G}}\) G , proving that \({\varvec{VC}}_{\varvec{\mathcal {G}}(\mathcal {F}) = \lfloor \frac{n^2}{4}\rfloor }\) VC G ( F ) = n 2 4 for \(\varvec{n \geqslant 4}\) n 4 . We also establish bounds on the dual VC-dimension, showing that \(\varvec{2}\varvec{(n-3)} \leqslant {\varvec{VC}}_{\varvec{\mathcal {F}}}(\varvec{\mathcal {G}}) \leqslant n \log _2 \varvec{n}\) 2 ( n - 3 ) VC F ( G ) n log 2 n for all \(\varvec{n \geqslant 1}\) n 1 .