Nombres de Catalan: diferència entre les revisions

Contingut suprimit Contingut afegit
m Robot corregeix l'ORDENA, en treu blancs i caràcters especials i posa majúscula on toca.
Cap resum de modificació
Línia 96:
Una expressió alternativa per '' C '' <sub> '' n '' </sub> és
: <math> C_n ={2n \choose n}-{2n \choose n-1}\quad \mbox{amb}n \ge 1. </Math>
Aquesta altra expressió mostra que '' C '' <sub> '' n '' </sub> és un [[nombre natural]], la qual cosa no resulta obviòbvia '' a priori '' mirant la primera fórmula donada.
 
Els nombres de Catalan satisfan la següent [[relació de recurrència]]:
Línia 104:
I també satisfan:
: <math> C_0 = 1 \quad \mbox{i}\quad C_{n+1}= \frac{2 (2n+1)}{n+2}C_n, </math>
que pot serésser una forma més eficient de calcular-los.
 
L'expressió en forma de [[recursió]], seria:
Línia 117:
Asimptòticament, els nombres de Catalan creixen com:
: <math> C_n \sim \frac{4^n}{n^{3/2}\sqrt{\pi}}</math>
considerant que el quocient entre ell' '' n ''-ésimoèsim nombre de Català i l'expressió de la dreta [[límit matemàtic|tendeix cap]] 1 quan '' n '' → ∞ (això es pot provar usantfent ús de la [[fórmula de d'Stirling]]).
 
== Aplicacions en combinatòria ==
 
Hi ha múltiples problemes de [[combinatòria]] on la solució la donen els nombres de Catalan. El llibre '' Enumerative Combinatorics: Volume 2 '' ded'en '' Richard P. Stanley '' conté un conjunt d'exercicis que descriuen 66 interpretacions diferents dels nombres de Catalan. Aquí es mostren alguns exemples, amb il·lustracions per al cas '' C '' <sub> 3 </sub> = 5.
 
* '' C '' <sub> '' n '' </sub> és el nombre de ''' paraules de Dyck ''' de longitud 2 '' n ''. Una paraula de Dyck és una [[cadena de caràcters]] que consisteix en '' n '' X's i '' n '' I's de manera que no hi hagi cap segment inicial que tingui més I's que X's. Per exemple, el següent són les paraules de Dyck de longitud 6:
<center> <big> XXXYYY XYXXYY XYXYXY XXYYXY XXYXYY </big> </center>
 
* Reinterpretar el símbol X com un [[parèntesi]] obert i la I com un parèntesi tancat, '' C '' <sub> '' n '' </sub> compte el nombre d'expressions que contenen '' n '' parells de parèntesis correctament col ·locats:
<center> <big> ((())) ()(()) ()()() (())() (()()) </big> </center>
 
* '' C '' <sub> '' n '' </sub> és el nombre de formes diferents d'agrupar '' n ''+1 factors mitjançant parèntesis (o el nombre de formes de d'[[propietat associativa|associar]] '' n '' aplicacions d'un [[operador binari]]). Per '' n '' = 3 per exemple, tenim les següents cinc formes diferents d'agrupar els quatre factors:
<center> <math> ((ab) c) d \quad (a (bc)) d \quad (ab) (cd) \quad a ((bc) d) \quad a (b (cd)) </math> </center>
 
* Les aplicacions successives d'un operador binari es poden representar amb un [[arbre binari]]. En aquest cas, '' C '' <sub> '' n '' </sub> és el nombre de [[Arbre (estructura de dades)|arbres]] binaris ded' '' n ''+1 fulles, en els quals cada node té zero o dos fills:
[[Fitxer: Catalan 4 leaves binary tree example.svg|center]]
 
* '' C '' <sub> '' n '' </sub> és el nombre de ''' camins monòtons ''' que es poden traçar a través de les línies d'una malla de '' n '' × '' n '' cel quadrades, de manera que mai es cruïllacreuï la diagonal. Un camí monòton és aquell que comença a la cantonada inferior esquerra i acaba ena la part superior dreta, i consisteix únicament en trams que apunten cap amunt o cap a la dreta. El recompte d'aquests camins és equivalent a comptar paraules de Dyck: X significa "moure's a la dreta" i Y significa "moure's cap amunt". Els següents diagrames mostren el cas '' n '' = 3:
[[Fitxer: catalan number 3x3 grid example.svg|center]]
 
* '' C '' <sub> '' n '' </sub> és el nombre de formes diferents de tallar un [[polígon]] convex ded' '' n ''+2 costats a [[triangle]]s connectant vèrtexs amb [[recta|línies rectes]] sense que cap es talli. La següent figura il·lustra el cas dels polígons de 5 costats, quan '' n '' = 3:
[[Fitxer: catalan number polygon cut into triangles example.svg|center]]