Projeto de Pesquisa Computação Quântica e Teoria da Computação

Tamanho: px
Começar a partir da página:

Download "Projeto de Pesquisa Computação Quântica e Teoria da Computação"

Transcrição

1 Projeto de Pesquisa Computação Quântica e Teoria da Computação Alex Bredariol Grilo (Aluno) Prof. Dr. Arnaldo Vieira Moura (Orientador) Instituto de Computação Universidade Estadual de Campinas Resumo Proposta em meados da década de 80, a Computação Quântica procura utilizar a estrutura quântica da matéria nos processos computacionais. É um tópico de pesquisas recente, com focos voltados para várias áreas correlatas, tais como Física, Matemática e Computação. O objetivo deste projeto de pesquisa é estudar a Computação Quântica, principalmente sob uma perspectiva da Teoria da Computação. Serão abordados temas tais como algoritmos quânticos, passeios quânticos, além de computabilidade e complexidade computacional quânticas, estudando-se os avanços recentes nestas áreas. Procurar-se-á também sintetizar a bibliografia pertinente, unificando notações e buscando generalizações. Ao final, uma monografia será redigida na língua portuguesa. Pretende-se, deste modo, oferecer um texto coerente e consistente para que outros pesquisadores ligados à Computação possam, futuramente, avançar em estudos sobre temas ligados à Computação Quântica. 1

2 1 Introdução Computação Quântica é um tema recente, que procura utilizar as descobertas da física quântica para o desenvolvimento de aplicações computacionais. Embora proposto teoricamente na década de 80, ainda não há nenhum computador que utilize de forma satisfatória a estrutura quântica da matéria nos processos de computação. Isso, ainda hoje, constitui-se numa importante linha de pesquisas. Para que pudessem ser estudadas aplicações que exploram as características de um computador quântico, mesmo ainda não existindo nenhum disponível para uso científico, foram desenvolvidas ferramentas teóricas que descrevem seu funcionamento geral de forma independente de uma implementação física. É com essas ferramentas que físicos, matemáticos e cientistas da computação trabalham no desenvolvimento da Computação Quântica e da Teoria da Informação Quântica. O objetivo deste trabalho é entender a importância da Computação Quântica para a Teoria da Computação, estudando inicialmente seus conceitos básicos e posteriormente alguns tópicos mais avançados que tenham relevância teórica. Pretende-se, também, contribuir com o tema escrevendo uma monografia em língua portuguesa sobre todo o conteúdo estudado. Na língua inglesa, há uma grande diversidade de livros e artigos sobre Computação Quântica. A principal referência introdutória à Computação Quântica é o livro de Nielsen [31], que possui uma abordagem mais ampla e cobre aspectos físicos, matemáticos e computacionais. Já os livros de Yanofsky [39] e Mermin [29] apresentam uma abordagem voltada para cientistas da computação. Pretende-se utilizar um enfoque semelhante ao adotado por estes dois últimos volumes, estreitando ainda mais o foco para Teoria da Computação. Na língua portuguesa, encontramos dois tipos de trabalhos. Em trabalhos como o de Vignatti [36], Cardonha [11] e Portugal [33] encontra-se uma introdução à Computação Quântica em linhas gerais, sendo que o segundo também cobre tópicos de complexidade computacional quântica. Por outro lado, há também algumas teses [1] [32] [28] e dissertações [10] [18] [25] [27] que focam alguns temas específicos da Computação 2

3 Quântica. Estes últimos, porém, requerem um conhecimento prévio mais aprofundado do tema. Pretendemos, neste trabalho, mesclar essas duas abordagens. 2 Embasamento Teórico Nesta seção, iniciamos com um breve histórico da Computação Quântica, passando, em seguida, a apresentar seus ingredientes básicos. De posse destes, abordamos os principais algoritmos quânticos conhecidos e finalizamos examinando questões de computabilidade e complexidade computacional quânticas. 2.1 História Na década de 80, Richard Feynman sugeriu que os computadores clássicos só conseguiriam simular o funcionamento de sistemas quânticos com um custo exponencial em termos de tempo computacional [16]. Foi então proposto um computador que extrairia da estrutura quântica da matéria seu poder computacional. Paralelamente à evolução do estudo sobre como implementar na prática um computador quântico, físicos, matemáticos e cientistas da computação passaram a pesquisar o ganho que computadores quânticos poderiam trazer se fossem implementados na prática. No final da década de 80, Deutsch descreveu as Máquinas de Turing Quânticas [12] e circuitos quânticos [13], duas importantes ferramentas que permitiram o desenvolvimento de algoritmos quânticos compatíveis com qualquer concretização futura para computadores quânticos. Posteriormente, Yao demonstrou que esses dois modelos são equivalentes [40]. No final da década de 90, Bernstein e Vazirani descreveram como construir uma Máquina de Turing Quântica Universal [8], uma Máquina de Turing Quântica capaz de simular qualquer Máquina de Turing Quântica. Na início da década de 90, foram desenvolvidos os algoritmos quânticos de Deutsch [12] e de Deutsch-Josza [14], os quais permitem descobrir características de funções desconhecidas de forma mais eficiente quando comparados com algoritmos determinísticos clássicos, no segundo caso com ganho exponencial na complexidade em tempo. 3

4 A grande notoriedade da Computação Quântica, entretanto, ocorreu em 1994, quando Shor apresentou algoritmos quânticos eficientes para os problemas de fatoração em números primos e para se encontrar o logaritmo discreto [34]. Esses dois problemas são muito importantes pois alguns dos métodos criptográficos mais utilizados atualmente assumem que não há uma forma eficiente de resolvê-los. Portanto, existindo um computador quântico, este tipo de criptografia seria facilmente quebrado. Outro algoritmo importante para computação quântica foi o algoritmo de buscas apresentado por Grover [19]. Procurar um elemento em uma base de dados não ordenada de n elementos necessita de tempo O(n) no pior caso, tanto classicamente quanto probabilisticamente. Grover apresentou um algoritmo quântico que realiza tal busca em tempo O( n). Tal ganho não é exponencial, porém a aplicabilidade do resultado é muito importante, pois pode-se conseguir uma aceleração quadrática, portanto substancial, na solução de problemas da classe NP. Nos anos 2000, novos algoritmos quânticos foram desenvolvidos, alguns utilizando os algoritmos anteriores como submódulos [15] [2] [21] [5] [38] [37], outros utilizando novas técnicas [4]. Foram descobertos também novos métodos para se encontrar limitantes quânticos para vários problemas, o que veio auxiliar no avanço dos estudos na área de teoria de complexidade computacional [6] [3]. 2.2 Circuitos quânticos Nesta subseção, apresentamos uma breve introdução aos circuitos quânticos, muito usados no desenvolvimento de algoritmos quânticos Bits quânticos Um bit clássico é unidade de informação básica de um sistema computacional clássico, e que pode assumir os valores 0 ou 1 de forma exclusiva. Alternativamente, podemos considerar que cada um desses valores é um vetor no espaço 2-dimensional em que o bit 0 corresponde ao vetor ( ) ( 1 0 e o bit 1 corresponde ao vetor 01 ). Já um bit quântico (qubit) é uma unidade de informação de um sistema quântico 4

5 2-dimensional. Um qubit pode ser descrito como um elemento do espaço de Hilbert complexo 2-dimensional sobre o qual, arbitrariamente, escolhemos uma base ortonormal: 0 ( ) ( 1 0 e 1 01 ). Os estados que um qubit pode assumir são então uma superposição normalizada dos dois elementos da base: ψ = α 0 + β 1, onde α, β C, α 2 + β 2 = 1. Uma consequência direta desta definição é que um qubit pode assumir um número infinito de estados. Porém, diferente dos bits clássicos, quando observamos o valor de um qubit ψ, efetuando uma medição, teremos 0 com probabilidade α 2 ou 1 com probabilidade β 2, e o qubit colapsa para o estado correspondente. Portanto, ainda que o número possível de estados seja infinito, não é possível diferenciá-los com um número finito de medições Registradores quânticos Podemos, assim como na versão clássica, imaginar um sistema com n qubits, que seria representado por um elemento do espaço de Hilbert 2 n -dimensional, caracterizado pelo produto tensorial dos n espaços de Hilbert de cada qubit. O sistema resultante terá uma base computacional com 2 n elementos, representadas por , ,..., , Chamaremos esse conjunto de qubits de um registrador quântico. Os estados de um registrador quântico são formados por superposições dos 2 n estados da base e, da mesma forma que no caso de um único qubit, a cada elemento da base computacional corresponderá uma amplitude complexa, sendo que a soma dos quadrados das normas das amplitudes deve ser unitário. Podemos resumir essas informações em ψ = i {0,1} n a i i, onde a i C, i {0, 1} n, e i {0,1} n a i 2 = 1. Podemos observar que numa abordagem mais direta para simular um sistema quân- 5

