Erik Joey Hanashiro. Qualificação de Mestrado. Orientação: Prof. Dr. Henrique Mongelli. Área de Concentração: Algoritmos Paralelos

Transcrição

1 Título da Publicação Erik Joey Hanashiro Qualificação de Mestrado Orientação: Prof. Dr. Henrique Mongelli Área de Concentração: Algoritmos Paralelos Monografia apresentada como requisito da qualificação para a obtenção do título de mestre em Ciência da Computação. dct ufms Departamento de Computação e Estatística Centro de Ciências Exatas e Tecnologia Universidade Federal de Mato Grosso do Sul 13 de agosto de 2003

2 Resumo Este é um exemplo do resumo! 2

3 Conteúdo 1 Introdução ao L A TEX Usuários Windows Usuários Linux Compilando o documento L A TEX num arquivo.dvi Convertendo o arquivo.dvi em.ps Compilando o documento L A TEX num arquivo.pdf Segundo Capítulo 6 3 Terceiro Capítulo 7 Cronograma 8 Apêndice 9 Referências Bibliográficas 10 3

4 Capítulo 1 Introdução ao LATEX Este é o modelo que padroniza as publicacões acadêmicas e/ou científicas feitas em L A TEX pelos alunos do Departamento de Computação e Estatística da Universidade Federal de Mato Grosso do Sul. Entre essas publicações, podemos citar: Projetos de Graduação; Relatórios Técnicos; Apostilas; Pré-projetos; Monografias para Qualificação de Mestrado; Dissertações de Mestrado. Editando o arquivo arquivo-principal.tex você pode escolher entre usar a classe dct-class.cls para obter o modelo para impressões coloridas, e a classe dct-class bw.cls para obter o modelo para impressões em preto e branco. Garey e Johnson[13] é um exemplo de como referenciar uma publicação que está nas Referências Bibliográficas. 1.1 Usuários Windows Vocês devem instalar o pacote Miktex (L A TEX for Windows), que pode ser encontrado na seção de Download do site do DCT, para compilar seus documentos L A TEX. Para editar os arquivos.tex, vocês podem utilizar o editor de textos WinEdt, por exemplo. 4

5 1.2. Usuários Linux dct-ufms 1.2 Usuários Linux Instale o pacote tetex que acompanha a maioria das distribuições Linux para poder compilar seus documentos L A TEX. Para editar os arquivos.tex, vocês podem utilizar o editor de textos emacs, por exemplo Compilando o documento L A TEX num arquivo.dvi O comando é: latex arquivo-principal Um arquivo.dvi é gerado. Você pode visualizá-lo utilizando o xdvi, por exemplo. Não se esqueça de escolher a figura para o comando latex em arquivo-principal.tex Convertendo o arquivo.dvi em.ps O comando é: dvips -o arquivo-principal.ps arquivo-principal.dvi Um arquivo.ps é gerado. Você pode visualizá-lo utilizando o GhostView, por exemplo Compilando o documento L A TEX num arquivo.pdf O comando é: pdflatex arquivo-principal Um arquivo.pdf é gerado. Você pode visualizá-lo utilizando o Acrobat Reader, por exemplo. Não se esqueça de escolher a figura para o comando pdflatex em arquivoprincipal.tex. 5

6 Capítulo 2 Segundo Capítulo Este é o texto do segundo capítulo. 6

7 Capítulo 3 Terceiro Capítulo Este é o texto do terceiro capítulo 7

8 Cronograma Atividade Estudo sobre intratabilidade de problemas, complexidade parametrizada e problemas FPT Estudo de algoritmos FPT seqüenciais para o problema da cobertura por vértices Desenvolvimento de algoritmos FPT paralelos para o problema da cobertura por vértices, segundo o modelo realístico CGM Implementação dos algoritmos paralelos usando a linguagem C e a biblioteca de comunicações MPI Refinamentos e testes Coleta de resultados Preparação da monografia Data de conclusão Agosto/01 e Setembro/01 Setembro/01 e Outubro/01 Outubro/01 e Novembro/01 Novembro/01 e Dezembro/01 Janeiro/02 Fevereiro/02 Fevereiro/02 e Março/02 Tabela 4.1: Cronograma da monografia 8

