Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

2
Diferença entre tipos e tipos
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 …

2
Enumere todas as soluções de um problema SAT
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 


4
Solicitação de autores em artigos do TCS
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 …

4
Limite inferior para testar a proximidade na norma
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 + …


2
Existe uma explicação para a dificuldade de provar limites inferiores quadráticos para problemas interessantes de DN?
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 …





1
Mundo relativizado onde
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}

1
Testemunhas de software matemático
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 …

1
O bitcoin é criptograficamente seguro
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 …


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.