N Grafos
Mostrando 13-24 de 54 artigos, teses e dissertações.
-
13. Sobre Conjuntos Dominantes Eficientes em Grafos / On the Efficient Dominating Sets in Graphs
Dado um grafo G = (V;E) e um subconjunto de vértices D V, define-se D como um conjunto dominante de G se todo vértice v 2 V que não estiver incluído no conjunto D for adjacente a pelo menos um vértice de D. Na situação em que, para todo v 2 V, jN[v]Dj = 1, diz-se que o grafo G é eficientemente dominado. Uma generalização desse conceito consiste na
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/03/2009
-
14. Em DireÃÃo aos N-Grafos Intuicionistas
A apresentaÃÃo dos N-Grafos foi feita por De Oliveira no ano 2001. Este à um sistema de provas que possui regras lÃgicas representadas graficamente por meio de digrafos. Estes grafos de provas se baseiam na deduÃÃo natural e no cÃlculo de sequentes de Gentzen, combinando idÃias de quatro abordagens geomÃtricas consolidadas na literatura de teoria da
Publicado em: 2009
-
15. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
O presente trabalho é baseada em dois aspectos fundamentais: (i) o estudo de procedimentos de normalização para sistemas de provas, especialmente para a lógica clássica com dedução natural; e (ii) a investigação de técnicas da perspectiva geométrica aplicadas em propriedades da teoria da prova. Com isso, a motivação específica deste trabalho re
Publicado em: 2009
-
16. Sobre Conjuntos Dominantes Eficientes em Grafos / On the Efficient Dominating Sets in Graphs
Given a graph G = (V;E) and a set of vertices D V, a vertice v 2 V is dominated by D if jN[v] Dj 1. When jN(v) Dj = 1 for all v 2 V, G is efficiently dominable. A generalization of this concept is called efficient multiple domination, which requires all vertices must be dominated by a set D V exactly k times. The aim of this dissertation is to study these to
Publicado em: 2009
-
17. AplicaÃÃes da teoria dos grafos à teoria dos grupos / Applications of graph theory to group theory
This report deals with applications of Graph Theory to Group Theory. Once we construct the graph associated to a finite group, we get several interesting results on the group structure by analysing its associated graph with the help of various standard graph-theoretic tools. More precisely, the chromatic and independence numbers of the graph of a finite grou
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/02/2008
-
18. Coloração total equilibrada de grafos: um modelo para redes de interconexão
Uma rede de interconexão é uma estrutura composta por um conjunto P de n > 1 processadores e um conjunto T de ligações, satisfazendo certas condições. Neste trabalho será introduzido o conceito de coloração total equilibrada. Este conceito é utilizado para oferecer uma representação natural para o processamento paralelo em redes de conexão. Uma
Pesquisa Operacional. Publicado em: 2008-04
-
19. Teoria de órbitas periódicas no espectro e condutância de grafos quânticos
A transformada de Fourier da densidade de estados de grafos quˆanticos unidimensionais apresenta picos d localizados precisamente nos valores da ac¸ ˜ao de trajet´orias Newtonianas e n˜ao-Newtonianas. Introduzindo fios extendendo-se ao infinito, investigamos o problema de espalhamento correspondente; atrav´es do espectro transformado, encontramos picos
Publicado em: 2008
-
20. Teorema de geometrizaÃÃo para girassÃis de grafos com valÃncia mÃnima trÃs
Dado um grafo G conexo e com valÃncia mÃnima trÃs, apresentamos um algoritmo que obtÃm o mapeamento de G numa superfÃcie fechada S de tal forma que G possui apenas uma face. Ao dual G* assim obtido, chamamos girassol de G. Particionamos entÃo as arestas do girassol em arestas de fronteira e cordas internas. As cordas internas nÃo se cruzam e as aresta
Publicado em: 2008
-
21. Modelos grafos para expressão gênica
The purpose of this work is to examine statistical methodologies that can be applied to problems that involve a large number of variables using as a tool graphical models that assist on the visualization of the conditional independency and dependency structure, thus a graphical model represents the relationship between random variables (dependence, independe
Publicado em: 2008
-
22. Um modelo para detecÃÃo de incoerÃncias no processo de autoria de exercÃcios de comunicaÃÃo estrutural.
A ComunicaÃÃo Estrutural à uma tÃcnica pedagÃgica cujo objetivo à ajudar na avaliaÃÃo e no exercÃcio de sofisticadas habilidades intelectuais de pensamento crÃtico e complexas estruturas conceituais dos aprendizes. A produÃÃo de material instrucional baseado nessa tÃcnica apresenta algumas dificuldades devido à falta de automatizaÃÃo, princip
Publicado em: 2008
-
23. Estratégias de paralelização para um algoritmo GRASP multicritério
Este artigo propõe diferentes estratégias de paralelização de um algoritmo GRASP (Greedy Randomized Adaptive Search Procedure) multicritério. O algoritmo paralelo proposto é aplicado ao problema da árvore geradora mínima multicritério, que é NP-difícil. Neste problema, um vetor de custos é definido para cada aresta do grafo e o objetivo é encont
Production. Publicado em: 2007-04
-
24. Grupos satisfazendo as condições (A,n) e (N,n)
Neste trabalho caracterizamos grupos finitos não solúveis que satisfazem a condição (N, 21). Damos também a caracterizaçãoo dos grupos que satisfazem a condição (A, n), utilizando para isto alguns resultados de Teoria de Grafos.
Publicado em: 2007