Desde o início do uso de ferramentas computacionais na química, pesquisadores notaram a necessidade de um adequado tratamento da correlação eletrônica para a acurada descrição da estrutura eletrônica. Algum tempo depois, perceberam que, além da correlação, haviam ainda deficiências nos resultados obtidos, as quais estavam relacionadas com efeitos relativísticos, principalmente quando tentavam tratar moléculas com átomos pesados. Um terceiro aspecto a ser levado em consideração nestes estudos diz respeito ao uso de um conjunto acurado de funções de base. No caso específico de cálculos relativísticos, se possível, tais conjuntos ainda precisam garantir a eliminação do prolapso variacional, um problema que está relacionado com uma descrição deficiente da região mais próxima dos núcleos. Com esse propósito, o conjunto RPF-4Z foi desenvolvido recentemente. Sendo assim, este projeto foi voltado para a análise comparativa da qualidade do conjunto RPF-4Z. Desta forma, foram avaliadas propriedades fundamentais das moléculas como, por exemplo, geometrias, momentos de dipolo e constantes espectroscópicas. Simultaneamente, uma propriedade desafiadora, o gradiente de campo elétrico na posição de núcleos de xenônio, também foi considerada. Os resultados obtidos até agora reforçam a eficiência do conjunto RPF-4Z, que é capaz de fornecer valores comparáveis àqueles dados por conjuntos de base de mesma qualidade, mas com menor demanda por recursos computacionais. / Early in the application of computational framework in chemistry, researchers noticed the need for an adequate electronic correlation treatment in order to accurately describe electronic structures. Some years later they realized that, besides correlation, there were also deficiencies in the results, which were related to relativistic effects, especially when dealing with molecules containing heavy atoms. A third aspect to be taken into account is related to the use of an accurate basis set. Specifically for relativistic calculations, these basis sets must also ensure the elimination of variational prolapse if possible, which is a problem related to a poor description of the innermost region close to the nuclei. Thus, the RPF-4Z basis set was recently developed for this aim. This project is focused on a comparative analysis regarding the RPF-4Z basis set\'s quality. Thereby, fundamental properties of molecules were evaluated, such as geometries, dipole moments and spectroscopic constants. At the same time, a challenging property, the electric field gradient at the xenon nuclei, was considered as well. The results obtained so far reinforce the efficiency of the RPF-4Z basis set, which is capable of providing comparable values to those obtained by same quality basis sets but with a lower demand for computational resources.

CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho tem como objetivo estudar os parametros de um codigo projetivo gerado por um conjunto algebrico torico X que e parametrizado por uma quantidade nita de monomios em varias variaveis. Tambem podemos obter conjuntos algebricos toricos associados a matrizes de incidencia de grafos e cluters, e nestes casos obtemos resultados mais precisos, ja que os conjuntos algebricos toricos obtidos sao parametrizados por monomios com mesmo grau. Nos capitulos iniciais sao apresentados os conceitos basicos que servirao de ferramentas para atingir estes objetivos. / This work aims at studying the parameters of a projective code generated by an algebraic toric set X which is parameterized by a nite number of monomials in several variables. We also can obtain algebraic toric sets associated to graph or clutter incidence matrices and in these cases we obtain more precise results since the algebraic toric sets which are obtained are parameterized by monomials of the same degree. In the rst chapters we introduce basic concepts which will serve as tools to reach our aim. / Dissertação (Mestrado)

