Orientador: Claudio L. Lucchesi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-13T23:27:26Z (GMT). No. of bitstreams: 1 Giglio_MariaCeciliaMottaTorres_M.pdf: 5819263 bytes, checksum: c24dd7357f8a2283359356720f51597b (MD5) Previous issue date: 1990 / Resumo: O problema dos dois caminhos disjuntos consiste em determinar, dados vértices s1, S2, t1 e t2 de um grafo, se existem ou não dois caminhos disjuntos, P1 e P2 ligando s1 a t1 e S1 a t1, respectivamente. O problema se manifesta em quatro versões, a saber, o grafo pode ser orientado ou não, e a exigência de disjunção pode ser apenas nas arestas ou também nos vértices. Nas quatro versões, o problema admite reduções elementares do ponto de vista computacional que levam finalmente à solução ou a uma certidão da sua não existência. Esta análise apresenta uma interconexão interessante entre combinatória, complexidade de algoritmos e topologia. No caso de grafos orientados, exige-se também que o grafo seja acíclico, pois caso contrário o problema se torna NP-difícil. / Abstract: The two disjoint paths problem consists in determining, given vertices S1, S2, t1 and t2 of a graph, whether or not there exist two disjoint paths. P1 and P21 joining s1 to t1 and S2 to t2 respectively. The problem may be considered in four versions, namely, the graph may or may not be directed, and the disjointness requirement on the paths may be on the edges only or on the vertices too. In all version, the problem admits computationally elementary reductions which provide either a solution or a certificate of its nonexistence. The analysis presents an interesting interconnection between combinatorics, complexity of algorithms and topology. In the case of direct graphs, it is also required that the graph be acyclic, otherwise the problem becomes NP-hard. / Mestrado / Mestre em Ciência da Computação

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T17:26:38Z (GMT). No. of bitstreams: 1 Damasceno_BereniceCamargo_M.pdf: 9724675 bytes, checksum: e2ac5ac37aa8889d89a0a897d68b38ed (MD5) Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Jose Carlos de Souza Kuhl / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-20T13:55:09Z (GMT). No. of bitstreams: 1 Lima_NailsonAmorimde_M.pdf: 766815 bytes, checksum: b725105565b47ceb8ef745351ae2f179 (MD5) Previous issue date: 1995 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Jose Carlos de Souza Kiihl / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-20T15:27:06Z (GMT). No. of bitstreams: 1 Fernandes_Vagner_M.pdf: 434887 bytes, checksum: 2b371705bcd63c3cd0c479cd8233ad29 (MD5) Previous issue date: 1995 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Orientador: Jose Carlos de Souza Kiihl / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-13T23:16:04Z (GMT). No. of bitstreams: 1 Barros_TomasEdson_M.pdf: 810196 bytes, checksum: d440e4d7994d16169b2c0b29745be449 (MD5) Previous issue date: 1991 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Wagner Caradori do Amaral / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-15T16:56:04Z (GMT). No. of bitstreams: 1 Souza_JoaoNunesde_D.pdf: 12097520 bytes, checksum: 6aa96dc3547fd563a0ed50eb97d3a98c (MD5) Previous issue date: 1989 / Resumo: Neste trabalho propõe-se um estudo da representação hierárquica de conhecimento a partir dos conceitos básicos do 'lambda¿-cálculo tipado. A representação do conhecimento é feita por programas funcionais definidos como conjuntos de fórmulas do 'lambda¿-cálculo tipado. Os conjuntos de fórmulas são associados a critérios de derivação que determinam os argumentos das funções dos programas. estabelecendo o seqüenciamento da execução destas funções e possibilitando a derivação de novos conhecimentos. Propõe-se um conjunto de relações de complexidade entre as fórmulas do 'lambda¿-cálculo tipado. que se baseia em uma classificação destas fórmulas. A classificação se fundamenta na estrutura sintática dos símbolos para tipo associados às fórmulas. A ordem dos símbolos para tipo determina relações de ordem entre as fórmulas do 'lambda¿-cálculo tipado, definindo as relações de complexidade. As relações de complexidade são utilizadas em uma representação sintática das relações hierárquicas de complexidade do conhecimento representado em um sistema. Demonstra-se um conjunto de condições necessárias ... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: A knowledge hierarchic representation based on the typed 'lambda¿-calculus foundat ions is proposed in this work. The knowledge representation is based in functional programms defined as typed h-calculus formulas set. The formulas set is associated to derivation criterias that determines the programms functions arguments and the execution function sequence. A typed 'lambda¿-calculus formulas complexity relationship based on a typed h-calculus formulas classification is proposed. The classification is based on the formulas and type simbols sintat ic structure. The type simbols orders determines typed 'lambda¿-calculus formulas order relations wich define the complexity relationship. The complexity relationship is used to represent a sintatic representation of a knowledge system hierarchic relationship complexity ... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Doutorado / Doutor em Engenharia Elétrica

Orientador: Nelson Castro Machado / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T00:49:14Z (GMT). No. of bitstreams: 1 Vanini_FernandoAntonio_M.pdf: 860564 bytes, checksum: cea3bdf4b1445ba8f02abf46846a6b09 (MD5) Previous issue date: 1979 / Resumo: Este trabalho descreve um sistema de avaliação da distribuição do tempo de execução em programas FORTRAN, desenvolvido na UNICAMP. A avaliação é feita criando-se uma versão modificada do programa que ao ser executada determina o número de vezes que cada comando é executado. 0 tempo de execução de cada comando é estimado com base no número de execuções e num peso atribuído a cada comando. A contagem do número de execuções é feita inserindo contadores no programa. 0 número de contadores inseridos é mínimo e a minimização é feita com base em alguns resultados de teoria dos grafos / Abstract: Not informed / Mestrado / Mestre em Ciência da Computação

Orientador : Claudio Leonardo Lucchesi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-17T21:54:14Z (GMT). No. of bitstreams: 1 Mello_CeliaPicininde_M.pdf: 1597261 bytes, checksum: c500f66634811eac238269a09e45f3ae (MD5) Previous issue date: 1984 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Thiago de Melo / Banca: Elíris Cristina Rizziolli / Banca: Tomas Edson de Barros / Resumo: O objetivo deste trabalho é apresentar alguns resultados elementares de Álgebra Linear e relacioná-los com a Teoria de Grafos, por meio de exemplos, sempre que possível. A ferramenta básica para isso é a teoria de matrizes / Abstract: The aim of this work is to present some elementary results from Linear Algebra and to relate them with Graph Theory, making use of examples if possible / Mestre

Orientadores: Celia Picinin de Mello, Anamaria Gomide / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-26T19:50:54Z (GMT). No. of bitstreams: 1 Vulcani_RenatadeLacerdaMartins_M.pdf: 2431212 bytes, checksum: 702947f1e783d410ef77eb0234852d6a (MD5) Previous issue date: 2015 / Resumo: Neste trabalho apresentamos uma breve introdução à teoria dos grafos, elucidando alguns conceitos básicos e destacando grafos eulerianos. Usamos o conceito de grafos eulerianos para resolver alguns passatempos e jogos conhecidos. Finalizamos apresentando algumas aplicações que envolvem grafos que não são necessariamente eulerianos / Abstract: In this work we present a brief introduction to graph theory, explaining some basic concepts and highlighting eulerians graphs. We use the concept of eulerians graphs to solve some well known puzzles and games. We finalize by presenting some applications involving graphs that are not necessarily eulerians / Mestrado / Matemática em Rede Nacional / Mestra