Ciência da Computação Teórica

O exercício a seguir foi entregue aos alunos que eu supervisiono: Dados nnn pontos no plano, crie um algoritmo que encontre um par de pontos cuja distância seja mínima entre todos os pares de pontos. O algoritmo deve ser executado no tempo o ( n2)o(n2)o(n^2) . Existe um algoritmo de …

11 ds.data-structures  cg.comp-geom 

Suponha que tenhamos um semigrupo com os elementos S = { s 1 , s 2 , … , s n } . Nosso objetivo é produtos de computação s i ∘ s i + 1 ∘ ⋯ ∘ s j .(S,∘)(S,∘)(S,\circ)S={s1,s2,…,sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesi∘si+1∘⋯∘sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j Em seu artigo "Pré-processamento …

11 cc.complexity-theory  graph-theory  ds.data-structures 

Dado um gráfico não direcionado ponderado com m=o(n2)m=o(n2)m = o(n^2) arestas, eu gostaria de calcular distâncias de aproximação inferiores a 2 entre qualquer par de vértices. Obviamente, eu gostaria de usar o espaço subquadrático e o tempo de consulta sublinear. Estou ciente do resultado de Zwick que usa multiplicação de …

11 ds.algorithms  graph-algorithms 

Nos sistemas de controle de versão distribuído (como Mercurial e Git ), é necessário comparar eficientemente os gráficos acíclicos direcionados (DAGs). Sou desenvolvedor da Mercurial e gostaríamos muito de ouvir sobre o trabalho teórico que discute a complexidade de tempo e rede da comparação de dois DAGs. Os DAGs em …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

O problema tradicional da galeria de arte configura uma região e os guardas com alguma noção de visibilidade e solicita o número mínimo de guardas que precisam ser colocados para ver toda a região. Alguém já olhou as variantes da galeria de arte em que a região de visibilidade é …

11 reference-request  cg.comp-geom 

Eu acho que seria chamado # P-Space, mas eu encontrei apenas um artigo mencionando-o vagamente. Que tal a versão de contagem dos problemas EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? Existe algum trabalho anterior que se possa citar em relação a esse ou a qualquer tipo de inclusão ou exclusão como o Teorema …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Esta pergunta está relacionada a uma pergunta recente de Janoma . fundo Na programação restrição, um normal global de restrição ao longo de um domínio é um par (S, M) com s um tuplo de variáveis (o escopo) e M um DFA sobre o domínio D . Uma atribuição \ …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

Como se olha para um problema e o motivo pelo qual é provável NP-Intermediário em oposição a NP-Complete? Muitas vezes, é bastante simples olhar para um problema e dizer se é provável que o NP-Completo seja ou não, mas me parece muito mais difícil dizer se um problema é NP-Intermediário, …

11 cc.complexity-theory  complexity-classes  np-intermediate 

O que se sabe sobre a transição de fase nos problemas # P-Complete? Especificamente, existe uma transição de fase diferente para # DNF-k-SAT e # CNF-k-SAT? Atualização: Como sabemos, há uma transição de fase no Random k-SAT em que a solução do problema passa de fácil a difícil e volta …

11 cc.complexity-theory  counting-complexity  phase-transition 

O seguinte problema é decidível: Dada uma gramática livre de contexto , L ( G ) = ∅ ?GGGL(G)=∅L(G)=∅L(G) = \varnothing O seguinte problema é indecidível: Dada uma gramática livre de contexto , L ( G ) = A ∗ ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Existe uma caracterização de linguagens livres de …

11 computability  fl.formal-languages 

Estou procurando por uma estrutura de dados com espaço eficiente que armazene conjuntos (sem repetição) de elementos de tamanho de palavras e suporte a inserção rápida (O (1) amortizado). Por "espaço eficiente", quero dizer, idealmente, palavras para armazenar n elementos.n+o(n)n+o(n)n + o(n)nnn Ser um conjunto é uma parte importante da …

11 ds.data-structures 

Gostaria de saber se o seguinte problema pode ser decidido em (logspace nondeterministic):N LNL\mathsf{NL} Dado um gráfico direcionado com dois vértices distintos s e t , existe um caminho único de s para t em G ?GGGssstttssstttGGG Eu sinto que é provável que seja em , uma vez que pode …

11 reference-request  graph-theory 

Atualmente, estou procurando um bom material de referência que relacione jogos não locais com aspectos benéficos na comunicação quântica. Por exemplo, estou ciente de que jogos não locais são bons em menor complexidade de comunicação de limites, além de garantir a segurança dos protocolos QKD. O que eu gostaria de …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

NNNrrrf ( x + r ) = f ( x ) a &lt; N r rf( x ) = axmodNf(x)=axmodNf(x)=a^x\;\bmod\;Nf( x + r ) = f( X )f(x+r)=f(x)f(x+r)=f(x)a &lt; Na&lt;Na<Nrrrrrr Minha pergunta agora é: Existem limites inferiores conhecidos em para aleatório ? Existe algum limite em dado que é escolhido …

11 cc.complexity-theory  cr.crypto-security  factoring 

É possível construir um algoritmo que tenha como entrada um autômato de empilhamento juntamente com a promessa de que a linguagem aceita por esse autômato L ( M ) é uma linguagem determinística livre de contexto e gera um autômato de empilhamento determinístico N que aceita precisamente a linguagem aceita …

11 reference-request  computability  fl.formal-languages  automata-theory