Made available in DSpace on 2014-12-17T15:48:05Z (GMT). No. of bitstreams: 1 LeonardoAC.pdf: 6046620 bytes, checksum: ad9a9332aa6ef3e81e83f93b75f55894 (MD5) Previous issue date: 2006-05-19 / The Reconfigurable Computing is an intermediate solution at the resolution of complex problems, making possible to combine the speed of the hardware with the flexibility of the software. An reconfigurable architecture possess some goals, among these the increase of performance. The use of reconfigurable architectures to increase the performance of systems is a well known technology, specially because of the possibility of implementing certain slow algorithms in the current processors directly in hardware. Amongst the various segments that use reconfigurable architectures the reconfigurable processors deserve a special mention. These processors combine the functions of a microprocessor with a reconfigurable logic and can be adapted after the development process. Reconfigurable Instruction Set Processors (RISP) are a subgroup of the reconfigurable processors, that have as goal the reconfiguration of the instruction set of the processor, involving issues such formats, operands and operations of the instructions. This work possess as main objective the development of a RISP processor, combining the techniques of configuration of the set of executed instructions of the processor during the development, and reconfiguration of itself in execution time. The project and implementation in VHDL of this RISP processor has as intention to prove the applicability and the efficiency of two concepts: to use more than one set of fixed instructions, with only one set active in a given time, and the possibility to create and combine new instructions, in a way that the processor pass to recognize and use them in real time as if these existed in the fixed set of instruction. The creation and combination of instructions is made through a reconfiguration unit, incorporated to the processor. This unit allows the user to send custom instructions to the processor, so that later he can use them as if they were fixed instructions of the processor. In this work can also be found simulations of applications involving fixed and custom instructions and results of the comparisons between these applications in relation to the consumption of power and the time of execution, which confirm the attainment of the goals for which the processor was developed / A Computa??o Reconfigur?vel ? uma solu??o intermedi?ria na resolu??o de problemas complexos, possibilitando combinar a velocidade do hardware com a flexibilidade do software. Uma arquitetura reconfigur?vel possui v?rias metas, entre estas o aumento de desempenho. Dentre os v?rios segmentos em rela??o ?s arquiteturas reconfigur?veis, destacam-se os Processadores Reconfigur?veis. Estes processadores combinam as fun??es de um microprocessador com uma l?gica reconfigur?vel e podem ser adaptados depois do processo de desenvolvimento. Processadores com Conjunto de Instru??es Reconfigur?veis (RISP -Reconfigurable Instruction Set Processors) s?o um subconjunto dos processadores reconfigur?veis, que visa como meta a reconfigura??o do conjunto de instru??es do processador, envolvendo caracter?sticas referentes aos padr?es de instru??es como formatos, operandos, e opera??es elementares. Este trabalho possui como objetivo principal o desenvolvimento de um processador RISP, combinando as t?cnicas de configura??o do conjunto de instru??es do processador executadas em tempo de desenvolvimento, e de reconfigura??o do mesmo em tempo de execu??o. O projeto e implementa??o em VHDL deste processador RISP tem como intuito provar a aplicabilidade e a efici?ncia de dois conceitos: utilizar mais de um conjunto de instru??o fixo, com apenas um ativo em determinado momento, e a possibilidade de criar e combinar novas instru??es, de modo que o processador passe a reconhec?-las e utiliz?-las em tempo real como se estas existissem no conjunto de instru??o fixo. A cria??o e combina??o de instru??es ? realizada mediante uma unidade de reconfigura??o incorporada ao processador. Esta unidade permite que o usu?rio possa enviar instru??es customizadas ao processador para que depois possa utiliz?-las como se fossem instru??es fixas do processador. Neste trabalho tamb?m encontram-se simula??es de aplica??es envolvendo instru??es fixas e customizadas e resultados das compara??es entre estas aplica??es em rela??o ao consumo de pot?ncia e ao tempo de execu??o que confirmam a obten??o das metas para as quais o processador foi desenvolvido

[pt] Esta tese faz um estudo do problema do Conjunto Dominante, um problema NP-difícil de grande relevância em aplicações relacionadas ao projeto de rede sem fio, mineração de dados, teoria de códigos, dentre outras. O conjunto dominante mínimo em um grafo é um conjunto mínimo de vértices de modo que cada vértice do grafo pertence a este conjunto ou é adjacente a um vértice que pertence a ele. Três variantes do problema foram estudadas; primeiro, uma variante na qual considera pesos nos vértices, buscando um conjunto dominante com menor peso total; segundo, uma variante onde o subgrafo induzido pelo conjunto dominante está conectado; e, finalmente, a variante que engloba essas duas características. Para resolver esses três problemas, propõe-se um algoritmo híbrido baseado na meta-heurística busca tabu com componentes adicionais de programação matemática, resultando em um método por vezes chamado de mateurística, (matheuristic, em inglês). Diversas técnicas adicionais e vizinhanças largas foram propostas afim de alcançar regiões promissoras no espaço de busca. Análises experimentais demonstram a contribuição individual de todos esses componentes. Finalmente, o algoritmo é testado no problema do código de cobertura mínima, que pode ser visto como um caso especial do problema do conjunto dominante. Os códigos são estudados na métrica Hamming e na métrica Rosenbloom-Tsfasman. Neste último, diversos códigos menores foram encontrados. / [en] This thesis addresses the Dominating Set Problem, an NP- hard problem with great relevance in applications related to wireless network design, data mining, coding theory, among others. The minimum dominating set in a graph is a minimal set of vertices so that each vertex of the graph belongs to it or is adjacent to a vertex of this set. We study three variants of the problem: first, in the presence of weights on vertices, searching for a dominating set with smallest total weight; second, a variant where the subgraph induced by the dominating set needs to be connected, and,finally, the variant that encompasses these two characteristics. To solve these three problems, we propose a hybrid algorithm based on tabu search with additional mathematical-programming components, leading to a method sometimes called matheuristic. Several additional techniques and large neighborhoods are also employed to reach promising regions in the search space. Our experimental analyses show the good contribution of all these individual components. Finally, the algorithm is tested on the covering code problem, which can be viewed as a special case of the minimum dominating set problem. The codes are studied for the Hamming metric and the Rosenbloom-Tsfasman metric. For this last case, several shorter codes were found.

