Busca avançada
Ano de início
Entree

Aspectos lógicos do problema da satisfatibilidade quântica

Processo: 11/07781-2
Linha de fomento:Bolsas no Brasil - Pós-Doutorado
Vigência (Início): 01 de agosto de 2011
Vigência (Término): 30 de junho de 2012
Área do 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

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)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.