6 tico classicamente, seria necessário armazenar o valor da amplitude de cada elemento da base. Com isso, a quantidade de memória necessária cresce exponencialmente em relação ao número de qubits no sistema. Sem mencionar o fato de que um número complexo a i é representado por um par de números reais, e números reais não podem ser todos completamente especificados em um computador digital (ou em uma Máquina de Turing). Por esse motivo, suspeita-se que sistemas quânticos não podem ser representados em computadores clássicos sem incorrer em um custo computacional exponencial Circuitos quânticos Uma vez que qubits e registradores quânticos armazenam informação, veremos agora como estes podem ser utilizados para realizar computações. Na computação clássica utilizamos portas lógicas para manipular n bits de entrada e computar uma saída de m bits. Na Computação Quântica, as manipulações de qubits são feitas através de portas quânticas. De acordo com as leis da mecânica quântica, os sistemas quânticos evoluem através de operadores unitários determinísticos. Portanto, uma porta quântica tem como entrada n qubits e sobre eles realiza uma transformação linear unitária, devolvendo como saída os n qubits alterados. Dado que computações quânticas são sempre unitárias, uma implicação direta é que são também reversíveis, pois toda matriz unitária é invertível. A reversibilidade das portas quânticas pode parecer, em um primeiro momento, restritiva, dado que portas lógicas usuais, como as portas lógicas AND e OR, não são reversíveis veja que se a saída de uma porta AND for 0, não é possível identificar os valores de entrada. Porém sabe-se que operações irreversíveis podem ser simuladas em portas quânticas, utilizando uma quantidade polinomial de qubits adicionais [7] [26]. Veremos agora algumas portas quânticas importantes e de uso recorrente na computação quântica. Porta de Hadamard. A porta de Hadarmard é uma porta de um qubit e pode ser representada pela seguinte matriz unitária: 6

7 H = Para registradores quânticos com mais qubits, pode-se aplicar a porta de Hadamard a cada um dos bits individualmente. Isto produz o mesmo efeito que a porta de Walsh- Hadamard, representada pela matriz W n, onde o valor da linha i e coluna j é: W n (i, j) = ( 1) i j 1 2 n. onde i j denota o produto interno das representações binárias de i e j, modulo 2: i.e. i j = i 0 j 0 i 1 j 1... i n 2 j n 2 i n 1 j n 1. Portanto, com a porta de Walsh-Hadamard, é possível gerar uma sobreposição equiprovável de todos os elementos da base computacional, ou seja, todas as amplitudes terão a mesma norma. Com essa superposição pode-se, por exemplo, computar o valor de uma função em todos os pontos da base computacional de forma balanceada. Portas controladas. Uma porta U-controlada é uma porta quântica que tem como entrada x bits controladores e y bits alvo. Se algum bit controlador for 0, os valores dos bits alvo permanecem inalterados. Caso o valor de todos os bits controladores sejam 1, a porta quântica U atua sobre os bits alvo. Vejamos um exemplo com um qubit de entrada e um qubit controlador. Seja U = a c b d a transformação desejada sobre o qubit alvo. Então a porta controlada, c(u), seria representada por c(u) = a b 0 0 c d. 7

8 Portas controladas aparecem em vários algoritmos quânticos. Veremos a seguir uma porta controlada especial. Porta de Tofolli. A Porta de Tofolli ou a porta CCNOT é uma porta quântica de 3 qubits que utiliza os 2 primeiros como controladores. Quando ambos tiverem o valor 1, o valor do terceiro qubit é invertido. A Porta de Toffoli pode ser representada pelo mapeamento a b c a b c ab. A Porta de Toffoli é universal na computação clássica, ou seja, qualquer circuito clássico pode ser implementado utilizando somente portas de Toffoli [17]. Como a porta de Tofolli também é quântica, sabemos que todos os circuitos clássicos podem ser simulados em computadores quânticos. Oráculos. Também conhecidos por "caixa-preta", oráculos calculam uma função característica desconhecida. Seja uma função f(x) : {0, 1} n {0, 1}. Um oráculo U f terá o seguinte comportamento: U f : x y x y f(x), onde x é um registrador de n qubits e y é um único qubit. Oráculos são amplamente utilizados em algoritmos quânticos voltados para problemas de busca ou problemas de se extrair informações de funções desconhecidas. 2.3 Algoritmos quânticos Algoritmos quânticos estão baseados no modelo computacional que utiliza a estrutura quântica da matéria no processo de computação. Como já citado anteriormente, circuitos quânticos e Máquinas de Turing Quânticas são formas equivalentes para se descrever um algoritmo quântico, ficando a critério do autor utilizar a notação que achar mais adequada. Um conceito importante para o desenvolvimento de algoritmos quânticos é o para- 8

9 lelismo quântico. Como o estado de um registrador quântico reflete a superposição das amplitudes dos elementos da base computacional do sistema, é possível aplicar uma operação sobre todos esses elementos ao mesmo tempo e, assim, obter uma superposição dos resultados da operação sobre os elementos da base computacional. Como o algoritmo irá tratar essa superposição de resultados para extrair a informação desejada varia de caso para caso. Porém, fica claro que esse é um grande diferencial da computação quântica perante a computação clássica. Vários algoritmos quânticos e técnicas para desenvolvimento de algoritmos quânticos foram desenvolvidos até hoje, e a explicação detalhada de todos estes é inviável dada a limitação de espaço desta proposta. Vamos, então, comentar brevemente sobre os mais importantes. Algoritmos de Shor. O grande salto da Computação Quântica se deu quando Shor propôs algoritmos quânticos que computam fatores primos de grandes números e que calculam o logaritmo discreto de um número, ambos com complexidade polinomial [34]. Os melhores algoritmos clássicos conhecidos até o momento para resolver esses problemas apresentam complexidade exponencial em tempo. Portanto, um computador quântico faria com que problemas hoje considerados intratáveis pudessem ser resolvidos de forma eficaz. Estes problemas são importantes pois são o cerne dos principais métodos criptográficos em uso hoje em dia. Algoritmo de Grover. O Algoritmo de Grover resolve o problema de buscas em um banco de dados desordenado, apresentando um ganho quadrático em relação aos algoritmos clássicos. O ganho não é exponencial, como no caso dos algoritmos de Shor, porém é possível aplicar seu resultado em muitos problemas importantes, inclusive a todos os problemas da classe NP. Passeios quânticos. Análogo quântico aos passeios aleatórios, os passeios quânticos descrevem o movimento de um caminhante condicionado a uma moeda quântica, e tendo sua posição definida por uma sobreposição de estados. Um grande diferencial dos passeios quânticos é que permitem trabalhar sobre estruturas muito conhecidas como uma linha ou, mais genericamente, sobre um grafo qualquer. Diversos algorit- 9

10 mos quânticos foram desenvolvidos utilizando o conceito de passeios quânticos [28] [27] [4] [23]. Alguns deles apresentam um ganho exponencial em complexidade de tempo em relação aos algoritmos clássicos. 2.4 Computabilidade Na computação clássica, o estudo da computabilidade nos permitiu classificar os problemas quanto ao modelo computacional necessário para resolvê-lo, caso isso seja possível. Esse estudo foi estendido à Computação Quântica, definindo-se modelos quânticos análogos para autômatos finitos determinísticos (AFDs), autômatos de pilha (APs) e Máquinas de Turing determinísticas (MTs). Verificou-se, porém, que varia o modo como cada modelo computacional quântico se relaciona com sua contrapartida determinística. É sabido que o conjunto das linguagens aceitas por 1-QFAs (autômatos finitos quânticos que só se movem em uma direção) é um subconjunto próprio daquelas aceitas por AFDs [24] [30]. Já no modelo em que é permitido mover-se nos 2 sentidos da fita de entrada (os 2-QFAs), estes aceitam um superconjunto próprio das linguagens aceitas por AFDs [24]. Quando partimos para o estudo das linguagens livres de contexto (LLC), que são aceitas por APs, ainda não foi encontrada uma relação entre estas e aquelas aceitas por autômatos de pilha quânticos (QAPs), as QLLC. Sabe-se, por exemplo, que toda LLC não-ambígua é também uma QLLC e que há QLLCs que não são LLC [30]. Porém ainda não se sabe se o conjunto das LLC é um subconjunto próprio das QLLC, ou se há linguagens LLC que não são QLLC. No quesito computabilidade, Máquinas de Turing determinísticas são equivalentes às Máquinas de Turing Quânticas 1, dado que é possível obter uma que simule a outra, e vice-versa [8]. 1 Assume-se aqui que as amplitudes de transição da Máquina de Turing Quântica podem ser computadas exatamente e em tempo polinomial. 10