El trabajo de investigación tuvo como objetivo el diseño de un modelo matricial para la construcción del diagrama de Hasse de un Conjunto Parcialmente Ordenado (CPO), que permita su implementación en un lenguaje de programación. Para lograrlo se utilizó la teoría de Relaciones de Orden Parcial, sus propiedades; matrices booleanas, sus operaciones. Este trabajo permitió determinar el diagrama de Hasse de Relaciones de Orden Parcial sin importar la cantidad de elementos del CPO, y lo más importante, permitió automatizar el modelo. / The research work was aimed at the design of a matrix model for the construction of the Hasse diagram of a Partially Ordained Set (CPO), which allows its implementation in a programming language. To achieve this, we used the theory of partial order relations, their properties; Boolean matrices, their operations. This work allowed to determine the Hasse diagram of Partial Order Relations regardless of the number of elements of the CPO, and most importantly, allowed to automate the model.

O objetivo da presente pesquisa é estudar o processo de transformação de um conjunto habitacional clássico modernista, localizado na zona norte da cidade de Porto Alegre e que será referenciado neste trabalho como Conjunto Habitacional Rubem Berta. Trata-se de uma situação baseada em princípios exóticos de organização espacial, princípios que mostraram-se incapazes, ao longo de 20 anos de vida do conjunto, de atender às demandas espaciais da população moradora e de gerar espaços adequados às pessoas e propícios ao convívio urbano. O fracasso do projeto habitacional modernista, nesse caso específico, se torna visível, ao longo dos anos, através da descaracterização progressiva da concepção original a partir das modificações realizadas pelos moradores. O trabalho analisa o modo como a forma urbana, em suas constantes alterações, vem a determinar tanto a geração espontânea da atividade econômica quanto o padrão de movimento e animação urbana. Essas alterações na forma urbana terminaram criando uma ambiência bem diferente daquela pensada para um Rubem Berta cidade jardim. Na cidade jardim, pensada a partir dos conceitos de cidade surgidos no final do século XIX, a tipologia arquitetônica idealizada pelos arquitetos leva ao anseio de uma cidade sem divisão do solo e, quando parcelada, uma cidade de superquadras. No Conjunto Rubem Berta, tanto os tipos arquitetônicos quanto a forma urbana foram e continuam sendo objeto de permanente transformação. O lado positivo da favelização dessa COHAB foi a melhoria na qualidade do espaço original através da apropriação, pela população moradora, dos espaços públicos que foram sendo transformados. A população moradora definiu a melhor utilização para o espaço público apropriado, adequando-o à vida, à prática e à necessidade individual ou coletiva. Desta maneira, paulatinamente o conjunto foi se inserindo no tecido urbano da cidade. O estudo dessas transformações é o objetivo dessa dissertação.

