求助PDF
{"title":"扩展的近Skolem序列,第三部分","authors":"Catharine A. Baker, Vaclav Linek, Nabil Shalaby","doi":"10.1002/jcd.21851","DOIUrl":null,"url":null,"abstract":"<p>A <math>\n <semantics>\n <mrow>\n <mi>k</mi>\n </mrow>\n <annotation> $k$</annotation>\n </semantics></math>-extended <math>\n <semantics>\n <mrow>\n <mi>q</mi>\n </mrow>\n <annotation> $q$</annotation>\n </semantics></math>-near Skolem sequence of order <math>\n <semantics>\n <mrow>\n <mi>n</mi>\n </mrow>\n <annotation> $n$</annotation>\n </semantics></math>, denoted by <math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>N</mi>\n <mi>n</mi>\n <mi>q</mi>\n </msubsup>\n <mrow>\n <mo>(</mo>\n <mi>k</mi>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation> ${{\\mathscr{N}}}_{n}^{q}(k)$</annotation>\n </semantics></math>, is a sequence <math>\n <semantics>\n <mrow>\n <msub>\n <mi>s</mi>\n <mn>1</mn>\n </msub>\n <mo>,</mo>\n <msub>\n <mi>s</mi>\n <mn>2</mn>\n </msub>\n <mo>,</mo>\n <mtext>…</mtext>\n <mo>,</mo>\n <msub>\n <mi>s</mi>\n <mrow>\n <mn>2</mn>\n <mi>n</mi>\n <mo>−</mo>\n <mn>1</mn>\n </mrow>\n </msub>\n </mrow>\n <annotation> ${s}_{1},{s}_{2},\\ldots ,{s}_{2n-1}$</annotation>\n </semantics></math> where <math>\n <semantics>\n <mrow>\n <msub>\n <mi>s</mi>\n <mi>k</mi>\n </msub>\n <mo>=</mo>\n <mn>0</mn>\n </mrow>\n <annotation> ${s}_{k}=0$</annotation>\n </semantics></math> and for each integer <math>\n <semantics>\n <mrow>\n <mi>ℓ</mi>\n <mo>∈</mo>\n <mrow>\n <mo>[</mo>\n <mrow>\n <mn>1</mn>\n <mo>,</mo>\n <mi>n</mi>\n </mrow>\n <mo>]</mo>\n </mrow>\n <mo>\\</mo>\n <mrow>\n <mo>{</mo>\n <mi>q</mi>\n <mo>}</mo>\n </mrow>\n </mrow>\n <annotation> $\\ell \\in [1,n]\\backslash \\{q\\}$</annotation>\n </semantics></math> there are two indices <math>\n <semantics>\n <mrow>\n <mi>i</mi>\n </mrow>\n <annotation> $i$</annotation>\n </semantics></math>, <math>\n <semantics>\n <mrow>\n <mi>j</mi>\n </mrow>\n <annotation> $j$</annotation>\n </semantics></math> such that <math>\n <semantics>\n <mrow>\n <msub>\n <mi>s</mi>\n <mi>i</mi>\n </msub>\n <mo>=</mo>\n <msub>\n <mi>s</mi>\n <mi>j</mi>\n </msub>\n <mo>=</mo>\n <mi>ℓ</mi>\n </mrow>\n <annotation> ${s}_{i}={s}_{j}=\\ell $</annotation>\n </semantics></math> and <math>\n <semantics>\n <mrow>\n <mo>∣</mo>\n <mi>i</mi>\n <mo>−</mo>\n <mi>j</mi>\n <mo>∣</mo>\n <mo>=</mo>\n <mi>ℓ</mi>\n </mrow>\n <annotation> $| i-j| =\\ell $</annotation>\n </semantics></math>. For an <math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>N</mi>\n <mi>n</mi>\n <mi>q</mi>\n </msubsup>\n <mrow>\n <mo>(</mo>\n <mi>k</mi>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation> ${{\\mathscr{N}}}_{n}^{q}(k)$</annotation>\n </semantics></math> to exist it is necessary that <math>\n <semantics>\n <mrow>\n <mi>q</mi>\n <mo>≡</mo>\n <mi>k</mi>\n <mspace></mspace>\n <mrow>\n <mo>(</mo>\n <mrow>\n <mi>mod</mi>\n <mspace></mspace>\n <mn>2</mn>\n </mrow>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation> $q\\equiv k\\,(\\mathrm{mod}\\,2)$</annotation>\n </semantics></math> when <math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>≡</mo>\n <mn>0</mn>\n <mo>,</mo>\n <mn>1</mn>\n <mspace></mspace>\n <mrow>\n <mo>(</mo>\n <mrow>\n <mi>mod</mi>\n <mspace></mspace>\n <mn>4</mn>\n </mrow>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation> $n\\equiv 0,1\\,(\\mathrm{mod}\\,4)$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mrow>\n <mi>q</mi>\n <mo>≢</mo>\n <mi>k</mi>\n <mspace></mspace>\n <mrow>\n <mo>(</mo>\n <mrow>\n <mi>mod</mi>\n <mspace></mspace>\n <mn>2</mn>\n </mrow>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation> $q\\not\\equiv k\\,(\\mathrm{mod}\\,2)$</annotation>\n </semantics></math> when <math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>≡</mo>\n <mn>2</mn>\n <mo>,</mo>\n <mn>3</mn>\n <mspace></mspace>\n <mrow>\n <mo>(</mo>\n <mrow>\n <mi>mod</mi>\n <mspace></mspace>\n <mn>4</mn>\n </mrow>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation> $n\\equiv 2,3\\,(\\mathrm{mod}\\,4)$</annotation>\n </semantics></math>, where <math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mi>n</mi>\n <mo>,</mo>\n <mi>q</mi>\n <mo>,</mo>\n <mi>k</mi>\n <mo>)</mo>\n <mo>≠</mo>\n <mo>(</mo>\n <mn>3</mn>\n <mo>,</mo>\n <mn>2</mn>\n <mo>,</mo>\n <mn>3</mn>\n <mo>)</mo>\n </mrow>\n <annotation> $(n,q,k)\\ne (3,2,3)$</annotation>\n </semantics></math>, <math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mrow>\n <mn>4</mn>\n <mo>,</mo>\n <mn>2</mn>\n <mo>,</mo>\n <mn>4</mn>\n </mrow>\n <mo>)</mo>\n </mrow>\n <annotation> $(4,2,4)$</annotation>\n </semantics></math>. Any triple <math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mrow>\n <mi>n</mi>\n <mo>,</mo>\n <mi>q</mi>\n <mo>,</mo>\n <mi>k</mi>\n </mrow>\n <mo>)</mo>\n </mrow>\n <annotation> $(n,q,k)$</annotation>\n </semantics></math> satisfying these conditions is called <i>admissible</i>. In this manuscript, which is Part III of three manuscripts, we construct the remaining sequences; that is, <math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>N</mi>\n <mi>n</mi>\n <mi>q</mi>\n </msubsup>\n <mrow>\n <mo>(</mo>\n <mi>k</mi>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation> ${{\\mathscr{N}}}_{n}^{q}(k)$</annotation>\n </semantics></math> for all admissible <math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mi>n</mi>\n <mo>,</mo>\n <mi>q</mi>\n <mo>,</mo>\n <mi>k</mi>\n <mo>)</mo>\n </mrow>\n <annotation> $(n,q,k)$</annotation>\n </semantics></math> with <math>\n <semantics>\n <mrow>\n <mi>q</mi>\n <mo>∈</mo>\n <mfenced>\n <mrow>\n <mrow>\n <mo>⌊</mo>\n <mfrac>\n <mrow>\n <mi>n</mi>\n <mo>+</mo>\n <mn>2</mn>\n </mrow>\n <mn>3</mn>\n </mfrac>\n <mo>⌋</mo>\n </mrow>\n <mo>,</mo>\n <mrow>\n <mo>⌊</mo>\n <mfrac>\n <mrow>\n <mi>n</mi>\n <mo>−</mo>\n <mn>2</mn>\n </mrow>\n <mn>2</mn>\n </mfrac>\n <mo>⌋</mo>\n </mrow>\n </mrow>\n </mfenced>\n </mrow>\n <annotation> $q\\in \\left[\\lfloor \\frac{n+2}{3}\\rfloor ,\\lfloor \\frac{n-2}{2}\\rfloor \\right]$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mrow>\n <mi>k</mi>\n <mo>∈</mo>\n <mfenced>\n <mrow>\n <mrow>\n <mo>⌊</mo>\n <mfrac>\n <mrow>\n <mn>2</mn>\n <mi>n</mi>\n </mrow>\n <mn>3</mn>\n </mfrac>\n <mo>⌋</mo>\n </mrow>\n <mo>,</mo>\n <mi>n</mi>\n <mo>−</mo>\n <mn>1</mn>\n </mrow>\n </mfenced>\n </mrow>\n <annotation> $k\\in \\left[\\lfloor \\frac{2n}{3}\\rfloor ,n-1\\right]$</annotation>\n </semantics></math>.</p>","PeriodicalId":15389,"journal":{"name":"Journal of Combinatorial Designs","volume":"30 10","pages":"637-652"},"PeriodicalIF":0.5000,"publicationDate":"2022-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Extended near Skolem sequences, Part III\",\"authors\":\"Catharine A. Baker, Vaclav Linek, Nabil Shalaby\",\"doi\":\"10.1002/jcd.21851\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>A <math>\\n <semantics>\\n <mrow>\\n <mi>k</mi>\\n </mrow>\\n <annotation> $k$</annotation>\\n </semantics></math>-extended <math>\\n <semantics>\\n <mrow>\\n <mi>q</mi>\\n </mrow>\\n <annotation> $q$</annotation>\\n </semantics></math>-near Skolem sequence of order <math>\\n <semantics>\\n <mrow>\\n <mi>n</mi>\\n </mrow>\\n <annotation> $n$</annotation>\\n </semantics></math>, denoted by <math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>N</mi>\\n <mi>n</mi>\\n <mi>q</mi>\\n </msubsup>\\n <mrow>\\n <mo>(</mo>\\n <mi>k</mi>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation> ${{\\\\mathscr{N}}}_{n}^{q}(k)$</annotation>\\n </semantics></math>, is a sequence <math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>s</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>,</mo>\\n <msub>\\n <mi>s</mi>\\n <mn>2</mn>\\n </msub>\\n <mo>,</mo>\\n <mtext>…</mtext>\\n <mo>,</mo>\\n <msub>\\n <mi>s</mi>\\n <mrow>\\n <mn>2</mn>\\n <mi>n</mi>\\n <mo>−</mo>\\n <mn>1</mn>\\n </mrow>\\n </msub>\\n </mrow>\\n <annotation> ${s}_{1},{s}_{2},\\\\ldots ,{s}_{2n-1}$</annotation>\\n </semantics></math> where <math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>s</mi>\\n <mi>k</mi>\\n </msub>\\n <mo>=</mo>\\n <mn>0</mn>\\n </mrow>\\n <annotation> ${s}_{k}=0$</annotation>\\n </semantics></math> and for each integer <math>\\n <semantics>\\n <mrow>\\n <mi>ℓ</mi>\\n <mo>∈</mo>\\n <mrow>\\n <mo>[</mo>\\n <mrow>\\n <mn>1</mn>\\n <mo>,</mo>\\n <mi>n</mi>\\n </mrow>\\n <mo>]</mo>\\n </mrow>\\n <mo>\\\\</mo>\\n <mrow>\\n <mo>{</mo>\\n <mi>q</mi>\\n <mo>}</mo>\\n </mrow>\\n </mrow>\\n <annotation> $\\\\ell \\\\in [1,n]\\\\backslash \\\\{q\\\\}$</annotation>\\n </semantics></math> there are two indices <math>\\n <semantics>\\n <mrow>\\n <mi>i</mi>\\n </mrow>\\n <annotation> $i$</annotation>\\n </semantics></math>, <math>\\n <semantics>\\n <mrow>\\n <mi>j</mi>\\n </mrow>\\n <annotation> $j$</annotation>\\n </semantics></math> such that <math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>s</mi>\\n <mi>i</mi>\\n </msub>\\n <mo>=</mo>\\n <msub>\\n <mi>s</mi>\\n <mi>j</mi>\\n </msub>\\n <mo>=</mo>\\n <mi>ℓ</mi>\\n </mrow>\\n <annotation> ${s}_{i}={s}_{j}=\\\\ell $</annotation>\\n </semantics></math> and <math>\\n <semantics>\\n <mrow>\\n <mo>∣</mo>\\n <mi>i</mi>\\n <mo>−</mo>\\n <mi>j</mi>\\n <mo>∣</mo>\\n <mo>=</mo>\\n <mi>ℓ</mi>\\n </mrow>\\n <annotation> $| i-j| =\\\\ell $</annotation>\\n </semantics></math>. For an <math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>N</mi>\\n <mi>n</mi>\\n <mi>q</mi>\\n </msubsup>\\n <mrow>\\n <mo>(</mo>\\n <mi>k</mi>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation> ${{\\\\mathscr{N}}}_{n}^{q}(k)$</annotation>\\n </semantics></math> to exist it is necessary that <math>\\n <semantics>\\n <mrow>\\n <mi>q</mi>\\n <mo>≡</mo>\\n <mi>k</mi>\\n <mspace></mspace>\\n <mrow>\\n <mo>(</mo>\\n <mrow>\\n <mi>mod</mi>\\n <mspace></mspace>\\n <mn>2</mn>\\n </mrow>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation> $q\\\\equiv k\\\\,(\\\\mathrm{mod}\\\\,2)$</annotation>\\n </semantics></math> when <math>\\n <semantics>\\n <mrow>\\n <mi>n</mi>\\n <mo>≡</mo>\\n <mn>0</mn>\\n <mo>,</mo>\\n <mn>1</mn>\\n <mspace></mspace>\\n <mrow>\\n <mo>(</mo>\\n <mrow>\\n <mi>mod</mi>\\n <mspace></mspace>\\n <mn>4</mn>\\n </mrow>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation> $n\\\\equiv 0,1\\\\,(\\\\mathrm{mod}\\\\,4)$</annotation>\\n </semantics></math> and <math>\\n <semantics>\\n <mrow>\\n <mi>q</mi>\\n <mo>≢</mo>\\n <mi>k</mi>\\n <mspace></mspace>\\n <mrow>\\n <mo>(</mo>\\n <mrow>\\n <mi>mod</mi>\\n <mspace></mspace>\\n <mn>2</mn>\\n </mrow>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation> $q\\\\not\\\\equiv k\\\\,(\\\\mathrm{mod}\\\\,2)$</annotation>\\n </semantics></math> when <math>\\n <semantics>\\n <mrow>\\n <mi>n</mi>\\n <mo>≡</mo>\\n <mn>2</mn>\\n <mo>,</mo>\\n <mn>3</mn>\\n <mspace></mspace>\\n <mrow>\\n <mo>(</mo>\\n <mrow>\\n <mi>mod</mi>\\n <mspace></mspace>\\n <mn>4</mn>\\n </mrow>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation> $n\\\\equiv 2,3\\\\,(\\\\mathrm{mod}\\\\,4)$</annotation>\\n </semantics></math>, where <math>\\n <semantics>\\n <mrow>\\n <mo>(</mo>\\n <mi>n</mi>\\n <mo>,</mo>\\n <mi>q</mi>\\n <mo>,</mo>\\n <mi>k</mi>\\n <mo>)</mo>\\n <mo>≠</mo>\\n <mo>(</mo>\\n <mn>3</mn>\\n <mo>,</mo>\\n <mn>2</mn>\\n <mo>,</mo>\\n <mn>3</mn>\\n <mo>)</mo>\\n </mrow>\\n <annotation> $(n,q,k)\\\\ne (3,2,3)$</annotation>\\n </semantics></math>, <math>\\n <semantics>\\n <mrow>\\n <mo>(</mo>\\n <mrow>\\n <mn>4</mn>\\n <mo>,</mo>\\n <mn>2</mn>\\n <mo>,</mo>\\n <mn>4</mn>\\n </mrow>\\n <mo>)</mo>\\n </mrow>\\n <annotation> $(4,2,4)$</annotation>\\n </semantics></math>. Any triple <math>\\n <semantics>\\n <mrow>\\n <mo>(</mo>\\n <mrow>\\n <mi>n</mi>\\n <mo>,</mo>\\n <mi>q</mi>\\n <mo>,</mo>\\n <mi>k</mi>\\n </mrow>\\n <mo>)</mo>\\n </mrow>\\n <annotation> $(n,q,k)$</annotation>\\n </semantics></math> satisfying these conditions is called <i>admissible</i>. In this manuscript, which is Part III of three manuscripts, we construct the remaining sequences; that is, <math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>N</mi>\\n <mi>n</mi>\\n <mi>q</mi>\\n </msubsup>\\n <mrow>\\n <mo>(</mo>\\n <mi>k</mi>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation> ${{\\\\mathscr{N}}}_{n}^{q}(k)$</annotation>\\n </semantics></math> for all admissible <math>\\n <semantics>\\n <mrow>\\n <mo>(</mo>\\n <mi>n</mi>\\n <mo>,</mo>\\n <mi>q</mi>\\n <mo>,</mo>\\n <mi>k</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation> $(n,q,k)$</annotation>\\n </semantics></math> with <math>\\n <semantics>\\n <mrow>\\n <mi>q</mi>\\n <mo>∈</mo>\\n <mfenced>\\n <mrow>\\n <mrow>\\n <mo>⌊</mo>\\n <mfrac>\\n <mrow>\\n <mi>n</mi>\\n <mo>+</mo>\\n <mn>2</mn>\\n </mrow>\\n <mn>3</mn>\\n </mfrac>\\n <mo>⌋</mo>\\n </mrow>\\n <mo>,</mo>\\n <mrow>\\n <mo>⌊</mo>\\n <mfrac>\\n <mrow>\\n <mi>n</mi>\\n <mo>−</mo>\\n <mn>2</mn>\\n </mrow>\\n <mn>2</mn>\\n </mfrac>\\n <mo>⌋</mo>\\n </mrow>\\n </mrow>\\n </mfenced>\\n </mrow>\\n <annotation> $q\\\\in \\\\left[\\\\lfloor \\\\frac{n+2}{3}\\\\rfloor ,\\\\lfloor \\\\frac{n-2}{2}\\\\rfloor \\\\right]$</annotation>\\n </semantics></math> and <math>\\n <semantics>\\n <mrow>\\n <mi>k</mi>\\n <mo>∈</mo>\\n <mfenced>\\n <mrow>\\n <mrow>\\n <mo>⌊</mo>\\n <mfrac>\\n <mrow>\\n <mn>2</mn>\\n <mi>n</mi>\\n </mrow>\\n <mn>3</mn>\\n </mfrac>\\n <mo>⌋</mo>\\n </mrow>\\n <mo>,</mo>\\n <mi>n</mi>\\n <mo>−</mo>\\n <mn>1</mn>\\n </mrow>\\n </mfenced>\\n </mrow>\\n <annotation> $k\\\\in \\\\left[\\\\lfloor \\\\frac{2n}{3}\\\\rfloor ,n-1\\\\right]$</annotation>\\n </semantics></math>.</p>\",\"PeriodicalId\":15389,\"journal\":{\"name\":\"Journal of Combinatorial Designs\",\"volume\":\"30 10\",\"pages\":\"637-652\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2022-07-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Combinatorial Designs\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/jcd.21851\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Combinatorial Designs","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/jcd.21851","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 2
引用
批量引用