11 2.5 Complexidade computacional Nesta subseção, trataremos da eficiência computacional dos algoritmos quânticos. Com o Algoritmo de Shor, surgiu a questão da existência de algoritmos quânticos capazes de resolver de maneira eficiente algum problema que só pode ser resolvido de maneira ineficiente no modelo clássico. O estudo da complexidade computacional quântica se desenvolveu, definindo classes de complexidade análogas àquelas associadas ao modelo computacional probabilístico. Apesar desta evolução, ainda hoje restam muitas questões em aberto sobre como essas novas classes se relacionam com a classes de complexidade clássicas. Denomina-se BQP a classe dos problemas que são resolvíveis de maneira eficiente no modelo computacional quântico. Consegue-se, de maneira direta, provar a seguinte estrutura entre certas classes de complexidade [35]: P BPP BQP PSPACE, onde P e BPP são as classes de problemas que podem ser resolvidos de forma eficiente nos modelos computacionais determinísticos e probabilísticos, respectivamente, e PS- PACE é a classe de problemas que podem ser resolvidos utilizado-se uma quantidade de memória de tamanho polinomial em relação ao tamanho da entrada do problema, no modelo computacional clássico. Um importante problema em aberto em teoria da computação é a relação exata entre as classes P e PSPACE. O estudo da complexidade quântica ganha relevância, pois BQP BPP implicaria em P PSPACE. Ou seja, se for encontrado um problema que pode ser resolvido de maneira eficiente em computadores quânticos, mas não em modelos probabilísticos (ou determinísticos), o problema P =? PSPACE, em aberto há décadas, estaria resolvido. Outro problema em aberto de grande importância é a relação entre as classes BQP e NP. Esta última pode ser entendida como a classe de problemas para os quais pode-se verificar certificados de soluções no modelo determinístico e de maneira eficiente. A 11

12 importância deste problema reside no fato de que há muitos problemas importantes em NP os quais não se sabe se podem ser resolvidos de maneira eficiente classicamente. Então, descobrir a relação entre essas duas classes de complexidade é equivalente a descobrir se um computador quântico pode ou não resolver tais problemas de maneira eficiente. 3 Proposta Nesta seção apresentamos os objetivos desta proposta e a abordagem que será utilizada para alcançá-los. Finalizamos com uma relação comentada da bibliografia pertinente, seguida de um cronograma de execução. 3.1 Objetivo Podemos, conceitualmente, dividir este trabalho em duas partes. Primeiramente serão estudados os conceitos básicos da Computação Quântica. Este estudo servirá para entender o contexto em que a Computação Quântica está inserida e possibilitará o aprofundamento dos estudos seguintes. Após essa etapa inicial, serão estudados a fundo alguns tópicos da Computação Quântica especialmente relevantes para a Teoria da Computação. Para se chegar ao estado da arte nas pesquisas sobre o tema proposto será necessário estudar alguns conceitos mais avançados em algumas áreas tais como álgebra linear, computabilidade e complexidade computacional. Logo, esta primeira etapa é importante, pois dará ao candidato familiaridade suficiente com temas tais como circuitos quânticos e algoritmos quânticos, fundamentais para prosseguir nos estudos. Ainda durante a fase inicial, serão estudados de maneira introdutórias temas mais avançados da Computação Quântica. Para efeitos de uma lista inicial, pretende-se estudar (i) aplicações algorítmicas dos passeios quânticos, (ii) as classes de complexidade computacional quânticas e autômatos finitos quânticos, junto com as linguagens regulares quânticas reconhecidas por estes. As técnicas e algoritmos englobados pelo 12

13 item (i) levam a alguns dos resultados mais recentes sobre algoritmos quânticos que apresentam ganho exponencial em complexidade de tempo em relação a algoritmos clássicos. Já no item (ii), serão estudados pontos referentes aos limites do poder computacional dos modelos quânticos. Durante os estudos compreendidos na primeira fase serão levantados alguns tópicos sobre os quais será desenvolvido um estudo mais aprofundado na segunda fase. Pretende-se, em um primeiro momento, aprofundar os tópicos listados sob o item (ii). Não se espera, entretanto, a resolução de conjecturas que resistem há décadas. Porém, pretende-se um entendimento completo dos temas básicos de suporte, de forma a alcançar o estado da arte em tópicos específicos. Nesta segunda fase pretende-se, também, melhor sintetizar alguns tópicos avançados ou mesmo obter novos resultados parciais. O projeto como um todo possui um cunho eminentemente teórico, e terá como um de seus resultados a escrita de uma monografia, em língua portuguesa, abordando em detalhes os tópicos estudados. As seções referentes à primeira parte do trabalho contribuirão para uma introdução à Computação Quântica sob as lentes da Teoria da Computação. O texto referente à segunda parte do trabalho irá aprofundar alguns temas pouco explorados na literatura da área em língua portuguesa. 3.2 Materiais e Métodos Para atingir os objetivos mencionados foi elaborado um plano de estudo inicial utilizando-se a bibliografia tradicional na área de Computação Quântica. Esse plano de estudo é referente à primeira fase do projeto. Regularmente, serão feitas reuniões com o orientador para discutir o andamento do trabalho e os resultados obtidos. Durante essas reuniões, serão levantados também tópicos que poderão ser estudados na segunda fase do trabalho. Aliadas ao estudo continuado, teremos a escrita da dissertação e de artigos científicos, bem como apresentações de tópicos selecionados em seminários para a comunidade local do Instituto de Computação da Unicamp. Estas atividades ajudarão a 13

14 consolidar os conhecimentos adquiridos. Pretende-se também realizar um estágio de pesquisa no exterior em algum centro de excelência na área dos tópicos sobre os quais será feito um estudo aprofundado. O suporte computacional necessário ao projeto será suprido satisfatoriamente pelos laboratórios do Instituto de Computação da Unicamp. A literatura indicada poderá ser obtida nas bibliotecas da Unicamp, da USP, no portal de periódicos da Capes e na internet. 3.3 Bibliografia comentada Esta subseção descreve a bibliografia selecionada para a primeira etapa do projeto. O livro de Yanofsky [39] é um texto introdutório que apresenta as bases da Computação Quântica, usando uma linguagem voltada para cientistas da computação. Entretanto, o texto aborda os temas de uma maneira um tanto superficial. Servirá como uma primeira leitura para assimilação de conceitos importantes acerca de cada tópico, relevando-se, neste primeiro momento, maiores detalhes. Em seguida, serão utilizadas as referências descritas a seguir, que aprofundam os temas de interesse. Para um desenvolvimento mais detalhado dos temas iniciais serão utilizados os livros de Kaye [22] e Hiversalo [20]. O primeiro associa os qubits, suas propriedades e comportamentos à teoria da mecância quântica. O segundo parte dos conceitos de bits clássicos e os conduz até qubits passando por bits probabilísticos. Já a literatura sobre algoritmos quânticos é mais extensa e espalhada, dado que é um tema ainda hoje em evolução. Serão utilizados os livros de Kaye [22] e Mermin [29] como base para os algoritmos tradicionais. Posteriormente, algoritmos mais recentes e aplicações algorítmicas de passeios quânticos serão estudados através de artigos específicos [4] [5] [9] [37] [38]. Os tópicos sobre computabilidade e complexidade computacional ainda hoje são melhor cobertos por artigos científicos. Kondacs [24] e Moore [30] apresentam os resultados iniciais sobre a computabilidade de autômatos quânticos. O texto de Bernstein [8] é uma boa referência para o estudo de Máquinas de Turing Quânticas. O ensaio de Va- 14

15 zirani [35], sobre a complexidade computacional quântica, contém os principais pontos iniciais para um estudo sobre este tipo de complexidade computacional abstrata. O livro de Nielsen [31], apesar de bem amplo, enfoca muitos tópicos sob aspectos físicos. Será utilizado como suporte e consulta para assuntos específicos. A bibliografia básica para a segunda etapa do projeto será definida e refinada durante o desenvolvimento da primeira fase, e consistirá de artigos especializados em cada área abordada. 3.4 Plano de Trabalho e Cronograma de Execução Esta seção descreve as atividades e suas respectivas durações, nas duas fases do projeto como comentado na seção 3.1. Destaca-se também que durante a Fase II, pretendese realizar um estágio de pesquisa no exterior, como citado na seção Fase I (1) Introdução à Computação Quântica. Bits quânticos, portas e circuitos quânticos, medições de bits quânticos, principais algoritmos quânticos Duração: 1 mês. (2) Passeios quânticos e algoritmos quânticos recentes. Aplicações algorítmicas de passeios quânticos e novos algoritmos quânticos Duração: 2 meses. (3) Complexidade Computacional Quântica. Classes de complexidade computacional quânticas, relação entre classes de complexidade, limites da Computação Quântica. Duração: 2 meses. (4) Autômatos quânticos e suas linguagens. Autômatos finitos quânticos, linguagens regulares quânticas, autômatos de pilha quânticos Duração: 2 meses. 15