LIMA, Carlos Vinicius Gomes Costa. Sobre b-coloração de grafos com cintura pelo menos 6. 2013. 59 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza- Ceará, 2013. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-13T18:53:18Z No. of bitstreams: 1 2013_dis_cvgclima.pdf: 3781619 bytes, checksum: 164aea3629d83f1d6d8ba3efcf3ec056 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-13T19:18:47Z (GMT) No. of bitstreams: 1 2013_dis_cvgclima.pdf: 3781619 bytes, checksum: 164aea3629d83f1d6d8ba3efcf3ec056 (MD5) / Made available in DSpace on 2016-06-13T19:18:47Z (GMT). No. of bitstreams: 1 2013_dis_cvgclima.pdf: 3781619 bytes, checksum: 164aea3629d83f1d6d8ba3efcf3ec056 (MD5) Previous issue date: 2013 / O problema de coloração está entre os mais estudados dentro da Teoria dos Grafos devido a sua grande importância teorica e prática. Dado que o problema de colorir os vértices de um grafo G qualquer com a menor quantidade de cores é NP-difícil, várias heurísticas de coloração são estudadas a fim de obter uma coloração própria com um número de cores razoavelmente pequeno. Dado um grafo G, a heurística b de coloração se resume a diminuir a quantidade de cores utilizadas em uma coloração própria c, de modo que, se todos os vértices de uma classe de cor deixam de ver alguma cor em sua vizinhança, então podemos modificar a cor desses vértices para qualquer cor inexistente em sua vizinhança. Dessa forma, obtemos uma coloração c′ com uma cor a menos que c. Irving e Molove definiram a b-coloração de um grafo G como uma coloração onde toda classe de cor possui um vértice que é adjacente as demais classes de cor. Esses vértices são chamados b-vértices. Irving e Molove também definiram o número b-cromático como o maior inteiro k tal que G admite uma b-coloração por k cores. Eles mostraram que determinar o número b-cromático de um grafo qualquer é um problema NP-difícil, mas polinomial para árvores. Irving e Molove também definiram o m-grau de um grafo, que é o maior inteiro m(G) tal que existem m(G) vértices com grau pelo menos m(G)−1. Irving e Molove mostraram que o m-grau é um limite superior para número b-cromático e mostraram que o mesmo é igual a m(T) ou a m(T)−1, para toda árvore T, onde o número b-cromático é igual a m(T) se, e somente se, T possui um conjunto bom. Nesta dissertação, verificamos a relação entre a cintura, que é o tamanho do menor ciclo, e o número b-cromático de um grafo G. Mais especificamente, tentamos encontrar o menor inteiro g∗ tal que, se a cintura de G é pelo menos g∗, então o número b-cromático é igual a m(G) ou m(G)−1. Mostrar que o valor de g∗ é no máximo 6 poderia ser um passo importante para demonstrar a famosa Conjectura de Erdós-Faber-Lovasz, mas o melhor limite superior conhecido para g∗ é 9. Caracterizamos os grafos cuja cintura é pelo menos 6 e não possuem um conjunto bom e mostramos como b-colori-los de forma ótima. Além disso, mostramos como bicolorir, também de forma ótima, os grafos cuja cintura é pelo menos 7 e não possuem conjunto bom. / The coloring problem is among the most studied in the Graph Theory due to its great theoretical and practical importance. Since the problem of coloring the vertices of a graph G either with the smallest amount of colors is NP-hard, various coloring heuristics are examined to obtain a proper colouring with a reasonably small number of colors. Given a graph G, the b heuristic of colouring comes down to decrease the amount of colors in a proper colouring c, so that, if all vertices of a color class fail to see any color in your neighborhood, then we can change the color to any color these vertices nonexistent in your neighborhood. Thus, we obtain a coloring c ′ with a color unless c. Irving and Molove defined the b-coloring of a graph G as a coloring where every color class has a vertex that is adjacent the other color classes. These vertices are called b-vertices. Irving and Molove also defined the b-chromatic number as the largest integer k, such that G admits a b-coloring by k colors. They showed that determine the value of the b-chromatic number of any graph is NP-hard, but polynomial for trees. Irving and Molove also defined the m-degree of a graph, which is the largest integer m(G) such that there are m(G) vertices with degree at least m(G) − 1. Irving and Molove showed that the m-degree is an upper limit to the b-chromatic number and showed that it is m(T) or m(T)−1 to every tree T, where its value is m(T) if, and only if, T has a good set. In this dissertation, we analyze the relationship between the girth, which is the size of the smallest cycle, and the b-chromatic number of a graph G. More specifically, we try to find the smallest integer g ∗ such that if the girth of G is at least g ∗ , then the b-chromatic number equals m(G) or m(G)−1. Show that the value of g ∗ is at most 6 could be an important step in demonstrating the famous conjecture of Erd˝os-Faber-Lov´asz, but the best known upper limit to g ∗ is 9. We characterize the graphs whose girth is at least 6 and not have a good set and show how b-color them optimally. Furthermore, we show how b-color, also optimally, graphs whose girth is at least 7 and not have good set.

