Mixed covering arrays on graphs of small treewidth

2021 ◽  
pp. 2150085
Author(s):  
Soumen Maity ◽  
Charles J. Colbourn
Keyword(s):  
Weighted Graph ◽  
Minimum Size ◽  
Index Formula ◽  
Covering Array ◽  
Covering Arrays ◽  
Combinatorial Objects ◽  
The Family ◽  
Positive Integers ◽  
Basic Graph ◽  
Test Suites

Covering arrays are combinatorial objects that have been successfully applied in design of test suites for testing systems such as software, hardware, and networks where failures can be caused by the interaction between their parameters. Let [Formula: see text] and [Formula: see text] be positive integers with [Formula: see text]. Two vectors [Formula: see text] and [Formula: see text] are qualitatively independent if for any ordered pair [Formula: see text], there exists an index [Formula: see text] such that [Formula: see text]. Let [Formula: see text] be a graph with [Formula: see text] vertices [Formula: see text] with respective vertex weights [Formula: see text]. A mixed covering array on[Formula: see text] , denoted by [Formula: see text], is a [Formula: see text] array such that row [Formula: see text] corresponds to vertex [Formula: see text], entries in row [Formula: see text] are from [Formula: see text]; and if [Formula: see text] is an edge in [Formula: see text], then the rows [Formula: see text] are qualitatively independent. The parameter [Formula: see text] is the size of the array. Given a weighted graph [Formula: see text], a mixed covering array on [Formula: see text] with minimum size is optimal. In this paper, we introduce some basic graph operations to provide constructions for optimal mixed covering arrays on the family of graphs with treewidth at most three.

Research Notes: Binary Test-Suites Using Covering Arrays

2018 ◽  
Vol 28 (09) ◽  
pp. 1321-1337 ◽  
Author(s):  
Jose Torres-Jimenez ◽  
Himer Avila-George ◽  
Ezra Federico Parra-González
Keyword(s):  
Software Testing ◽  
Test Generation ◽  
Software Systems ◽  
Combinatorial Testing ◽  
Covering Array ◽  
Covering Arrays ◽  
Almost All ◽  
Generation Problem ◽  
Test Suites

Software testing is an essential activity to ensure the quality of software systems. Combinatorial testing is a method that facilitates the software testing process; it is based on an empirical evidence where almost all faults in a software component are due to the interaction of very few parameters. The test generation problem for combinatorial testing can be represented as the construction of a matrix that has certain properties; typically this matrix is a covering array. Covering arrays have a small number of tests, in comparison with an exhaustive approach, and provide a level of interaction coverage among the parameters involved. This paper presents a repository that contains binary covering arrays involving many levels of interaction. Also, it discusses the importance of covering array repositories in the construction of better covering arrays. In most of the cases, the size of the covering arrays included in the repository reported here are the best upper bounds known, moreover, the files containing the matrices of these covering arrays are available to be downloaded. The final purpose of our Binary Covering Arrays Repository (BCAR) is to provide software testing practitioners the best-known binary test-suites.

On a Two-Sided Turán Problem

10.37236/1735 ◽  
2003 ◽  
Vol 10 (1) ◽  
Author(s):  
Dhruv Mubayi ◽  
Yi Zhao
Keyword(s):  
Minimum Size ◽  
Turan Problem ◽  
Turan Problems ◽  
Turán Problem ◽  
Positive Integers

Given positive integers $n,k,t$, with $2 \le k\le n$, and $t < 2^k$, let $m(n,k,t)$ be the minimum size of a family ${\cal F}$ of nonempty subsets of $[n]$ such that every $k$-set in $[n]$ contains at least $t$ sets from ${\cal F}$, and every $(k-1)$-set in $[n]$ contains at most $t-1$ sets from ${\cal F}$. Sloan et al. determined $m(n, 3, 2)$ and Füredi et al. studied $m(n, 4, t)$ for $t=2, 3$. We consider $m(n, 3, t)$ and $m(n, 4, t)$ for all the remaining values of $t$ and obtain their exact values except for $k=4$ and $t= 6, 7, 11, 12$. For example, we prove that $ m(n, 4, 5) = {n \choose 2}-17$ for $n\ge 160$. The values of $m(n, 4, t)$ for $t=7,11,12$ are determined in terms of well-known (and open) Turán problems for graphs and hypergraphs. We also obtain bounds of $m(n, 4, 6)$ that differ by absolute constants.

scholarly journals A Markov model for Selmer ranks in families of twists