9 Apêndice - Texto Explicando a Padronização Com o objetivo de padronizar as diversas publicações do DCT-UFMS foi criada, para os usuários do L A TEX, uma classe *dct-class.cls* (para impressões coloridas) e outra *dctclass bw.cls* (para impressões em preto e branco). Todos os documentos acadêmicos e/ou científicos produzidos no DCT a partir dessa data só serão publicados se seguirem as especificações definidas por esse padrão (classe). Como exemplo de documentos podemos citar: Projetos de Graduação, Relatórios Técnicos, Apostilas, Notas de Aula, Dissertações de Mestrado, Pré-Projetos, Projetos de Qualificação de Mestrado, etc. O arquivo *arquivo-principal.tex* é um pequeno exemplo-guia para aqueles que desejam produzir um documento neste padrão. Existem inúmeros comentários para auxiliar o usuário. Leia-os com atenção. Você deve descompactar o arquivo *modelo public dct.zip* no seu diretório de trabalho. Uma cópia desse arquivo pode ser encontrada em: public dct.zip Alguns arquivos que estão compactados em *modelo public dct.zip* são: arquivo-principal.tex dct-class.cls dct-class bw.cls dct-plain.bst dct-alpha.bst resumo.tex introd.tex cap1.tex cronog.tex apendi.tex bibi-guia.bib logo dct*.mps O arquivo principal. (veja diversos comentários nele) A classe L A TEXpara padronizar impressões coloridas A classe L A TEXpara padronizar impressões em preto e branco Usado para gerar o formato plain de bibliografia em português Usado para gerar o formato alpha de bibliografia em português Um pequeno exemplo de resumo Um exemplo de introdução Um exemplo de capítulo Um exemplo de cronograma de atividades Um exemplo de apêndice. Um exemplo mostrando o formato para criação de dados bibliográficos Logotipos do DCT. 9

10 Referências Bibliográficas [1] R. Balasubramanian, M. R. Fellows, e V. Raman. An improved fixed-parameter algorithm for vertex cover. Information Processing Letters, 65: , [2] J. F. Buss e J. Goldsmith. Nondeterminism within p. SIAM Journal on Computing, 22(3): , [3] J. Chen, W. Jia, e I. A. Kanj. Vertex cover: Further observations and further improvements. Journal of Algorithms, 41: , [4] T. H. Cormen, C. E. Leiserson, e R. L. Rivest. Introduction to Algorithms. MIT Press and McGraw Hill, [5] F. Dehne, A. Rau-Chaplin, U. Stege, e P.J. Taillon. Solving large FPT problems on coarse grained parallel machines. Submitted. [6] R. G. Downey e M. R. Fellows. Fixed-parameter tractability and completeness I: Basic results. SIAM Journal on Computing, 24: , [7] R. G. Downey e M. R. Fellows. Fixed-parameter tractability and completeness II: Completeness for W[1]. A Theoretical Computer Science, 141: , [8] R. G. Downey e M. R. Fellows. Parameterized computational feasibility. In Feasible Mathematics II, páginas Birkhauser Boston, [9] R. G. Downey e M. R. Fellows. Parameterized Complexity. Springer-Verlag, [10] R. G. Downey e M. R. Fellows. Parameterized complexity after (almost) 10 years: Review and open questions. In Combinatorics, Computation & Logic, DMTCS 99 and CATS 99, volume 21, número 3, páginas Australian Computer Science Communications, Springer-Verlag, [11] R. G. Downey, M. R. Fellows, e U. Stege. Parameterized complexity: A framework for systematically confronting computational intractability. In Contemporary Trends in Discrete Mathematics: From DIMACS and DIMATIA to the Future, volume 49 de AMS-DIMACS Proceedings Series, páginas [12] M. R. Fellows e U. Stege. An improved fixed-parameter-tractable algorithm for vertex cover. Relatório técnico, Department of Computer Science, ETH Zurich,

11 Referências Bibliográficas dct-ufms [13] M. R. Garey e D. S. Johnson. Computers and Intractability - A Guide to the Theory of NP-completeness. W. H. Freeman and Company, [14] U. Manber. Introduction to Algorithms: A Creative Approach. Addison-Wesley Publishing Company, [15] R. Niedermeider e P. Rossmanith. Upper bounds for vertex cover further improved. In Proceedings of the 16th Symposium on Theoretical Aspects in Computer Science (STACS 99), páginas [16] C. H. Papadimitriou e K. Steiglitz. Combinatorial Optimization: Algorithms and Complexity. Prentice-Hall, Inc, [17] C. H. Papadimitriou e M. Yannakakis. On limited nondeterminism and the complexity of the v-c dimension. Journal of Computer and System Sciences, 53: ,