Navegação 40001016034P5 Programa de Pós-Graduação em Informática por assunto "Teoria dos grafos"
Itens para a visualização no momento 1-18 of 18
-
Uma abordagem matricial para desdobramento de redes de petri utilizando a ferramenta MATLAB
(2016)Resumo: Nas últimas décadas, redes de Petri têm sido amplamente utilizadas como ferramenta para modelar, analisar, simular e avaliar o comportamento e desempenho de sistemas com peculiaridades de sincronização, concorrência ... -
Uma abordagem para filtragem de arestas de grafos de palavras aplicada ao problema de classificação de texto
(2020)Resumo: Classificação de texto é um problema clássico na área de Processamento de Linguagem Natural. Uma tarefa essencial na classificação de texto é a construção da representação, que deve prover informações relevantes ... -
Algoritmos exatos para o problema da coloração de grafos
(2017)Resumo: O problema de coloração de grafos consiste em particionar os vértices de um grafo na menor quantidade possível de conjuntos independentes. Este trabalho tem como objetivo agrupar e contextualizar alguns dos principais ... -
Algoritmos para o problema da clique máxima : análise e comparação experimental
(2017)Resumo: O problema da Clique Máxima (CM) é um problema fundamental e há uma grande motivação pela busca de algoritmos tão eficientes quanto possível para resolvê-lo de forma exata. Como esperado para um problema NP-difícil, ... -
Algoritmos para teste de perfeição de grafos
(2004)Resumo: Esta dissertação apresenta e discute os dois recentemente descobertos algoritmos de teste de perfeição de grafos. A parte central dos dois algoritmos e a mesma. Este núcleo que os dois algoritmos compartilham, que ... -
Análise de uma métrica alternativa para predição de laços sociais em grafos lei de potência
(2016)Resumo: As redes sociais são uma maneira de descrever as interações sociais em um grupo ou comunidade. Podem ser modeladas por meio de grafos, em que um vértice corresponde a uma pessoa, e uma aresta representa alguma forma ... -
Approximation algorithms in graphs via sample complexity
(2022)Resumo: Grafos de grande porte advém de diversos contextos em fenômenos naturais e sociais. Contudo, algoritmos que escalam em complexidade de tempo cúbica e até mesmo quadrática, quando executados nesses grafos, podem ser ... -
Biclique aresta-coloração por listas
(2017)Resumo: Na coloração de grafos existem algumas versões dos problemas de coloração de vértices e de coloração de arestas. Eles podem ser definidos a partir de conceitos como coloração por listas (colorir os elementos do ... -
Circular arc bigraphs and their Helly subclass
(2021)Resumo: Um grafo e arco-circular se e o grafo de intersecao de uma familia de arcos em um circulo. Grafos arco-circulares foram extensamente estudados na literatura. Os grafos bi-arco-circulares sao uma variante bipartida ... -
Clique máxima em grafos lei de potência
(2020)Resumo: Com o avanco na capacidade de processamento e armazenamento de grandes quantidades de dados, foi-se observado que muitas redes de grande porte advindas de situacoes praticas, desde a World Wide Web ate redes sociais ... -
Cobertura por vértices mínima em grafos lei de Potência
(2016)Resumo: A teoria dos grafos é um ramo da matemática utilizada para modelar e representar um conjunto de elementos e suas relações, além de ser muito utilizada na resolução de problemas computacionais. Um grafo pode representar ... -
Grafos bi-arco-circulares
(2015)Resumo: Um modelo bi-arco-circular é uma tripla (C; I; E) onde C é um circulo, e I;E são duas famílias de arcos sobre C. O grafo correspondente ao modelo (C; I;E) é o grafo tal que para cada arco de I [ E existe um vértice, ... -
Uma introdução à complexidade computacional parametrizada
(2013)Resumo: A Complexidade Parametrizada é uma maneira de analisar a complexidade computacional de um problema computacional. Nesta dissertação damos uma Introdução à Complexidade Computacional Parametrizada com atenção aos ... -
Maximização de influência em grafos lei de potência
(2016)Resumo: O problema de maximização de influência em redes sociais, procura pelos vértices que permitam espalhar uma informação para o maior número possível de membros da rede.Um algoritmo guloso proposto por Kempe et al. ... -
Medidas de conectividade baseadas em cortes de vértices para redes complexas
(2011-10-25)Resumo: As redes complexas foram propostas para modelar qualquer sistema que possua várias partes discretas que interajam entre si. Devido a essa generalidade elas são aplicadas a diversas áreas do conhecimento. Em redes ... -
Método para verificação de propriedades de redes de petri utilizando resolvedores SMT
(2013-09-13)Resumo: Este trabalho apresenta um método para verificar as propriedades de alcançabilidade e de bloqueio em rede de Petri. Rede de Petri e um modelo formal utilizado para modelar sistemas. O metodo proposto consiste em ... -
Novel procedures for graph edge-colouring
(2018)Resumo: O índice cromático de um grafo G é o menor número de cores necessário para colorir as arestas de G de modo que não haja duas arestas adjacentes recebendo a mesma cor. Pelo célebre Teorema de Vizing, o índice cromático ... -
Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
(2012-10-05)Resumo