Inspirados por essa pergunta , quais são os principais problemas e soluções existentes que precisam ser aprimorados no domínio de sistemas distribuídos (teóricos). Algo como protocolos de associação, consistência de
Onde posso encontrar gráficos relevantes para problemas da vida real? Dois repositórios que eu conheço são: Coleção Sparse Matrix da Universidade da Flórida Largura da Árvore de
Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha que...
Atualmente, estou tentando encontrar problemas completos do EXPSPACE (principalmente para encontrar inspiração para uma redução) e estou surpreso com o pequeno número de resultados que estão chegando. Até agora, eu os encontrei e tenho problemas para expandir a lista: universalidade (ou outras...
Isso é parecido com " Algoritmos do livro ". Embora as reduções também sejam algoritmos, achei duvidoso que se pensasse em uma redução na resposta à pergunta sobre algoritmos do livro. Daí uma consulta separada! Reduções de todos os tipos são bem-vindas. Começarei com a redução realmente...
Estou procurando idiomas que "provavelmente não são livres de contexto", mas não podemos (des) provar isso usando técnicas padrão conhecidas. Existe uma pesquisa recente sobre o assunto ou uma seção de problemas abertos de uma conferência recente? Provavelmente, não existem muitos idiomas...
Existem muitos lugares onde os números e aparecem. Estou curioso para saber sobre algoritmos cujo tempo de execução contém a proporção áurea ou no
Eu estava usando Jung ( http://jung.sourceforge.net/ ) para visualizar o page rank e achei um pouco lento e difícil escaloná-lo além de 100 nós. Fiquei me perguntando que outras ferramentas as pessoas usam para análise e visualização de redes / redes
Em esta questão , que parecem ter identificado um problema natural que é NP-completo sob reduções randomizados, mas possivelmente não sob reduções determinísticos (embora isto depende de qual suposições não comprovadas na teoria dos números são verdadeiras). Existem outros problemas desse tipo...
Bloqueado . Esta pergunta e suas respostas estão bloqueadas porque a questão está fora do tópico, mas tem um significado histórico. No momento, não está aceitando novas respostas ou interações. Quais algoritmos são usados com mais frequência? Escreva um único...
Eu nunca vi um algoritmo com um log no denominador antes e gostaria de saber se existem algoritmos realmente úteis com este formulário. Entendo muitas coisas que podem fazer com que um fator de log seja multiplicado no tempo de execução, por exemplo, algoritmos de classificação ou de árvore, mas...
Quais universidades têm um currículo sólido de computação quântica e oferecem algum tipo de computação quântica / cursos de informação / pesquisa? O objetivo aqui é coletar uma lista útil para alguém que pensa em estudar nesses campos, e não discutir qual é o "melhor". Para tornar essa lista útil,...
Eu acho que seria uma boa idéia fazer uma lista de teoremas afirmando que P não é igual a NP se, e somente se, tais e tais saídas, alguma classe de complexidade estiver contida em outra classe de complexidade e assim por diante.
Eu gostaria de saber se houve conjecturas que há muito não foram comprovadas no TCS, que mais tarde foram provadas por uma implicação de outro teorema, que podem ter sido mais fáceis de provar.
Eu sou um estudante de graduação em matemática com uma sólida formação em lógica. Eu fiz um curso de graduação de um ano em lógica, juntamente com cursos de teoria dos modelos finitos e outro sobre forçar e definir teoria. A maioria dos textos de CS parece assumir apenas um fundo muito modesto da...
Existem conjecturas na ciência da computação teórica que envolvam algum parâmetro n e foram provadas por pequenos valores de n E por números primos, mas depois se revelaram falsos? Na teoria dos números, tais problemas existem, por exemplo. como Aaron Meyerowitz aponta aquele sobre os coeficientes...
Quais são alguns dos principais problemas de complexidade computacional aberta que surgem das linguagens de programação, especialmente a análise e compilação de programas? Estou procurando problemas nas linhas "da complexidade temporal da inferência do tipo Hindley-Milner" ou "da complexidade...
Existem vários algoritmos e estruturas de dados que exploram a idéia de que obtém seu valor mínimo em k = \ sqrt n . Exemplos comuns incluemmax{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n algoritmo de passo gigante de baby-step para calcular logaritmo discreto em...
Quais são alguns dos principais exemplos de derandomização bem-sucedida ou pelo menos progresso na demonstração de evidências concretas em relação a objetivo P (não a conexão aleatória da dureza)?P=BPPP=BPPP=BPP O único exemplo que me vem à mente é o teste de primalidade determinística no tempo...
Larry Wasserman tem um post recente, onde fala sobre a "polícia de valor p". Ele faz uma observação interessante (toda a ênfase é minha) (a premissa em itálico que acrescentei e sua resposta abaixo): A queixa mais comum é que físicos e jornalistas explicam o significado de um valor-p...