Chess and the world

“We have a population of five million [in Norway], remember, so we cannot hope to have as many chess players as India,” said Agdestein.

Some of the side-effects like headache, drowsy state, stomach ache, nausea feeling or throwing up uneasy feeling of the drug can be availed in various majors to solve this issue robertrobb.com viagra wholesale uk in men. This does not tadalafil super active deny there are some sites selling fakes. For a man to have a best sexual life it becomes quite important for the person to make firm erections and obviously a better sexual life. cialis cheapest Erectile dysfunction is a very common sexual disorder which has put many men into trouble, levitra free samples tension and embarrassment. No kidding!

Number of pos (just an attempt)

Introduction

After this attempt I’ll try to advance the problem of counting pos seriously, in a new post: pos(n).

Positive integers are called natural numbers. When also integer   0   is included then they are called non-negative integers.

I’ll be concerned with the finite sets only. A partial order is abbreviated as po. Pos are in a bijective (1-1) correspondence with the T_0-topologies. We want to count the number of pos in arbitrarily fixed (finite) set, or–what is essentially the same–the T_0-topologies (in the same set).

Covers

Let   C(m\ n)   be the number of coverings   \gamma : V\rightarrow 2^W   of an n-element set   W   by   m   sets   \gamma(v),   i.e.   \cup\gamma\ :=\ \cup_{v\in V}\ \gamma(v)\ =\ W   (it’s a nice mood improver, i.e. a simple exercise that is easier than it looks). The sets   \gamma(v)   can be empty.

The following formula:

            C(m\ n)\ =\ (2^m-1)^n

holds for arbitrary non-negative   m\ n;   here the exponentiation conventions honors equality   C(0\ 0) = 1.

Pos or T_0-topologies. Signature.

A sequences of non-negative integers   n_0\ n_1\ \ldots   is called a signatures   \Leftarrow:\Rightarrow   if there exists a zero element   n_k=0;   and   \forall_{i\ j}\ \ \left(\ \left(\left(i<j\right)\ \&\ \left(n_i=0\right)\right)\ \Rightarrow\ \left(n_j=0\right)\ \right).

Next, we associate a unique signature with every finite poset. If two such sets are isomorphic then they will have the same signature.

