Ciência da Computação Teórica

Seja um gráfico não direcionado. Uma decomposição de em subconjuntos separados é chamada de decomposição de Hamilton de se o subgráfico induzido por cada conjunto for um gráfico de Hamilton ou consistir em uma única aresta com .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Exemplo : O gráfico bipartido completo K_ possui uma decomposição de Hamilton …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Does implica ?E = N EE X P = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E=NEE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

Estou tentando usar árvores de sufixo para comparar seqüências de caracteres. Eu encontrei implementações / teoria para o maior problema de sub-string comum usando árvores de sufixo. No entanto, o que estou procurando é uma discussão sobre o problema relacionado - "todas as substrings comuns". Especificamente, tenho um problema no …

10 ds.algorithms  string-matching 

A JBV sugeriu que eu transformasse alguns comentários em uma pergunta, então aqui vai. Outra pergunta [1] pergunta sobre aplicações da computação QM. Uma resposta [2] foi "simulando eficientemente a mecânica quântica". Aparentemente, essa idéia remonta aos primeiros escritos de Feynman sobre o assunto; embora eu não tenha uma referência. …

10 reference-request  quantum-computing  application-of-theory 

No artigo Sobre dois problemas da teoria da informação , Erdõs e Rényi estabelecem limites menores no número mínimo de pesagens que se deve fazer para determinar o número de moedas falsas em um conjunto de moedas.nnn Mais formalmente: As moedas falsas têm um peso menor que as moedas certas; …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Seja um conjunto de bases mutuamente não- (MUB) em , ou seja, cada é uma base ortonormal e para temos . Estamos interessados ​​em discriminar entre vetores arbitrários de . A medida ótima (pior caso ou média com uniforme anterior) é identificada explicitamente em algum lugar da literatura (por exemplo, …

10 reference-request  quantum-information 

Para um grafo não direcionado e um determinado conjunto de vértices, o que é o algoritmo assintoticamente mais rápido conhecido por encontrar um caminho simples contendo todos os elementos de . E se exigirmos que o caminho seja o mais curto possível?GGGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

Qual é o melhor limite atual para a execução de consultas de contagem de intervalo no meio-espaço em um conjunto de pontos bidimensionais , expressos na forma de uma troca de tempo / espaço. De acordo com o artigo seminal de Matousek, de 1993 (Teorema 6.2, Pesquisa por Gama com …

10 reference-request  ds.data-structures  cg.comp-geom 

Suponha que consideremos 3-SAT com variáveis ​​e cláusulas c . Estou pesquisando um método que parece ter O ( v 2 + log c ) tempo / espaço para resolver qualquer problema de SAT que se encaixe nessa descrição, dentro de um erro que pode ser ajustado para uma quantia …

10 ds.algorithms  sat  upper-bounds 

Eu sou novo neste site e essa pergunta certamente não é de nível de pesquisa - mas tudo bem. Eu tenho um pouco de experiência em engenharia de software e quase nenhum no CSTheory, mas acho atraente. Para resumir uma longa história, gostaria de uma resposta mais detalhada para o …

10 pl.programming-languages  recursion  recursive 

O conjunto é fornecido. Para cada elemento , temos peso e custo . O objetivo é encontrar o subconjunto de tamanho que maximize a seguinte função objetivo: .S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\}eieie_iwi>0wi>0w_i>0ci>0ci>0c_i>0MMMkkk∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin M} c_i} O problema é NP-difícil? Como a função objetivo parece estranha, é útil explicar …

10 np-hardness  optimization 

A matriz de Moore é semelhante à matriz de Vandermonde, mas possui uma definição ligeiramente modificada. http://en.wikipedia.org/wiki/Moore_matrix Qual é a complexidade de calcular o determinante de um dado módulo n da matriz de Moore n×nn×nn \times n com algum número inteiro? O determinante de Moore pode ser reduzido de O(n3)O(n3)O(n^{3}) …

10 cc.complexity-theory  algebraic-complexity 

Se existirem OWFs, o comprometimento de bit estatisticamente vinculativo será possível. [1] É sabido que, se existem OWFs, é possível um compromisso de bits perfeitamente vinculativo? Se não, existe uma separação de caixa preta conhecida entre eles? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem e http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator

10 cr.crypto-security  one-way-function 

Alguns de nós lemos o artigo de Michael Nielsen sobre uma abordagem geométrica para usar limites quânticos inferiores (em resumo, a construção de uma métrica de Finsler na modo que a distância geodésica de a um elemento seja um limite inferior no número de portas em um circuito quântico que …

10 quantum-computing 

Seja um gráfico com arestas ponderadas (positivamente). Quero definir o diagrama de Voronoi para um conjunto de nós / sites , para associar a um nó o subgrafo de induzido por todos os nós estritamente mais próximos de do que qualquer outro nó em , medindo o comprimento de um …

10 reference-request  graph-theory  cg.comp-geom