Perguntas com a marcação «cc.complexity-theory»

A menor fórmula conhecida para o determinante tem tamanho acordo com o folclore (ou com Ran Raz em seu artigo As Fórmulas Multi-Lineares para Permanentes e Determinantes são de Tamanho Super-Polinomial ).nO (logn )nO(registro⁡n)n^{\mathcal O(\log n)} Você tem alguma referência para isso? Em particular, qual é essa fórmula?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

Existem vários resultados conhecidos do tamanho do circuito com base em restrições aleatórias e no Switching Lemma .A C0 0AC0\mathsf{AC^0} Podemos desenvolver um resultado do Switching Lemma para provar um tamanho inferior para os circuitos (semelhante às provas do limite inferior para )? A C 0T C0 0TC0\mathsf{TC^0}A C0 0AC0\mathsf{AC^0} …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

A eliminação gaussiana torna determinante do tempo polinomial da matriz computável. A redução da complexidade na computação do determinante, que é a soma dos termos exponenciais, é devida à presença de sinais negativos alternativos (a falta de qual torna a computação permanente é isto é, mais difícil que o problemas …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

Alguém pode listar alguns problemas conhecidos que atendem às seguintes condições: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

Existe uma prova de que a emulação de uma máquina de Turing em uma máquina de Turing inconsciente não pode ser feita em menos de que é o número de etapas que a máquina de Turing usa ? Ou isso é apenas um limite superior?O ( m logm )O(mlog⁡m)\mathcal{O}\left(m\log m\right)mmm …

13 cc.complexity-theory  turing-machines 

Eu gostaria de saber sobre a história desses dois termos: " eficiente ", " viável ". Quem os usou sobre computação / algoritmos pela primeira vez? (no sentido moderno desses termos, ou seja, século 20). Como eles se tornaram mainstream? Como esses dois termos começaram a ser usados ​​como sinônimos? …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

O teorema da pretensão paralela de Raz é um resultado importante no PCP, na aproximação, etc. O teorema é resumido da seguinte forma. G = ( S, T, A, B, π, V)G=(S,T,UMA,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S, T, A, BS,T,UMA,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B}ππ\piS× TS×T\mathcal{S}\times\mathcal{T}V: S× T× A× B→ { 0 , 1 }V:S×T×UMA×B→{0 0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\}nv ( G ) …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

Eu tenho uma pergunta sobre a redutibilidade do SERF de Impagliazzo, Paturi e Zane e algoritmos subexponenciais. A definição de redutibilidade do SERF fornece o seguinte: Se é SERP-redutível a P 2 e ali ó ( 2 ε n ) algoritmo para P 2 para cada ε > 0 , …

13 cc.complexity-theory  reference-request 

Na definição de tratabilidade de parâmetro fixo (forte), o tempo limite é uma expressão da forma onde a instância de entrada é ( x , k ) com o parâmetro k , p é um polinômio ef é uma função computável .f( K ) . p ( | x | …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Seja uma matriz real quadrada A e dois vetores x e b de comprimento n , de modo que A x = b . A resolução de x através da Eliminação Gaussiana padrão produz uma complexidade agregada de quase O ( n 3 ) . No entanto, há casos em …

13 cc.complexity-theory  linear-algebra  matrices 

Eu tinha feito alguma pesquisa sobre isso, mas não consegui encontrar uma resposta de qualquer maneira. Huck respondeu totalmente. Obrigado :)

13 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Paridade-L, também conhecida como L, é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação". Uma pergunta relacionada recente foi feita por Niel de Beaudrap.⊕⊕\oplus Minha pergunta é a seguinte: Sabemos …

13 cc.complexity-theory  counting-complexity 

Essa pergunta é motivada por uma pergunta do MathOverflow de Peng Zhang . Valiant mostrou que contar cliques máximos em um gráfico geral é # P-completo, mas e se restringirmos aos gráficos de incomparabilidade (ou seja, queremos contar os antichains máximos em um posito finito)? Essa questão parece suficientemente natural …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

Toda vez que ensino NP-Completeness, os alunos perguntam "existem problemas conhecidos por não pertencerem a NP?" Como você responderia? Normalmente, dou a eles um problema indecidível como exemplo, mas isso geralmente não resulta bem: (a) se eu der a eles o Problema da Parada, eles acham que é algum caso …

13 cc.complexity-theory  complexity-classes  teaching 

Assumindo NP! = CoNP, não há certificado de tamanho polinomial para o problema de coNP-completo. Mas e o certificado de tamanho subexponencial? Particularmente para coSAT, existe uma prova subexponencial de tamanho para provar que uma fórmula é insatisfatória? Caso contrário, qual é a evidência negativa? obrigado

13 cc.complexity-theory  proof-complexity