Orientador: Andreia Cristina Ribeiro / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T11:28:46Z (GMT). No. of bitstreams: 1 Assis_LucianaMafaldaEliasde_M.pdf: 10126493 bytes, checksum: bb2628e76f90df6deb24a9011e535714 (MD5) Previous issue date: 2008 / Resumo: Neste trabalho são apresentados vários resultados importantes da Análise Combinatória com destaque para o Princípio da Inclusão e Exclusão. Relevantes aplicações deste princípio são abordadas / Abstract: In this work we present important results from enumerative combinatorics, with an emphasis on the Principle of Inclusion and Exclusion. Relevant applications of this principle are presented to illustrate its use / Mestrado / Mestre em Matemática

Orientador : Luiz Paulo de Alcantara / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T01:03:40Z (GMT). No. of bitstreams: 1 Gonzalez_CarlosGustavo_D.pdf: 1718213 bytes, checksum: bf9cc685d8b4e892bab370b4ddb18d01 (MD5) Previous issue date: 1994 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Filosofia

Dissertação (mestrado profissional) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática, Florianópolis, 2014. / Made available in DSpace on 2014-08-06T18:00:43Z (GMT). No. of bitstreams: 1 326843.pdf: 625671 bytes, checksum: bffa5b605939a9c07c84054b4c36a477 (MD5) Previous issue date: 2014 / Este trabalho tem como objetivo ser uma breve introdução à Álgebra. Na parte inicial foi introduzido o conceito de permutação e sua definição como funções bijetivas de um conjunto em si mesmo. Na sequência, foi introduzido o conceito de grupo e subgrupo e apresentadas algumas das propriedades básicas de tais estruturas. No terceiro capítulo foram expostos e discutidos os conceitos de homomorfismo e de isomorfismo de modo a pavimentar o caminho para a demonstração do Teorema de Cayley que foi abordado no capítulo seguinte. Encerrando o trabalho foi apresentado um plano de aula de modo a sugerir uma aplicação do conteúdo abordado para uma turma de Ensino Médio.<br>

