Perguntas com a marcação «big-list»

Existem livros recentes sobre algoritmos on-line? Conheço apenas dois livros sobre o assunto. Computação on-line e análise competitiva de Allan Borodin e Ran El-Yaniv: este é um livro clássico, mas antigo, e não contém muitos avanços recentes no campo. O projeto de algoritmos on-line competitivos por meio de uma abordagem …

13 reference-request  big-list  online-algorithms 

Estou procurando uma lista sobre a complexidade conhecida ou desconhecida de vários problemas teóricos / algébricos de números. Por exemplo, GCD em está aberto,NC1NC1NC^1 factoring em é aberto,PPP a cohomologia do feixe de computação é -hard# P#P\#P , Arora e Barak afirmam que uma variante de fatoração é completa (embora …

12 cc.complexity-theory  big-list  algebra  open-problem 

Quais são os problemas com as seguintes propriedades: 1) são restrições de (possivelmente bem conhecidos) problemas que são completos no PSPACE; 2) as versões restritas estão no PSPACE, mas é um problema aberto se estiverem completas com o PSPACE (ou mesmo se forem difíceis de NP). Quatro exemplos de "puzzles …

12 big-list  open-problem 

Quais algoritmos úteis existem que funcionam em enormes fluxos de dados e também seus resultados são razoavelmente pequenos e pode-se calcular o resultado para uma mistura de dois fluxos, de alguma forma, mesclando seus resultados? Eu posso citar alguns: Coisas óbvias como soma, mínimo, máximo, contagem, top-K etc. Algoritmos de …

12 ds.algorithms  big-list  data-streams 

Quais são algumas afirmações (não conhecidas) de que, se verdade, o PH deve entrar em colapso? Respostas que contenham uma breve declaração de alto nível com referência (s) são apreciadas. Tentei fazer uma pesquisa reversa sem muita sorte.

12 cc.complexity-theory  complexity-classes  big-list 

Eu estou procurando problemas fortemente difíceis de NP para uma redução. Até agora, encontrei os seguintes problemas: Problema de 3 partições problema de embalagem Correspondência tridimensional numérica TSP Qualquer problema de NP completo sem dados numéricos, por exemplo, SATISFIABILIDADE, CICLO HAMILTONIANO, 3-COLOURABILITY. Alguém sabe de uma lista de problemas fortemente …

11 np-hardness  big-list  hamiltonian-paths 

Em 1996, um problema aberto de longa data foi resolvido por um computador; ou seja, que a álgebra de Robbins e a álgebra booleana são iguais. A prova foi encontrada por um provador de teoremas automatizado. Além disso, a prova conhecida do teorema das quatro cores contém componentes gerados por …

11 soft-question  big-list  proofs  automated-theorem-proving 

Todos os museus e exposições relacionados a computadores que conheço parecem cobrir apenas a história das máquinas de computação, mas nada sobre tópicos de ciência da computação. Você está envolvido na criação de um novo Museu da Computação, criado para educar, divertir e inspirar o público em geral em uma …

11 soft-question  big-list  ho.history-overview 

Eu sou um estudante de CS. Fizemos teoria dos grafos em um curso. Achei interessante. Quais são as reais aplicações da teoria dos grafos no campo da ciência da computação? Por exemplo, descobri que alguns conceitos na teoria dos grafos podem ser usados ​​para projetar redes. Quais são outras aplicações …

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Eu queria saber qual é a lista dos problemas computacionais naturais atuais para os quais não há vantagem de complexidade conhecida no uso de um computador quântico. Para começar, acho que o cálculo da distância de edição é aquele para o qual o algoritmo quântico mais rápido conhecido parece ser …

11 ds.algorithms  quantum-computing  big-list 

Algoritmos de aproximação podem gerar um fator constante na saída. Isso é um pouco menos satisfatório do que algoritmos exatos. No entanto, fatores constantes são ignorados na complexidade do tempo. Então, eu me pergunto se o seguinte truque é possível ou foi usado, para resolver algum problema :B ∘ AB∘AB …

11 ds.algorithms  big-list  approximation-algorithms 

Histórico: O processamento de transações tem sido um tópico de pesquisa tradicional na teoria de bancos de dados. Atualmente, as transações distribuídas são popularizadas pelos sistemas de armazenamento distribuído em larga escala, que geralmente envolvem partição de dados (também chamada de sharding) e replicação de dados . Quais são os …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Estou interessado em exemplos de construções na teoria da complexidade que são melhores do que construções aleatórias. O único exemplo dessa construção que eu sei é no campo dos códigos de correção de erros. Os códigos de geometria algébrica são melhores em alguns parâmetros do que os códigos aleatórios. Pode-se …

10 reference-request  big-list  derandomization  pr.probability 

Sou um teórico da homotopia, interessado em ciência da computação. Gostaria de perguntar quais são algumas aplicações interessantes da álgebra homotópica (categorias de modelos, categorias infinitas, categorias simples etc.) em ciência da computação teórica?

9 big-list  algebraic-topology 

Vamos ser um alfabeto, ou seja, um não-vazio finito set. Uma string é qualquer sequência finita de elementos (caracteres) de Σ . Como exemplo, { 0 , 1 } é o alfabeto binário e 0110 é uma sequência para esse alfabeto.ΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 Normalmente, contanto que contenha mais de 1 …

9 big-list  encoding  examples