Ciência da Computação Teórica

Existe uma classe natural de fórmulas de CNF - de preferência uma que tenha sido previamente estudada na literatura - com as seguintes propriedades:CCC é um caso fácil de SAT, como, por exemplo, Horn ou 2-CNF, ou seja, a associação empode ser testada em tempo polinomial e as fórmulaspodem ser …

10 sat  proof-complexity 

Em uma palestra de Razborov, uma pequena e curiosa declaração é publicada. Se FACTORING for difícil, o pequeno teorema de Fermat não é comprovável em .S1 12S21 1S_{2}^{1} O que é e por que as provas atuais não estão em ? S1 12S21 1S_{2}^{1}S1 12S21 1S_{2}^{1}

10 cc.complexity-theory  lo.logic  proof-complexity 

Estou escrevendo minha tese de mestrado em CS e estou trabalhando com análise de alias. O que me interessa é a análise intraprocedimento, sensível ao fluxo, que pode e deve ser um alias para linguagens do tipo Java. Estou procurando textos que descrevam o básico deste assunto de maneira detalhada, …

10 reference-request  pl.programming-languages  compilers  program-analysis 

Minha pergunta é: por que limites inferiores para circuitos booleanos de profundidade 3 com portas "e" e "xor" para determinantes não implicam os mesmos limites inferiores para circuitos aritméticos sobre ?ZZ\mathbb{Z} O que há de errado com o seguinte argumento: Seja um determinante de cálculo do circuito aritmético, e tomando …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Permita que a classe BPNC (a combinação de e ) seja um algoritmo paralelo de profundidade de log com probabilidade de erro limitada e acesso a uma fonte aleatória (não tenho certeza se este tem um nome diferente). Defina a classe DBPNC da mesma forma, exceto que todos os processos …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

BPPBPP\mathsf{BPP} eZPPZPP\mathsf{ZPP} são duas classes de complexidade probabilística básica. BPPBPP\mathsf{BPP} é a classe de linguagens decidida pelos algoritmos de Turing probabilísticos em tempo polinomial, nos quais a probabilidade do algoritmo retornar uma resposta incorreta é limitada, ou seja, a probabilidade de erro é no máximo1313\frac{1}{3} (para instâncias SIM e NÃO). …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

Estou procurando referências sobre a complexidade do problema de balanceamento de fórmulas booleanas . Em particular, Sabia-se que as fórmulas booleanas podem ser balanceadas em AC0AC0\mathsf{AC^0} ? Existe uma prova simples de que o balanceamento de fórmula booleana esteja em AC0AC0\mathsf{AC^0} ? Por "simples", quero dizer uma prova mais simples …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Dada uma família de no máximo subconjuntos de . O fecho de união é uma outra família conjunto contendo cada conjunto que pode ser construído, tendo a união de 1 ou mais conjuntos em . Pordenotamos o número de conjuntos em . n { 1 , 2 , … , …

10 co.combinatorics  graph-algorithms  clique  independence 

Eu sei que a eliminação gaussiana realiza operações aritméticas , mas não tenho certeza se algum algoritmo melhor é conhecido.O(n3)O(n3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

Na semântica da linguagem de programação, costuma-se ouvir as pessoas falando sobre significado e denotação . Eles parecem não ser os mesmos. Qual é a diferença? O primeiro está associado à semântica operacional e o segundo à semântica denotacional? Obrigado.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

A questão a seguir está relacionada à otimização do algoritmo de programação dinâmica de caminho mais curto de Bellman-Ford - (consulte esta publicação para obter uma conexão). Além disso, uma resposta positiva implicaria que o tamanho mínimo de um programa de ramificação não determinístico monótono para o problema STCONN é …

10 graph-theory  circuit-complexity  lower-bounds 

Contexto : Kavvadias e Sideri mostraram que o problema Inverso 3-SAT é coNP Completo: Dado um conjunto de modelos em n variáveis, existe uma fórmula 3-CNF tal que ϕ é seu conjunto exato de modelos? Surge uma fórmula candidata imediata que é a conjunção de todas as 3 cláusulas satisfeitas …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

Na maioria dos sistemas de prova probabilística (teorema do PCP, por exemplo), as probabilidades de erro são geralmente definidas no lado dos falsos positivos, ou seja, uma definição típica pode parecer: se , o verificador sempre aceita, mas em outro caso, a probabilidade de rejeição é de pelo menos 1/2.x …

10 cc.complexity-theory  pcp  interactive-proofs 

Não consegui encontrar uma afirmação relacionada a e N P R P na literatura; ponteiros seriam apreciados.MAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Eu acredito que eles são iguais: : O N P máquina suposições cadeia de Merlin, e os R P verifica da Oracle a cadeia como Arthur faria.MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}NPNP\mathsf{NP}RPRP\mathsf{RP} NPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : …

10 cc.complexity-theory  oracles 

Corrija . Para qualquer grande o suficiente , gostaríamos de rotular todos os subconjuntos de de tamanho exatamente por números inteiros positivos de . Gostaríamos que essa rotulagem satisfizesse a seguinte propriedade: existe um conjunto de números inteiros, stn { 1 .. n } n / k { 1 ... …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms