Ciência da Computação Teórica

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

3
Encontrar testemunha na soma minkowski de números inteiros
Seja e subconjuntos de . Estamos interessados ​​em encontrar a soma de Minkowski .AAABBB{0,…,n}{0,…,n}\{0,\ldots,n\}A+B={a+b | a∈A,b∈B}A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} χX:{0,…,2n}→{0,1}χX:{0,…,2n}→{0,1}\chi_X:\{0,\ldots,2n\}\to \{0,1\} é uma função característica de seXXXχX(x)={1 if x∈X0 otherwiseχX(x)={1 if x∈X0 otherwise\chi_X(x) = \begin{cases} 1 \text{ if } x\in X\\ 0 \text{ otherwise}\end{cases} Seja a convolução discreta de …
16 convolution  fft 





1
Até que ponto a matemática dos reais pode ser aplicada aos reais computáveis?
Existe um teorema geral que declararia, com sanitização adequada, que os resultados mais conhecidos sobre o uso de números reais podem realmente ser usados ​​quando se considera apenas reais computáveis? Ou existe uma caracterização adequada dos resultados que permaneçam válidos ao considerar apenas os reais computáveis? Uma questão paralela é …


3
Exemplos de
Eu preciso de uma lista de idiomas completos. Existem dois desses problemas listados no Complexity Zoo , a saber:Σp2Σ2p\Sigma_2^p DNF equivalente mínimo. Dada uma fórmula DNF F e um número inteiro k, existe uma fórmula DNF equivalente a F com k ou menos ocorrências de literais? Menor implicante. Dada uma …







4
Problemas de gráfico que são NP-completos em gráficos direcionados, mas polinomiais em gráficos não direcionados
Estou procurando problemas que são conhecidos por serem NPCs para gráficos direcionados, mas que possuem um algoritmo polinomial para gráficos não direcionados. Vi a pergunta sobre o contrário aqui, problemas "direcionados" que são mais fáceis do que sua variante "não direcionada" , mas estou procurando por dureza no lado direcionado. …

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.