16 (5) Dissertação e relatórios. Escrita das seções referentes à parte estudada na primeira fase e de relatórios anuais para a Fapesp. Duração: 3 meses. (6) Artigos e seminários. Escrita de artigos científicos e preparação de seminários sobre os tópicos estudados. Duração: 1 mês Fase II (1) Complexidade Computacional Quântica. Tópicos sobre complexidade computacional quântica selecionados para estudo mais aprofundado. Duração: 4 meses. (2) Autômatos quânticos e suas linguagens. Tópicos sobre autômatos quânticos e linguagens quânticas selecionados para estudo mais aprofundado. Duração: 4 meses. (3) Dissertação e relatório final. Finalização da escrita da dissertação e escrita do relatório final para a Fapesp. Duração: 3 meses. (4) Artigos e seminários. Escrita de artigos científicos e preparação de seminários sobre os tópicos estudados. Duração: 2 meses. 4 Benefícios ao candidato Primeiramente, o projeto apresentado permitirá ao candidato se especializar em um tema recente, que agrega conceitos de diversas áreas adquiridos durante sua graduação, ampliando e solidificando seus conhecimentos em Teoria da Computação. A dificuldade envolvida nesse tipo de projeto de pesquisa também é, sem dúvida, uma enorme fonte de aprendizado para um candidato ao mestrado, permitindo um 16

17 amadurecimento acadêmico do candidato para que possa prosseguir seus estudos em programas de doutorado. Referências [1] J. F. F. Abreu. Jogos Quânticos a partir de Hamiltonianos Biofísicos um Critério de Otimização Sub-neuronal da Informação. Tese de Doutorado, LNCC/MCT, [2] A. Ambainis e R. Spalek. Quantum algorithms for matching and network flow. Em Proceedings of the 23rd International Symposium on Theoretical Aspects of Computer Science, pág Springer LNCS, [3] Andris Ambainis. Quantum lower bounds by quantum arguments. Em Proceedings of the ACM Symposium on Theory of Computing, pág , [4] Andris Ambainis. Quantum walks and their algorithmic applications. International Journal of Quantum Information, 1:507, [5] Andris Ambainis e Robert Špalek. Quantum algorithms for matching and network flows. Em Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science, STACS 06, pág , Berlin, Heidelberg, Springer-Verlag. [6] Robert Beals, Harry Buhrman, Richard Cleve, Michele Mosca, e Ronald de Wolf. Quantum lower bounds by polynomials. J. ACM, 48(4): , [7] Charles H. Bennett. Time/space trade-offs for reversible computation. SIAM J. Comput., 18(4): , August [8] E. Bernstein e U. V. Vazirani. Quantum complexity theory. SIAM J. Comput., pág , [9] Harry Buhrman, Ronald de Wolf, Christoph Dürr, Mark Heiligman, Peter H"yer, Frédéric Magniez, e Miklos Santha. Quantum algorithms for element distinctness. Em Proceedings of the 16th Annual Conference on Computational Complexity, CCC 01, pág. 131, Washington, DC, USA, IEEE Computer Society. 17

18 [10] C. H. Cardonha. Sistemas interativos de prova clássicos e quânticos. Dissertação de Mestrado, Universidade de São Paulo, [11] C. H. Cardonha, Silva M. K. de C., e C. G. Fernandes. Computação quântica: Complexidade e algoritmos. Relatório técnico, Universidade de São Paulo, [12] D. Deutsch. Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London A, 400:97 117, [13] D. Deutsch. Quantum computational networks. Royal Society of London Proceedings Series A, 425:73 90, [14] D. Deutsch e R. Jozsa. Rapid solutions of problems by quantum computation. Em Proceedings of the Royal Society of London A, volume 439, pág , [15] C. Dürr e P. Høyer. A quantum algorithm for finding the minimum. CoRR, quantph/ , [16] Richard P Feynman. Simulating physics with computers. International Journal of Theoretical Physics, 21(6-7): , [17] Edward Fredkin e Tommaso Toffoli. Conservative logic. International Journal of Theoretical Physics, 21: , [18] D. N. Gonçalves. Algoritmos quânticos para problemas em teoria de grupo computacional. Dissertação de Mestrado, LNCC/MCT, [19] Lov K. Grover. A fast quantum mechanical algorithm for database search. Em Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, STOC 96, pág , New York, NY, USA, ACM. [20] M. Hirvensalo. Quantum computing. Natural computing series. Springer, [21] L. C. L. Hollenberg. Fast quantum search algorithms in protein sequence comparison - quantum biocomputing. Relatório Técnico quant-ph/ , Feb

19 [22] P. Kaye, R. Laflamme, e M. Mosca. An introduction to quantum computing. Oxford University Press, [23] J. Kempe. Quantum random walks - an introductory overview. Contemporary Physics, 44: , [24] A. Kondacs e J. Watrous. On the power of quantum finite state automata. Em Proceedings of the 38th Annual Symposium on Foundations of Computer Science, pág. 66, Washington, DC, USA, IEEE Computer Society. [25] L. A. B. Kowada. Construção de algoritmos reversíveis quânticos. Dissertação de Mestrado, LNCC/MCT, [26] Ming Li, John Tromp, e Paul Vitanyi. Reversible simulation of irreversible computation. Em Physica D, pág , [27] F. de L. Marquezino. A transformada de fourier quântica aproximada e sua simulação. Dissertação de Mestrado, LNCC/MCT, [28] F. de L. Marquezino. Análise, simulações e aplicações algorítmicas de caminhadas quânticas. Tese de Doutorado, LNCC/MCT, [29] N.D. Mermin. Quantum computer science: an introduction. Cambridge University Press, [30] Cristopher Moore e James P. Crutchfield. Quantum automata and quantum grammars. Theor. Comput. Sci., 237: , April [31] M.A. Nielsen e I.L. Chuang. Quantum computation and quantum information. Cambridge Series on Information and the Natural Sciences. Cambridge University Press, [32] A. C. Oliveira. Simulação de Caminhos Quânticos em Redes Bidimensionais. Tese de Doutorado, LNCC/MCT,

20 [33] R. Portugal, C.C. Lavor, L.M. Carvalho, e N. Maculan. Uma introdução à computação quântica. SBMAC, [34] P W Shor. Algorithms for quantum computation: discrete logarithms and factoring. Proceedings 35th Annual Symposium on Foundations of Computer Science, 35: , [35] Umesh Vazirani. A survey of quantum complexity theory. Em Proceedings of Symposia in Applied Mathematics, volume 58, pág American Mathematical Society, [36] A. L Vignatti, F.S. Netto, e L. F Bittencourt. Uma introdução à computação quântica. Relatório técnico, Universidade Federal do Paraná, [37] N. S. Volpato Filho e A. V. Moura. An O(n 3/4 log 2 n) quantum algorithm for the 1- dimensional closest pair problem. Em Workshop-Escola de Computaćão e Informaćão Quântica, [38] N. S. Volpato Filho e A. V. Moura. A quantum algorithm for finding the minimum pair. Em Workshop-Escola de Computaćão e Informaćão Quântica, [39] N.S. Yanofsky e M.A. Mannucci. Quantum computing for computer scientists. Cambridge University Press, [40] Andrew Chi-Chih Yao. Quantum circuit complexity. Em 34th Annual Symposium on Foundations of Computer Science, 3-5 November 1993, Palo Alto, California, USA, pág IEEE,

UFCG IQuanta DSC. Cheyenne R. G. Isidro Bernardo Lula Júnior

UFCG IQuanta DSC. Cheyenne R. G. Isidro Bernardo Lula Júnior Um Algoritmo para Transformar Autômatos Finitos Não- Determinísticos em Autômatos Finitos Quânticos Preservando o Número de Estados e a Linguagem Reconhecida Cheyenne R. G. Isidro cha@dsc.ufcg.edu.br Bernardo

Leia mais

I WPPC. Workshop de Pesquisas do Grupo PET-Computação. Elloá B. Guedes Orientador: Bernardo Lula Jr.

I WPPC. Workshop de Pesquisas do Grupo PET-Computação. Elloá B. Guedes Orientador: Bernardo Lula Jr. I WPPC Workshop de Pesquisas do Grupo PET-Computação Produção de Material Didático em Computação Quântica Elloá B. Guedes elloa@dsc.ufcg.edu.br Orientador: Bernardo Lula Jr. lula@dsc.ufcg.edu.br Julho,

Leia mais

Computação Quântica: Complexidade e Algoritmos

Computação Quântica: Complexidade e Algoritmos QC p.1/21 Computação Quântica: Complexidade e Algoritmos Carlos H. Cardonha Marcel K. de Carli Silva Cristina G. Fernandes (orientadora) Departamento de Ciência da Computação Instituto de Matemática e

Leia mais

Uma Introdução à Computação Quântica

Uma Introdução à Computação Quântica Uma Introdução à Computação Quântica por Bernardo Lula Júnior 1 e Aércio Ferreira de Lima 2 1 Departamento de Sistemas e Computação Universidade Federal de Campina Grande lula@dsc.ufcg.edu.br 2 Departamento

Leia mais

Criptografia Pós-Quântica Corretores de Erros

Criptografia Pós-Quântica Corretores de Erros Universidade de São Paulo Criptografia Pós-Quântica P com Códigos C Corretores de Erros Rafael Misoczki IME/USP misoczki@linux.ime.usp.br Prof. Dr. Paulo S. L. M. Barreto Poli/USP pbarreto@larc.usp.br

Leia mais

Aula 01. Murilo V. G. da Silva DINF/UFPR

