<p>Mixed covering arrays are generalizations of orthogonal arrays. A set of <i>t</i> vectors <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\{x_{1},x_{2},\ldots ,x_{t}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>t</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(x_{i}\in \mathbb {Z}_{g_{i}}^{N},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mi>i</mi> </msub> <mo>∈</mo> <msubsup> <mi mathvariant="double-struck">Z</mi> <mrow> <msub> <mi>g</mi> <mi>i</mi> </msub> </mrow> <mi>N</mi> </msubsup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(1\leqslant i\leqslant t,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>⩽</mo> <mi>i</mi> <mo>⩽</mo> <mi>t</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> is said to be <i>t</i>-qualitatively independent if for every <i>t</i>-tuple <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((a_{1},a_{2},\ldots ,a_{t})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>a</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>a</mi> <mi>t</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\in \mathbb {Z}_{g_{1}}\times \mathbb {Z}_{g_{2}}\times \dots \times \mathbb {Z}_{g_{t}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>∈</mo> <msub> <mi mathvariant="double-struck">Z</mi> <msub> <mi>g</mi> <mn>1</mn> </msub> </msub> <mo>×</mo> <msub> <mi mathvariant="double-struck">Z</mi> <msub> <mi>g</mi> <mn>2</mn> </msub> </msub> <mo>×</mo> <mo>⋯</mo> <mo>×</mo> <msub> <mi mathvariant="double-struck">Z</mi> <msub> <mi>g</mi> <mi>t</mi> </msub> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> there exists an integer <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(1\leqslant r\leqslant N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>⩽</mo> <mi>r</mi> <mo>⩽</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\((x_{1}[r],x_{2}[r],\ldots ,x_{t}[r])=(a_{1},a_{2},\ldots ,a_{t})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">[</mo> <mi>r</mi> <mo stretchy="false">]</mo> </mrow> <mo>,</mo> <msub> <mi>x</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">[</mo> <mi>r</mi> <mo stretchy="false">]</mo> </mrow> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>r</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>a</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>a</mi> <mi>t</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(H=(V(H),E(H))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mi>E</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a weighted hypergraph with <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(V(H)=\{v_{1},v_{2},\ldots ,v_{k}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <msub> <mi>v</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>v</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>v</mi> <mi>k</mi> </msub> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and weights <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(w(v_{i})=g_{i}, 1\leqslant i \leqslant k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>v</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>g</mi> <mi>i</mi> </msub> <mo>,</mo> <mn>1</mn> <mo>⩽</mo> <mi>i</mi> <mo>⩽</mo> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation>. A mixed covering array on <i>H</i>,&#xa0; denoted by MCA<InlineEquation ID="IEq11"> <EquationSource Format="TEX">\((N;H, \prod _{i=1}^{k}g_{i}),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo>;</mo> <mi>H</mi> <mo>,</mo> <msubsup> <mo>∏</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>k</mi> </msubsup> <msub> <mi>g</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> is an <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(N\times k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>×</mo> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation> array such that column <i>i</i> corresponds to vertex <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(v_{i}\in V(H)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>v</mi> <mi>i</mi> </msub> <mo>∈</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with weight <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(g_{i}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>g</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation>; the entries in column <i>i</i> are from <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathbb {Z}_{g_{i}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <msub> <mi>g</mi> <mi>i</mi> </msub> </msub> </math></EquationSource> </InlineEquation>; if <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(e=\{v_{1},v_{2},\ldots ,v_{t}\}\in E(H),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>e</mi> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <msub> <mi>v</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>v</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>v</mi> <mi>t</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mo>∈</mo> <mi>E</mi> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> the columns correspond to vertices <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(v_{1},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>v</mi> <mn>1</mn> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(v_{2},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>v</mi> <mn>2</mn> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\ldots ,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>…</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(v_{t}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>v</mi> <mi>t</mi> </msub> </math></EquationSource> </InlineEquation> are <i>t</i>-qualitatively independent. In this paper, we introduce some basic hypergraph operations. As their applications, we provide constructions for optimal mixed covering arrays on some 3-uniform or 4-uniform hypergraphs.</p>

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

Mixed Covering Arrays on Hypergraphs

  • Jinghui Zhao,
  • Xuejiao Qu,
  • Zihong Tian,
  • Xiuling Shan

摘要

Mixed covering arrays are generalizations of orthogonal arrays. A set of t vectors \(\{x_{1},x_{2},\ldots ,x_{t}\}\) { x 1 , x 2 , , x t } with \(x_{i}\in \mathbb {Z}_{g_{i}}^{N},\) x i Z g i N , \(1\leqslant i\leqslant t,\) 1 i t , is said to be t-qualitatively independent if for every t-tuple \((a_{1},a_{2},\ldots ,a_{t})\) ( a 1 , a 2 , , a t ) \(\in \mathbb {Z}_{g_{1}}\times \mathbb {Z}_{g_{2}}\times \dots \times \mathbb {Z}_{g_{t}},\) Z g 1 × Z g 2 × × Z g t , there exists an integer \(1\leqslant r\leqslant N\) 1 r N such that \((x_{1}[r],x_{2}[r],\ldots ,x_{t}[r])=(a_{1},a_{2},\ldots ,a_{t})\) ( x 1 [ r ] , x 2 [ r ] , , x t [ r ] ) = ( a 1 , a 2 , , a t ) . Let \(H=(V(H),E(H))\) H = ( V ( H ) , E ( H ) ) be a weighted hypergraph with \(V(H)=\{v_{1},v_{2},\ldots ,v_{k}\}\) V ( H ) = { v 1 , v 2 , , v k } and weights \(w(v_{i})=g_{i}, 1\leqslant i \leqslant k\) w ( v i ) = g i , 1 i k . A mixed covering array on H,  denoted by MCA \((N;H, \prod _{i=1}^{k}g_{i}),\) ( N ; H , i = 1 k g i ) , is an \(N\times k\) N × k array such that column i corresponds to vertex \(v_{i}\in V(H)\) v i V ( H ) with weight \(g_{i}\) g i ; the entries in column i are from \(\mathbb {Z}_{g_{i}}\) Z g i ; if \(e=\{v_{1},v_{2},\ldots ,v_{t}\}\in E(H),\) e = { v 1 , v 2 , , v t } E ( H ) , the columns correspond to vertices \(v_{1},\) v 1 , \(v_{2},\) v 2 , \(\ldots ,\) , \(v_{t}\) v t are t-qualitatively independent. In this paper, we introduce some basic hypergraph operations. As their applications, we provide constructions for optimal mixed covering arrays on some 3-uniform or 4-uniform hypergraphs.