arxiv: v1 [math.co] 21 Jan 2016

Transcription

1 PROOF OF BIJECTION FOR COMBINATORIAL NUMBER SYSTEM axv: v [math.co] Jan 06 ABU BAKAR SIDDIQUE, SAADIA FARID, AND MUHAMMAD TAHIR Abstact. Combnatoal numbe system epesents a non-negatve natual numbes as sum of bnomal coeffcents. Ths pape pesents an nducton poof that thee exsts unque epesentaton of evey non-negatve natual numbe m as sum of bnomal coeffcents.. Intoducton Combnadcs o combnatoal numbe system s a mxed adx epesentaton fo natual numbes. The place value assgned to a bnay dgt s a bnomal coeffcent. By estctng the numbe of bnomal coeffcents, say to, any non-negatve ntege m can be epesented unquely as sum of bnomal coeffcents. A dffeent value of would esult n a dffeent combnatoal numbe system. Combnatoal numbe system solves the ankng/unankng poblem by dectly calculatng the lexcogaphc ode of a pemutaton of bnay stng wth ones. The becton between a natual numbe and ts combnatoal epesentaton was fst seen by D.H.Lehme []. Enumeaton of combnatons s a ubqutous compute scence poblem wth well establshed algothms[][3]. Fndng combnatons and the lexcogaphc ode usng combnatoal numbe system[4] s also known as combnadcs, a tem cedted to James McCaffey[5]. Ths pape pesents a smple becton poof between a numbe and ts combnatoal epesentaton usng mathematcal nducton and the Hockey-Stck dentty of the Pascal s tangle. Afte statng the combnadc theoem and helpng lemmas, secton- poves the exstence of combnatoal epesentaton fo a non-negatve natual numbe. Secton-3 poves the unqueness of such a epesentaton. Theoem. Combnadcs. m 0,m N 0, thee exst unque,c,,c,,c such that C 0, and C C fo and C. m C C C C C We use the followng defnton fo bnomal coeffcents fo two non-negatve nteges n, N 0 Key wods and phases. Combnatocs, combnadcs, bnomal coeffcents, mxed adx numbe system, ankng. The fst autho was suppoted by HEC, Natonal ICT R&D fund.

2 ABU BAKAR SIDDIQUE, SAADIA FARID, AND MUHAMMAD TAHIR Defnton.. n n!!n! fo n 0 othewse To epesent a zeo n bnomal coeffcent system, equaton-. educes to 0. 0 Ths s the unque epesentaton of zeo wth the gven estctons on C s. Fo subsequent agument we wll make use of ths zeo. Fo bevty we use the notaton 0 to epesent a zeo consstng of bnomal tems as pe equaton-.. Lemma.3. We pove the followng Hockey-Stck Identty fo Pascal s tangle n n.3 0 Poof. We pove t usng the basc popety of the Pascal s tangle. That s evey enty s the sum of two entes n the pecedng ow, one on the top and the othe on the top-left of the cuent enty. n n n.4 We get equaton-.3 by applyng equaton-.4 ecusvely and epeatng the pocess tll s deceased to zeo. n n n n n n n n n n 3. n n n n n 0 Snce x 0, x N 0. The consequence of lemma-.3 s the next coollay. Coollay.3.. n n.5 Also fo n,n N 0 and n n, lemma-.3 gves Coollay n n

3 PROOF OF BIJECTION FOR COMBINATORIAL NUMBER SYSTEM 3. Exstense Theoem.. m 0, and m, N 0, C,,C,,C such that C 0, and C C fo and. m C C C C Poof. We pove t usng mathematcal nducton. Base Case: Take m 0 as the base case.. 0 C 0 Both LHS and RHS ae zeo wthout volatng the condtons on C. C Inducton Hypothess: Each m k has a epesentaton as sum of bnomal coeffcents..3 k C C C C C We need to show that k can be wtten as sum of bnomal coeffcents. Inducton Step: Add to both sdes of equaton-...4 k C C C C C Consde the fst C s that ae consectve. That means C l C l fo l <.5 k C C C { C C α C C Whee α. The pat enclosed n culy backets n equaton-.5 can be smplfed usng the Hockey-Stck Identty of equaton-.6. }

4 4 ABU BAKAR SIDDIQUE, SAADIA FARID, AND MUHAMMAD TAHIR.6 n The equaton-.5 now becomes, C C.7 k n C α C The equaton-.7 has sum tems nstead of tems. To complete the numbe of tems we add to ts RHS..8 k { C C } C C C C { } 3 0 In equaton-.8 the pat n culy backets s zeo. Q.E.D. 3. Unqueness Theoem 3.. m 0, and m, N 0, we have unque C,,C,,C such that C 0, and C C fo and C 3. m C C C C C Poof. Let n N 0 Let A and B be two dstnct combnatoal epesentatons of m n bnomal coeffcents. a a A b b b B Consde sets A A B and B B A, cayng elements of A and B that ae not pesent n the othe set. Snce A and B have equal sums: 3. A B Wthout loss of genealty assume that A s empty. To have the same sum wth non-negatve coeffcents, B should also be empty. Howeve because A B, t follows that both A and B must be non-empty. a

5 PROOF OF BIJECTION FOR COMBINATORIAL NUMBER SYSTEM 5 Suppose C A and CB be the lagest coeffcents n A and B espectvely. Fom coollay-.3., fo non-negatve nteges,,k N 0, k fo k Snce A and B cay no common elements, theefoe C A C B. Wthout loss of genealty suppose that C A < C B. Fom coollay-.3. t follows A CA < and so: A CB < n A CA CB < n But fom equaton-3.: A B Fom ths contadcton, the case that A and B ae non-empty s not possble. Theefoe A B and so A B. Thus the combnatoal epesentaton s unque. Refeences. Beckenbach, Ed. E. F. 964, Appled Combnatoal Mathematcs, pp Knuth, D. E. 005, Geneatng All Combnatons and Pattons, The At of Compute Pogammng, 4, Fasccle 3, Addson-Wesley, pp. 56, ISBN Butle, Jon T., and Tsutomu Sasao. Index to constant weght codewod convete. Reconfguable Computng: Achtectues, Tools and Applcatons. Spnge Beln Hedelbeg, Pascal, Enesto 887, Gonale d Matematche, 5, pp McCaffey, James 004, Geneatng the mth Lexcogaphcal Element of a Mathematcal Combnaton, Mcosoft Develope Netwok Depatment of Electcal Engneeng, UET Lahoe Cuent addess: NWN Lab, Al-Khwazm Insttute of Compute Scence, UET Lahoe E-mal addess: mabs39@gmal.com Depatment of Mathematcs, UET Lahoe Depatment of Electcal Engneeng, UET Lahoe