In this work, we study the set X ̇(φ,f) of points such that the Birkhoff averages do not exist. Following Thompson, our main result here is to show that the topological pressure of X ̇(φ,f) is total. As corollary, we get the some result for the Oseledets Irregular set for Lyapunov exponent in one dimension. For higher dimensions, this question is still open. / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Neste trabalho, estudamos o conjunto X ̇(φ,f) de pontos tal que as médias de Birkhoff não existe. Seguindo Thompson, nosso resultado principal aqui é mostrar que a pressão topológica de X ̇(φ,f) é total. Como corolário, damos o mesmo resultado para o conjunto Irregular de Oseledets para os expoentes de Lyapunov em dimensão um. Para dimensões maiores, esta questão está em aberto.

Informal social networks have been established as instruments to combat poverty in slums, supplying the ineffectiveness of the State to provide basic assets necessary for the survival of its population. Under this logic, the Urbe research group developed, in “Conjunto Vitória” - Maceió-AL, a methodology for identifying social-spatial networks in order to legitimize them in the face of public housing policies. Inserted in this context, this dissertation aims to characterize the exchange relations that occur in socio-spatial networks that support the permanency in self-managed slums, it is a qualitative and descriptive research, with an exploratory character, in which was used the Case Study. As a criterion of choice of the empirical object of this study, was sought, among the total households surveyed by Urbe, one who possessed the most nominations and presented greater representation for the “Conjunto Vitória”. The Domicile 52D was presented in a position of centrality in the set and its sociability’s network was used for application of semi-structured interviews in order to get answers on the main questions of the research: the history of that occupation and the different levels of social interaction and exchanges relations that occur there. It is known that trust, equality shortages, lack of resources and residence’s proximity are important requirements for interactions in disadvantaged environments, in this way, the construction of habitus helps to understand the reasons why individuals helps each other in every day’s life. Thus, for the analysis and data’s interpretation, types of values described by Baudrillard were used to categorize, seeking to identify expressions in the interviewed person’s speeches that characterizes them. As a result, it was observed that the sociability’s network, of the Domicile studied, that relations of its participants can be governed by three types of values investigated by this research: Exchange Value, Symbolic Exchange and Sign Value. / Fundação de Amparo a Pesquisa do Estado de Alagoas / As redes de sociabilidade informais têm se constituído como instrumentos de combate à pobreza em assentamentos precários, suprindo a ineficácia do Estado em conceder ativos básicos necessários para a sobrevivência de sua população. Sob esta lógica, o grupo de pesquisa Urbe desenvolveu, no Conjunto Vitória em Maceió-AL, uma metodologia para identificação de redes socieoespaciais a fim de legitimá-las frente às políticas públicas de habitação. Inserida nesse contexto, esta dissertação objetiva caracterizar as relações de troca que ocorrem em redes socioespaciais de apoio à permanência em assentamentos precários autogestionados, trata-se de uma pesquisa qualitativa e descritiva, de caráter exploratório, na qual foi utilizado o procedimento de Estudo de Caso. Como critério de escolha do objeto empírico deste trabalho, buscou-se, dentre a rede total de domicílios estudados pelo Urbe, aquele que possuísse o maior número de indicações e apresentasse maior representatividade para o Conjunto Vitória. O Domicílo 52D foi apresentado em condição de centralidade no conjunto e sua rede de sociabilidade foi utilizada para aplicação de entrevistas semiestruturadas, a fim de obter respostas sobre as principais questões da pesquisa: o histórico daquela ocupação e os diferentes níveis de interação social e relações de trocas que ali ocorrem. Sabe-se que a confiança, a igualdade de carências, a falta de recursos e a proximidade de residência são requisitos importantes para as interações em ambientes precários, neste sentido, a construção de habitus ajuda a entender as razões pelas quais indivíduos se ajudam na vida cotidiana. Desta forma, para a análise e interpretação dos dados, foi utilizado como critérios de categorização das relações de troca os tipos de valores descritos por Baudrillard, buscando identificar expressões nas falas dos entrevistados que os caracterizassem. Como resultado, observou-se que na rede de sociabilidade, do domicílio estudado, as relações de seus participantes podem ser regidas pelos três tipos de valores investigados por esta pesquisa: valor de troca, troca simbólica e valor de signo.

