Ciência da Computação Teórica

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

1
Puzzle de estacas
Problema: Recebemos um conjunto de paus, todos com comprimentos inteiros. A soma total de seus comprimentos é n (n + 1) / 2. Podemos separá-los para obter pedaços do tamanho em tempo polinomial? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Surpreendentemente, a única referência que encontro para esse problema é …
2
Limites inferiores na complexidade gaussiana
Defina a complexidade gaussiana de uma matriz para ser o número mínimo de operações elementares de linha e coluna necessárias para trazer a matriz para a forma triangular superior. Essa é uma quantidade entre e (via eliminação gaussiana). A noção faz sentido sobre qualquer campo.n×nn×nn \times n000n2n2n^2 Esse problema certamente …
2
Uma função booleana que não é constante em subespaços afins de dimensão grande o suficiente
Estou interessado em uma função booleana explícita com a seguinte propriedade: se for constante em algum subespaço afim de , então a dimensão deste subespaço é .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Não é difícil mostrar que uma função simétrica não satisfaz essa propriedade considerando um subespaço . Qualquer tem exatamente …
3
Modelos de computação estritamente entre clássico e quântico em termos de complexidade de consulta
É sabido que os computadores quânticos são estritamente mais poderosos do que seus equivalentes clássicos em termos de complexidade de consultas . Existem outros modelos (naturais ou artificiais) estritamente entre o quantum e o clássico em termos de complexidade da consulta? A separação pode estar em problemas específicos: o modelo …
1
Um espaço topológico relacionado ao SAT: é compacto?
O problema da satisfação é, obviamente, um problema fundamental no CS teórico. Eu estava brincando com uma versão do problema com infinitas variáveis. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuração básica. Seja XXX um conjunto de variáveis não vazio e possivelmente infinito . Um literal é uma variável x∈Xx∈Xx \in X ou sua negação …
5
P com oráculo de fatoração inteira
Acabei de ler a pergunta " A fatoração inteira é um problema NP-completo? " ... então decidi gastar parte da minha reputação :-) fazendo outra pergunta com P ( Q é trivial ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Se é um oráculo que resolve …
1
O Agregador de blogs do TOC está offline
Peço desculpas se isso estiver fora de tópico. Parece que o nome do domínio expirou. Espero que alguns membros da comunidade aqui (eu não sou um) possam saber quem foi o administrador / proprietário desse site. Foi um recurso bastante útil.
1
Lista de problemas de complexidade (não resolvidos) decorrentes do PL
Quais são alguns dos principais problemas de complexidade computacional aberta que surgem das linguagens de programação, especialmente a análise e compilação de programas? Estou procurando problemas nas linhas "da complexidade temporal da inferência do tipo Hindley-Milner" ou "da complexidade temporal de 0CFA" (embora ambos sejam problemas resolvidos).
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.