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.

45 votes
Accepted

Show that this ratio of factorials is always an integer

I found this paper I. M. Gessel, G. Xin, A Combinatorial Interpretation of the Numbers $6(2n!)/n!(n+2)!$, Journal of Integer Sequences 8 (2005) Article 05.2.3 whose abstract says: It is well kno …
Yuichiro Fujiwara's user avatar
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
14 votes

What are the major open problems in design theory nowaday?

Edit: Since this just became available on arXiv, Peter Keevash solved the existence conjecture of Steiner $t$-designs, which means that what I wrote below a year ago as one of the most important open …
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
13 votes

Two questions about combinatorics journals

To the eye of younger folks like me who doesn't know or care exactly why JCT split into two, Series B looks like a specialized journal almost entirely in graph theory while Series A deals with a broad …
10 votes
Accepted

Ways of choosing k items out of n with exactly one symbol in common

The kind of object you're looking at is exactly an $(r, \lambda)$-design for $\lambda = 1$ in combinatorial design theory. An $(r, \lambda)$-design is an ordered pair $(V, \mathcal{B})$, where $\math …
Yuichiro Fujiwara's user avatar
9 votes

Best upper bound on rate for q-ary codes

So, the supposedly the sharpest one among all known bounds is somehow poorer than the bound you learn in Coding Theory 101 if the alphabet size $q$ approaches infinity. I think the reason you find it …
Yuichiro Fujiwara's user avatar
9 votes
Accepted

Bounded Hamming distance

I think you're assuming $x \not= y$ when you say "for any $x, y \in S$." In any case, your question seems like a mix of coding theory and design theory. If you find the case when $a = b = \frac{n}{2} …
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
8 votes

Number of Permutations?

To complement Timothy Chow's nice answer, here's a recent and great survey on this topic if anyone is interested: D. S. Stones, The Many Formulae for the Number of Latin Rectangles, Electron. J. Comb …
Yuichiro Fujiwara's user avatar
8 votes

What is the largest number of k-element subsets of a given n-element set S such that…

You're asking what the number of blocks of a maximum packing is. An ordered pair $(S, \mathcal{B})$ of a finite set $S$ of cardinality $\vert S \vert = v$ and a finite set $\mathcal{B}$ of $k$-subset …
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
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

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
7 votes
0 answers
736 views

Largest set of integers without 3-term arithmetic progressions mod $n$

I am interested in a sharp bound on the largest possible size $e_3({\boldsymbol{Z}_n})$ of a subset $S \subset \boldsymbol{Z}_n$ such that for any three distinct elements $a, b, c \in S$ we have $a+b …
Yuichiro Fujiwara's user avatar

15 30 50 per page