Ciência da Computação Teórica

16
?

Ao ler o blog de Dick Lipton, deparei-me com o seguinte fato no final de seu post no Bourne Factor : Se, para cada , existe uma relação da forma ( 2 n ) ! = M - 1 Σ k = 0 um K b c k k onde m = p o l y ( n ) , e cada um dos um K , b k e c k são p o l y ( n ) no comprimento de bits, então...

16
Conjunto menor que cruza alguns conjuntos

Sejam conjuntos que possam ter elementos em comum. Estou à procura de um menor conjunto X tal que ∀ i ,S1 1, S2, … , SnS1 1,S2,...,SnS_1,S_2,\ldots,S_nXXX .∀ i ,X∩ SEu≠ ∅∀Eu,X∩SEu≠∅\forall i,\,X\cap S_i \ne \emptyset Esse problema tem um nome? Ou reduz a algum problema conhecido? No meu contexto,...

16
Em que circunstâncias os algoritmos

Suponha que, para cada ϵ>0ϵ>0\epsilon > 0 , exista uma máquina de Turing MϵMϵM_{\epsilon} que decida um idioma LLL no tempo O(na+ϵ)O(na+ϵ)O(n^{a + \epsilon}) . Existe um algoritmo único que decide LLL no tempo O(na+o(1))O(na+o(1))O(n^{a + o(1)}) ? (Aqui, o(1)o(1)o(1) termo o ( 1 ) é medido em...

16
Uma extensão do operador de ruído

Em um problema em que estou trabalhando, uma extensão do operador de ruído surge naturalmente e fiquei curioso para saber se houve trabalho anterior. Primeiro, deixe-me revisar o operador de ruído básico TεTεT_{\varepsilon} nas funções booleanas com valor real. Dada uma função e , st , , definimos...

16
Implicações da aproximação do determinante

Sabe-se que se pode calcular exatamente o determinante de um matriz em determinstic de log 2 ( n ) espaço. Quais seriam as implicações de complexidade de aproximar o determinante de uma matriz real, da norma, no máximo, 1 ( ‖ A ‖ ≤ 1 ) em randomizado logarítmica espaço,-se dizer, um 1 / poli...