Detalhes bibliográficos
| Ano de defesa: |
1996 |
| Autor(a) principal: |
Donadelli Junior, Jair |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-013117/
|
Resumo: |
Neste trabalho descrevemos algumas aplicacoes da topologia algebrica em complexidade computacional. Bjorner e lovaz usaram metodos topologicos para estimar a altura de uma arvore de decisao linear que testa pertinencia em unioes finitas de poliedros convexos. Como aplicacoes eles obtiveram as cotas inferiores 'OMEGA' (n log(n/k)) para o problema dos k-iguais, 'OMEGA' (n log k) para o problema dos k-distintos e 'OMEGA' (n log(n/k)) para o problema de k-divisibilidade. Descrev emos tambem os metodos topologicos usados por kahn, saks e sturtevant para mostrar que propriedades de grafos de ordem potencia de primo sao evasivas. Estes mesmos metodos foram usados por yao para mostrar que propriedades de grafos bipartidos sao evasivas |
