Ciência da Computação Teórica

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 

Quando olho para a análise de Earley, ela parece muito elegante e me pergunto por que as técnicas de GLR se tornam populares? Alguém sabe o que havia de errado com Earley analisando que Tomita criou o GLR? Atuação? Todas as publicações sobre essa discussão são muito apreciadas.

11 parsing 

Existem exemplos concretos (ou uma rica fonte de) de aplicação de números adic na ciência da computação?ppp

11 survey 

Como o @Marzio mencionou, o jogo a seguir é conhecido como Geografia Generalizada . Dado um gráfico e um vértice inicial , o jogo é definido da seguinte forma:G=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv \in V A cada turno (dois jogadores alternando), um jogador escolhe e, em seguida, acontece o seguinte:u∈N(v)u∈N(v)u\in N(v) vvv , bem …

11 graph-theory  graph-algorithms  gt.game-theory 

Denota por o grau mínimo de saída em G e por δ - ( G ) o mínimo de grau.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) Em uma pergunta relacionada , mencionei a extensão Ghouila-Houri do teorema de Dirac nos ciclos hamiltonianos , o que sugere que se então G é hamiltoniano.δ+(G),δ−(G)≥n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} Em seu …

11 reference-request  graph-theory 

Um gráfico planar é um gráfico que pode ser incorporado no plano, sem ter arestas de cruzamento. Seja um hipergrafo k -uniforme, isto é, um hipergrafo de modo que todas as suas hiperedições tenham tamanho k.G=(X,E)G=(X,E)G=(X,E)kkk Houve algum trabalho realizado na incorporação de hipergrafos no plano (com o contexto de …

11 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations 

O problema da rainha N é o seguinte: Entrada: N Saída: Um posicionamento de N "rainhas" em um tabuleiro de xadrez NXN, de modo que não haja duas rainhas na mesma linha, coluna ou diagonal. Ao fazer uma pesquisa no google, descobri que muitos slides de muitos professores afirmam que …

11 cc.complexity-theory  np-hardness  csp 

De acordo com o livro Topological Graph Theory, de Gross e Tucker, dada a incorporação celular de um gráfico em uma superfície (por 'superfície', quero dizer aqui uma esfera com algumas pegas, e abaixo de S n se refere à esfera com exatamente n identificadores), pode-se definir uma multigraph dupla …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Trabalho em um laboratório de neurociência computacional que quantifica as informações mútuas entre pares ou grupos de neurônios. Recentemente, o chefe mudou seu foco para medir a "complexidade da dinâmica neural". Ao seguir essa linha de pesquisa, algumas pessoas no meu grupo parecem equiparar "complexo" a "tem uma alta entropia". …

11 cc.complexity-theory  it.information-theory 

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 

Esta pergunta pode não ser técnica. Como um falante não-nativo e um AT para a classe de algoritmos, sempre me perguntei o que significa gadget em 'cláusula gadget' ou 'variável gadget'. O dicionário diz que um gadget é uma máquina ou um dispositivo, mas não tenho certeza do significado coloquial …

11 cc.complexity-theory  np-hardness  terminology  reductions 

Estou interessado em uma variação de SAT em que a fórmula CNF é monótona (nenhuma variável é negada). Essa fórmula é obviamente satisfatória. Mas digamos que o número de variáveis ​​verdadeiras seja uma medida de quão boa é a nossa solução. Portanto, temos o seguinte problema: MONOTONE VERDADEIRO MÍNIMO 3SAT …

11 cc.complexity-theory  np-hardness  sat 

Existem problemas cuja complexidade média de casos é a mesma de pior complexidade? Quais são as propriedades subjacentes a esses problemas que tornam possível reduzir o pior caso para o caso médio?

11 cc.complexity-theory  reductions  average-case-complexity 

Houve algum trabalho para recuperar a inclinação de um segmento de linha de sua digitalização? Não se pode fazer isso com perfeita precisão, é claro; o que se quer é um método de derivar de uma linha digitalizada um intervalo de possíveis inclinações. (A noção de uma linha digitalizada que …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

Esta pergunta pode ter uma resposta óbvia ... mas aqui está a pergunta de qualquer maneira. Intuitivamente, é a seguinte declaração plausível - "uma máquina com uma sub-rotina A que, por sua vez, possui uma sub-rotina B é a mesma que uma máquina com uma sub-rotina A que tem acesso …

11 complexity-classes  oracles