Orientador: João Meidanis / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-11T00:56:27Z (GMT). No. of bitstreams: 1 GomesMira_CleberValgas_D.pdf: 1443128 bytes, checksum: adcf8d553b49f20bbad0fc0f56cc2aba (MD5) Previous issue date: 2007 / Resumo: O sucesso na obtenção de cadeias completas de DNA de alguns organismos tem incentivado a busca de novas técnicas computacionais capazes de analisar esse montante de informação para aplicá-lo na descoberta de novos remédios, aumento da produção de alimentos e investigação do processo de evolução dos seres vivos, entre outras aplicações. A comparação de seqüências de DNA (ou RNA) de diferentes espécies é uma das técnicas importantes para desvendar novas propriedades biológicas. Uma das maneiras de se comparar dois genomas é analisar como os dois se distinguem com base em certas mutações chamadas eventos de rearranjo em genomas. Nessa técnica de comparação, um genoma é modelado como uma seqüência de regiões que são conservadas em um conjunto de genomas. O problema de rearranjos em genomas consiste genericamente em encontrar, dados dois genomas como entrada e um conjunto de tipos de eventos de rearranjo permitidos, uma seqüência mínima de tais eventos de rearranjo que transforme um genoma em outro. No formalismo clássico de rearranjos em genomas, um genoma tem sido modelado como um conjunto de seqüências de inteiros. Cada número inteiro representa um gene e o seu sinal representa a orientação do gene no genoma. O problema de rearranjos em genomas nesse modelo é analisado de forma geral por meio de diversos diagramas e grafos que representam certas propriedades do par de genomas na entrada do problema. Neste trabalho, usamos um novo modelo para rearranjos em genomas proposto por Meidanis e Dias [39]: o formalismo algébrico. Em vez de se basear na análise de diagramas, o formalismo algébrico usa permutações na modelagem de genomas e, principalmente, utiliza resultados de grupos de permutações para analisar as propriedades de genomas e os efeitos de eventos de rearranjo. A motivação para o desenvolvimento do formalismo algébrico é a possibilidade de formalização de argumentos sobre rearranjos por meio de métodos algébricos, em vez da utilização de recursos gráficos como é feito no formalismo clássico. Esperamos que, por meio do desenvolvimento de um novo formalismo para o tratamento de problemas de rearranjos em genomas, algoritmos mais eficientes para a resolução desses problemas, ou maneiras mais simples de demonstrar alguns dos resultados clássicos na área sejam encontrados com maior facilidade. Nesse trabalho, apresentamos duas soluções simples e eficientes derivadas diretamente do formalismo algébrico para dois problemas de rearranjos em genomas (o problema de rearranjos em genomas por intercâmbio de blocos e reversões com sinais e o problema de rearranjo em genomas por fissões, fusões e reversões com sinais). Também discutimos e propomos um algoritmo polinomial para o problema de rearranjos em genomas por transposições generalizadas. Acreditamos que o sucesso na solução desses problemas possa ser estendido para outros problemas de rearranjos em genomas com a consolidação dos conceitos fundamentais do formalismo algébrico. Esperamos com essa tese convencer o leitor de que o formalismo algébrico é um modelo representativo e poderoso para tratar genomas compostos por cromossomos circulares e ao lidar com a atribuição de pesos a eventos de rearranjo. Por outro lado, não defendemos que o formalismo clássico seja simplesmente substituído pelo formalismo algébrico. Ambos os formalismos podem ser beneficiados por um processo semelhante, porém em menor escala, ao sucesso do desenvolvimento da Geometria Analítica e da Geometria Tradicional / Abstract: The success in obtaining complete sequences of DNA of some species has encouraged the search for new computational techniques for the analysis of such huge amount of information. One hopes that the results of this research could be applied for the development of new medicines, increasing food crops productivity, better understanding of the evolutionary process in live beings, among other applications. One technique for the genome analysis is the comparison of DNA (or RNA) sequences from different species. Such a comparison may reveal the similarities and differences between the genomes, which could be used in phylogeny reconstruction for instance. Two genomes can be compared by the analysis of their differences based on mutational events called genome rearrangements. The genome rearrangement problem (also called a sorting problem) consists of finding a minimum sequence of rearrangement events that transforms one genome into another and the number of rearrangement events in the sequence is called the genomic distance. In the classical formalism for genome rearrangements, a genome is usually modeled by a set of sequences of integers. Each integer represents a gene and its sign stands for the orientation of the gene in the genome. The genome rearrangement problem in this model is analyzed generally with tools such as diagrams and graphs that convey the properties of the genomes in the problem input. We use instead a new model for genome rearrangements proposed by Meidanis and Dias [39]: the algebraic formalism. Instead of being based on the analysis of diagrams, the algebraic formalism uses permutations to model genomes and the results from permutation group theory for the analysis of the properties of genomes and the effects of rearrangement events. The motivation for the development of the algebraic formalism is the possibility of stating arguments more formally by means of algebraic methods than by using graphical resources as the classical formalism does. We hope that more efficient algorithms for genome rearrangement problems or simpler proofs for classical results in the area will be more easily found due to the development of a new formalism. We present a simple, efficient solution based on the algebraic formalism for two genome rearrangement problems (the problem of genome rearrangements by block-interchanges and signed reversals and the problem of genome rearrangements by fissions, fusions, and signed reversals). We also discuss and offer a solution for the problem of genome rearrangements by generalized transpositions. We believe that the success in solving those genome rearrangement problems could be extended to other problems by consolidating the fundamental concepts of the algebraic formalism. We hope that the reader will be convinced that the algebraic formalism is representative and powerful in dealing with circular chromosomes and modeling the assignment of weights to rearrangement events. On the other hand, we do not argue in favor of a substitution of the classical formalism by the algebraic formalism. Both of these formalisms could profit by a similar, even though on a smaller scale, success of the development of the Analytic Geometry and the Traditional Geometry / Doutorado / Doutor em Ciência da Computação

