Ciência da Computação Teórica

Razborov provou que a função monótona não está em mP . Mas podemos calcular a correspondência usando um circuito de tamanho polinomial com algumas negações? Existe um circuito P / poli com negações que calcula a correspondência? Qual é o compromisso entre o número de negações e o tamanho da …

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Suponha que conectemos os pontos de usando o conjunto de arestas não direcionadas modo que esteja conectado a ou está conectado a , independentemente e uniformemente de forma aleatória para todos os . E ( i , j ) ( i + 1 , j + 1 ) ( i …

14 graph-theory 

Consideramos DAG (gráficos acíclicos dirigidos) com um nó de origem e um nó de destino ; arestas paralelas unindo o mesmo par de vértices são permitidas. Uma - corte é um conjunto de arestas cuja remoção destrói todos - caminhos mais longos do que ; mais curtos - caminhos, bem …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

Eu estava lendo o artigo da Wikipedia sobre o problema das oito rainhas. Afirma-se que, não existe uma fórmula conhecida para o número exato de soluções. Após algumas pesquisas, encontrei um artigo chamado "Sobre a dureza de contar problemas de mapeamentos completos". Neste artigo, há um problema, que se mostra …

14 cc.complexity-theory  counting-complexity  search-problem 

Muitos de nós estamos familiarizados - ou pelo menos já ouvimos falar - da entropia de Shannon de uma variável aleatória, e todos os relacionados. medidas teóricas da informação, como entropia relativa, informações mútuas etc. Existem algumas outras medidas de entropia que são comumente usadas na ciência da computação e …

14 it.information-theory  quantum-information 

Recentemente, fiquei interessado no problema geral de otimizar o uso da memória em uma situação em que há mais de um tipo de memória disponível e há uma troca entre a capacidade de um determinado segmento de memória e a velocidade de acesso a ele. O exemplo familiar é um …

14 optimization  program-analysis 

Eu quero aprender sobre algoritmos algébricos e complexidade thoery. Em particular, estou interessado em PIT. Existe um conjunto de notas de aula, livros, papéis e pesquisas para estudantes que leram livros didáticos padrão sobre teoria como o livro de Sipser ou o livro de complexidade de Arora-Barak. O conjunto de …

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

Gostaria de saber se existe uma versão computacionalmente limitada do conceito de equilíbrio de Nash, algo ao longo das seguintes linhas. Imagine algum tipo de jogo de informações perfeitas para dois jogadores que é jogado em um tabuleiro , e que é complexo no sentido de que o jogo ideal …

14 gt.game-theory 

O teorema da incompletude de Chaitin diz que nenhuma teoria aritmética suficientemente forte pode provar onde é a complexidade Kolmogorov da corda e é uma constante suficientemente grande. é suficientemente grande se for maior que o tamanho em bits de uma máquina de verificação de provas (PCM). A PCM para …

14 lo.logic  kolmogorov-complexity 

Um autômato Xor não determinístico (NXA) é sintaticamente um NFA, mas uma palavra é aceita pelo NXA se ele tiver um número ímpar de caminhos de aceitação (em vez de pelo menos um caminho de aceitação no caso de NFA). É fácil ver que, para um idioma regular finito , …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

Embora a discussão demonstre fortes evidências de normalização, esse comentário contrasta o "modelo de formas normais" com os "métodos puramente sintáticos". Isso me leva de volta a uma pergunta mais básica: ainda podemos distinguir estritamente construções sintáticas e semânticas, diante de modelos baseados em sintaxe? E quanto aos modelos de …

14 lo.logic  pl.programming-languages  operational-semantics 

É mencionado em um comentário em outro post do cstheorySE que a completude do PSPACE implica dureza do APX. Alguém pode explicar / compartilhar uma referência para isso? Isso é "apertado"? (ou seja, existem problemas completos do PSPACE cujo problema de otimização admite uma aproximação constante de fatores no tempo …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

O problema do caminho mais longo é NP-hard. A prova (típica?) Baseia-se na redução do problema do caminho hamiltoniano (que é NP-completo). Observe que aqui o caminho é considerado simples (nó). Ou seja, nenhum vértice pode ocorrer mais de uma vez no caminho. Obviamente, também é simples de borda (nenhuma …

14 graph-theory  graph-algorithms  hamiltonian-paths 

A proporção crítica de cláusulas para variáveis ​​para o 3-SAT aleatório é maior que 3 e menor que 6 e parece ser comumente descrita como "em torno de 4,2" ou "em torno de 4,25". Mezard, Parisi e Zecchina provam (no sentido da física) que a razão crítica é de 4.256, …

14 sat  phase-transition  random-k-sat 

Considere a seguinte configuração: nos é dada uma pilha sss que contém nnn itens. podemos usar um número constante O(1)O(1)O(1)de pilhas extras. podemos aplicar as seguintes operações nessas pilhas: verifique se uma pilha está vazia, compare os itens principais de duas pilhas, exclua o item superior em uma pilha, imprima …

14 ds.algorithms  sorting