Maximal size of a set of ordered words such that no pair of letters occurs twice Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Asymptotics of the number of words in a regular language of given lengthEfficient algorithm to generate two diffuse, deranged permutations of a multiset at randomFinding a subset of triplets of digits 0-9 such that each digit occurs 40 times in each position in the tripletsSet cover such that every vertex appears in at most k setsGiven N sets of disjoint subsets, find a set of disjoint subsets such that it satisfies a criteriaNumber of binary trees of size $n$ such that all subtrees of same size are equal?Permutation of words that have matched parentheses
3 doors, three guards, one stone
How to politely respond to generic emails requesting a PhD/job in my lab? Without wasting too much time
How to set letter above or below the symbol?
Stopping real property loss from eroding embankment
Slither Like a Snake
How to say 'striped' in Latin
New Order #5: where Fibonacci and Beatty meet at Wythoff
Why is there no army of Iron-Mans in the MCU?
Who can trigger ship-wide alerts in Star Trek?
Cauchy Sequence Characterized only By Directly Neighbouring Sequence Members
Cold is to Refrigerator as warm is to?
What did Darwin mean by 'squib' here?
Is drag coefficient lowest at zero angle of attack?
What is the order of Mitzvot in Rambam's Sefer Hamitzvot?
How do I automatically answer y in bash script?
Why does this iterative way of solving of equation work?
Can I throw a longsword at someone?
Was credit for the black hole image misattributed?
What was the last x86 CPU that did not have the x87 floating-point unit built in?
Complexity of many constant time steps with occasional logarithmic steps
Direct Experience of Meditation
When communicating altitude with a '9' in it, should it be pronounced "nine hundred" or "niner hundred"?
Is above average number of years spent on PhD considered a red flag in future academia or industry positions?
Are my PIs rude or am I just being too sensitive?
Maximal size of a set of ordered words such that no pair of letters occurs twice
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)
Announcing the arrival of Valued Associate #679: Cesar Manara
Unicorn Meta Zoo #1: Why another podcast?Asymptotics of the number of words in a regular language of given lengthEfficient algorithm to generate two diffuse, deranged permutations of a multiset at randomFinding a subset of triplets of digits 0-9 such that each digit occurs 40 times in each position in the tripletsSet cover such that every vertex appears in at most k setsGiven N sets of disjoint subsets, find a set of disjoint subsets such that it satisfies a criteriaNumber of binary trees of size $n$ such that all subtrees of same size are equal?Permutation of words that have matched parentheses
$begingroup$
Consider an alphabet $Sigma=1,dots,n$.
An ordered word is a word $w=w_1w_2dots w_kinSigma^*$ such that $w_1<w_2<dots<w_k$. In other words, an ordered word is a strictly increasing sequence over $1,dots,n$.
Let us call $O_n,k$ the set of all ordered words over $1,dots,n$ of length $k$. Clearly, there are $binomnk$ many ordered words of length $k$.
Now, what I am looking for is the maximal size of a subset $Msubseteq O_n,k$ such that each pair of letters $ij$ ($1le i<jle n$) occurs at most once as a consecutive substring in any word of $M$. What is the maximal size of such a subset?
Formally, let $#_ij(M)$ be the number of words in $M$ that contain $ij$ as a consecutive substring, then
$$m_n,k=max:Msubseteq O_n,ktext and #_ij(M)le 1text for all i,jtext with 1le i<jle n.$$
What is $m_n,k$?
Asymptotic behavior as well as some non-trivial lower and upper bounds would be helpful.
$ $
Example: $Sigma=1,2,3,4$ and $k=3$.
All ordered words of length $3$ are
$$O_4,3=123,124,134,234.$$
A maximal subset such that no pair occurs more than once would be
$$M=123,134,$$
because all pairs $(12,13,14,23,24,34)$ occur at most once as a consecutive substring in $M$ and there is no set of size $3$ with this property. It follows that $m_4,3=2$.
Thank for any help.
combinatorics word-combinatorics
$endgroup$
add a comment |
$begingroup$
Consider an alphabet $Sigma=1,dots,n$.
An ordered word is a word $w=w_1w_2dots w_kinSigma^*$ such that $w_1<w_2<dots<w_k$. In other words, an ordered word is a strictly increasing sequence over $1,dots,n$.
Let us call $O_n,k$ the set of all ordered words over $1,dots,n$ of length $k$. Clearly, there are $binomnk$ many ordered words of length $k$.
Now, what I am looking for is the maximal size of a subset $Msubseteq O_n,k$ such that each pair of letters $ij$ ($1le i<jle n$) occurs at most once as a consecutive substring in any word of $M$. What is the maximal size of such a subset?
Formally, let $#_ij(M)$ be the number of words in $M$ that contain $ij$ as a consecutive substring, then
$$m_n,k=max:Msubseteq O_n,ktext and #_ij(M)le 1text for all i,jtext with 1le i<jle n.$$
What is $m_n,k$?
Asymptotic behavior as well as some non-trivial lower and upper bounds would be helpful.
$ $
Example: $Sigma=1,2,3,4$ and $k=3$.
All ordered words of length $3$ are
$$O_4,3=123,124,134,234.$$
A maximal subset such that no pair occurs more than once would be
$$M=123,134,$$
because all pairs $(12,13,14,23,24,34)$ occur at most once as a consecutive substring in $M$ and there is no set of size $3$ with this property. It follows that $m_4,3=2$.
Thank for any help.
combinatorics word-combinatorics
$endgroup$
add a comment |
$begingroup$
Consider an alphabet $Sigma=1,dots,n$.
An ordered word is a word $w=w_1w_2dots w_kinSigma^*$ such that $w_1<w_2<dots<w_k$. In other words, an ordered word is a strictly increasing sequence over $1,dots,n$.
Let us call $O_n,k$ the set of all ordered words over $1,dots,n$ of length $k$. Clearly, there are $binomnk$ many ordered words of length $k$.
Now, what I am looking for is the maximal size of a subset $Msubseteq O_n,k$ such that each pair of letters $ij$ ($1le i<jle n$) occurs at most once as a consecutive substring in any word of $M$. What is the maximal size of such a subset?
Formally, let $#_ij(M)$ be the number of words in $M$ that contain $ij$ as a consecutive substring, then
$$m_n,k=max:Msubseteq O_n,ktext and #_ij(M)le 1text for all i,jtext with 1le i<jle n.$$
What is $m_n,k$?
Asymptotic behavior as well as some non-trivial lower and upper bounds would be helpful.
$ $
Example: $Sigma=1,2,3,4$ and $k=3$.
All ordered words of length $3$ are
$$O_4,3=123,124,134,234.$$
A maximal subset such that no pair occurs more than once would be
$$M=123,134,$$
because all pairs $(12,13,14,23,24,34)$ occur at most once as a consecutive substring in $M$ and there is no set of size $3$ with this property. It follows that $m_4,3=2$.
Thank for any help.
combinatorics word-combinatorics
$endgroup$
Consider an alphabet $Sigma=1,dots,n$.
An ordered word is a word $w=w_1w_2dots w_kinSigma^*$ such that $w_1<w_2<dots<w_k$. In other words, an ordered word is a strictly increasing sequence over $1,dots,n$.
Let us call $O_n,k$ the set of all ordered words over $1,dots,n$ of length $k$. Clearly, there are $binomnk$ many ordered words of length $k$.
Now, what I am looking for is the maximal size of a subset $Msubseteq O_n,k$ such that each pair of letters $ij$ ($1le i<jle n$) occurs at most once as a consecutive substring in any word of $M$. What is the maximal size of such a subset?
Formally, let $#_ij(M)$ be the number of words in $M$ that contain $ij$ as a consecutive substring, then
$$m_n,k=max:Msubseteq O_n,ktext and #_ij(M)le 1text for all i,jtext with 1le i<jle n.$$
What is $m_n,k$?
Asymptotic behavior as well as some non-trivial lower and upper bounds would be helpful.
$ $
Example: $Sigma=1,2,3,4$ and $k=3$.
All ordered words of length $3$ are
$$O_4,3=123,124,134,234.$$
A maximal subset such that no pair occurs more than once would be
$$M=123,134,$$
because all pairs $(12,13,14,23,24,34)$ occur at most once as a consecutive substring in $M$ and there is no set of size $3$ with this property. It follows that $m_4,3=2$.
Thank for any help.
combinatorics word-combinatorics
combinatorics word-combinatorics
edited Mar 31 at 16:45
Danny
asked Mar 31 at 15:07
DannyDanny
74439
74439
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
There is a simple upper bound of $$fracbinomn2k-1,$$ following from the fact that there are $binomn2$ ordered pairs of elements, and each ordered word contains $k-1$ of them.
There is an almost matching lower bound of
$$
fracbinomn-k+12k-1.
$$
This shows that for fixed $k$, the answer is asymptotically
$$
fracn^22(k-1) pm O(n).
$$
For every $c geq 1$ and $1 leq d leq c$, we can consider the collection of ordered words of the form
$$
d,d+c,ldots,d+(k-1)c \
d+(k-1)c,d+(k+1)c,ldots,d+2(k-1)c \
ldots
$$
These collections for all $c,d$ have disjoint pairs. For a given $m leq n$ and $c$, there is a word of this type if $m-(k-1)c geq 1$, that is, if $c leq fracm-1k-1$. Therefore, the total number of words is
$$
sum_m=k^n leftlfloor fracm-1k-1 rightrfloor.
$$
We can estimate this sum roughly by
$$
sum_m=k^n left(fracm-1k-1-1right) =
sum_m=k^n fracm-kk-1 = fracbinomn-k+12k-1.
$$
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "419"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fcs.stackexchange.com%2fquestions%2f106296%2fmaximal-size-of-a-set-of-ordered-words-such-that-no-pair-of-letters-occurs-twice%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
There is a simple upper bound of $$fracbinomn2k-1,$$ following from the fact that there are $binomn2$ ordered pairs of elements, and each ordered word contains $k-1$ of them.
There is an almost matching lower bound of
$$
fracbinomn-k+12k-1.
$$
This shows that for fixed $k$, the answer is asymptotically
$$
fracn^22(k-1) pm O(n).
$$
For every $c geq 1$ and $1 leq d leq c$, we can consider the collection of ordered words of the form
$$
d,d+c,ldots,d+(k-1)c \
d+(k-1)c,d+(k+1)c,ldots,d+2(k-1)c \
ldots
$$
These collections for all $c,d$ have disjoint pairs. For a given $m leq n$ and $c$, there is a word of this type if $m-(k-1)c geq 1$, that is, if $c leq fracm-1k-1$. Therefore, the total number of words is
$$
sum_m=k^n leftlfloor fracm-1k-1 rightrfloor.
$$
We can estimate this sum roughly by
$$
sum_m=k^n left(fracm-1k-1-1right) =
sum_m=k^n fracm-kk-1 = fracbinomn-k+12k-1.
$$
$endgroup$
add a comment |
$begingroup$
There is a simple upper bound of $$fracbinomn2k-1,$$ following from the fact that there are $binomn2$ ordered pairs of elements, and each ordered word contains $k-1$ of them.
There is an almost matching lower bound of
$$
fracbinomn-k+12k-1.
$$
This shows that for fixed $k$, the answer is asymptotically
$$
fracn^22(k-1) pm O(n).
$$
For every $c geq 1$ and $1 leq d leq c$, we can consider the collection of ordered words of the form
$$
d,d+c,ldots,d+(k-1)c \
d+(k-1)c,d+(k+1)c,ldots,d+2(k-1)c \
ldots
$$
These collections for all $c,d$ have disjoint pairs. For a given $m leq n$ and $c$, there is a word of this type if $m-(k-1)c geq 1$, that is, if $c leq fracm-1k-1$. Therefore, the total number of words is
$$
sum_m=k^n leftlfloor fracm-1k-1 rightrfloor.
$$
We can estimate this sum roughly by
$$
sum_m=k^n left(fracm-1k-1-1right) =
sum_m=k^n fracm-kk-1 = fracbinomn-k+12k-1.
$$
$endgroup$
add a comment |
$begingroup$
There is a simple upper bound of $$fracbinomn2k-1,$$ following from the fact that there are $binomn2$ ordered pairs of elements, and each ordered word contains $k-1$ of them.
There is an almost matching lower bound of
$$
fracbinomn-k+12k-1.
$$
This shows that for fixed $k$, the answer is asymptotically
$$
fracn^22(k-1) pm O(n).
$$
For every $c geq 1$ and $1 leq d leq c$, we can consider the collection of ordered words of the form
$$
d,d+c,ldots,d+(k-1)c \
d+(k-1)c,d+(k+1)c,ldots,d+2(k-1)c \
ldots
$$
These collections for all $c,d$ have disjoint pairs. For a given $m leq n$ and $c$, there is a word of this type if $m-(k-1)c geq 1$, that is, if $c leq fracm-1k-1$. Therefore, the total number of words is
$$
sum_m=k^n leftlfloor fracm-1k-1 rightrfloor.
$$
We can estimate this sum roughly by
$$
sum_m=k^n left(fracm-1k-1-1right) =
sum_m=k^n fracm-kk-1 = fracbinomn-k+12k-1.
$$
$endgroup$
There is a simple upper bound of $$fracbinomn2k-1,$$ following from the fact that there are $binomn2$ ordered pairs of elements, and each ordered word contains $k-1$ of them.
There is an almost matching lower bound of
$$
fracbinomn-k+12k-1.
$$
This shows that for fixed $k$, the answer is asymptotically
$$
fracn^22(k-1) pm O(n).
$$
For every $c geq 1$ and $1 leq d leq c$, we can consider the collection of ordered words of the form
$$
d,d+c,ldots,d+(k-1)c \
d+(k-1)c,d+(k+1)c,ldots,d+2(k-1)c \
ldots
$$
These collections for all $c,d$ have disjoint pairs. For a given $m leq n$ and $c$, there is a word of this type if $m-(k-1)c geq 1$, that is, if $c leq fracm-1k-1$. Therefore, the total number of words is
$$
sum_m=k^n leftlfloor fracm-1k-1 rightrfloor.
$$
We can estimate this sum roughly by
$$
sum_m=k^n left(fracm-1k-1-1right) =
sum_m=k^n fracm-kk-1 = fracbinomn-k+12k-1.
$$
answered Mar 31 at 17:48


Yuval FilmusYuval Filmus
197k15185349
197k15185349
add a comment |
add a comment |
Thanks for contributing an answer to Computer Science Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fcs.stackexchange.com%2fquestions%2f106296%2fmaximal-size-of-a-set-of-ordered-words-such-that-no-pair-of-letters-occurs-twice%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown