Abstract:In [1], we introduced a family of combinatorial designs, which we call "alphabet reduction pairs of arrays", ARPAs for short. These designs depend on three integer parameters $q, p \leq q, k\leq p$: $q$ is the size of the symbol set $\{0, 1 ,\ldots, q -1\}$ in which the coefficients of the arrays take their values; $p$ is the maximum number of distinct symbols allowed in a row of the second array of the pair; $k$ is the larger integer for which the two arrays of the pair coincide -- up to the order of their rows -- on any $k$-ary subset of their columns. The first array must contain at least one occurrence of the word $0\ 1\ \ldots\ q -1$. Intuitively, the idea is to cover "as many as possible" occurrences of this word of $q$ symbols with "as few as possible" words of at most $p$ different symbols. These designs are related to the approximability of "Constraint Satisfaction Problems with bounded constraint arity", known as $k\,$CSPs. In this context, we are particularly interested in ARPAs in which the frequency of the word $0\ 1\ \ldots\ q -1$ is maximal. We introduce a seemingly simpler family of combinatorial designs as "Cover pairs of arrays" (CPAs). The arrays of a CPA take Boolean coefficients, and must still coincide on any $k$-ary subset of their columns. The purpose is, as it were, to cover "as many as possible" occurrences of the word of $q$ ones using "as few as possible" $q$-length Boolean words of weight at most $p$. We show that, when it comes to maximizing the frequency of the words $0\ 1\ \ldots\ q -1$ in ARPAs and $1\ 1\ \ldots\ 1$ in CPAs, ARPAs and CPAs are equivalent. We prove the optimality of the ARPAs given in [1] for the case $p =k$. In addition, we provide optimal ARPAs for the cases $k =1$ and $k =2$. We emphasize the fact that both families of combinatorial designs are related to the approximability of $k\,$CSPs.

k-flaw Preference Sets

Multivalued Logic and Fuzzy Logic--Their Relationship, Minimization, and Application to Fault Diagnosis

Vector subdivision schemes in ( L p (ℝ s )) r (1⩽ p ⩽∞) spaces

Relative (pa,pb,pa,pa-b)-difference sets in p-subgroups of SL(n,K)

Non-abelian skew Hadamard difference sets fixed by a prescribed automorphism

Convergence Rates of Cascade Algorithms In(l_p(r~s))~r(1≤p≤∞)spaces.

Fe b 20 10 PARTIAL DIFFERENCE SETS FROM pARY WEAKLY REGULAR BENT FUNCTIONS AND QUADRATIC FORMS

Flaw Selection Strategies for Partial-Order Planning

Combinatorial enumeration of lattice paths by flaws with respect to a linear boundary of rational slope

Packing sets under finite groups via algebraic incidence structures

Low-complexity approximations for sets defined by generalizations of affine conditions

Characterization of Interaction Between Elliptical Subsurface Flaws

Shifted Set Families, Degree Sequences, and Plethysm

A Decomposition of Parking Functions by Undesired Spaces

On Flattened Parking Functions

Optimizing alphabet reduction pairs of arrays

Counting Defective Parking Functions

Fault-Equivalent Lowest Common Ancestors

Evaluation of Stress Intensity Factor Interactions Between Adjacent Flaws with Large Aspect Ratios

Alternative Characterization Rules for Multiple Surface Planar Flaws

An incidence bound for $k$-planes in $F^n$ and a planar variant of the Kakeya maximal function