| Processo: | 11/07781-2 |
| Modalidade de apoio: | Bolsas no Brasil - Pós-Doutorado |
| Data de Início da vigência: | 01 de agosto de 2011 |
| Data de Término da vigência: | 30 de junho de 2012 |
| Área de conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação |
| Pesquisador responsável: | Marcelo Finger |
| Beneficiário: | Anderson Beraldo de Araújo |
| Instituição Sede: | Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil |
| Vinculado ao auxílio: | 08/03995-5 - LOGPROB: lógica probabilística - fundamentos e aplicações computacionais, AP.TEM |
| Assunto(s): | Lógicas não clássicas Computação quântica |
| Palavra(s)-Chave do Pesquisador: | Classes de complexidade | Computabilidade quântica | Lógicas não-clássicas | NP-completude | Sat | Satisfatibilidade Probabilística | Teoria da complexidade |
Resumo Atualmente a computação quântica é um dos principais temas de pesquisa em ciência da computação. Nesse contexto, o problema da satisfatibilidade quântica (QSAT) revela elementos importantes da complexidade computacional quântica, os quais estão relacionados com o problema da satisfatibilidade probabilística (PSAT). O objetivo geral do presente projeto é investigar os aspectos lógicos de QSAT, contrastando-os com as características lógicas de PSAT. Mais concretamente, esta pesquisa tem dois objetivos específicos: (1) apresentar uma versão de QSAT através de um sistema lógico adequado às peculiaridades da computação quântica e (2) avaliar as diferenças entre 2-QSAT e 2-PSAT, investigando suas respectivas propriedades lógico-probabilísticas. (AU) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |