Ciência da Computação Teórica

OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO No entanto, vi poucas pessoas dando uma explicação "direta" para o motivo pelo qual o resultado não é relativizado, e a resposta usual é "aritmetização". Após a inspeção da prova de IP = PSPACE, essa resposta não é falsa , mas …

18 cc.complexity-theory  interactive-proofs  relativization 

Seja uma fórmula CNF satisfatória com variáveis ​​e cláusulas . Seja o espaço de solução de .F1F1F_1m S F 1 F 1nnnmmmSF1SF1S_{F_1}F1F1F_1 Considere o problema de determinar, dada a , outra Fórmula CNF com o mesmo conjunto de variáveis ​​que , com (o mesmo espaço de solução que ), mas …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

Quais são os algoritmos eficientes conhecidos para calcular um determinante de uma matriz inteira com coeficientes em , o anel de resíduos módulo m . O número m pode não ser primo, mas composto (portanto, os cálculos são realizados em anel, não em um campo).ZmZm\mathbb{Z}_mmmmmmm Até onde eu sei (leia …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

Vejo muitas pesquisas sobre hipercomputação nos anos 90, mas nos anos mais recentes parece haver pouco trabalho sobre o assunto. É verdade que a pesquisa nessa área acabou? Em caso afirmativo, quais poderiam ser as razões para isso? Esta área mostrou-se convincentemente pouco promissora?

18 reference-request  computability  hypercomputation 

O que se sabe sobre a complexidade exata do menor problema de supercorda? Pode ser resolvido mais rapidamente que ? Existem algoritmos conhecidos que resolvem as supercordas mais curtas sem reduzir ao TSP?O∗( 2n)O∗(2n)O^*(2^n) UPD: suprime fatores polinomiais.O∗( ⋅ )O∗(⋅)O^*(\cdot) O menor problema de supercorda é um problema cuja resposta …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

Eu acho que seria uma boa idéia fazer uma lista de teoremas afirmando que P não é igual a NP se, e somente se, tais e tais saídas, alguma classe de complexidade estiver contida em outra classe de complexidade e assim por diante.

18 cc.complexity-theory  big-list  p-vs-np 

Eu procurei em todo o lado essas aplicações e, na maioria das vezes, acabei ficando curto. Posso encontrar muitas aplicações de topologia e estruturas semelhantes em conjuntos contáveis ​​(ou incontáveis), mas raramente encontro conjuntos incontáveis ​​como objeto de estudo por cientistas da computação e, portanto, levando à necessidade de técnicas …

18 co.combinatorics  big-picture 

XORification é a técnica para dificultar uma função ou fórmula booleana substituindo cada variável pelo XOR de variáveis ​​distintas . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Estou ciente dos usos dessa técnica na complexidade de provas, principalmente para obter limites inferiores de espaço para sistemas de provas baseados em resolução, …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

A operação de votação majoritária ocorre com bastante frequência na tolerância a falhas (e sem dúvida em outros lugares), onde a função gera um bit igual ao valor sempre exibido com mais freqüência no valor dos bits de entrada. Por uma questão de simplicidade, vamos assumir que sempre que a …

18 co.combinatorics 

O teorema automático de prova e pesquisa de provas é mais fácil em lógicas subestruturais lineares e outras proposicionais que carecem de contração? Onde posso ler mais sobre o teorema automático de prova nessas lógicas e o papel da contração na pesquisa de provas?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

Eu sou um físico de coração e, portanto, acho que a computação quântica unidirecional é brilhante. Em particular, a computação quântica baseada em medição de estado de gráfico (MBQC) tem sido um desenvolvimento muito bom na pesquisa sobre computação quântica, originada por Raussendorf & Briegel . É necessário apenas preparar …

18 quantum-computing 

Existem algoritmos para solução de SAT que não são baseados em DPLL? Ou todos os algoritmos usados ​​pelos solucionadores SAT são baseados em DPLL?

18 ds.algorithms  reference-request  sat 

Existem vários algoritmos que podem analisar uma gramática livre de contexto em . Usando a multiplicação de matrizes, pode-se até assintoticamente mais rápido que isso.O ( n3)O(n3)O(n^3) No entanto, todos os algoritmos para analisar CFGs arbitrários que eu conheço têm um uso de espaço no pior dos casos de (embora, …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Por curiosidade, se a computação clássica é sobre matrizes de permutação e a computação quântica é sobre matrizes unitárias (das quais as matrizes de permutação são um subgrupo), haverá algum paradigma de computação além das matrizes unitárias?

18 quantum-computing  philosophy 

EDIT (22 de agosto de 2011): Estou simplificando ainda mais a questão e colocando uma recompensa nela. Talvez esta pergunta mais simples tenha uma resposta fácil. Também vou rascunhar todas as partes da pergunta original que não são mais relevantes. (Obrigado a Stasys Jukna e Ryan O'Donnell por responderem parcialmente …

18 cc.complexity-theory  lower-bounds  circuit-complexity