2014 ◽  
Vol 150 (7) ◽  
pp. 1077-1106 ◽  
Author(s):  
Zev Klagsbrun ◽  
Barry Mazur ◽  
Karl Rubin
Keyword(s):  
Markov Process ◽  
Markov Model ◽  
Elliptic Curve ◽  
Arbitrary Number ◽  
Equilibrium Distribution ◽  
Two Dimensional ◽  
Absolute Galois Group ◽  
Quadratic Twists ◽  
The Family ◽  
Positive Integers

AbstractWe study the distribution of 2-Selmer ranks in the family of quadratic twists of an elliptic curve $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}E$ over an arbitrary number field $K$. Under the assumption that ${\rm Gal}(K(E[2])/K) \ {\cong }\ S_3$, we show that the density (counted in a nonstandard way) of twists with Selmer rank $r$ exists for all positive integers $r$, and is given via an equilibrium distribution, depending only on a single parameter (the ‘disparity’), of a certain Markov process that is itself independent of $E$ and $K$. More generally, our results also apply to $p$-Selmer ranks of twists of two-dimensional self-dual ${\bf F}_p$-representations of the absolute Galois group of $K$ by characters of order $p$.

New optimal covering arrays using an orderly algorithm

2018 ◽  
Vol 10 (01) ◽  
pp. 1850011 ◽  
Author(s):  
Idelfonso Izquierdo-Marquez ◽  
Jose Torres-Jimenez
Keyword(s):  
Small Subset ◽  
Computational Results ◽  
Covering Array ◽  
Covering Arrays ◽  
Computational Search ◽  
Minimum Number ◽  
Orderly Algorithm

A covering array [Formula: see text] is an [Formula: see text] array such that every [Formula: see text] subarray covers at least once each [Formula: see text]-tuple from [Formula: see text] symbols. For given [Formula: see text], [Formula: see text], and [Formula: see text], the minimum number of rows for which exists a CA is denoted by [Formula: see text] (CAN stands for Covering Array Number) and the corresponding CA is optimal. Optimal covering arrays have been determined algebraically for a small subset of cases; but another alternative to find CANs is the use of computational search. The present work introduces a new orderly algorithm to construct non-isomorphic covering arrays; this algorithm is an improvement of a previously reported algorithm for the same purpose. The construction of non-isomorphic covering arrays is used to prove the nonexistence of certain covering arrays whose nonexistence implies the optimality of other covering arrays. From the computational results obtained, the following CANs were established: [Formula: see text] for [Formula: see text], [Formula: see text], and [Formula: see text]. In addition, the new result [Formula: see text], and the already known existence of [Formula: see text], imply [Formula: see text].

scholarly journals The Minimum Size of Signed Sumsets

10.37236/4881 ◽  
2015 ◽  
Vol 22 (2) ◽  
Author(s):  
Béla Bajnok ◽  
Ryan Matzke
Keyword(s):  
Abelian Group ◽  
Upper Bound ◽  
Finite Abelian Group ◽  
Minimum Size ◽  
Positive Integers

For a finite abelian group $G$ and positive integers $m$ and $h$, we let $$\rho(G, m, h) = \min \{ |hA| \; : \; A \subseteq G, |A|=m\}$$ and$$\rho_{\pm} (G, m, h) = \min \{ |h_{\pm} A| \; : \; A \subseteq G, |A|=m\},$$ where $hA$ and $h_{\pm} A$ denote the $h$-fold sumset and the $h$-fold signed sumset of $A$, respectively. The study of $\rho(G, m, h)$ has a 200-year-old history and is now known for all $G$, $m$, and $h$. Here we prove that $\rho_{\pm}(G, m, h)$ equals $\rho (G, m, h)$ when $G$ is cyclic, and establish an upper bound for $\rho_{\pm} (G, m, h)$ that we believe gives the exact value for all $G$, $m$, and $h$.

A SURVEY OF FACTORIZATION COUNTING FUNCTIONS

2005 ◽  
Vol 01 (04) ◽  
pp. 563-581 ◽  
Author(s):  
A. KNOPFMACHER ◽  
M. E. MAYS
Keyword(s):  
Number Theory ◽  
Positive Integer ◽  
Additive Number Theory ◽  
Recursive Algorithms ◽  
Additive Number ◽  
Combinatorial Objects ◽  
Survey Techniques ◽  
Counting Functions ◽  
General Field ◽  
Positive Integers

