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 4600

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

11 votes
Accepted

Generalising the union-closed sets conjecture from lattice to a larger class of posets

Here is a counterexample of size 23. Let $m=6$ and let $$P=\{0,a_1,\dots,a_m,1\}\cup\{b_{ij}: 1\le i<j\le m\}$$ where $0<a_i<b_{jk}<1$ whenever $i$ is distinct from $j$ and $k$. The cardinality of $P$ …
Bjørn Kjos-Hanssen's user avatar
10 votes

Three-halves-free words (analogous to square-free)

Also not an answer, but may be useful. A somewhat similar kind of word is mentioned at the end of section 1.5 of Salomaa: Jewels of Formal Language Theory: There is an infinite word over a 3-letter …
Bjørn Kjos-Hanssen's user avatar
9 votes
2 answers
382 views

A cubefree-preserving morphism from 5 to 2?

A word is cubefree if it cannot be written as $xyyyz$ where $y$ has positive length. Let $h$ be the morphism from $\{0,1,2,3,4\}^*$ to $\{0,1\}^*$ given for words of length 1 as follows ($a\to h(a)$) …
Bjørn Kjos-Hanssen's user avatar
9 votes
0 answers
2k views

Weighted Hamming distance

Basically my question is, what kind of geometry do we get if we use a "weighted" Hamming distance. This is combinatorics but similar things come up sometimes in theoretical computer science, for examp …
Bjørn Kjos-Hanssen's user avatar
9 votes
Accepted

Is Van der Waerden's function elementary

Yes, this should follow from the elementary bound. The point is that having a Kalmar elementary time bound is "closed under" searches through exponentially large collections. Suppose $N=W(r,k)$ is lea …
Bjørn Kjos-Hanssen's user avatar
7 votes
Accepted

Über theorem on unavoidable patterns?

According to the 2013 paper "Computing the Partial Word Avoidability Indices of Ternary Patterns" by Blanchet-Sadri, Lohr, and Scott, The problem of deciding whether a given pattern is avoidable h …
Bjørn Kjos-Hanssen's user avatar
7 votes
Accepted

The exceptional isomorphism between PGL(3,2) and PSL(2,7): geometric origin?

V. Dotsenko's construction, on math.stackexchange: https://math.stackexchange.com/questions/1401/why-psl-3-mathbb-f-2-cong-psl-2-mathbb-f-7/1450#1450 may fit your requirement "combinatorial mapping …
Bjørn Kjos-Hanssen's user avatar
7 votes
Accepted

Cardinality of families of (almost) disjoint subsets

Let us choose $\alpha$ many sets of size $n/3$ at random. The cardinality $X=|U\cap V|$ of the intersection of two of them is a hypergeometric random variable (well, given $U$, but the value of $U$ do …
Bjørn Kjos-Hanssen's user avatar
6 votes

powers in strings

Regarding the 3rd question, I will show this: Theorem. For a random binary word of length $n$, the expected number of $h$th powers is $$ \sim \frac{n}{2^{h-1}-1}. $$ Proof. A basic event about occurr …
Bjørn Kjos-Hanssen's user avatar
6 votes

Undecidable problems in geometry

The problem to determine whether two 4-manifolds, given as simplicial complexes, are homeomorphic. This was shown to be undecidable by Markov. (Some theories of physics involve a sum over such manifol …
6 votes
1 answer
350 views

Number of partitions whose blocks form arithmetic progressions

As is known, the set $\{1,\ldots,n\}$ has $2^n$ many subsets and $B_n$ (the $n$th Bell number) many partitions, where clearly $B_n<2^{2^n}$ and it is actually known that $B_n<n^n$ for large $n$. A n …
Bjørn Kjos-Hanssen's user avatar
5 votes
Accepted

Is there literature on finite geometries with ordered lines?

Yes, this has been studied and is indeed known as ordered geometry or the study of betweenness spaces: https://en.m.wikipedia.org/wiki/Ordered_geometry
Bjørn Kjos-Hanssen's user avatar
5 votes
Accepted

An infinite version of the Dilworth theorem

This is studied in Reverse Mathematics as the Chain Antichain Principle (CAC) and it is observed that it follows from Ramsey's theorem.
Bjørn Kjos-Hanssen's user avatar
4 votes
1 answer
301 views

Strings with no long runs from proper subalphabets

Let $R_{n,k,b}$ be the number of $b$-ary strings of length $n$ that contain some run of length at least $k$ from some $(b-1)$-ary subalphabet. Let $N_{n,k,b}=b^n-R_{n,k,b}$ be the size of the compleme …
Bjørn Kjos-Hanssen's user avatar
4 votes

Evaluation of the multiple integral

This is $\mathbb E (X_1^{n-1} X_2) $ where $ X_i $ is the $ i $ th order statistic of a sample from the uniform distribution on $[0, t] $. To evaluate it can try using the joint pdf of these order sta …
Bjørn Kjos-Hanssen's user avatar

15 30 50 per page