Ciência da Computação Teórica

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

1
Como é um portão quântico tangível?
Eu li livros, artigos e artigos publicados sobre computação quântica. Descobri que todos os materiais que vi são, em vez de descrever a porta quântica da física básica à abstração, tentando evitar falar sobre os detalhes de implementação dos portões quânticos . Em primeiro lugar, me questionei: estou pesquisando na …
1
Qual é o nome de uma função
Seja uma linguagem ef : function ⋆ × Σ ⋆ → Σ ⋆ uma função em dois parâmetros com a propriedade que para todos x e y , f retorna um elemento de L se e somente se x e y forem elementos de L :euLLf: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffeuLLxxxyyyLLL …
1
vs
É NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? Ou, de maneira mais geral, NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly} ?
1
Como os periódicos servem à comunidade do TCS?
No passado, os periódicos eram a principal forma de divulgação e verificação de descobertas científicas / matemáticas. Em algumas áreas, eles ainda são. No entanto, na ciência da computação (teórica) esse papel é quase inteiramente desempenhado por conferências e disseminação aberta na Web (por exemplo, arxiv ou páginas pessoais). Ainda …
1
Menor caixa alinhada ao eixo que contém pontos
Entrada: um conjunto de pontos em e um número inteiro .R 3 k ≤ nnnnR3R3\mathbb{R}^3k≤nk≤nk \le n Saída: a menor caixa delimitadora alinhada ao eixo de volume que contém pelo menos desses pontos.nkkknnn Gostaria de saber se algum algoritmo é conhecido por esse problema. O melhor que pude pensar foi …
1
Tipos dependentes sobre o tipo codificado pela igreja em PTS / CoC
Estou experimentando sistemas de tipo puro no cubo lambda de Barendregt, especificamente com o mais poderoso, o Cálculo de Construções. Este sistema tem tipos *e BOX. Apenas para constar, abaixo, estou usando a sintaxe concreta da Morteferramenta https://github.com/Gabriel439/Haskell-Morte-Library, que fica próxima ao cálculo lambda clássico. Vejo que podemos emular tipos …
3
Complexidade do cálculo da paridade de leitura duas vezes oposta à fórmula CNF (
Em uma fórmula CNF de leitura duas vezes oposta, cada variável aparece duas vezes, uma vez positiva e uma vez negativa. Estou interessado na problema, que consiste em calcular a paridade do número de satisfazer as atribuições de um oposto fórmula CNF leitura duas vezes.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Não consegui encontrar nenhuma referência …
2
Consequência de PIT sobre não possuir algoritmo eficiente
Dado modo que os coeficientes de sejam delimitados por , aguarde?p , q B p ≡ qp(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q O lema de Schwartz-Zippel se aplica aqui, pois é válido para campos gerais e e existe um algoritmo aleatório eficiente para esse problema.Z⊂QZ⊂Q\Bbb Z\subset\Bbb Q Esperamos que esse problema tenha …
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.