SANTOS, Marcio Costa. Experimentos computacionais com implementações de conjunto por endereçamento direto e o problema de conjunto independente máximo. 2013. 78 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2013. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T19:04:45Z No. of bitstreams: 1 2013_dis_mcsantos.pdf: 1370695 bytes, checksum: f82fbf8bcae3901a15066e6d39ac2720 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-20T11:59:49Z (GMT) No. of bitstreams: 1 2013_dis_mcsantos.pdf: 1370695 bytes, checksum: f82fbf8bcae3901a15066e6d39ac2720 (MD5) / Made available in DSpace on 2016-07-20T11:59:49Z (GMT). No. of bitstreams: 1 2013_dis_mcsantos.pdf: 1370695 bytes, checksum: f82fbf8bcae3901a15066e6d39ac2720 (MD5) Previous issue date: 2013 / The use of bit vectors is a usual practice for represent sets by direct addressing with the aim of reduce memory consumed and improve efficiency of applications with the use of bit parallel techniques. In this text, we study implementations for represent sets by direct addressed. The basic structure in this implementations is the bit vector. Besides that basic implementation, we implement two variations also. The first one is a stratification of the bit vector, while the second uses a hash table. The operations linked to the implemented structure are include and remove an element and the union and intersection of two sets. Especial attention is given to the use of bit parallel in this condition. The implementation of the different structures in this work use an base interface and a base abstract class, where the operations are defined and the bit parallel is used. An experimental comparative between this structures is carry out using enumerative algorithms for the maximum stable set problem. Two approaches are used in the implementation of the enumerative algorithms for the maximum stable set problem, both using the bit parallel in the representation of the graph and on the operations with subsets of vertices. The first one is a known branch-and-bound algorithm and the second uses the Russian dolls method. In both cases, the use of bit parallel improve efficiency when the lower bounds are calculated based in a clique cover of the vertices. The results of computational experiments are presented as comparison between the two algorithms and as an assessment of the structures implemented. These results show that the algorithm based on the method Russian Dolls is more efficient regarding runtime and the memory consumed. Furthermore, the experimental results also show that the use stratification and hash tables also allow more efficiency in the case of sparse graphs. / A utilização de vetores de bits é prática corrente na representação de conjuntos por endereçamento direto com o intuito de reduzir o espaço de memória necessário e melhorar o desempenho de aplicações com uso de técnicas de paralelismo em bits. Nesta dissertação, examinamos implementações para representação de conjuntos por endereçamento direto. A estrutura básica nessas implementações é o vetor de bits. No entanto, além dessa estrutura básica, implementamos também duas variações. A primeira delas consiste em uma estratificação de vetores de bits, enquanto a segunda emprega uma tabela de dispersão. As operações associadas às estruturas implementadas são a inclusão ou remoção de um elemento do conjunto e a união ou interseção de dois conjuntos. Especial atenção é dada ao uso de paralelismo em bits nessas operações. As implementações das diferentes estruturas nesta dissertação utilizam uma interface e uma implementação abstrata comuns, nas quais as operações são especificadas e o paralelismo em bits é explorado. A diferença entre as implementações está apenas na estrutura utilizada. Uma comparação experimental é realizada entre as diferentes estruturas utilizando algoritmos enumerativos para o problema de conjunto independente máximo. Duas abordagens são utilizadas na implementação de algoritmos enumerativos para o problema de conjunto independente máximo, ambas explorando o potencial de paralelismo em bits na representação do grafo e na operação sobre subconjuntos de vértices. A primeira delas é um algoritmo do tipo {em branch-and-boound} proposto na literatura e a segunda emprega o método das bonecas russas. Em ambos os casos, o uso de paralelismo em bits proporciona ganhos de eficiência quando empregado no cálculo de limites inferiores baseados em cobertura por cliques. Resultados de experimentos computacionais são apresentados como forma de comparação entre os dois algoritmos e como forma de avaliação das estruturas implementadas. Esses resultados permitem concluir que o algoritmo baseado no método das bonecas russas é mais eficiente quanto ao tempo de execução e quanto ao consumo de memória. Além disso, os resultados experimentais mostram também que o uso de estratificação e tabelas de dispersão permitem ainda maior eficiência no caso de grafos com muito vértices e poucas arestas.