Use este identificador para citar ou linkar para este item:
http://repositorio.ufc.br/handle/riufc/17249| Tipo: | Dissertação |
| Título: | Sequências convergentes de estruturas discretas e testabilidade |
| Título em inglês: | Convergent Sequences of Discrete Structures and Testability |
| Autor(es): | Bastos, Antonio Josefran de Oliveira |
| Orientador: | Sampaio, Rudini Menezes |
| Palavras-chave: | Ciência da computação;Teoria dos grafos;Linguagens formais |
| Data do documento: | 2012 |
| Citação: | BASTOS, Antonio Josefran de Oliveira. Sequências Convergentes de Estruturas Discretas e Testabilidade. 2012. 61 f. Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2012. |
| Resumo: | Neste trabalho, estudamos a teoria recente de convergência de sequências de grafos e suas extensões para permutações e ordens parciais de dimensão fixa. Conjecturamos um lema de regularidade fraca de grafos em intervalos que, se for verdadeira, nos possibilita estender essa teoria para grafos ordenados, que são grafos tais que existe uma ordem total entre os vértices. Mostramos algumas relações interessantes de permutações e ordens parciais com grafos ordenados. Com isso, conseguimos uma prova alternativa para a existência de objetos limites de qualquer sequência convergente de permutações. Provamos também que toda propriedade hereditária de permutações ou grafos ordenados é testável. |
| Abstract: | In this work, we studied the recent theory of convergent graph sequences and its extensions to permutation and partially ordered sets with fix dimension. We’ve conjectured a lemma of weak regularity on intervals that, if this conjecture is true, we can extend this theory to ordered graphs, which are graphs such that there is a total order on its vertices. We show some interesting relations on permutation and partially ordered sets with ordered graphs. Then, we obtain another proof to the existence of limit objects for all convergent permutation sequences. We also proved that all hereditary property of either permutation or ordered graph is testable. |
| URI: | http://www.repositorio.ufc.br/handle/riufc/17249 |
| Aparece nas coleções: | DCOMP - Dissertações defendidas na UFC |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 2012_dis_ajobastos.pdf | 816,97 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.