Aula 01. Murilo V. G. da Silva DINF/UFPR Aula 01 DINF/UFPR Antes de qualquer coisa... Computação quântica é algo quente nos noticiários... Antes de qualquer coisa... Computação quântica é algo quente nos noticiários... mas Antes de qualquer coisa...

Leia mais

Introdução à Computação Quântica

Introdução à Computação Quântica Introdução à Computação Quântica Aula 1 Revisão da computação clássica Renato de Oliveira Violin José Hiroki Saito Departamento de Computação - UFSCar Conteúdo Dígitos binários. Portas lógicas e circuitos.

Leia mais

Uma ferramenta de simulação numérica e simbólica de circuitos quânticos

Uma ferramenta de simulação numérica e simbólica de circuitos quânticos 1 o Workshop Escola de Computação e Informação Quântica Pelotas (RS) - Outubro de 2006 Uma ferramenta de simulação numérica e simbólica de circuitos quânticos Universidade Federal da Campina Grande - UFCG

Leia mais

Implementando Algoritmo de Deutsch

Implementando Algoritmo de Deutsch Implementando Algoritmo de Deutsch Luiz Carlos Soares CIRQUEIRA 1 ; Ardiley Torres AVELAR. Instituto de Física luizcsc1@hotmail.com 1 ; ardiley@gmail.com Palavras-chave: algoritmos; porta quântica; cavidade.

Leia mais

Walter Carnielli Grupo!de Lógica Teórica e Aplicada. CLE e IFCH- UNICAMP

Walter Carnielli Grupo!de Lógica Teórica e Aplicada. CLE e IFCH- UNICAMP Computação Quântica e Lógicas Não-Clássicas Walter Carnielli Grupo!de Lógica Teórica e Aplicada CLE e IFCH- UNICAMP. O que é a lógica quântica?!raciocinar com proposições que levam em conta as leis da

Leia mais

Algoritmos Quânticos

Algoritmos Quânticos Algoritmos Quânticos Renato Portugal, Carlos Magno M. Cosme, Demerson N. Gonçalves Laboratório Nacional de Computação Científica - LNCC Ministério da Ciência e Tecnologia - MCT WECIQ006 p.1/46 Resumo Transformada

Leia mais

Computação Quântica. Paulo Mateus. Centro de Lógica e Computação Instituto Superior Técnico NEEI-IST

Computação Quântica. Paulo Mateus. Centro de Lógica e Computação Instituto Superior Técnico NEEI-IST Computação Quântica Paulo Mateus Centro de Lógica e Computação Instituto Superior Técnico NEEI-IST Motivação Lei de Moore Gordon Moore (co-fundador da Intel) O número de transístores por polegada quadrada

Leia mais

UM ALGORITMO QUÂNTICO (BASEADO EM ENSEMBLES) DE EM UMA LISTA COM N ELEMENTOS

UM ALGORITMO QUÂNTICO (BASEADO EM ENSEMBLES) DE EM UMA LISTA COM N ELEMENTOS A pesquisa Operacional e os Recursos Renováveis 4 a 7 de novembro de 2003, Natal-RN UM ALGORITMO QUÂNTICO (BASEADO EM ENSEMBLES) DE COMPLEXIDADE O(log 2 N) PARA UM PROBLEMA DE BUSCA EM UMA LISTA COM N

Leia mais

SIMULAÇÃO DA TRANSFORMADA QUÂNTICA DE FOURIER COM O SIMULADOR ZENO

SIMULAÇÃO DA TRANSFORMADA QUÂNTICA DE FOURIER COM O SIMULADOR ZENO 169 SIMULAÇÃO DA TRANSFORMADA QUÂNTICA DE FOURIER COM O SIMULADOR ZENO José Filipe de Lima, Rodrigo Soares Semente Departamento de Ciências Exatas e Naturais DCEN - Universidade Federal Rural do Semi-Árido

Leia mais

e Problema do Subgrupo Oculto Cleber Okida Denise Goya Mateus Santos PCS Prof. Paulo Barreto maio/2008

e Problema do Subgrupo Oculto Cleber Okida Denise Goya Mateus Santos PCS Prof. Paulo Barreto maio/2008 e Cleber Okida Denise Goya Mateus Santos DCC - IME - USP Aplicações da Engenharia Quântica à Segurança da Informação PCS-5714 - Prof. Paulo Barreto maio/2008 Sumário Introdução 1 Introdução 2 Redução da

Leia mais

A revolução por trás da computação quântica

A revolução por trás da computação quântica A revolução por trás da computação quântica Introdução a Engenharia de Computação e Informação (ieci) 2016/1 Franklin Marquezino franklin@cos.ufrj.br Agenda O que é a computação quântica Como são os computadores

Leia mais

Uma Unidade Lógica e Aritmética Reversível

Uma Unidade Lógica e Aritmética Reversível Uma Unidade Lógica e Aritmética Reversível Wilson Rosa de Oliveira DEINFO / UFRPE wrdo@ufrpe.br Luis Antônio Brasil Kowada PESC / COPPE / UFRJ kowada@ufrj.br Amanda Leonel Nascimento DSC / POLI / UPE aln@dsc.upe.br

Leia mais

Introdução a Circuitos Quânticos

Introdução a Circuitos Quânticos UFCG - Universidade Federal de Campina Grande DSC - Departamento de Sistemas e Computação a aab@dsc.ufcg.edu.br a Roteiro a A computação quântica é um domínio recente, engloba três áreas: física, computação

Leia mais

Introdução à computação quântica

Introdução à computação quântica Introdução à computação quântica Heitor Nicoliello RA: 089041 03 July 2009 Resumo Um computador quântico é um dispositivo que executa cálculos usando propriedades da mecânica quântica. Essas propriedades

Leia mais

Prof. Dr. Marcos Castilho. Departamento de Informática/UFPR. 22 de Fevereiro de 2018

Prof. Dr. Marcos Castilho. Departamento de Informática/UFPR. 22 de Fevereiro de 2018 22 de Fevereiro de 2018 Motivação O que é um computador? O que é um algoritmo? Para que serve um algoritmo? Quando um algoritmo é bom? A análise de um algoritmo depende do computador? Motivação Em teoria

Leia mais

Computação. Sob uma perspectiva teórica. Elloá B. Guedes. IQuanta. 22 de setembro de 2008

Computação. Sob uma perspectiva teórica. Elloá B. Guedes. IQuanta. 22 de setembro de 2008 Computação Sob uma perspectiva teórica Elloá B. Guedes IQuanta 22 de setembro de 2008 Elloá B. Guedes (IQuanta) Computação 22 de setembro de 2008 1 / 30 Outline 1 Motivação 2 Contextualização Histórica

Leia mais

PCC104 - Projeto e Análise de Algoritmos

PCC104 - Projeto e Análise de Algoritmos PCC104 - Projeto e Análise de Algoritmos Marco Antonio M. Carvalho Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 5 de dezembro de 2017 Marco Antonio

Leia mais

2, ao medirmos um observável deste estado que possui autovetores 0 e 1, obtemos o resultado 0 com probabilidade α 2, e 1 com probabilidade β 2.

2, ao medirmos um observável deste estado que possui autovetores 0 e 1, obtemos o resultado 0 com probabilidade α 2, e 1 com probabilidade β 2. 4 Informação Quântica A teoria da Informação Quântica foi basicamente desenvolvida na última década (3, 10, 16). Nosso objetivo neste capítulo é apresentar sua estrutura fundamental, o bit quântico, e

Leia mais

A revolução por trás da computação quântica

A revolução por trás da computação quântica A revolução por trás da computação quântica Introdução a Engenharia de Computação e Informação (ieci) 2018/1 Franklin Marquezino franklin@cos.ufrj.br Agenda O que é a computação quântica Como são os computadores

Leia mais

5COP096 TeoriadaComputação

5COP096 TeoriadaComputação Sylvio 1 Barbon Jr barbon@uel.br 5COP096 TeoriadaComputação Aula 13 Prof. Dr. Sylvio Barbon Junior Sumário - Problemas NP-Completo Algoritmos Não-deterministas; Classes NP-Completo e NP-Dificil; Teorema

Leia mais

Folha de Rosto para Projeto de Iniciação Científica. Edital 02/2016

Folha de Rosto para Projeto de Iniciação Científica. Edital 02/2016 Folha de Rosto para Projeto de Iniciação Científica Edital 02/2016 Título do projeto: Computação Quântica. Nome do Aluno: Philippe Da Silva Teodoro Carioni RA do aluno: 11053416 e-mail do aluno: philippe.teodoro@hotmail.com

Leia mais

Avaliação de Segurança em Curvas Eĺıpticas Usando o Corpo dos Números p-ádicos

Avaliação de Segurança em Curvas Eĺıpticas Usando o Corpo dos Números p-ádicos Avaliação de Segurança em Curvas Eĺıpticas Usando o Corpo dos Números p-ádicos Marcio Belleza Fábio Borges Laboratório Nacional de Computação Científica - LNCC 10 de dezembro de 2018 Organização do Trabalho

