Ciência da Computação Teórica

De acordo com o lema do handshaking: qualquer gráfico não direcionado que tenha um vértice cujo grau seja um número ímpar deve ter outro vértice cujo grau seja um número ímpar. Essa observação significa que, se recebermos um gráfico e um vértice de grau ímpar, e formos solicitados a encontrar …

8 complexity-classes  counting-complexity  ppad 

Estou procurando mais problemas em com limites mais baixos de complexidade de tempo clássica. Algumas pessoas podem se perguntar como você pode provar um limite tão baixo. Ver abaixo.PPP Limites inferiores exponenciais: Reivindicação: Se você tiver um problema que é E X P T I M E completo com reduções …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

O Isomorfismo conjectura de Berman e Hartmanis afirma que todos conjuntos são -completo tempo polinomial isomorfo para o outro. Isto significa que N P problemas -Complete são eficientemente redutível para o outro através de calculável tempo polinomial e bijeções inversíveis. A conjectura implica P ≠ N P .NPNPNPNPNPNPP≠ NPP≠NPP\neq NP …

8 cc.complexity-theory  structural-complexity 

Quais são alguns exemplos de problemas com o tempo de semi-polinomial ( ) algoritmos que poderia ser concebivelmente em P . Em outras palavras, eles estão no Q P por nenhuma razão óbvia, exceto que ninguém encontrou um algoritmo de tempo polinomial?Q PQPQPPPPQ PQPQP Esta pergunta é motivada pelo resultado …

8 polynomial-time 

No artigo Discriminando termos lambda codificados - Henk Barendregt, um codificador de um termo lambda M é um termo tal que M (e suas partes) podem ser reconstruídas a partir dele de maneira definível por lambda. Essencialmente, precisamos ser capazes de escrever um auto-intérprete \ mathsf E :┌M┐⌜M⌝\ulcorner M \urcornerMMMMMMEE\mathsf …

8 lambda-calculus  encoding 

Existe alguma complexidade aleatória de comunicação aleatória (não trivial) conhecida para os problemas de gap natural nos quais as entradas 1 estão linearmente distantes das entradas 0? Ou seja, funções parciais modo que a distância de Hamming entre cada e é linear - e que requer protocolos aleatórios para se …

8 reference-request  communication-complexity 

nnnv1,…,vn∈RNv1,…,vn∈RNv_1,\dots,v_n\in\Bbb R^N∥vi∥22≤1‖vi‖22≤1\|v_i\|_2^2\leq1i∈{1,…,n}i∈{1,…,n}i\in\{1,\dots,n\}c∈Rc∈Rc\in\Bbb Rn,Nn,Nn,Nϵ∈{−1,+1}nϵ∈{−1,+1}n\epsilon\in\{-1,+1\}^n∥∥∑i=1nϵivi∥∥∞<c.‖∑i=1nϵivi‖∞<c.\Big\|\sum_{i=1}^n\epsilon_iv_i\Big\|_\infty0

8 co.combinatorics  extremal-combinatorics 

Existe um algoritmo para verificar se uma expressão regular de tamanho corresponde a uma string de tamanho , assumindo um alfabeto de tamanho fixo, se isso importa?O ( n + m )O(n+m)O(n+m)nnnmmm O algoritmo NFA padrão é pior caso de . Groz et al. obtenha tempo linear para uma variedade …

8 regular-expressions  parsing 

Em [1] afirma-se que "Continua sendo uma questão em aberto se todas as funções em possuem circuitos T C 0 (embora seja pelo menos sabido que nem todas as funções # P possuem circuitos T C 0 uniformes para DLogTime )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 circuitos gerados por funções dlogtime não contém # P …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

Eu sempre me perguntei se as provas em ciência da computação seriam consideradas provas suficientes da proposição se elas precisassem assumir leis físicas? Por exemplo, estou imaginando o que aconteceria se alguém algum dia provasse P! = NP sob a suposição da segunda lei da termodinâmica. Isso resolveria o debate …

8 proofs 

Me deparei com uma apresentação de Ryan O'Donnell sobre princípios de invariância. Depois de provar o teorema de Berry-Esseen, há um slide que discute extensões do teorema e um que é mencionado, há a chamada "versão derandomizada": Se C- bom (isto é, limitou o terceiro momento), independente em três sentidos., …

8 reference-request  pr.probability  limited-independence  k-wise-independence 

É comum definir a completude de em relação às reduções de numerosas uma no espaço de log.PPP Estou procurando uma classe de complexidade modo que haja problemas de P- completos com reduções de C de muitos um .C⊆LC⊆LC \subseteq \mathsf{L}PP\mathsf{P}CCC Qual é a menor classe de redução conhecida e tantas …

8 cc.complexity-theory  complexity-classes 

Lembro-me de ler um post do blog exibindo duas versões da mesma prova, uma escrita por um humano e a outra por uma máquina, e pedi aos leitores para dizer qual é qual. Tentando pesquisar no Google novamente, não consigo encontrar as palavras-chave corretas; a maioria das coisas me direciona …

8 proofs  proof-assistants 

No artigo 'Sobre o desaparecimento dos coeficientes de Kronecker', aqui em http://arxiv.org/pdf/1507.02955v1.pdf , é mostrado que decidir a positividade dos coeficientes de Kronecker é geralmente difícil para o NP. No entanto, existe uma ressalva que afirma que apenas a positividade dos 'coeficientes retangulares de Kronecker' é necessária no TCG . …

8 cc.complexity-theory 

\newcommand{\cc}[1]{\mathsf{#1}} Um teorema ao longo das seguintes linhas é válido: Se é um pouco maior que , então ?g(n)g(n)g(n)f(n)f(n)f(n)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) É fácil mostrar que , pelo menos. Prova: Suponha que não. Então então e, portanto, (por preenchimento) . Mas então nossa suposição implica que , …

8 cc.complexity-theory  time-complexity  nondeterminism  time-hierarchy  hierarchy-theorems