Orientadores: Sueli Irene Rodrigues Costa, Reginaldo Palazzo Jr / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-31T18:00:25Z (GMT). No. of bitstreams: 1 Alves_MarceloMunizSilva_D.pdf: 2526567 bytes, checksum: 5178d706f84287d867192491521e8404 (MD5) Previous issue date: 2002 / Resumo: A tese versa sobre questões relativas a grupos de simetrias de códigos e sua utilização no rotulamento destes códigos. Um código é rotulável por um grupo G se este grupo age como grupo de simetrias de modo livre e transitivo; os rotulamentos são as bijeções naturais entre o grupo e suas órbitas. A importância disto vem das isometrias associadas entre anéis e códigos que vêm sendo usadas para obtenção de novos exemplos a partir de construções já conhecidas. Neste trabalho utilizamos grupos de simetrias de códigos em dois problemas distintos: o primeiro, sobre extensões de códigos quaternários via isometrias entre anéis e códigos em espaços de Hamming, e o segundo sobre códigos em grafos que incluem os espaços de Lee. Um dado interessante é que todos os grupos envolvidos podem ser escritos como produto semi-direto de dois grupos simétricos ou de um grupo simétrico por um grupo abeliano (mais especificamente, o produto é o "wreath product" destes grupos). Na parte relativa a espaços de Hamming, os resultados principais são a descrição dos códigos propelineares como órbitas de grupos de simetrias e suas relações com os códigos G-lineares; a demonstração da inexistência de rotulamentos cíclicos de espaços de Hamming em geral; a determinação dos grupos de simetrias dos códigos de Reed-Muller generalizados de primeira ordem e rotulamentos cíclicos para estes códigos. A existência destes rotulamentos é conhecida de trabalhos anteriores, e aqui fornecemos uma descrição alternativa, a qual determina todos os rotulamentos no caso binário. Além disso, mostramos que as simetrias que rotulam RM(l,m) não se estendem a isometrias do espaço ambiente. Quanto aos códigos sobre grafos, os principais resultados são a explicitação de relações entre códigos em grafos e ladrilhamentos do espaço euclidiano; a construção de um grupo rotulador não-abeliano para uma família de espaços de Lee; e a descrição de todos os códigos perfeitos de Lee em dimensão 2, via a consideração do problema de ladrilhamentos associado (estendendo resultados clássicos sobre estes códigos) / Abstract: This work deals with questions related to symmetry groups of codes and their use as code labelings. A code is labeled by a group G if this group acts freely and transitively as a group of symmetries; the labelings are the natural bijections between the group and its orbits. The importance of labelings comes from the associated isometries between rings and codes which have been used as a means of constructing new codes from old ones. In this work we use symmetry groups of codes in two different problems: the first one, on extensions of quaternary codes via isometries between rings and codes in Hamming spaces, and the second on codes in graphs that include Lee spaces. An interesting feature is that all the groups involved can be expressed as wreath products of two symmetric groups or of a symmmetric group and an abelian group. Concerning Hamming spaces, the main results are the description of propelinear codes as orbits of symmetry groups and the determination of its relationship with G-linear codes; the proof of the non-existence of cyclic labelings of general Hamming spaces; the determination of the symmetry groups of the generalized first-order Reed-Muller codes and of cyclic labelings for these codes. The existence of these labelings is known from previous works, but here we provide an alternative description that determines all the labelings in the binary case. In addition, we show that the symmetries that label RM (1, m) are not extendable to symmetries of the ambient space. With respect to codes on graphs, the main results are the establishment of the relations between codes on graphs and tesselations of euclidean space; the construction of a non-abelian labeling group for a family of Lee spaces; and the description of all linear perfect Lee codes in dimension two, via the associated tesselation (thus extending classical results on these codes) / Doutorado / Doutor em Matemática