Leia mais

Teoria da Computação. Computabilidade

Teoria da Computação. Computabilidade Cristiano Lehrer Introdução O objetivo do estudo da solucionabilidade de problemas é investigar a existência ou não de algoritmos que solucionem determinada classe de problemas. Ou seja, investigar os

Leia mais

Mini-curso de Spintrônica

Mini-curso de Spintrônica Mini-curso de Spintrônica V Escola de Matogrossense de Física Tatiana G. Rappoport UFRJ http://www.if.ufrj.br/~tgrappoport I. Introdução II. Background III. Spintrônica em metais IV. Spintrônica em semicondutores

Leia mais

Circuitos Quânticos: uma introdução

Circuitos Quânticos: uma introdução Circuitos Quânticos: uma introdução Aércio Ferreira de Lima DF/CCT/UFCG Bernardo Lula Júnior DSC/CCT/UFCG WECIQ2006 Roteiro Mecânica quântica (30min) dualidade onda x partícula superposição e interferência

Leia mais

25 de julho de (2) Desenvolvimento do projeto de pesquisa 2

25 de julho de (2) Desenvolvimento do projeto de pesquisa 2 FUNDAMENTOS DA CIÊNCIA DA COMPUTAÇÃO: ALGORITMOS COMBINATÓRIOS E ESTRUTURAS Y. KOHAYAKAWA Resumo. Apresentamos neste relatório as atividades científicas realizadas dentro do projeto Fundamentos da Ciência

Leia mais

Reticulados e Criptograa Pós-Quântica

Reticulados e Criptograa Pós-Quântica Reticulados e Criptograa Pós-Quântica Prof. Dr. Agnaldo José Ferrari Prof. Dr. Agnaldo José Ferrari Prof. Dr. Agnaldo José Ferrari Departamento de Matemática, Unesp, Bauru IV Workshop de Algebra da UFG-CAC

Leia mais

Daniel Barbosa Stein Douglas Alves Reis Marcio R. Santos Marcos Takechi Hirata Nelson M. Tsuboi Nobuyuki Tateoka Peter Ngugi Nyumu Ricardo de Cillo

Daniel Barbosa Stein Douglas Alves Reis Marcio R. Santos Marcos Takechi Hirata Nelson M. Tsuboi Nobuyuki Tateoka Peter Ngugi Nyumu Ricardo de Cillo Daniel Barbosa Stein Douglas Alves Reis Marcio R. Santos Marcos Takechi Hirata Nelson M. Tsuboi Nobuyuki Tateoka Peter Ngugi Nyumu Ricardo de Cillo Física Quântica e a Natureza da Computação Física Quântica

Leia mais

Aula 10: Tratabilidade

Aula 10: Tratabilidade Teoria da Computação DAINF-UTFPR Aula 10: Tratabilidade Prof. Ricardo Dutra da Silva Na aula anterior discutimos problemas que podem e que não podem ser computados. Nesta aula vamos considerar apenas problemas

Leia mais

Paulo Guilherme Inça. 7 de dezembro de 2016

Paulo Guilherme Inça. 7 de dezembro de 2016 Coloração de grafos é NP-Difícil Paulo Guilherme Inça 7 de dezembro de 2016 Sumário 1 Introdução 1 2 O Problema da Coloração de Grafos 2 3 3-Coloração é NP-Completo 3 4 Generalizações e Restrições 6 5

Leia mais

Teoria da Computação. Computabilidade e complexidade computacional

Teoria da Computação. Computabilidade e complexidade computacional Teoria da Computação Computabilidade e complexidade computacional 1 Computabilidade e Complexidade Computabilidade: verifica a existência de algoritmos que resolva uma classe de linguagens trata a possibilidade

Leia mais

UMA NOVA DEMONSTRAÇÃO DA COMPLEXIDADE DO ALGORITMO DE GROVER

UMA NOVA DEMONSTRAÇÃO DA COMPLEXIDADE DO ALGORITMO DE GROVER A pesquisa Operacional e os Recursos Renováveis 4 a 7 de novembro de 3, atal-r UMA OVA DEMOSTRAÇÃO DA COMPLEXIDADE DO ALGORITMO DE GROVER Carlile Lavor Universidade do Estado do Rio de Janeiro (IME-UERJ)

Leia mais

Capítulo A máquina de Turing (TM) padrão Combinações de máquinas de Turing A Tese de Turing. ADC/TC/Cap.9/ /LEI/DEIFCTUC 375

Capítulo A máquina de Turing (TM) padrão Combinações de máquinas de Turing A Tese de Turing. ADC/TC/Cap.9/ /LEI/DEIFCTUC 375 Capítulo 9 Máquinas de Turing 9.1. A máquina de Turing (TM) padrão 9.2. Combinações de máquinas de Turing 9.3. A Tese de Turing ADC/TC/Cap.9/2009-10/LEI/DEIFCTUC 375 Linguagens regulares Autómatos finitos

Leia mais

UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo

UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 01 Apresentação da Disciplina Prof.ª Danielle Casillo PLANO DE ENSINO Nome: Teoria da Computação Créditos:

Leia mais

PLANO DE ENSINO. CURSO: Bacharelado em Sistemas de Informação MODALIDADE: PRESENCIAL ( X ) OBRIGATÓRIA ( ) OPTATIVA DEPARTAMENTO: DEINFO

PLANO DE ENSINO. CURSO: Bacharelado em Sistemas de Informação MODALIDADE: PRESENCIAL ( X ) OBRIGATÓRIA ( ) OPTATIVA DEPARTAMENTO: DEINFO UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO Pró-Reitoria de Ensino de Graduação Coordenação do Curso de Bacharelado em Sistemas de Informação Site: http://www.bsi.ufrpe.br E-mail: coordenacao@bsi.ufrpe.br

Leia mais

Introdução à Computação Quântica

Introdução à Computação Quântica Introdução à Computação Quântica Aula 2 Computação quântica: princípios matemáticos e físicos Renato de Oliveira Violin José Hiroki Saito Departamento de Computação - UFSCar Conteúdo Bits quânticos (qubits).

Leia mais

Otimização Combinatória - Parte 4

Otimização Combinatória - Parte 4 Graduação em Matemática Industrial Otimização Combinatória - Parte 4 Prof. Thiago Alves de Queiroz Departamento de Matemática - CAC/UFG 2/2014 Thiago Queiroz (DM) Parte 4 2/2014 1 / 33 Complexidade Computacional

Leia mais

A Revolução da Computação Quântica

A Revolução da Computação Quântica A Revolução da Computação Quântica Ulisses Mello, PhD Diretor, IBM Research Brasil IBM Research IBM Q System One Nos próximos 20 minutos vou responder 5 questões? 1. Qual a diferença entre Computação Quântica

Leia mais

Redes Neurais Quânticas Sem Peso

Redes Neurais Quânticas Sem Peso Redes Neurais Quânticas Sem Peso Wilson de Oliveira 1, Wilson Galindo 2, Amanda Leonel 3, Jefferson Pereira 1, Adenilton J. Silva 4 1 Departamento de Estatística e Informática Universidade Federal Rural

Leia mais

A computação do futuro

A computação do futuro A computação do futuro Miguel Afonso Oliveira Laboratório de Instrumentação e Física Experimental de Partículas Computadores do futuro??? Porque é que vamos falar de computadores numa sessão de física?

Leia mais

Marcos Castilho. DInf/UFPR. 16 de maio de 2019

Marcos Castilho. DInf/UFPR. 16 de maio de 2019 16 de maio de 2019 Motivação Quais são os limites da computação? O que é um Problema de decisão? Um problema de decisão é um conjunto de perguntas, cada uma das quais tem um SIM ou um NÃO como resposta.

Leia mais

Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens

Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens 1 Introdução Estudar computação do ponto de vista teórico é sinônimo de caracterizar

Leia mais

Introdução a Circuitos Quânticos

Introdução a Circuitos Quânticos Universidade Federal de Campina Grande Departamento de Sistemas e Computação Pós-Graduação em Informática Introdução a Circuitos Quânticos Alexandre de Andrade Barbosa aab@dsc.ufcg.edu.br Campina Grande,

Leia mais

Teoria da Computação. Computabilidade e complexidade computacional

Teoria da Computação. Computabilidade e complexidade computacional Teoria da Computação Computabilidade e complexidade computacional 1 Computabilidade e Complexidade Computabilidade: verifica a existência de algoritmos que resolva uma classe de linguagens trata a possibilidade

Leia mais

Uma forma de classificação

Uma forma de classificação Uma forma de classificação L. Não-RE ou f. nãocomputáveis LRE ou MT ou f. comput. L. Indecidíveis ou Procedimentos L. Recursivas ou Decidíveis ou Algoritmos Outra forma de classificação Problemas Indecidíveis

Leia mais

Mineração de Textos na Web

Mineração de Textos na Web Mineração de Textos na Web Luciano Antonio Digiampietri Escola de Artes Ciências e Humanidades da Universidade de São Paulo digiampietri@usp.br Resumo: Com o crescimento das informações disponíveis na

