Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 27829

Enumerative combinatorics, graph theory, order theory, posets, matroids, designs and other discrete structures. It also includes algebraic, analytic and probabilistic combinatorics.

17 votes

Approximation of sum of the first binomial coefficients for fixed N

One of the more convenient and popular approximations of the sum is $$\frac{2^{nH(\frac{k}{n})}}{\sqrt{8k(1-\frac{k}{n})}} \leq \sum_{i=0}^k\binom{n}{i} \leq 2^{nH(\frac{k}{n})}$$ for $0< k < \frac{ …
Yuichiro Fujiwara's user avatar
2 votes

What are some applications of Sperner style theorems?

To give an idea of how real-life applications may arise outside mathematics, let's consider a "testing" problem of some sort. I'll set up a problem to solve first, so Sperner's theorem doesn't appear …
Yuichiro Fujiwara's user avatar
3 votes
Accepted

Minimal family of k-sets containing all t-sets

I think it is an optimal version of a covering with index $1$. A $t$-$(n,k,\lambda)$ covering is an ordered pair $(U,\mathcal{B})$ of a finite set $U$ of cardinality $n$ and a finite set $\mathcal{B} …
Yuichiro Fujiwara's user avatar
1 vote

Block error-correcting codes over inhomogeneous alphabets

As mentioned in Hao Chen's answer, what you're looking for seems to be a good mixed code. There don't seem to be many papers on this. But apparently the following paper gives the best known general up …
Yuichiro Fujiwara's user avatar
8 votes
Accepted

covering designs of the form $(v,k,2)$

Edit: The possible "gap" of sort in Caro and Yuster's proof of their upper bound has just been fixed! See Ben Barber's comment below (and his joint paper with Daniela Kühn, Allan Lo and Deryk Osthus o …
Yuichiro Fujiwara's user avatar
7 votes
Accepted

On the maximum number of $t$-subset of $\{1,\ldots, n\}$ having pairwise singleton or empty ...

Lucia's answer given in the linked question from the comment gives an upper bound (i.e., no pair should appear twice as a subset of $A_i$). But of course, the real question starts from here: When can …
Yuichiro Fujiwara's user avatar
7 votes
Accepted

"Codes" in which a group of words are pairwise different at a certain position

It is called perfect hash families in the design theory and computer science literature. A perfect hash family PHF$(N; k, v, t)$ is an $N \times k$ array on $v$ symbols with $v \geq t$, where for eve …
Yuichiro Fujiwara's user avatar
13 votes
Accepted

On the Steiner system $S(4,5,11)$

Unfortunately, no. It is known that the maximum number of mutually disjoint $S(4,5,11)$s on the same point set is $2$. Any such pair are always isomorphic. So, you can't find $7$ disjoint copies of an …
Yuichiro Fujiwara's user avatar
7 votes

Almost Hadamard matrices

If you regard each row of your desired matrix as a sequence of bipolar signals and each column as a time frame, then, with one additional condition that the matrix is circulant, what you're asking bec …
Yuichiro Fujiwara's user avatar
3 votes

Known results on cyclic difference sets

I'm not sure exactly what you mean because if you prove that there exists a cylcic $(v, k, \lambda)$-difference set for all $v$ except those that are excluded by known nonexistence results, you actual …
Yuichiro Fujiwara's user avatar
3 votes
Accepted

Ranks of higher incidence matrices of designs

For the generalization in the first direction, the $p$-rank of the incidence matrix $N$ of an $S(2,k,v)$ is lower bounded by the dimension of the Steinberg module: $$\operatorname{rank}_2(N)(\operato …
Yuichiro Fujiwara's user avatar
7 votes
Accepted

Constructions of $2-(v,3,3)$-designs

An elementary counting argument shows that $2$-$(v,3,3)$ exists only if $v$ is odd (or, more precisely, for $\lambda \equiv 3 \pmod{6}$ a $2$-$(v,3,\lambda)$ exists only if $v \equiv 1 \pmod{2}$). Thi …
Yuichiro Fujiwara's user avatar
4 votes
Accepted

On MDS code property

I guess you exclude trivial MDS codes, generalized Reed-Solomon codes, and MDS codes that can be obtained by code extension. If you exclude them all, there are still a bunch of MDS codes. In general, …
Yuichiro Fujiwara's user avatar
4 votes

Bipartite Nim-Geography

I guess you already know this, but I just stumbled on this paper that studies the exact same game you described: M. Fukuyama, A Nim game played on graphs, Theoret. Comput. Sci. 304 (2003), 387–399. …
Yuichiro Fujiwara's user avatar
5 votes

Cyclic Hamming Code

Before answering your question, not every Hamming code is equivalent to some cyclic code. For instance, the ternary $[4,2,3]_3$ Hamming code (aka the tetracode) is not equivalent to any cyclic code. …
Yuichiro Fujiwara's user avatar

15 30 50 per page