Todo algoritmo aleatório pode ser simulado por um algoritmo determinístico, à custa de um aumento exponencial no tempo de execução. Derandomization é sobre a conversão de algoritmos aleatórios em algoritmos determinísticos eficientes.
Uma pergunta recente de Huck Bennett, perguntando se a classe PH estava contida na classe PP, recebeu respostas um tanto contraditórias (tudo verdade, ao que parece). Por um lado, vários resultados do oráculo foram dados ao contrário, e por outro Scott sugeriu que a resposta provavelmente é...
É conjeturado que a aleatoriedade não estende o poder dos algoritmos de tempo polinomial, ou seja, é conjecturado para manter. Por outro lado, a aleatoriedade parece ter um efeito bastante diferente na redução do tempo polinomial . Pelo resultado bem conhecido de Valiant e Vazirani, o reduz-se para...
Costumo ouvir que, para muitos problemas, conhecemos algoritmos aleatórios muito elegantes, mas não, ou apenas soluções determinísticas mais complicadas. No entanto, só conheço alguns exemplos para isso. Mais proeminentemente Quicksort randomizado (e algoritmos geométricos relacionados, por...
O teorema de Valiant-Vazirani diz que, se houver um algoritmo de tempo polinomial (determinístico ou aleatório) para distinguir entre uma fórmula SAT que possui exatamente uma tarefa satisfatória e uma fórmula insatisfatória - então NP = RP . Este teorema é provado mostrando que UNIQUE-SAT é NP-...
Em uma frase: a existência de uma hierarquia para implicaria algum resultado de des randomização?B P T I M EBPTIME\mathsf{BPTIME} Uma questão relacionada, mas mais vaga, é: a existência de uma hierarquia para implica limites inferiores difíceis? A resolução desse problema atinge uma barreira...
Quais problemas são conhecidos por pertencerem a mas não por pertencerem a ?PB P PBPP\mathsf{BPP}PP\mathsf P Mais precisamente, estou interessado em problemas independentes , ou seja, cujas derandomizações não são conhecidas como equivalentes. Por exemplo, sabe-se que o PIT derandomizing e a...
RP é a classe de problemas decididos por uma máquina de Turing não determinística que termina em tempo polinomial, mas que também é permitida erro unilateral. P é a classe usual de problemas decidíveis por uma máquina de Turing determinística que termina em tempo polinomial. P = RP segue de um...
Estou procurando expansores desequilibrados que sejam "bons" e "com eficiência de espaço". Especificamente, um gráfico regular esquerdo bipartido , | Um | = n , | B | = m , com o grau esquerdo d, é um expansor ( k , ϵ ) se, para qualquer S ⊂ A de tamanho no máximo k , o número de vizinhos distintos...
Existe uma boa pesquisa que compara diferentes extratores, concentradores e superconcentradores e estabeleça os melhores métodos em termos de troca entre aleatoriedade, tempo e espaço?
Com alguns algoritmos aleatórios, você pode des randomizar o algoritmo, removendo (a um possível custo em tempo de execução) o uso de bits aleatórios e maximizando um limite inferior ao objetivo (geralmente calculado usando o fato de que os teoremas têm o desempenho esperado do algoritmo...
Enquanto o teorema de Adleman mostra, que , não conheço nenhuma literatura que investigue a possível inclusão de B Q P ⊆ P / poli . Que consequências teóricas da complexidade essa inclusão teria?B P P ⊆ P / poliBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}B Q P ⊆ P /...
Considere o seguinte modelo: uma sequência de n bits r = r 1 ... r n é escolhida uniformemente aleatoriamente. Em seguida, cada índice i∈ {1, ..., n} é colocado em um conjunto A com probabilidade independente 1/2. Finalmente, um adversário é permitido, para cada i∈A separadamente, para r aleta i se...
Seja a classe dos problemas de decisão que possuem um algoritmo aleatório delimitado com erro de dois lados, executando no tempo .O ( f ( n ) )BPTIME(f(n))BPTEuME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Conhecemos algum problema tal que mas ? A sua inexistência é comprovada? Q ∈ B P T I M...
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...
A distribuição DD\mathcal{D} é dito ϵϵ\epsilon -fool uma função se . E é dito que engana uma classe de funções se ela engana todas as funções nessa classe. Sabe-se que os espaços tendenciosos enganam a classe de paridades sobre subconjuntos. (veja Alon-Goldreich-Hastad-Peralta para algumas...
Encontrei o livro Pairwise Independence and Derandomization sobre o assunto, mas é mais orientado para a pesquisa do que orientado para o tutorial. Eu sou novo no assunto de "Derandomization" e, como tal, queria saber de qual referência começar? Prefiro um que discuta literatura e história, bem...
Nisan provou em "Geradores Psico-Aleatórios para Computação Limitada ao Espaço", que existe um gerador pseudo-aleatório que "engana" os cálculos limitados pelo espaço. Essa construção vale para todos os oráculos (pelo menos para consultas não
Nós sabemos (por agora cerca de 40 anos, obrigado Adleman, Bennet e Gill) que a inclusão BPP P / poli, e um ainda mais forte BPP / poli P / hold poli. O "/ poly" significa que trabalhamos de maneira não uniforme (um circuito separado para cada comprimento de entrada ), enquanto P sem esse "/ poly"...
Adleman, FOCS'78 mostrou que qualquer circuito aleatório para entradas de comprimento pode ser des randomizado de maneira não uniforme. No entanto, a construção duplica efetivamente o circuito original vezes, portanto o circuito derandomizado é maior que o original por um fator de . Existe alguma...
Quais são alguns dos principais exemplos de derandomização bem-sucedida ou pelo menos progresso na demonstração de evidências concretas em relação a objetivo P (não a conexão aleatória da dureza)?P=BPPP=BPPP=BPP O único exemplo que me vem à mente é o teste de primalidade determinística no tempo...