Leia mais

MAC5722 Complexidade Computacional

MAC5722 Complexidade Computacional MAC5722 Complexidade Computacional Complexidade Computacional p. 1 MAC5722 Complexidade Computacional Qual é o seu problema? http://qwiki.stanford.edu/wiki/complexity_zoo Complexidade Computacional p.

Leia mais

Introdução à Computação Quântica

Introdução à Computação Quântica Introdução à Computação Quântica Aula 3 Computação quântica: portas lógicas e circuitos Renato de Oliveira Violin José Hiroki Saito Departamento de Computação - UFSCar Conteúdo Portas lógicas e circuitos.

Leia mais

INTRATABILIDADE e NP-COMPLETUDE

INTRATABILIDADE e NP-COMPLETUDE INTRATABILIDADE e NP-COMPLETUDE Sandro Santos Andrade Doutorado Multiinstitucional em Ciência da Computação UFBA/UNIFACS/UEFS Junho/2008 Grafos e Análise de Algoritmos Introdução Para alguns problemas

Leia mais

Projeto e Análise de Algoritmos NP Completude. Prof. Humberto Brandão

Projeto e Análise de Algoritmos NP Completude. Prof. Humberto Brandão Projeto e Análise de Algoritmos NP Completude Prof. Humberto Brandão humberto@bcc.unifal-mg.edu.br Universidade Federal de Alfenas versão da aula: 0.4 Introdução Problemas intratáveis ou difíceis são comuns

Leia mais

Linguagens Formais e Autômatos. Apresentação do Plano de Ensino

Linguagens Formais e Autômatos. Apresentação do Plano de Ensino Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma A01 Engenharia da Computação e Ciência da Computação Horário: Segunda, Terça e Quinta.

Leia mais

Estudo e Análise de Algoritmos Quânticos

Estudo e Análise de Algoritmos Quânticos Universidade Federal do Rio Grande do Sul Instituto de Física Estudo e Análise de Algoritmos Quânticos Leandro Mengue da Silva Trabalho de Conclusão de Curso realizado sob orientação da Professora Dra.

Leia mais

EMENTÁRIO CURSO DE CIÊNCIA DA COMPUTAÇÃO MATRIZ 2013

EMENTÁRIO CURSO DE CIÊNCIA DA COMPUTAÇÃO MATRIZ 2013 EMENTÁRIO CURSO DE CIÊNCIA DA COMPUTAÇÃO MATRIZ 01 NOME DA DISCIPLINA Algoritmos Engenharia de Software Computação I Laboratório de Programação Sistemas Digitais para Computação CONTEUDO (EMENTA) Estudo

Leia mais

3. Resolução de problemas por meio de busca

3. Resolução de problemas por meio de busca Inteligência Artificial - IBM1024 3. Resolução de problemas por meio de busca Prof. Renato Tinós Local: Depto. de Computação e Matemática (FFCLRP/USP) 1 Principais Tópicos 3. Resolução de problemas por

Leia mais

Tópicos Avançados em Algoritmos

Tópicos Avançados em Algoritmos Tópicos Avançados em Algoritmos Armando Matos 2008 Departamento de Ciência de Computadores Faculdade de Ciências da Universidade do Porto 2 Tópicos Avançados de Algoritmos Armando B. Matos DCC-FC-UP 2009

Leia mais

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular TEORIA DA COMPUTAÇÃO Ano Lectivo 2017/2018

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular TEORIA DA COMPUTAÇÃO Ano Lectivo 2017/2018 Programa da Unidade Curricular TEORIA DA COMPUTAÇÃO Ano Lectivo 2017/2018 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Engenharia Informática 3. Ciclo de Estudos 1º 4. Unidade

Leia mais

Fundamentos da Teoria Quântica da Informação

Fundamentos da Teoria Quântica da Informação Fundamentos da Teoria Quântica da Informação Aluno: Julio Nicolini Orientador: Guilherme Temporão Introdução Em 1927, Heisenberg formulou o seu Princípio da Incerteza, introduzindo a ideia altamente contra-intuitiva

Leia mais

Computação quântica, estamos preparados?

Computação quântica, estamos preparados? Computação quântica, estamos preparados? De conceitos a implicações futuras Fernando Vasconcelos Mendes fernandovm@gmail.com Ph.D., Software Architect, BCP, MCP, MCAD, MCSD, ITIL Agenda Contextualização

Leia mais

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG Matriz Curricular FGGCOMP - Bacharelado em Ciência da Computação 0. Disciplinas Obrigatórias FGGCOMP.00 Cálculo I FGGELET.00 - Cálculo I / FGGMATE.00 - Cálculo Diferencial e Integral I FGGCOMP.00 Geometria

Leia mais

Aplicações a sistemas simples. C.E. Aguiar / Mecânica Quântica /

Aplicações a sistemas simples. C.E. Aguiar / Mecânica Quântica / Aplicações a sistemas simples C.E. Aguiar / Mecânica Quântica / 04 34 Informação quântica C.E. Aguiar / Mecânica Quântica / 04 35 Aplicações a sistemas simples Interferômetro de Mach-Zehnder Medida sem

Leia mais

Computação quântica com íons aprisionados

Computação quântica com íons aprisionados Computação quântica com íons aprisionados Alessandro S. Villar Instituto de Física Universidade de São Paulo Departamento de Física Centro de Ciências Exatas e da Natureza Universidade Federal de Pernambuco

Leia mais

Juliana Kaizer Vizzotto. Universidade Federal de Santa Maria. Disciplina de Teoria da Computação

Juliana Kaizer Vizzotto. Universidade Federal de Santa Maria. Disciplina de Teoria da Computação Universidade Federal de Santa Maria Disciplina de Teoria da Computação Quais são as capacidades e limitações fundamentais dos computadores? Funções Computáveis Algoritmo: descrição finitade uma computação

Leia mais

Autómatos determísticos de k-pilhas

Autómatos determísticos de k-pilhas Autómatos determísticos de k-pilhas dados de entrada a a a3 an controlo finito (S, Σ, Γ, δ, Z, s 0, F ) δ (S Σ Γ k ) (S, (Γ ) k ) Departamento de Ciência de Computadores da FCUP MC Aula 3 Dados um estado

Leia mais

ANÁLISE DE COMPLEXIDADE DOS ALGORITMOS

ANÁLISE DE COMPLEXIDADE DOS ALGORITMOS 1/18 ANÁLISE DE COMPLEXIDADE DOS ALGORITMOS Algoritmos 2/18 Algoritmos Algoritmo - sequência de instruções necessárias para a resolução de um problema bem formulado (passíveis de implementação em computador)

Leia mais

Tecnologias Quânticas

Tecnologias Quânticas Quantum vs Clássico Tecnologias Quânticas Devem os engenheiros aprender Mecânica Quântica? J.M.B. Lopes dos Santos CFP e Departamento de Física, Faculdade de Ciências, Universidade do Porto ISEP, Departamento

Leia mais

PROJETO PARA O CICLO AVANÇADO TÉCNICAS MODERNAS EM COMBINATÓRIA

PROJETO PARA O CICLO AVANÇADO TÉCNICAS MODERNAS EM COMBINATÓRIA PROJETO PARA O CICLO AVANÇADO TÉCNICAS MODERNAS EM COMBINATÓRIA LEONARDO NAGAMI COREGLIANO E YOSHIHARU KOHAYAKAWA Resumo. Este é o projeto de pesquisa para o Ciclo Avançado de Leonardo Nagami Coregliano,

Leia mais

SCC Introdução à Teoria da Computação

SCC Introdução à Teoria da Computação SCC-0505 João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis/ joaoluis@icmc.usp.br

Leia mais

Teoria da Computação. Complexidade computacional classes de problemas

Teoria da Computação. Complexidade computacional classes de problemas Teoria da Computação Complexidade computacional classes de problemas 1 Universo de problemas Problemas indecidíveis ou não-computáveis Não admitem algoritmos Problemas intratáveis Não admitem algoritmos

Leia mais

Teoria da Computação (BBC244)

Teoria da Computação (BBC244) Teoria da Computação (BBC244) Professor: Anderson Almeida Ferreira anderson.ferreira@gmail.com http://www.decom.ufop.br/anderson Sala COM 10 DECOM-UFOP Ementa Gramáticas. Linguagens. Operações com Linguagens.

Leia mais

Mecanismos de Interrupção e de Exceção, Barramento, Redes e Sistemas Distribuídos. Sistemas Operacionais, Sistemas

Mecanismos de Interrupção e de Exceção, Barramento, Redes e Sistemas Distribuídos. Sistemas Operacionais, Sistemas Arquitetura de Computadores, Arquitetura de Computadores Organização de Computadores, Conjunto de Instruções, Sistemas Operacionais, Sistemas Operacionais, Sistemas Mecanismos de Interrupção e de Exceção,

Leia mais

Cálculo da Informação Acessível

