Ciência da Computação

Perguntas e respostas para estudantes, pesquisadores e profissionais de ciência da computação

2
Os algoritmos aleatórios são construtivos?
Desde então, as provas pelo método probabilístico são frequentemente consideradas não construtivas. No entanto, uma prova pelo método probabilístico de fato projeta um algoritmo aleatório e o utiliza para provar a existência. Citado na página 103 de Algoritmos Aleatórios Por Rajeev Motwani, Prabhakar Raghavan : Poderíamos ver a prova pelo …
1
Dado um computador rápido e lento, em que tamanhos o computador rápido executando um algoritmo lento supera o computador lento executando um algoritmo rápido?
A fonte dessa pergunta vem de um curso de graduação que estou cursando, que abrange uma introdução à análise de algoritmos. Isso não é para trabalhos de casa, mas para uma pergunta feita no CLRS. Você tem uma máquina lenta rodando em xxx MIPS e uma máquina rápida rodando em …
4
Notação O grande aninhada
Digamos que eu tenho um gráfico |G||G||G|com arestas. Eu quero executar o BFS no que tem um tempo de execução de .|E|=O(V2)|E|=O(V2)|E|=O(V^2)GGGO(V+E)O(V+E)O(V+E) Parece natural escrever que o tempo de execução neste gráfico seria e, em seguida, simplificaria para .O(O(V2)+V)O(O(V2)+V)O(O(V^2)+V)O(V2)O(V2)O(V^2) Existem armadilhas para usar esse atalho "remove-the-anested-O" (não apenas nesse caso, …
2
Facetas conhecidas do politopo Viajante do Problema do Vendedor
Para o método de ramificação e corte, é essencial conhecer muitas facetas dos politopos gerados pelo problema. No entanto, atualmente é um dos problemas mais difíceis de calcular todas as facetas desses polítopos à medida que crescem rapidamente em tamanho. Para um problema de otimização arbitrário, o politopo usado pelos …
1
Descrição formal de uma nova linguagem de programação específica de domínio
Estou prestes a implementar uma linguagem específica de domínio para representação de convenções de aprendizagem social. Parte da implementação é uma descrição formal de uma linguagem - seu 'cálculo', símbolos e expressões lógicas. Minha abordagem seria descrever a linguagem descrevendo sua gramática, mas também existem conceitos como relações, diálogos, expectativas …
1
Como mostrar que o conjunto de máquinas que aceitam idiomas em
Gostaria da sua ajuda para provar que o idioma é decidível se .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Se , entendi que é a linguagem das máquinas de Turing vazias. Então é um problema - mas não é isso que está sendo perguntado, então fiquei confuso.P=NPP=NP\mathrm{P}=\mathrm{NP}LLLco-REco-RE\text{co-RE} Eu …
4
Aplicando algoritmos em grandes dados
Existe algum livro ou tutorial que nos ensine como aplicar eficientemente os algoritmos comuns (classificação, pesquisa etc.) em dados grandes (ou seja, dados que não podem ser totalmente carregados na memória principal) e como aplicar esses algoritmos de maneira eficiente, considerando o custo de bloquear transferência da memória externa? Por …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.