Orientador: José Plínio de Oliveira Santos / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-25T10:24:33Z (GMT). No. of bitstreams: 1 FeresJunior_Jorge_M.pdf: 656533 bytes, checksum: f89557654d48cebb7328f9f5ebbc8d0f (MD5) Previous issue date: 2014 / Resumo: Nesta dissertação estudamos permutações que evitam determinados padrões. Mais especificamente, nosso foco é a contagem de tais permutações. Dentre as várias formas de descrever uma permutação, adotamos a ''representação posicional em linha'', apresentando um tratamento sistemático nesta área de padrão proibido, estudando operações, simetrias, estruturas, transformações, e principalmente, técnicas de contagem para este fim / Abstract: In this dissertation, we study permutations avoiding certain patterns. More specifically, our focus is on counting such permutations. Among the many ways to describe a permutation, we adopted the "positional representation in line" presenting a systematic treatment of this area of forbidden pattern, studying operations, symmetries, structures, transformations, and especially counting techniques for this purpose / Mestrado / Matematica Aplicada / Mestre em Matemática Aplicada

Orientador: José Plínio de Oliveira Santos / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-22T15:43:28Z (GMT). No. of bitstreams: 1 Rodrigues_ChristianeBuffo_M.pdf: 948322 bytes, checksum: be5636b0d15a131df52736cd4f4782d0 (MD5) Previous issue date: 2013 / Resumo: Este trabalho trata da aplicação do Método Simbólico na resolução de problemas de Combinatória. A vantagem desta técnica é o cálculo direto de uma expressão fechada para a Função Geradora F(z) do problema escrito como uma Série de Potências. Consequentemente garantimos a facilidade na enumeração da sequência que queremos a partir do coeficiente de zn de F(z). O desenvolvimento de nosso estudo foi feito aplicando-se o método a dois tipos de Classes: Rotuladas e não Rotuladas, apontando as diferenças básicas entre elas através de exemplos e resultados teóricos. Ao final, concluímos que a enumeração independe do tipo de modelagem feita para o problema / Abstract: This work deals with the application of the Symbolic Method in the solutions of combinatorial problems. The advantage of this technique is the direct calculus for the exact expression of the Generating Function F(z) of the problem, written as a Power Series. Consequently, we ensure the enumeration of the desired sequence, from the coefficient of zn of F(z). Our study was developed by applying the method in two types of Classes: Labeled and unlabelled, pointing the basic differences between them through examples and theoretical results. Finally, we concluded that the enumeration does not depend of the type of the model chosen for the problem / Mestrado / Matematica Aplicada / Mestra em Matemática Aplicada

Orientador: Fernando Eduardo Torres Orihuela / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T14:35:36Z (GMT). No. of bitstreams: 1 Paula_AnaRachelBritode_M.pdf: 1519694 bytes, checksum: 61b845f0f57e58e56f6a1f759fc9a382 (MD5) Previous issue date: 2015 / Resumo: A dissertação "Polinômios de Permutação e Palavras Balanceadas" tem como principal objetivo estudar a influência dos polinômios de permutação na teoria de códigos mediante o conceito de palavra balanceada. A base do trabalho é o artigo "Permutacion polynomials and aplications to coding theory" de Yann Laigke-Chapuy. Expomos os conceitos básicos de polinômios de permutação como algumas de suas características, exemplos e métodos para identificação dos mesmos. Em seguida trataremos dos códigos lineares com ênfase nos binários explorando particularmente a conjectura de Helleseth / Abstract: The main goal in writing this dissertation is the study of the influence of the Theory of Permutation Polynomials in the context of Coding Theory via the concept of balanced word. Our basic reference is the paper "Permutation polynomials and applications to coding theory" by Y. Laigke- Chapury. Our plan is to introduce the basic concepts in Coding Theory, Permutation Polynomials; then we mainly consider the long-standing open Helleseth¿s conjecture / Mestrado / Matematica Aplicada / Mestra em Matemática Aplicada