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










2












$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.










share|cite|improve this question











$endgroup$
















    2












    $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.










    share|cite|improve this question











    $endgroup$














      2












      2








      2





      $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.










      share|cite|improve this question











      $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






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Mar 31 at 16:45







      Danny

















      asked Mar 31 at 15:07









      DannyDanny

      74439




      74439




















          1 Answer
          1






          active

          oldest

          votes


















          2












          $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.
          $$






          share|cite|improve this answer









          $endgroup$













            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
            );



            );













            draft saved

            draft discarded


















            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









            2












            $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.
            $$






            share|cite|improve this answer









            $endgroup$

















              2












              $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.
              $$






              share|cite|improve this answer









              $endgroup$















                2












                2








                2





                $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.
                $$






                share|cite|improve this answer









                $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.
                $$







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Mar 31 at 17:48









                Yuval FilmusYuval Filmus

                197k15185349




                197k15185349



























                    draft saved

                    draft discarded
















































                    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.




                    draft saved


                    draft discarded














                    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





















































                    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







                    Popular posts from this blog

                    Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

                    Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

                    Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