The general field of additive number theory considers questions concerning representations of a given positive integer n as a sum of other integers. In particular, partitions treat the sums as unordered combinatorial objects, and compositions treat the sums as ordered. Sometimes the sums are restricted, so that, for example, the summands are distinct, or relatively prime, or all congruent to ±1 modulo 5. In this paper we review work on analogous problems concerning representations of n as a product of positive integers. We survey techniques for enumerating product representations both in the unrestricted case and in the case when the factors are required to be distinct, and both when the product representations are considered as ordered objects and when they are unordered. We offer some new identities and observations for these and related counting functions and derive some new recursive algorithms to generate lists of factorizations with restrictions of various types.

scholarly journals Combinatorial identities by way of Wilf's multigraph model

2006 ◽  
Vol 2006 ◽  
pp. 1-10
Author(s):  
Theresa L. Friedman ◽  
Paul Klingsberg
Keyword(s):  
Combinatorial Identities ◽  
Combinatorial Objects ◽  
The Family

For many families of combinatorial objects, a construction of Wilf (1977) allows the members of the family to be viewed as paths in a directed multigraph. Introducing a partition of these paths generates a number of known, but hitherto disparate, combinatorial identities. We include several examples.

scholarly journals A family of formulas with reversal of high avoidability index

2017 ◽  
Vol 27 (05) ◽  
pp. 477-493 ◽  
Author(s):  
James Currie ◽  
Lucas Mol ◽  
Narad Rampersad
Keyword(s):  
Simple Structure ◽  
Complex Structure ◽  
Infinite Family ◽  
Index Formula ◽  
The Family

We present an infinite family of formulas with reversal whose avoidability index is bounded between [Formula: see text] and [Formula: see text], and we show that several members of the family have avoidability index [Formula: see text]. This family is particularly interesting due to its size and the simple structure of its members. For each [Formula: see text] there are several previously known avoidable formulas (without reversal) of avoidability index [Formula: see text] but they are small in number and they all have rather complex structure.

scholarly journals On the $P_3$-Hull Number of Kneser Graphs

10.37236/9903 ◽  
2021 ◽  
Vol 28 (3) ◽  
Author(s):  
Luciano N. Grippo ◽  
Adrián Pastine ◽  
Pablo Torres ◽  
Mario Valencia-Pabon ◽  
Juan C. Vera
Keyword(s):  
Upper Bounds ◽  
Minimum Size ◽  
Lower And Upper Bounds ◽  
Kneser Graph ◽  
Graph Homomorphisms ◽  
The Family ◽  
Vertex Set ◽  
Kneser Graphs

This paper considers an infection spreading in a graph; a vertex gets infected if at least two of its neighbors are infected. The $P_3$-hull number is the minimum size of a vertex set that eventually infects the whole graph. In the specific case of the Kneser graph $K(n,k)$, with $n\ge 2k+1$, an infection spreading on the family of $k$-sets of an $n$-set is considered. A set is infected whenever two sets disjoint from it are infected. We compute the exact value of the $P_3$-hull number of $K(n,k)$ for $n>2k+1$. For $n = 2k+1$, using graph homomorphisms from the Knesser graph to the Hypercube, we give lower and upper bounds.

scholarly journals CYCLIC SYSTEMS OF SIMULTANEOUS CONGRUENCES

2010 ◽  
Vol 06 (02) ◽  
pp. 219-245 ◽  
Author(s):  
JEFFREY C. LAGARIAS
Keyword(s):  
Diophantine Equations ◽  
Extremal Solutions ◽  
Infinitely Many Solutions ◽  
Cyclic System ◽  
Positivity Condition ◽  
The Family ◽  
Integer Solutions ◽  
Almost All ◽  
Positive Integers ◽  
Simultaneous Congruences

This paper considers the cyclic system of n ≥ 2 simultaneous congruences [Formula: see text] for fixed nonzero integers (r, s) with r > 0 and (r, s) = 1. It shows there are only finitely many solutions in positive integers qi ≥ 2, with gcd (q1q2 ⋯ qn, s) = 1 and obtains sharp bounds on the maximal size of solutions for almost all (r, s). The extremal solutions for r = s = 1 are related to Sylvester's sequence 2, 3, 7, 43, 1807,…. If the positivity condition on the integers qi is dropped, then for r = 1 these systems of congruences, taken ( mod |qi|), have infinitely many solutions, while for r ≥ 2 they have finitely many solutions. The problem is reduced to studying integer solutions of the family of Diophantine equations [Formula: see text] depending on three parameters (r, s, m).

Sign in / Sign up

Export Citation Format

Share Document