Ciência da Computação Teórica

Em seu artigo (p. 503), Garey e Johnson comentam: ... pode haver um problema de NP-completo que não é nem NP-completo no sentido forte nem solucionável por um algoritmo de tempo pseudo-polinomial ... Alguém conhece alguns problemas de candidatos com as propriedades mencionadas acima? Penso que a possível resposta a …

19 ds.algorithms  np-hardness  np 

Prever o mercado de ações é difícil! O TCS pode tornar esse sentimento mais formal? Recentemente, comecei a pensar um pouco sobre finanças e queria saber como o conhecimento do TCS poderia ajudar. Os fundos de hedge e as empresas de investimento parecem usar negociação algorítmica, aprendizado de máquina e …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Seja um gráfico não direcionado não ponderado com vértices e arestas. É possível pré-processar e produzir uma estrutura de dados do tamanho para que possa responder a consultas da forma "distância entre e " no tempo O (n)?GGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuuvvv O problema parece básico demais para ser resolvido.

19 graph-theory  graph-algorithms  ds.data-structures 

A computação reversível é um modelo computacional que permite apenas operações termodinamicamente reversíveis. De acordo com o princípio de Landauer, que afirma que apagar um pouco de informação libera joules de calor, isso exclui as funções de transição que não são individuais (por exemplo, os operadores booleanos AND e OR). …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

Existem referências que fornecem detalhes sobre os limites inferiores do circuito para problemas difíceis específicos que surgem na criptografia, como fatoração inteira, problema de logaritmo discreto prime / composto e sua variante sobre o grupo de pontos de curvas elípticas (e suas variedades abelianas de maior dimensão) e os aspectos …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

Considere RnRn\mathbb{R}^n equipado com os vetores de produto de ponto padrão e vetores: . Queremos construir uma estrutura de dados que permita consultas no seguinte formato: dado output . É possível ir além do tempo trivial de consulta de O (nm) ? Por exemplo, se n = 2 , é …

19 ds.data-structures  cg.comp-geom  linear-algebra  metrics 

EDIT em 08/02/2011: Depois de encontrar e ler algumas referências, decidi separar a pergunta original em duas. Aqui está a parte referente a UP vs NP. Para a parte das classes sintáticas e semânticas, consulte Benefícios para as classes sintáticas e semânticas . U PUP\mathsf{UP} (o tempo polinomial inequívoco, consultewikieo …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Seja f(n)f(n)f(n) o pior caso de tempo de execução de um problema na entrada de tamanho nnn . Vamos tornar o problema um pouco estranho, fixando f(n)=n2f(n)=n2f(n) = n^2 para n=2kn=2kn=2k mas f(n)=nf(n)=nf(n) = n para n=2k+1n=2k+1n=2k+1 . Então, qual é o limite inferior do problema? A maneira como eu …

19 cc.complexity-theory  time-complexity 

Estou procurando maneiras de manter uma árvore de abrangência relativamente equilibrada de um gráfico, à medida que adiciono novos nós / arestas ao gráfico. Eu tenho um gráfico não direcionado que começa como um único nó, a "raiz". Em cada etapa, adiciono ao gráfico um novo nó e uma aresta …

19 graph-theory  ds.data-structures  graph-algorithms  tree  online-algorithms 

Na teoria da informação quântica, a distância entre dois canais quânticos é frequentemente medida usando a norma do diamante. Também existem várias maneiras de medir a distância entre dois estados quânticos, como a distância do traço, a fidelidade, etc. O isomorfismo de Jamiołkowski fornece uma dualidade entre canais quânticos e …

19 quantum-computing  it.information-theory  quantum-information 

Estou interessado em modelos de gráficos aleatórios que são semelhantes aos gráficos de redes de computadores reais. Não tenho certeza se o modelo comum e bem estudado ( n vértices, cada aresta possível é selecionada com probabilidade p ) é bom para estudar redes de computadores reais (não é?).G ( …

19 reference-request  graph-theory  co.combinatorics 

Li em algum lugar que uma máquina de Turing não pode calcular isso e, portanto, é indecidível, mas por quê? Por que é computacionalmente impossível para uma máquina gerar a árvore de análise e tomar uma decisão? Talvez eu esteja errado e isso possa ser feito?

19 computability  turing-machines  context-free 

Um DFA possui uma palavra de sincronização se houver uma sequência que envie qualquer estado do DFA para um único estado. Em 'The Cerny Conjecture for Aperiodic Automata ”de AN Trahtman (Matemática Discreta e Ciência da Computação Teórica, vol. 9: 2, 2007, pp.3-10), ele escreveu: Cerny conjeturou em 1964 que …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

Paridade e são como gêmeos inseparáveis. Ou assim parece nos últimos 30 anos. À luz do resultado de Ryan, haverá um interesse renovado nas turmas pequenas.A C0 0AC0AC^0 Furst Saxe Sipser de Yao a Hastad são todas paridade e restrições aleatórias. Razborov / Smolensky é um polinômio aproximado com paridade …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

Parece sabido que, para encontrar uma resposta para uma consulta em um banco de dados relacional , é preciso tempo e não é possível se livrar do expoente.QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Como pode ser muito grande, nos perguntamos por que os bancos de dados funcionam na prática.DDD É apenas uma questão de as …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases