REPRESENTAGAO HOLISTA DE NUMEROS REAIS leah LIST Dene ee on poeINTRODUGAO: Designa-se por representagio hibrida de ntimeros reais ‘qualquer representagio de ntimeros reais numa dada base b, na forma Of abl, com n € Ze m € Zou m= —00, sendo os termos a; elementos do alfabeto da base b afe- tados pelos sinais “+” ou ‘~, ditos digitos, no caso geral, ‘ou, especificamente e por simplicidade,digitos positives ou digitos negations, conforme a afetagao de sinal ‘Como exemplo sugestive duma representagéo hibri- dda de um neimero real, consideremos © nimero decimal 15=1x109+5x 10-1 Verifica-se imediatamente a igualdade 15 =2 x 10° + (~5) x 10-4, que induz a re- presentagdo 2.5 para o ndmero 1.5, na qual 0 operador ‘~’ {que afeta o digito 5 ¢ undrio. Para tomar mais simples a leitura de representagies hibridas, usaremos a notagio de Colson [3] que consiste em denotar cada digito negative pelo correspondente digito positive encimado por uma barra. Assim, em vez de 2.5 eserevemos 25. Existem vi- rias representagdes hfbridas para o ruimero 1.5, como se- jam L 1 ete. 185 =10-8-05 =195= 10-9405 ‘Veremos adiante que a denotagio do niimero 1.5 segundo a representagao holista é 25. As aplicagies de representagSes numéricas hibridas de _ntimeros inteiros incluem dreas como a arimética compu- tacional, a criptografia e o processamento digital de sinal [4]. Na aritmética computacional, este tipo de representa- propésito deste artigo éa Poet cR steed Se ere REC ate eee Oe um conjunto de propriedades que Pee CBr coterie Cooke cS eee at! aaa en ESE E Rn Sty «co numérica torna possivel implementar somadores que limitam o comprimento das cadeias de propagagto de trans- porte (carry propagation chains, na terminologia inglesa), © que permite que o tempo gasto na adigéo de dois nime- ros seja independente do niimero de digites envolvidos [5]. Isto & conseguido fazendo com que o valor de qual- quer digito s, que ocorre na soma de dois nmeros po- sitivos com n +1 digitos, (xq ---x2%¥0) + (Ye -*+yovavo), dependa apenas dos digitos x, 33-1 € ¥i¥4-1 Apresentamos no esquema seguinte a soma de dois niimeros de quatro digitos, x = xax2¥%X) = 2345 € y= yayayiyo = 7818, usando um algoritmo de adicéo que evita a propagagio de digitos de transporte [5] 2345 +7818 T1010 — digitos de transporte 57 > somas de digitos por coluna 10567 > resultado Na linha digitos de transporte ests colocado, por coluna ¢j 0 digito de transporte t, da coluna anterior, sendo t; = 1se xia ya 29 et =0sex; 1 +; <9. Tomandocomo exemplo a coluna cp, temas que o digito de transporte a colocar na coluna 63 €f3 ~ 1, porque x2 +¥2=3 +8 11 Na linha somas de ditos por coluna esta colocado, por co- luna ¢, 0 simétrico do complemento para 10 do digito me- nos significative da soma x; + yi Sex; + ys 2 9, 0x odigito correspondente & soma no caso de ser x; + y; < 9. Toman- do como exemploa coluna cs, temos x3 + ys 3+8= 11, pelo que o digito a colocar é ~(10~ 1) = T. Na linha re- sultado, esté colocada a soma dos miimeros nas linhas dé sitos de transporte e somas de digitos por coluna, sendo que uma soma de digitos do tipo a ~ 5 deve ser interpretada como a sea > b, ou Ba, seb > a. No resultado final, 10367, os digitos com barra revertem para os correspon- dentes valores positives, 3 -> 1e7 ~> 3, obtendo-se 10163. leitor pode apreciar este esquema e verificar que para conhecer o resultado em cada coluna sio necessé- rios apenas os digitos de cada operando nessa coluna ¢ za coluna anterior. Esta virtude permite calcular em para- Ielo 08 digitos do resultado, tornando o tempo de célculo independente do ntimero de digits dos operandos ¢ do _nimero de transportes verificados. ‘No restante deste artigo apresentamos a representagio holista de nmeros reais. Designamos por forma holista de REPRESENTACAO HOLISTA DE NUMEROS REAIS + Mario Abvances 356 ‘um miimero real ra sua denotagdo segundo a representa 80 holista, que abreviaremos por hy, ou h(r), conforme a conveniéneia. Representa-se pelo sfmbolo Ho conjunto das formas holistas obtidas para todos os mimeros reais A representagdo holista tem as propriedades seguintes: (estabelece uma relagio biunivoca entre 0 conjunto dos ntimeros reais I ¢ 0 conjunto das formas holistas Hi; (i) 6 uma representagio equiponderada (ver definicao 2); (ii) de entre todas as representagbes hibridas equiponderadas de miimeros reais positivos (respetivamente negatives), nenhuma utiliza mais digitos negativos (respetivamente pPositivos) do que a representacio holista; (iv) ndo existem. zeros entre quaisquer dois dfgitos nao nulos da forma ho- lista jipde um nsémero real r. A representacio holista e as suas propriedades ao ser definidas para ntimeros na base 10, por comodidade, mas ‘io estendiveis a qualquer outra base inteira de numeracio, REPRESENTAGAO HOLISTA ‘Vamos definir representagio holista. Comecemos com um exemplo prévio. Seja 0 ntimero real r = 19.945. A forma holista deste ntimero constrGi-se nos passos seguintes 1, Adicionar 1 a0 digito mais significative. Obtém-se 29.945; 2. Substituir o nximero formado pelos restantes digitos, 9.945, pelo seu complemento para 10, 0.055, afetando pelo sinal ~’ cada digito no nulo deste complemen- to. Obtém-se 20.055. Designamos esta forma por hi; 3. Fliminar os zeros de hj, substituindo o par 05 por 15, do que resulta a sequéncia de simbolos 20.755, e de- pois o par 0T por 19, obtendo-se 27.955. A forma obti- da h, — 27.955 6 a forma holista de r, Note-se que no cexistem zeros entre cada dois digitos nao nulos de i Definigio 1. (Representagdo Holista). Seja r um nimero real,sinal(r)osinalderer = sinal(r)ratya--ro-r ar 2 a representagdo decimal mais curta possivel de r', com rn #0, Diz-se representagao holista de r a forma decimal iy = Oy + com ay #0, caleulada do ‘modo que se segue. 1.Ser €um inteiro no negativo, 0 erd {1,2,---,9), entio: a. Fazer He (rt 1X10" + 10" sendo (10" = tyas-70rara de simbolos que se obtém afetando com o opera- teratade Je a sequencia dor unério ~’ todos os digitos néo nulos do com- plemento para 10 do numero rq1---Forar-2--4 b. Fazer substituigdes de Colson [3] que consistern em. substituir em hj, sucessivamente, todos os pares de digitos consecutivos do tipo 0, d > 0, por Td, com d’ = 10~d, até se obter uma representagio sem pares do tipo 0d. Seja ht’, a sequéncia de sim- bolos resultante; €.Se 0s dois digitos mais significativos de h, forem 1T, entdo substitutlos pelo digito 9. O nimero re- sultante €a representagio holista hy de r 3. Se r <0, entdo tomamos —r e procedemos come nos itens 1, 2 anteriores, sendo ha representagio que se ‘btém trocando o sinal de cada digito da sequéncia final obtida, Exemplo 1. Consideremos alguns exemplos. Seja 7 =991, Calcula-se fr, a partir deh = (9 +1) x 10° — (100.91) = 10.05 nos seguintes passos: substitui-se o par de digitos 03 por 11, obtendo-se 10-71; substitui-se em 10.1 0 par de digitos OT por 19, obtendo-se hi", = 1791; finalmente substitui-se em 11.91 0 par de digitos 11 por 9, “encurtando” a parte inteira de h', obtendo-se hy = 9.91. Assim, obtemos sucessivamente r=991, Hi, = 1003, hl) =1T91, hy = 991. De modo andlogo temos, 7 =900, = 1700, h', = 1100, hy = 900; r= 1991, Ky =2005,h", = 2791, by = 3157 ‘Uma das consequéncias do Teorema 1 apresentado adian- te 6 que no processo referido no item 2b. da definigdo an- terior a ordem pela qual sio eliminados os pares 07 nio altera a forma hi, obtida, PROPRIEDADES DA REPRESENTAGAO HOLISTA A proposigio seguinte é uma caracterizagio da forma ho- lista dos nuimeros reais. Proposigio1.A forma holista iy = ayy 1° Aost-a0-2 cde um miimero real rndo negativo tem as seguintes pro- priedades: 1. hy ndo tem dois digitos positives consecutivos dydy com dy 495 2. hy ndo tem dois simbolos consecutives do tipo Tidy com ds #1;3. As sequéncias de digitos consecutivos situados entre dois quaisquer digitos nao nulos de fh, ndo contém nenhum digito nulo. Se hiy€ um nimero negativo, entdo estas propriedades sf0 verificadas por ~h,, que se obtém trocando o sinal a cada Aigito de hr Prova. 1. Os digitos do ntimero He = (re 1) x 10" 4 (10 ry pesto ara Je (ver item 2a, da definigdo 1) sdo, & excegio do digi to mais significativo, negativos ou nulos. Os digits positivos do ntimero hy correspondente, para além do igito mais significativo, sio produzidos pelas substi- tuigdes de Colson indicadas no item 2b, da definigao 1, as quais trocam cada par consecutivo de digitos do tipo 0d, d > 0, por um par de digitos na forma Td’ d= 10-d>0. Por aplicagio de substituigées de Colson, as tinicas formas de obter um digito positi- vo 3 esquerda de d’ > 0 sio: (i) existir um zero a es- querda de Td’, sendo a sequéncia 07d substitutda por ‘Tod’; (i) 0 digito mais significativo do ntimero fi, ser 1 estar 8 esquerda do par Td’, caso em quea sequéncia TId! 6 substituida por 9a” (ef. item 2c. da definigdo 1). Este argumento prova o item 1 da proposicao. 2. Como se referiu no item anterior, os digitos positives de I, dircita do seu digito mais significative so pro- uzidos pelas substituigées de Colson, que ndo geram pares de digitos consecutivos do tipo Tia, diy dy > 0, com dy # 1. Este argumento prova o ponto 2 da pro- posigio 3. Qualquer digito nulo situado entre dois quaisquer digitos nfo nulos de hy, teria de‘sobreviver’ 8 trans- formagio der em hy descrita no item 2. da definigho 1 Mas qualquer sequéncia de zeros situada entre dois digitos nao mulos de hy, tem um digito negative & sua direita, o que permite a aplicagio de uma substituigso de Colson, eliminando um zero da sequéncia, Qual- quer sequéncia de zeros remanescente mantém ainda tum digito negativo a sua direita, 0 que permite apicar nova substituigfo de Colson. Por consequéncia, no pode exist nenhuma posigio k c Z tal que a #0 € exista algum digito nulo na subsequéncia de digitos fip---ay defy, Este argumento prova o item 3 da pro- posigao. a No que se segue, mostraremos que a cada niimero real rr cortesponde uma, e uma 56, forma holista, sendo esta uma propriedade distintva desta representagSo hibrida Definigio 2. (Representagao equiponderada). Dizemos que uma representagdo hibrida de ntimeros reais 6 equipondera- dase, e somente se, cada niimero real r © a correspondente forma hibrida -y,,tém: (a) os digitos mais e menos signifi cativos nas mesmas posigSes em relagio a0 ponto decimal, no caso de r ter dizima finita;(b) os digitos mais significati- ‘vos nas mesmas posigdes em relagdo ao ponto decimal, eas dlizimas infinitas, no caso de r ter dizima infinit. Proposigio 2. A representagio holista é equiponderada. Prova. Sejar um mimero real. Se a dizima de r for finita, a definigao 1 diz-nos que o digito menos significative de i tem o mesmo peso que os digitos menos significativos dere de hy. No item 2a, da definigio 1, verfica-se que se houver transporte na soma (r» +1), entdo os dois ‘mais significativos de ii sio 10, depois transformados em. Tem Ht, no item 2b, e finalmente transformados em 9 no item 2c. Portanto, havendo ou néo transporte, 0s di gitos mas significativos de li, e de r tém 0 mesmo peso. Sea dizima de r for infinita, entdo a dizima de h, também 6 infinita, pela definigio 1 o tos Proposigio 3. Seiam w= (Gqaq1-s) X10 Qybe-1---) * 10%, com qn eZ, duas representacdes equiponderadas o mais curtas possvel (cf. nota de rodapé 1) de um mesmo mimero real r, com digitos diferentes ex, pelo menos, uma posigio p bp. Fazendo We = SE a0! + ap10" + Hg pa We = Sto! bdo? + gt pa em que hi € fi" representam os restos das respetvas sé- ries, obtemos Pan eh 2 (ap bp 10" 4 2 (ap bp)10” = hg? — Verifica-se imediatamente que ay © by de vem ter 0 mesmo sinal porque, de contrétio, se- ia [aad 1° tp Buby 1--Bp| > 1 dado que, por hipétese, a =b, para prIsi Bp entdo deve ser tly 1+ Alp ~ baby 1-—bp = renga esta que s6 permite h* — ft se for hij <0 € Ing? > 0. Isto implica ser ap-1 <0 ¢ Bp-1 > 0. Mas esta conclusio levanta uma contradigéo: se for by > 0, entéo deve ser by = 9 pelo item 1 da Proposigao 1, 0 que con- traria a hipotese de ser ay > by, uma vez que ay € bp tém ‘mesmo sinal; se for by <0, entdo deve ser by = ~1 pelo item 2 da proposigdo 1, o que contraria a hipotese de ser ay > Bp, uma vez que ay by tém o mesmo sina. Como consequéncia, nio existe nenhum inteiro p para o qual seja ay F by pelo que as representagdes holistas ht e k"* so, igito a digito, iguais. o Proposiglo 4. Seja hy ~ ayy_1---a forma holista de um iimero real r positive, e 47 = bybe1-~ uma forma hk brida equiponderada qualquer de r (ignorando eventuais Pontos decimais). Se existe uma posigdok tal que by < 0 € a > 0, enti: 1. Ou ay, = Leb. = 03 2.0u ei ptkiy t em ya sequénciab ybesy a entio existe em hy, sequéncia T99. .-9n, aquecorresponde baby = 00-- Ob Prova. Seja entao hy = aydig a -- Ye = Buby 2 by <0 € a, > 0. Vale o seguinte argumento. 1. Se acy1 > 0, entdo ay —9, pelo item 1 da pro- posigio 1. Analogamente, entio deve ser agy2=9- Como yy = hy © aut > bby vy para alguma posiggo k+p deve ser isp <0. Pelo item 2 da proposigio 1, deve ser disp —=—1 © portanto aespdkep a 4.10% =T99- Say. Se ys <0, entéo ay = 1 ppelo item 2 da proposigéo 1. Mostramos assim que os tipos de sequéncias de digitos & esquerda de ay na for- ‘ma I So conforme enunciado na proposigio. Vamos agora verificar 0 que af € dito a respeito das sequén- ias de digitos a esquerda de by na forma 7. se m42>0, 2. Consideremos 0 caso em que aj.y--1 € a, — by =10+d > 10, com 0 10)x) temos |D| > 2, pelo que D no pode ser com- pensado por @y---Ayeyit ~One*-Beapyy © por isso hy # 71 N&o pode pois ser o caso de, para alguma posigio k 1 0, se para alguma posigao k 0 eb <0, en- tao existe uma sequéncia de digitos asp ay.y em hy, com p > 1, contendo um dfgito negativo, ao passo que a sequéncia homéloga by, pbx. em Tendo contém digi- tosmegativos. Logo nao pode ter mais digitos negativos do que fi. Disto resulta que se for r < 0, entdo ~r ndo pode ter mais digitos negativos do que ~f,, pelo que Yr nao pode ter mais digitos positives do que fi, (notar que © simétrico duma forma se abtém trocando os sinais dos digitos da mesma). o REPRESENTAGOES HiBRIDAS USUAIS Existem na literatura varias propostas para representar niimeros reais usando digitos com sinal positivo ou ne- gativo. Uma delas ¢ devida a John Colson [3], quinto pro- fessor lucasiano na Universidade de Cambridge. Colson prope que cada um dos digitos d € (1,2,3,4,5,6,7,8,9} da representagéo decimal usual de ntimeros reais possa ser substituido pela sequéncia 1d = 1 x 10 (10d), de ‘uma forma nao determinista, Substituigdes deste tipo, que atras designémos por substituigdes de Colson, produ- zem formas miiltiplas para cada ntimero real. Por exem- plo, 121 = 281 resultantes para cada niimero real, Colson usa, no entan- to, a que resulta de uma transformaggo por ele designa- dda Redugio aos Menores Digitos (Reduction to Small Figures, ro original), em que se transforma cacia ntimero decimal positive fazendo substituigées de Colson apenas nos df- agitos ‘grandes’ (67,89). Por exemplo, de 98736 obiém-se sucessivamente, do digito menos significative para o mais significativo, 98744, 99844, 107343, sendo esta tilima a re- siuzida aos menoresdigitos do ntimero 98736. Usando os nt eros nesta notagio, as operagies aritméticas de adigéo multiplicagio, por envolverem apenas ntimeros forma- dos com os digitos mais pequenos, e com ambos os sinais, {0,41,42, £3, 44, 45}, promovem uma menor quantida- de de operagées de transporte, efetuando-se por isso de forma mais expedita, Propostas semelhantes foram apre- sentadas por A. Cauchy [2] E Selling e W. Ford [1] ‘Outras propostas pociem ser mencionadas, como a re- presentagdo na Forma Nao Adjacente’, que utiliza a base 2 € digitos com os valores {-1, 0, 1}, produzindo miimeros que exibem, pelo menos, um zero entre cata dois digitos no nulos. Outro tipo de representagio com digitos posi vos e negativos é a notagio na forma balanceada’ que, para cada base b, representa os niimeros usando o alfabeto {ok (b—1) ~k} sendo geralmente k = |#/2). Nesta = 1521. De todas as denotagbes possiveis ltima fanntia de representagbes, tem especial interesse a representagio bilanceada ferniria, que usa 0 alfabeto (1,0, 1], adotada como representagso numérica interna da clas- REPRESENTACAO HOLISTA DE NUMEROS REAIS + Mario Abvances »se de computadores russos Seti, desenvolvidos nos anos [50 € 60 do sée. XX." UM PROBLEMA PARA O LEITOR Existe uma representagSo hibrida equiponderada, desig- nemo-la por «, interessante pela propriedade seguinte. Sejam r um mémero real qualquer, ay a forma de r nesta representagio, e w; , 40} 0s médulos dos valores das par- tes negativa e positiva de wy (eg. se for «, = 1.28, entio Wy = 02,7) = 1.09) Para toda a forma hibrida equipon- derada 7 de r, veritica-se: wr >a wf 2 Deixamos a0 leitor o desafio de definir esta representacao. AGRADECIMENTO (© autor agradece o trabalho de revisio deste artigo, que concorreu para melhorar a clareza ea correcio do mesmo. REFERENCIAS [1] Florian Cajori, A Iistory of Mathematical Notations, Do- ver Publications, 1993. p. 57 [2] Augustin-Louis Cauchy, Sur les Mayens d’Evite les Er- reurs dans les Cateuls Numériques, Comptes Rendus 1540, 11789. [3] John Colson, A Short Account of Negativo-Afirmative Arithmetick, Philosophical Transactions of the Royal Socie- Clube de Matematica SOCIEDADE PORTUGUESA DE MATEMATICA ty 1726 34:161-73, [4] Bheid, N., M. and Hasan, M., A. On binary signed digit representations of integers, Des. Codes Cryptography, Vol 42, No. 1, 2007 [5] Koren, 1, Computer Arithmetic Algorithms, Prentice-Hall Inc, Englewood Cliffs, NJ, 1993. [6] Phatak, D. S. and Koren, L, Hybrid Signed-Digit Num- ber Systems: A Unified Framework for Redundant Number Re- presentations with Bounded Carry Propagation Chains, [EEE ‘Trans. Comput, Vol. 43, No, 8, 1994, pp. 880-891, ourorade pela Universidade Nova de Lisbon, profesor de Materia no Ietiuto Poltéenico de Braganes Lepedaorghk VISITE O CLUBE DE MATEMATICA 'DASOGEDADE PORTUGUESA DE MATEMATICA ‘Yxarens or orm ons Yommunsas msssreuros J mreatems Jeximos TUdO ISTO ENUTO MAS EM MMW CLUB SPRLPT DEMOED. Cane Cea ee eRe ew,