Ciência da Computação Teórica

Esta pode ser uma pergunta muito simples. Mas qual é a diferença entre tipos e tipos? Meu entendimento atual é que você tem uma teoria de tipos com regras de tipos que dão uma noção de uma declaração bem digitada, mas as classificações são mais básicas, diferenciando símbolos em diferentes …

11 type-theory 

Todos os solucionadores #SAT que eu conheço, por exemplo, RelSat, C2D, retornam apenas o número de instâncias satisfatórias. Mas eu quero conhecer cada uma dessas instâncias? Existe um solucionador de #SAT ou como devo modificar um solucionador de #SAT disponível para fazer isso? Obrigado.

11 lo.logic  sat  software 

Recordar o diâmetro de um gráfico que é o comprimento de um caminho mais longo que mais curto em . Dado um gráfico, um algoritmo óbvio para calcular resolve o problema de caminho mais curto de todos os pares (APSP) e retorna o comprimento do caminho mais longo encontrado.G diam …

11 graph-theory  graph-algorithms  shortest-path 

Embora a regra geral seja que, nos documentos da TCS, os autores sejam ordenados alfabeticamente, existem alguns contra-exemplos notáveis ​​que vêm à mente, nos quais os autores são ordenados de maneira diferente, por exemplo, Métodos Algébricos para Sistemas Interativos de Prova [Lund, Fortnow, Karloff, Nisan] Um método para obter assinaturas …

11 soft-question 

Eu queria saber se havia algum limite inferior (em termos de complexidade da amostra) conhecido pelo seguinte problema: Dado o acesso de amostra da Oracle a duas distribuições desconhecidas D1D1D_1 , D2D2D_2 em {1,…,n}{1,…,n}\{1,\dots,n\} , teste (whp) se D1=D2D1=D2D_1=D_2 d2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2⁡(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} \geq \epsilon Batu et al. [BFR + …

11 ds.algorithms  lower-bounds  st.statistics  property-testing 

Parte da dificuldade de descobrir mais sobre esse problema é que o problema de correspondência de gráfico é diferente de seu primo muito mais famoso, o problema de correspondência, mas difícil de ser distinguido quando se usa os mecanismos de pesquisa. Dados dois gráficos e tais que, a tarefa é …

11 reference-request  graph-theory  graph-isomorphism 

Este é um acompanhamento da minha pergunta anterior: Limite inferior da complexidade determinística do tempo mais conhecido para um problema natural em NP Acho desconcertante não termos sido capazes de provar qualquer limite determinístico quadrático de tempo para qualquer problema de NP interessante com o qual as pessoas se preocupam …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

Sabe-se que algumas classes de complexidade sintática (não relativizadas) entre e P S P A C E têm a seguinte propriedade, P ⊆ C o N P ⊆ U S ⊆ C = P ⊆ P P ⊆ P S P A C E . Gostaria de saber se existe …

11 cc.complexity-theory  complexity-classes 

Estou tentando entender a relação entre a complexidade algorítmica e a complexidade do circuito de Determinantes e Multiplicação de Matrizes. Sabe-se que o determinante de um matriz pode ser calculado em ~ O ( H ( n ) ) de tempo, em que M ( N ) é o tempo …

11 algebraic-complexity  arithmetic-circuits  matrix-product  determinant 

Deixe ad(G)ad(G)\rm{ad}(G) é a distância média de um gráfico conectado G.G.G. Uma maneira de calcular ad(G)ad(G)\rm{ad}(G) é somando os elementos de D(G),D(G),D(G), a matriz de distância de GGG e escalando a soma adequadamente. Se o gráfico de saída for uma árvore, sabe-se que a distância média pode ser calculada em …

11 cc.complexity-theory  graph-theory  graph-algorithms 

O assistente de ensino de um curso conseguiu escrever um programa que (deterministicamente) gera perguntas difíceis para os exames. Agora, ela gostaria de escrever um programa que gere as respostas correspondentes. O problema do examinador pergunta se isso é sempre possível; a Conjectura de Examiner afirma que, assumindo, , énãoP …

11 cc.complexity-theory  uniformity 

Gostaria de saber se existe um mundo relativizada onde . Também estou interessado em saber se existe um mundo relativizada onde P B ≠ N P B = P P B .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}

11 cc.complexity-theory  oracles  relativization 

Eu, como muitas pessoas, sou um usuário perspicaz de software matemático como Mathematica e Maple. No entanto, fico cada vez mais frustrado com os muitos casos em que esse software simplesmente fornece a resposta errada sem aviso prévio. Isso pode ocorrer ao executar todos os tipos de operações, de somas …

11 cc.complexity-theory 

Estou tentando entender o protocolo bitcoin no contexto da segurança criptográfica computacional. A questão é uma solicitação de referência para fundações de artigos de criptografia em bitcoin. Minha primeira pergunta é qual protocolo criptográfico abstrato o bitcoin está tentando implementar? Temos uma definição de moeda eletrônica / moeda digital em …

11 reference-request  cr.crypto-security 

Eu tenho algumas perguntas sobre enganar circuitos de profundidade constante. Sabe-se que a independência do é necessária para enganar os circuitos A C 0 de profundidade d , em que n é o tamanho da entrada. Como alguém pode provar isso?logO(d)(n)logO(d)⁡(n)\log^{O(d)}(n)AC0AC0AC^0dddnnn Uma vez que o acima for verdadeiro, qualquer gerador …

11 cc.complexity-theory  cr.crypto-security  circuit-complexity  derandomization  pseudorandom-generators