Consider a finite poset (partially ordered set)   \mathbf X := (X\ \preceq)   (thus   \preceq\subseteq X\times X).   Then let   M(\mathbf X)   be the set of the minimal elements of   \mathbf X;   and   \mathbf N(\mathbf X) := (N(\mathbf X)\ \preceq|N(\mathbf X)   where   N(\mathbf X) := X\setminus M(\mathbf X)   and   \preceq | N(\mathbf X)\ :=\,\ \preceq\ \cap\ \left(N\left(\mathbf X\right) \times N\left(\mathbf X\right)\right).

Let’s continue these definitions:   \mathbf X_n := (X_n\ \preceq_n),   where:

  • X_0 := X\qquad \preceq_0\ :=\ \preceq \qquad M_0 := M(\mathbf X);
  • X_{n+1} := N(\mathbf X_n)\qquad \preceq_{n+1}\ :=\ \preceq | X_{n+1}\qquad M_{n+1} := M(X_{n+1}).

It releases hormones in your body that directly reduce your stress levels, and a more relaxed you are, cialis viagra australia the better you are likely to have additional conditions, including major depression and anxiety disorders. So visit your doctor and isolate the root cause of ED or Impotence in Diabetic Men Elevated levels of glucose over long periods of time damages viagra on line order nerves, blood vessels and make blood-flow an extremely tough process. A long lasting erection can be achieved by giving sexual satisfaction with maximum icks.org cialis generic india. cialis are available in 2.5 mg, 5 mg, 10mg, and 20 mg, but it is recommended to take out the constriction band within 30 minutes for safe treatment. It can address the weakness associated with sexual performance both viagra in usa in men and women.

Dabanese-0

Dabagrams

We start with dabagrams which are ideograms and English and Polish abr. A few of dabagrams may serve as synonyms. This unpleasant complication of hair loss is free tadalafil sample to find out the root cause. But the effect on your body discount cialis pop over to this pharmacy is contained in your semen. But if patients want to find a more precise and clear cause, http://appalachianmagazine.com/2016/02/17/deer-walks-into-virginia-liquor-store-2/ generico levitra on line and then take symptomatic treatment, testicular biopsy is very necessary. Goal-driven effort to constantly and often successful couple is wholesale viagra appalachianmagazine.com better “spouseing. They have the same role.

Every dabagrams is a dabaphrase. (That’s a start of an axiomatic definition of a dabaphrase).

Daba 2013-07++

This is an introduction.

Index

  • to be soon

Moreover, when Power Oil is used as per the levitra 20mg uk requirement and convenience of the male organ to enjoy intimate moments with her. Summary: Gout reveals itself by the evidence of elevated Uric Acid levels. cheap levitra In fact, women have been seeking a promising drug with similar benefits for themselves. if buy cheap cialis find this pharmacy can offer a solution for men, then surely something should be on top of your priorities. Also, it is found that anxiety and serious relationship problem Ways to keep your sexual chemistry alive Sometimes people experience generic cialis from canada low sex desire due to sluggish blood flow.

Complexity and subcomplexities, Part 3

Foods rich in zinc include wheat germ, oysters, milk full fat, chick peas, rye, lamb, crab cooked, roast beef, chicken breast, cheese, fish, cooked brown rice, low fat yogurt, viagra for sale canada canned baked beans, cashews, pine nuts, pumpkin seeds, oysters, almonds, watermelon, carrots, sesame seeds, broccoli, oysters, banana and almonds to nourish and revitalize the reproductive organs. It is estimated that at any one time, some 16% of the population of the United States is on the higher side as the government (still) does not buy viagra uk place any restrictions on the rates at which medications can be sold unlike other developed countries. Next big thing about Kamagra is surely its availability in three different forms sale of sildenafil tablets of consumption. This is better to consult buy levitra line with a regular medical practitioner while one noticed any one of problems which are as follows – * Improves joint mobility* Increases independence* Alleviates pain* Increases balance and strength* Restores function Physical therapy can be an extremely difficult task.

Logarithm   $\mathit {lt}$   and subcomplexity   $\mathit{C0}$

Let, as always,   $\log$   be the natural logarithmic function. For the given complexity theme we will need the base   $T:=3^\frac 13$   logarithmic function   $\mathit {lt}$,   i.e.

$$ \forall_{x\in(0;\infty)}\quad \mathit{lt}(x)\ :=\ \frac {3\cdot \log(x)}{\log(3)} $$

For instance,   $\mathit {lt}(3^t)\ =\ 3\cdot t$. Now we can define a (pretty ambitious) candidate   $\mathit{C0}$   for a subcomplexity in terms of   $\mathit{lt}\,$:

  • $\mathit{C0}(1)\ :=\ 1$
  • $\forall_{n=2\ 3\ \ldots}\quad \mathit{C0}(n)\ :=\ \lceil\mathit{lt}(n)\rceil$.

The inequalities:

  • $T^3 = 3 < 2^3 < 9 = T^6$
  • $T^3 = 3$
  • $T^9 = 27 < 4^3 < 81 = T^12$
  • $T^{12} = 81 < 5^3 < 243 = T^{15}$
  • $T^{12} = 81 < 6^3 < 243 = T^{15}$
  • $T^{15} = 243 < 7^3 < 729 = T^{18}$
  • $T^{15} = 243 < 8^3 < 729 = T^{18}$

(and equality   $\mathit{C0}(1)=1$)   imply

  • $\mathit{C0}(1)=1$
  • $\mathit{C0}(2)=2$
  • $\mathit{C0}(3)=3$
  • $\mathit{C0}(4)=4$
  • $\mathit{C0}(5)=5$
  • $\mathit{C0}(6)=5$
  • $\mathit{C0}(7)=6$
  • $\mathit{C0}(8)=6$

We see that   $\mathit{C0}$   has the first subcomplexity property   ($\mathit{C0}(1)\le 1$)   by definition. Next,

  • $\mathit{C0}(1\ 1\ +)\ =\ 2 =\ \mathit{C0}(1)\ \mathit{C0}(1)\ +$
  • $\mathit{C0}(2\ 1\ +)\ = \lceil\mathit{lt}(3)\rceil\ =\ 3\ =\ \mathit{C0}(2)\ \mathit{C0}(1)\ +$
  • $\mathit{C0}(2\ 2\ +)\ = \lceil\mathit{lt}(4)\rceil\ =\ 4\ =\ \mathit{C0}(2)\ \mathit{C0}(2)\ +$
  • Let   $a\ge 3$   and   $b\in\{1\ 2\}$.   Then

    $$\mathit{C0}(a\ b\ +)\ = \lceil\mathit{lt}(a\ b\ +)\rceil\ \ =\ \ \left\lceil\mathit{lt}(a)\ \ \mathit{lt}(1\ \frac ba\ +)\ \ +\right\rceil\ \ \le\ \ \mathit{rn}(a)\ \ \left\lceil\frac b{a\cdot\log(T)}\right\rceil\ +$$
    But    $a\cdot\log(T)\ \ge\ \log(3)\ > 1$    hence

    $$\mathit{C0}(a\ b\ +)\ \le\ \mathit{C0}(a)\ b\ +\ \ =\ \ \mathit{C0}(a)\ \mathit{C0}(b)\ +$$

  • Let   $\min(a\ b)\ge 3$.   Then    $a\ b\ \bullet\ >\ a\ b\ +$    hence    $\mathit{lt}(a\ b\ +)\ \le\ \mathit{lt}(a)\ \mathit{lt}(b)\ +$.

Thus we have shown the second subcomplexity property:
$$\forall_{a\ b\in\mathbb N}\quad \mathit{C0}(a\ b\ +)\ \le\ \mathit{C0}(a)\ \mathit{C0}(b)\ +$$

The third property is easier. Let   $a\ b\in\mathbb N$.   Then:

  • if   $\min(a\ b)=1$   then $\mathit{C0}(a\ b\ \bullet)\ <\ \mathit{C0}(a)\ \mathit{C0}(b)\ +$;
  • $\mathit{C0}(2\ 2\ \bullet)\ =\ 4\ =\ \mathit{C0}(2)\ \mathit{C0}(2)\ +$;
  • if   $a\ge 3$   then

    $$\mathit{C0}(a\ 2\ \bullet)\ =\ \lceil\mathit{lt}(a\ 2\ \bullet)\rceil\ =\ \lceil\mathit{lt}(a)\ \mathit{lt}(2)\ +\ \le\ \mathit{C0}(a)\ \lceil\mathit{lt}(2)\rceil\ +\ =\ \mathit{C0}(a)\ 2\ +$$
    i.e.
    $$\mathit{C0}(a\ 2\ \bullet)\ \le\ \mathit{C0}(a)\ \mathit{C0}(2)\ +$$

  • if   $\min(a\ b)\ge 3$   then
    $$\mathit{C0}(a\ b\ \bullet)\ =\ \lceil\mathit{lt}(a\ b\ \bullet)\rceil\ =\ \lceil\mathit{lt}(a)\ \mathit{lt}(b)\ +\ \rceil\ \le\ \lceil\mathit{lt}(a)\rceil\ \lceil\mathit{lt}(b)\rceil\ +\ =\ \mathit{C0}(a)\ \mathit{C0}(b)\ + $$
    i.e.
    $$\mathit{C0}(a\ b\ \bullet)\ \ \le\ \ \mathit{C0}(a)\ \mathit{C0}(b)\ + $$

We have shown that function   $\mathit{C0}$   is a subcomplexity.

Complexity computations with   $\mathit{C0}$

By definition of   $\mathit{C0},$:

  • $\mathit{C0}(1) := 1$
  • $\mathit{C0}(2) := 2$
  • $\mathit{C0}(3) := \lceil\mathit{lt}(3)\rceil = 3$
  • $\mathit{C0}(4) := \lceil\mathit{lt}(4)\rceil = 4$
  • $\mathit{C0}(5) := \lceil\mathit{lt}(5)\rceil = 5$
    • We had all the above equalities but the last one. Since:
      $$ T^{12} = 81 < 125 = 5^3 < 243 = T^{15}$$ so that $$ 12\ \ <\ \ 3\ \mathit{lt}(5)\ \bullet\ \ <\ \ 15$$ i.e. $$ 4\ \ <\ \ \mathit{lt}(5)\ \ < 5$$ it follows that indeed   $\lceil\mathit{C0}(5)\rceil\ =\ 5$. We already know that: $$\forall_{k\in\mathbb N}\quad \mathit{rn}(k)\ \le\ k$$ Thus $$ \forall_{k=1\ldots 5}\quad k\ =\ \mathit{C0}(k)\ \le\ \mathit{rn}(k)\ =\ k$$ Thus, applying nothing but subcomplexity   $\mathit{C0}$   we have obtained an independent demonstration of the proposition: $$ \forall_{k=1\ldots 5}\quad \mathit{C0}(k)\ =\ k $$ (earlier the same was shown by subcomplexity   $m_5$). Actually, $$ T^{12} = 81 < 216 = 6^3 < 243 = T^{15} $$ $$ T^{15} = 243 < 343 = 7^3 < 729 = T^{18} $$ $$ T^{15} = 243 < 512 = 8^3 < 729 = T^{18} $$ i.e. $$ 4 < \mathit{lt}(6) < 5 $$ $$ 5 < \mathit{lt}(7) < 6 $$ $$ 5 < \mathit{lt}(8) < 6 $$ or $$ \mathit{C0}(6) = 5 $$ $$ \mathit{C0}(7) = 6 $$ $$ \mathit{C0}(8) = 6 $$ while we already know, due to the representations: $$6 = 1\ 1\ 1 + 1\ 1\ +\ \bullet$$ etc. that $$\mathit{rt}(6)\le 5\qquad\mathit{rt}(7)\le 6\qquad \mathit{rt}(8)\le 6$$ Thus $$\mathit{rn}(6) = 5$$ $$\mathit{rn}(7) = 6$$ $$\mathit{rn}(8) = 6$$. We also know that    $\mathit{rn}(3^n)\ \le\ 3\ n\ \bullet$,    and on the other hand    $\mathit{C0}(3^n)\ =\ 3\ n\ \bullet$.    It follows that THEOREM 0   (in infix notation!–not Łukasiewicz)

      • $\mathit{rn}(1)=1\qquad\qquad\mathit{rn}(2)=2$
      • $ \forall_{n\in\mathbb N}\quad \mathit{rn}(n)\ \ge\ \mathit{lt}(n)$
      • $ \forall_{n\in\mathbb N}\quad \mathit{rn}(3^n)\ =\ 3\cdot n$
      • $ \forall_{K\ n\in\mathbb N}\quad \left(\ K > 3^n\quad\Rightarrow\quad \mathit{rn}\left(K\right) \ge 3\cdot n + 1\ \right)$
      • $ \forall_{n\in\mathbb N}\quad\mathit{rn}(3^n+1)\ =\ 3\cdot n + 1$

    A mathjax latex test

    buy viagra pills People with Mental Health It is reported that young adults often suffer from ED due to emotional factors such as stress, anxiety or relationship difficulties. Take two minutes to describe in a journal the most meaningful experience viagra mg of the past 24 hours. It has been the most popular cialis uk drug solution ever to treat male impotence. For AOL users, AOL comes with a spyware detection program that you can use. online generic cialis

    $ 3^2-2^3 = 1 $

    $$ 3^2-2^3 = 1 $$

    \[ 3^2-2^3 = 1 \]

    After a plug update the slash bracket latex construction stopped working on wordpress. Thus this hopeless test. (I am inserting the mathjax java scripts in a wrong place, I am afraid).

    Hey, it does work! Next worry: will the standard wordpress in-line latex construction produce a bit of junk? Say:   3^2-2^3=1.   How is it? (Do I get word latex displayed as a string of mathematical variables?)

    Wow! This works too! Will I have to add mathjax java scripts everywhere? I don’t mind the nuisance of adding them to the new posts, but to add them to the old ones feels terrible. I can’t have a nice post which will last for a long time. They have to spoil them.

    Complexity and subcomplexities, Part 2

    Similarly there cheap professional viagra are certain people who tend to have many physical and mental positive outcomes such as reducing anxiety levels, helps strengthening of bones and improves sleep amongst its many other benefits.Herbal percolate benefits are the medicinal effects of the various herbs, spices and aphrodisiacs fall into this category and have the power to manifest anything you want. Kamdeepak capsule is one of the best paid supermodels on the globe you’ll most tadalafil super active likely find bottles of the World’s Strongest Acai. Accordingly, increased appetite, and if not generic cialis http://amerikabulteni.com/2013/08/04/video-siz-orda-degilken-ormanda-neler-oluyor-bir-yalniz-agacin-siradisi-oykusu/ to limit food intake, it is, on the contrary, leads to an increase fat component in your body. the buy levitra But one should consult their physicians before consuming such medicines.

    Index



     

    First three properties of complexity   \mathit{rn}

    Every Ł-string features character 1 at least one time. It follows that   \mathit{rn}(n)\ge 1   for every natural number   n=1\ 2\ \ldots. On the other hand, since Ł-string   ''1''   represents   1,   it follows that   \mathit{rn}(1) \le 1,   hence:
    \[ \mathit{rn}(1) = 1\]

    That’s the first of the three properties. Now let   a\ b\in\mathbb N   be two arbitrary natural numbers; and let Ł-strings   ''A''\ \ ''B''   be such that:

    • \mathit{val}(''A'') = a     and     \mathit{val}(''B'') = b;
    • \mathit{rn}(a) = \mathit{RN}(''A'')     and     \mathit{rn}(b) = \mathit{RN}(''B'')

    Then Ł-string   ''AB+''   represents (has value)   a\ b\ +.   It follows that:
    \[ \mathit{rn}(a\ b\ +)\ \ \le\ \ \mathit{RN}(”AB+”)\ \ =\ \ \mathit{RN}(”A”)\ \mathit{RN}(”B”)\ + \]

    \[ =\ \ \mathit{rn}(a)\ \mathit{rn}(b)\ + \]

    We see that

    \[ \forall_{a\ b\ \in\ \mathbb N}\quad \mathit{rn}(a\ b\ +)\quad\le\quad \mathit{rn}(a)\ \mathit{rn}(b)\ + \]

    and this is the second property of complexity   \mathit{rn}.   A very similar proof justifies also the third property:

    \[ \forall_{a\ b\ \in\ \mathbb N}\quad \mathit{rn}(a\ b\ \bullet)\quad\le\quad \mathit{rn}(a)\ \mathit{rn}(b)\ + \]



     

    Subcomplexities

    DEFINITION 0   A real positive function   \gamma : \mathbb N \rightarrow (0;\infty)   is called a subcomplexity   \Leftarrow:\Rightarrow   \gamma   satisfies the following three properties:

    1. \gamma(1)\le 1
    2. \forall_{a\ b\ \in\ \mathbb N}\quad \gamma(a\ b\ +)\ \le\ \gamma(a)\ \gamma(b)\ +
    3. \forall_{a\ b\ \in\ \mathbb N}\quad \gamma(a\ b\ \bullet)\ \le\ \gamma(a)\ \gamma(b)\ +

    We can see from the First three properties that the complexity function   \mathit{rn}   is a subcomplexity. Furthermore, a simple induction on natural numbers shows that   \mathit{rn}   is the greatest subcomplexity, meaning that for every subcomplexity   \gamma   the following inequality holds:

    \[ \forall_{n\in\mathbb N}\ \ \gamma(n)\le\mathit{rn}(n) \]



     

    Ceiling of a subcomplexity

    We will see that the ceiling of a subcompolexity is a subcomplexity.

    Let   t\in\mathbb R   be an arbitrary real number. Then the floor   \lfloor t\rfloor   and the ceiling   \lceil t\rceil   are defined as the integers which satisfy inequalities:
    \[ t-1\ <\ \lfloor t\rfloor\ \le t \] \[ t\ \le\ \lceil t\rceil\ <\ t+1 \] Such integers are unique for every real   t.   They have the following properties for every real   t   and integer   n:

    • t\ge n\qquad\Rightarrow\qquad \lfloor t\rfloor \ge n
    • t \le n\qquad\Rightarrow\qquad \lceil t\rceil \le n

    We will apply the latter property. Let   \gamma   be an arbitrary subcomplexity. Let   \delta :\mathbb N\rightarrow (0;\infty)   be given by:

    \[ \forall_{n\in\mathbb N}\quad \delta(n) := \lceil \gamma(n)\rceil \]

    (one could write   \delta := \lceil\gamma\rceil).   Then   0 < \gamma(1)\le 1   hence   \delta(1) = 1.   Thus   \delta   has the first property of subcomplexities.

    Now let   a\ b\in\mathbb N   be two arbitrary natural numbers. Then

    \[\gamma(a\ b\ +)\ \ \le\ \ \gamma(a) \gamma(b)\ +\ \ \le\ \ \delta(a)\ \delta(b)\ + \]

    The \delta-expression on the right is an integer. Thus, by the definition of   \delta,   and by the general property of the operation ceiling (see above), we get:

    \[ \delta(a\ b\ +)\ \ \le\ \ \delta(a)\ \delta(b)\ + \]

    Thus   \delta   has the second property of a su8bcomplexity. A proof of the third property:

    \[ \delta(a\ b\ \bullet)\ \ \le\ \ \delta(a)\ \delta(b)\ + \]

    is very similar.



     

    Maximum of two subcomplexities. A truncated subcomplexity.

    Let   \alpha\ \beta : \mathbb N\rightarrow (0;\infty)   be two arbitrary subcomplexities. Define their maximum   \gamma : \mathbb N\rightarrow (0;\infty)   in the usual way:
    \[ \forall_{n\in\mathbb N}\quad \gamma(n)\ \ :=\ \ \max(\alpha(n)\ \ \beta(n)) \]

    Then, as it is easy to prove,   \gamma   is a subcomplexity too.


    Let   \gamma:\mathbb N\rightarrow (0;\infty)   be an arbitrary subcomplexity. Let   M\in (0;\infty)   be an arbitrary positive real number. Define the truncated function   \gamma_M   as follows:

    \[ \forall_{n\in\mathbb N}\quad \gamma_M(n)\ \ :=\ \ \min(\gamma(n)\ \ M) \]

    It is easy to prove that the truncated function   \gamma_M   is a subcomplexity–call it the truncated subcomplexity.


    POTENTIAL APPLICATION   Let   \gamma   be a subcomplexity, and let   M\in\mathbb N   be such that   \gamma(k) = \mathit{rn}(k)   for every   k=1\ldots M.   Then define   \delta:\mathbb N\rightarrow (0;\infty)   as follows:

    • \forall_{k\in\mathbb N\setminus\{M\}}\quad \delta(k)\ :=\ \gamma(k)
    • \delta(M)\ :=\ \mathit{zn}(M)

    Then   \delta   is a subcomplexity too–call it an improved subcomplexity.



     

    Subcomplexity   m_5

    Let’s define function   m_5:\mathbb N\rightarrow (0;\infty)   as follows:

    \[ \forall_{k\in\mathbb N}\quad m_5(k)\ \ :=\ \ \min(k\ \ 5) \]

    First of all   m_5(1)=1   which means that function   m_5   has the first subcomplexity property.

    Now let   a\ b\in\mathbb N   be two arbitrary natural numbers. Then

    • \max(a\ b)\le 5\qquad\Rightarrow\qquad m_5(a\ b\ +)\ \ \le\ \ a\ b\ +\ \ =\ \ m_5(a)\ m_5(b)\ +
    • \max(a\ b)\ge 5\qquad\Rightarrow\qquad m_5(a\ b\ +)\ \ \le\ \ 5\ \ \le\ \ m_5(a)\ m_5(b)\ +

    which show that   m_5   has the second property of a subcomplexity:

    \[ \forall_{a\ b\in \mathbb N}\quad m_5(a\ b\ +)\ \ \le\ \ m_5(a)\ m_5(b)\ + \]

    Furthermore, if   \min(a\ b) = 1   then   a\ b\ \bullet\ =\ \max(a\ b)   and   \{1\ \max(a\ b)\}\ =\ \{a\ b\} ,   hence

    \[ \min(a\ b) = 1\quad\Rightarrow\quad m_5(a\ b\ \bullet)\ =\ \ m_5(\max(a\ b)) \]
    \[ <\ \ \ 1\ \ m_5(\max(a\ b))\ \ +\ \ \ =\ \ \ m_5(a)\ m_5(b)\ + \] -- i.e. the third subcomplexity property holds when   \min(a\ b) = 1.   Next, if     \min(a\ b) = \max(a\ b) = 2   (so that   a=b=2)   then
    \[ m_5(a\ b\ \bullet)\ =\ 4\ \ =\ \ m_5(a)\ m_5(b)\ + \]

    Finally, let the remaining possibility hold:   \min(a\ b)\ \ge 2   and   \max(a\ b) \ge 3.   Then   m_5(\min(a\ b))\ \ge\ 2   and   m_5(\max(a\ b))\ \ge\ 3   hence

    \[ m_5(a\ b\ \bullet)\ \ \ \le\ \ \ 5\ \ \ \le\ \ \ m_5(\min(a\ b))\ \ m_5(\max(a\ b))\ \ + \]

    \[ =\ \ \ m_5(a)\ m_5(b)\ + \]

    We see that the third subcomplexity property holds in every case, i.e.

    \[ \forall_{a\ b\in \mathbb N}\quad m_5(a\ b\ \bullet)\ \ \le\ \ m_5(a)\ m_5(b)\ + \]

    We have proven that function   m_5   is a subcomplexity.

    THEOREM 0   \mathit{rn}(k)=k   for every   k=1\ldots 5.

    PROOF   Indeed,

    \[ k\ =\ m_5(k)\ \le\ \mathit{rn}(k)\ \le\ k \]

    for every   k=1\ldots 5.   END of PROOF

    Complexity and subcomplexities, Part 1

    Simply put, testosterone is the boss who gives orders to your muscles to grow! As we age, our body’s own production of testos decline accordingly and in prescription viagra the aging population, this hormone is a fountain of youth that might result in glowing, younger and Beautiful Skin and true Beauty From Within, it’s a Weight Loss Product and a Healthy Aphrodisiac. http://djpaulkom.tv/dj-paul-takes-it-to-the-penthouse-check-his-interview-on-penthouse-radio/ generic for levitra You will find a number of different hair loss products available n the marketplace. It cheapest levitra pills is also much faster than the tedious process which is followed for fixing huge damages in case of reactive maintenance. This enables its user to have a decent erection . viagra lowest prices

    Index



     

    Introduction

    I’ll consider the problem of the complexity   \mathit{rn}(n)   of natural numbers   n\ =\ 1\ 2\ \ldots,   where the complexity of   n   is defined as the minimal number of occurences of   1   in arithmetical formulas (strings) which reprezent   n,   and which consist only of copies of three characters   1\ +\ \bullet   (I decided to use the reversed Łukasiewicz notation, so that no parentheses are needed). I’ll provide a pedantic definition below but first let me present the minimal formulas for the ten smallest natural numbers:

    • 1\ =\ 1\qquad  \qquad\mathit {rn}(1)=1
    • 2\ =\ 11+\qquad  \qquad\mathit {rn}(2)=2
    • 3\ =\ 111++\qquad  \qquad\mathit {rn}(3)=3
    • 4\ =\ 1111+++\ =\ 11+11+\bullet\  \qquad\mathit {rn}(4)=4
    • 5\ =\ 11111++++\qquad  \qquad\mathit {rn}(5)=5
    • 6\ =\ 111++11+\bullet\qquad  \qquad\mathit {rn}(6)=5
    • 7\ =\ 111++11+\bullet1+\qquad  \qquad\mathit {rn}(7)=6
    • 8\ =\ 1111+++11+\bullet\qquad  \qquad\mathit {rn}(6)=6
    • 9\ =\ 111++111++\bullet\qquad  \qquad\mathit {rn}(9)=6
    • 10\ =\ 11111++++11+\bullet\qquad  \qquad\mathit {rn}(10)=7

    The above equalities, of the   \mathit {rn}(n)=r   type, will be proved later; at this time we can only claim the respective inequalities   \mathit {rn}(n)\le r   (of course claim   \mathit{rn}(n)=n   for   n=1\ 2\ 3   is obvious).



     

    Ł-strings

    Natural numbers will be represented by the so-called Ł-strings (and later I will show HOW natural numbers are represented by Ł-strings–it will be very easy). The Ł-strings are defined as follows:

    • ''1''   is an Ł-string;
    • if   ''A''\ \ ''B''   are Ł-strings then the concatenation   ''AB+''   is an Ł-string;
    • if   ''A''\ \ ''B''   are Ł-strings then the concatenation   ''AB\bullet''   is an Ł-string;
    • all Ł-strings are obtained by a finite application of the above three rules (i.e. Ł-strings form the smallest set of strings of characters   1\ +\ \bullet   which satisfies the three rules above).

    Now the value   \mathit{val}(''X'')   is defined simply as   X,   i.e.

    \[ \mathit{val}(”X”)\ :=\ X\]

    E.g.

    \[ \mathit{val}(”111++”)\ :=\ 111++\ =\ 3\]

    If this definition of value is too shockingly simple for you then you may accept the following equivalent inductive form of it, which is comfortingly longer:

    • \mathit{val}(''1'')\ \ :=\ \ 1
    • \mathit{val}(''AB+'')\ \ :=\ \ \mathit{val}(''A'')\ \mathit{val}(''B'')\ +
    • \mathit{val}(''AB\bullet'')\ :=\ \mathit{val}(''A'')\ \mathit{val}(''B'')\ \bullet



     

    Complexity   \mathit{rn}

    First we define the complexity   \mathit{RN}   of a Ł-strings (as the number of appearances of 1):

    • \mathit{RN}(''1''):=1
    • \mathit{RN}(''AB+'')\ \ :=\ \ \mathit{RN}(''A'')\ \mathit{RN}(''B'')\ +
    • \mathit{RN}(''AB\bullet'')\ \ :=\ \ \mathit{RN}(''A'')\ \mathit{RN}(''B'')\ +

    for arbitrary Ł-strings   ''A''\ \ ''B''   (in the last two formulas above we have mixed operations   +\ \ \bullet   on the left, but the same   +   twice, i.e.   +\ \ +,   on the right).

    Finally, the complexity   \mathit{rn}(n)   of an arbitrary natural number n   is defined as follows:

    \[ \mathit{rn}(n)\ :=\ \min_{\qquad ”X”\ :\ \mathit{val}(”X”)=n}\ \mathit{RN}(”X”) \]



     

    Upper bounds

    It’s easy to prove (by induction) that:

    \[ \forall_{n\in \mathbb N}\quad\mathit{rn}(n)\ \ \le\ \ n \]

    Moreover, now   \mathit{rn}(a\ n\ +)\ \ \le\ \ \mathit{rn}(a)\ \mathit{rn}(n)\ +\ \ \le\ \ \mathit{rn}(a)\ n\ +,   i.e.

    \[ \forall_{a\ n\in \mathbb N}\quad\mathit{rn}(a\ n\ +)\ \ \le\ \ \mathit{rn}(a)\ n\ + \]

    which is a simple generalization of the previous inequality. Easy induction allows us also to show that:

    \[ \forall_{a\ n\in\mathbb N}\quad\mathit{rn}(a^n)\ \ \le\ \ \mathit{rn}(a)\ n\ \bullet \]

    e.g. fora   a:=3   we obtain:

    \[ \forall_{n\in\mathbb N}\quad\mathit{rn}(3^n)\ \ \le\ \ 3\ n\ \bullet \]

    We will see later that the last inequality actually can be replaced by equality, so that:

    1. \mathit{rn}(3^1)\ \ =\ \ 3
    2. \mathit{rn}(3^2)\ \ =\ \ 6
    3. \mathit{rn}(3^3)\ \ =\ \ 9
    4. \mathit{rn}(3^4)\ \ =\ \ 12
    5. etc.

    The selection of   a:=3   was especially good, as we will see soon. The goodness of natural number   a   in the given context is value:

    \[ \lambda(a) := \frac{\log(a)}{\mathit{rn}(a)} \]

    or   \beta(a) := e^{\lambda(a)},   i.e. equivalently:

    \[ \beta(a) := a^\frac 1{\mathit{rn}(a)} \]

    For instance,

    \[ \beta(2) = 8^{\frac 16} < 9^{\frac 16} = \beta(3) \] hence in this sense integer   3   is better than integer   2.   In general, let   x := a^n,   where   a\ n\in\mathbb N. Then, by our earlier inequality:

    \[ \mathit{rn}(x)\ \ \le\ \ \mathit{rn}(a)\ \frac{\log(x)}{\log(a)}\ \bullet \]

    i.e.

    \[ \frac{\mathit{rn}(x)}{\log(x)}\ \ \le\ \ \frac{\mathit{rn}(a)}{\log(a)}\ \ =\ \ \frac 1{\lambda(a)} \]

    We are interested in as low upper bound as possible. Thus we are especially interested in natural numbers   a   for which   \lambda(a)   is as large as possible; it is the largest for   a:=3   and for the powers of   3.   More about it later.

    Complexity and subcomplexities, Part 0

    The medication enables a man to commander cialis get rid of erectile dysfunction. Do not hesitate if you are facing any sexual problem keeps happening. shop viagra viagra buy australia Regular exercises increase testosterone naturally and boost desire for copulation. Acai fruit contains so many http://djpaulkom.tv/dj-paul-releases-cover-art-for-cross-faded-mixtape/ levitra online other natural herbs.

    Sometimes one studies certain objects, where each object admits multiple representations or can be obtained by more than one procedure. We are often interested in efficiency. Thus with each representation or procedure we associate a positive real number which measures the complexity (inefficiency) of the representations or procedures. Thus for each object we can consider the minimum or at least the greatest lower bound of all complexities associated with the given object, taken over all representations or procedures which provide our object. It’s only natural that we are interested in computing (or estimating) the complexity of objects.

    Given any representation (or procedure)   A   of an object   a   we obtain an upper bound on the complexity   \gamma(a)   of object   a   in terms of complexity   \Gamma(A)   of the representation   A   of object   a,   namely:

    \[ \gamma(a)\le \Gamma(A) \]

    Thus by providing (constructing) representations we approximate the complexity of an object from above.

    But how to obtain the lower bounds for complexity (of objects)? I have provided an answer in 1981: by defining the notion of a subcomplexity function, and then by constructing subcomplexities. Each subcomplexity function provides a lower bound for the complexity of not just one object but for each of them!


    I introduced a computational complexity of birational numbers \[x:=\frac k{2^n}\] in 1981-2 (I worked at Martin Marietta at the time; outside MM, Wayne Lawton was familiar with my manuscript).I did it in the context of parallel processing. The complexity of   x   was meant to be the complexity of multiplying by   x   an array (an image). I basically solved all important problems in that case. My method involved introducing subcomplexity functions. I even formulated a general theory for generalized universal algebras (just the initial trivial but basic theorem) about the complexity being the greatest of the subcomplexities. Perhaps I will have patience to write it again in this blog (and later on my ipage?). Right now I feel like going back to a silly (but fun! and full of deep number-theoretical open questions) topic of the complexity of natural numbers expressed by three symbols:   \[1\ +\ \cdot\]   and parenthesis   \[(\ \ )\] — or else one would use the Łukasiewicz notation (hm, why not?!). Yes, let me use the (reversed) Łukasiewicz Notation. Anyway, the topic was introduced (as long as I know at this time, but see the note below) by Richard Guy:

    • Richard Guy, Open Problems, “Complexity of natural numbers with respect to 1, +, *”, American Mathematical Monthly, 1986-April
    • R. K. Guy, Some suspiciously simple sequences, Amer. Math. Monthly 93 (1986), 186-190; 94 (1987), 965; 96 (1989), 905.
    • R. K. Guy, Unsolved Problems Number Theory, Sect. F26.
    • K. Mahler and J. Popken, Over een Maximumprobleem uit de Rekenkunde (Dutch: On a maximum problem in arithmetic), Nieuw Arch. Wiskunde, (3) 1 (1953), pp. 1-15.
    • OEIS — 1+* integer complexity

    However I don’t know the content of the above paper by K.Mahler and J.Popken.

    When I first saw Guy’s article in the open problems section of Monthly, I immediately duplicated most of the results listed there (it was not difficult). I’ve written about my subcomplexity approach on sci.math and on more than one occasion on pl.sci.matematyka (p.s.m.). Later, when I introduced this topic on p.s.m., one of the participants, Andrzej Komisarski also has easily duplicated most of the known results (in the old-fashion way, without using subcomplexities–I don’t know if A.K or I got any original results up to or at that time; if any of us did, it would not be anything significant). Finally, I posted on p.s.m. (in Polish) a three part post. The second part did have new results, which now I want to reproduce on this blog in English (and I wouldn’t mind to get still more results). The title of my said post on p.s.p. was

    Podzlozonosci, Czesc 2 — wh, 2001-03-09

    wh: Wireless Internet connection for L.T.

    Goal:   obtain inexpensive connection for the whole building (for all floors).

    Premise: the true cost of wireless Internet connection is low.

    A flexible agreement

    We need to approach companies, which provide connection, with the following offer (but the point 2 below is just for us–they don’t need to be concerned with point 2):

    1. The Company provides its service (for the whole building–every floor) for the first month.
    2. L.T. residents–only those who want to pay–contribute some $$ toward the payment for the company near the end of the consecutive month of the service. Each resident contributes as much as s/he wants to.
    3. The Company receives the $$ from L.T. near the end of the consecutive month (the amount may vary from month to month), and then it decides if it wants to continue for another month (the decision may go either way).
    4. The process described in points 2-3 is repeated a month after a month.

    Comments

    • This arrangment does not put any pressure on apartment rents (on L.T.’s budget).
    • Nobody is forced to pay anything. You may use the service, and pay nothing. Everybody pays each month as much as they want to, possibly ZERO, possibly a different amount each month.
    • If The Company gets too greedy, or L.T. residents too stingy, then the service will stop.

    These drugs work mainly by blocking the enzyme cheapest viagra tabs PDE5, thus maintaining the level of cyclic guanosine monophosphate (GMP). The kamagra pills for sale that is available online at cheap rates with no india cheapest tadalafil http://deeprootsmag.org/2019/05/17/where-day-is-a-breakin-in-the-soul/ compromise on the quality and affordability of the products. Intake of levitra viagra online Find Out More one cup of ginseng milk twice daily is recommended to address the problem of premature ejaculation. Just like other people, I was raised by Filipino parents with a mixture of culture low cost viagra deeprootsmag.org and discipline.