Cálculo da Informação Acessível Cálculo da Informação Acessível Michael Souza (LNCC) Renato Portugal (LNCC) Carlile Lavor (IME-UNICAMP) Este trabalho tem suporte financeiro das agências FAPERJ e CNPQ. Tópicos Abordagem pragmática da

Leia mais

Um Simulador Simbólico de Circuitos Quânticos

Um Simulador Simbólico de Circuitos Quânticos Universidade Federal da Campina Grande - UFCG Instituto de Estudos em Computação e Informação Quântica - IQUANTA Um Simulador Simbólico de Circuitos Quânticos Alexandre de Andrade Barbosa aab@dsc.ufcg.edu.br

Leia mais

Criptografia Pós-Quântica baseada em Códigos Corretores de Erros

Criptografia Pós-Quântica baseada em Códigos Corretores de Erros Criptografia Pós-Quântica baseada em Códigos Corretores de Erros Instituto de Matemática e Estatísica da USP gervasio@ime.usp.br 17 de novembro de 2016 Criptografia Atual RSA Curvas Eĺıpticas Problema

Leia mais

Linguagens Formais e Autômatos. Tiago Alves de Oliveira

Linguagens Formais e Autômatos. Tiago Alves de Oliveira Linguagens Formais e Autômatos Tiago Alves de Oliveira Ementa Linguagens Regulares; Máquinas de Turing; O Problema da Parada da Máquina de Turing; Autômatos Finitos; Linguagens Livres de Contexto; Autômatos

Leia mais

Distribuídas no Ambiente VPE-qGM

Distribuídas no Ambiente VPE-qGM Análise e Validação das Simulações Quânticas Paralelas e Distribuídas no Ambiente VPE-qGM Murilo F. Schmalfuss 1, Anderson B. de Avila 1, Renata H. S. Reiser 1, Maurício L. Pilla 1 1 Centro de Desenvolvimento

Leia mais

Projeto e Análise de Algoritmos Aula 1: Panorama (0.1,0.2)

Projeto e Análise de Algoritmos Aula 1: Panorama (0.1,0.2) 1 Projeto e Análise de Algoritmos Aula 1: Panorama (0.1,0.2) DECOM/UFOP 2013/1 5º. Período Anderson Almeida Ferreira Baseado no material desenvolvido por Andréa Iabrudi Tavares BCC 241 2012/2 2 Algumas

Leia mais

SCC Capítulo 3 Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente

SCC Capítulo 3 Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente SCC-505 - Capítulo 3 Linguagens Sensíveis ao Contexto e João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo http://www.icmc.usp.br/~joaoluis

Leia mais

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG LEI Nº.9, DE 9//00, PUBLICADA NO DOU DE 0//00, SEÇÃO I, PAGS. I - Rua São Luiz Gonzaga, s/n - São Luiz - Formiga - MG - CEP: 0-000 Tel: ()-09 - Site: www.formiga.ifmg.edu.br Matriz Curricular FGGCOMP -

Leia mais

Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP

Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP Ementa Gramáticas. Linguagens Regulares, Livres-de-Contexto e Sensíveis-ao- Contexto. Tipos de Reconhecedores. Operações

Leia mais

Teoria da Computação Aula 8 Noções de Complexidade

Teoria da Computação Aula 8 Noções de Complexidade Teoria da Computação Aula 8 Noções de Complexidade Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional Motivação: Por que estudar algoritmos? Perguntas: - Por que estudar algoritmos se os computadores

Leia mais

Complexidade Parametrizada - Intratabilidade Uéverton S. Souza - UFF

Complexidade Parametrizada - Intratabilidade Uéverton S. Souza - UFF Uéverton S. Souza - UFF ueverton@ic.uff.br 1 o Workshop Paulista em Otimização, Combinatória e Algoritmos Junho 2017 Intratabilidade - Comlexidade Computacional Teoria da NP-completude Classe P Solucionáveis

Leia mais

IN Redes Neurais

IN Redes Neurais IN0997 - Redes Neurais Aluizio Fausto Ribeiro Araújo Universidade Federal de Pernambuco Centro de Informática - CIn Departamento de Sistemas da Computação aluizioa@cin.ufpe.br Conteúdo Objetivos Quem usa

Leia mais

Circuitos sequenciais Adaptado dos transparentes das autoras do livro The Essentials of Computer Organization and Architecture

Circuitos sequenciais Adaptado dos transparentes das autoras do livro The Essentials of Computer Organization and Architecture Capítulo 3 Circuitos sequenciais Adaptado dos transparentes das autoras do livro The Essentials of Computer Organization and Architecture Objectivos Conhecer alguns dos principais circuitos digitais sequenciais

Leia mais

Introdução à Computação Quântica

Introdução à Computação Quântica Introdução à Computação Quântica Amanda Castro Oliveira, Renato Portugal LNCC/MCT 28 a 31/01/2008 Sumário Introdução; Conceitos Básicos; O Computador Clássico; O Computador Quântico; Circuitos Quânticos;

Leia mais

1. Computação Evolutiva

1. Computação Evolutiva Computação Bioinspirada - 5955010-1 1. Computação Evolutiva Prof. Renato Tinós Depto. de Computação e Matemática (FFCLRP/USP) 1 1.7. Outras Metaheurísticas Populacionais 1.7.1. Metaheurísticas Populacionais

Leia mais

2. Desenvolvimento do projeto de pesquisa Seminários 4 6. Eventos e visitas Aplicação dos recursos 5 9. Conclusão 5

2. Desenvolvimento do projeto de pesquisa Seminários 4 6. Eventos e visitas Aplicação dos recursos 5 9. Conclusão 5 FUNDAMENTOS DA CIÊNCIA DA COMPUTAÇÃO: ALGORITMOS COMBINATÓRIOS E ESTRUTURAS DISCRETAS Y. KOHAYAKAWA Resumo. Apresentamos neste relatório as atividades científicas de nossa equipe no período de julho de

Leia mais

Síntese de programas utilizando a linguagem Alloy

Síntese de programas utilizando a linguagem Alloy Universidade Federal de Pernambuco Centro de Informátiva Graduação em Ciência da Computação Síntese de programas utilizando a linguagem Alloy Proposta de Trabalho de Graduação Aluno: João Pedro Marcolino

Leia mais

Teoria da Complexidade Computacional

Teoria da Complexidade Computacional Teoria da Complexidade Computacional Letícia Rodrigues Bueno UFABC Motivação Motivação I can t find an efficient algorithm, I guess I m just too dumb. Fonte: GAREY, M. R. e JOHNSON, D. S. Computers and

Leia mais

UNIVERSIDADE FEDERAL DE UBERLÂNDIA UFU

UNIVERSIDADE FEDERAL DE UBERLÂNDIA UFU UNIVERSIDADE FEDERAL DE UBERLÂNDIA UFU PLANO DE TRABALHO EM INICIAÇÃO CIENTÍFICA Desenvolvimento e aplicação de um modelo gravitacional simplificado para análise de formas. Uberlândia 17/05/2013 IDENTIFICAÇÃO

Leia mais

Desenvolvendo Algoritmos Quânticos Utilizando uma Linguagem Funcional

Desenvolvendo Algoritmos Quânticos Utilizando uma Linguagem Funcional Desenvolvendo Algoritmos Quânticos Utilizando uma Linguagem Funcional Marcos B. Cardoso, Renata H. S. Reiser, Antônio C. R. Costa 1 Escola de Informática - Universidade Católica de Pelotas (UCPel) Rua

Leia mais

Linguagens recursivamente enumeráveis

Linguagens recursivamente enumeráveis Linguagens recursivamente enumeráveis Uma palavra x Σ é aceite por uma máquina de Turing M ( x L(M)) se M iniciando com a palavra x na fita e no estado inicial, pára num estado final. Caso contrário, M

Leia mais

Turma A - Segundas e Quartas das 8h30min - 10h10min Turma B - Segundas e Quartas das 10h30min - 12h10min

Turma A - Segundas e Quartas das 8h30min - 10h10min Turma B - Segundas e Quartas das 10h30min - 12h10min UNIVERSIDADE DEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA DEPARTAMENTO DE INFORMÁTICA TEÓRICA 2 Semestre 2008 04/08/2008 a 12/12/2008 DISCIPLINA: TEORIA DA COMPUTAÇÃO N CÓDIGO: INF05501. Horário:

Leia mais

Problemas Intratáveis ou computação eficiente X computação ineficiente

Problemas Intratáveis ou computação eficiente X computação ineficiente Problemas Intratáveis ou computação eficiente X computação ineficiente Problemas Tratáveis Os problemas que podem ser resolvidos em tempo polinomial em um computador típico são exatamente os mesmos problemas

Leia mais

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG Matriz Curricular FGGCOMP - Bacharelado em Ciência da Computação 0. Disciplinas Obrigatórias FGGCOMP.00 Cálculo I FGGELET.00 - Cálculo I / FGGMATE.00 - Cálculo Diferencial e Integral I FGGCOMP.00 Geometria

Leia mais