Qual é a complexidade temporal exata do algoritmo de espaço de log não-direcionado de st-connectivity de Omer
Acabei de começar (independente) a aprender sobre computação quântica em geral a partir do livro de Nielsen-Chuang. Eu queria perguntar se alguém poderia tentar encontrar tempo para me ajudar com o que está acontecendo com o postulado de medição da mecânica quântica. Quero dizer, não estou...
( X, d)(X,d)(X, d)( Y, f)(Y,f)(Y, f)μ : X→ Yμ:X→Y\mu : X \rightarrow Yμμ\muρ = maxp , q∈ X{ d( x , y)f( μ ( x ) , μ ( y) )), f( μ ( x ) , μ ( y) ))d( x , y)}ρ=maxp,q∈X{d(x,y)f(μ(x),μ(y)),f(μ(x),μ(y))d(x,y)} \rho = \max_{p,q \in X} \{ \frac{d(x,y)}{f(\mu(x), \mu(y))}, \frac{f(\mu(x),...
A motivação para esta pergunta é o fato de que a maioria das strings de n bits é incompressível. Intuitivamente, podemos propor, por analogia, que a maioria das provas de Tautologias seja incompressível para o tamanho polinomial. Basicamente, minha intuição é que algumas provas são inerentemente...
Enquanto estudante de EE, participei de algumas palestras que apresentavam uma boa caracterização de circuitos booleanos em termos de quantos ciclos aninhados eles tinham. Na complexidade, os circuitos booleanos são frequentemente vistos como dags, mas em ciclos reais de hardware são comuns. Agora,...
Eu acredito que a resposta a esta pergunta é bem conhecida; mas infelizmente não sei. Na computação quântica, sabemos que estados mistos são representados por matrizes de densidade. E a norma de rastreamento da diferença de duas matrizes de densidade caracteriza a capacidade de distinguir os dois...
Para um dado gráfico , o Problema do Separador pergunta se existe um conjunto de vértices ou arestas de pequena cardinalidade (ou peso) cuja remoção particiona G em dois gráficos separados de tamanhos aproximadamente iguais. Isso é chamado de Problema do Separador de Vértices quando o conjunto...
Eu desenvolvi uma nova técnica de derandomização que visa algoritmos aleatórios recursivos (ou) algoritmos aleatórios mais geralmente que usam uma pilha. Infelizmente, não consegui encontrar algoritmos aleatórios naturais para aplicar minhas técnicas. As correntes recursivas de Markov e as...
Imagine uma linguagem de programação funcional cujos únicos tipos de dados são escalares numéricos e aninhamentos arbitrários de matrizes. O idioma não possui meios de iteração ilimitada, portanto, o seguinte não é permitido: loops explícitos (pouco uso sem efeitos colaterais) recursão funções...
Isso pode parecer mais uma questão de ciências sociais do que uma questão do TCS, mas não é. Ao ler " Algoritmos aleatórios ", que descrevem o problema do casamento estável, pode-se ler o seguinte (p54) "Pode-se demonstrar que, para todas as listas de preferências, existe pelo menos um casamento...
Na seção 2.2 das Árvores B sem cache , as Árvores de pesquisa fortemente equilibradas são definidas como: Para alguma constante , todo nó v na altura h tem Θ ( d h ) descendentes.dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) Eles afirmam: As árvores de pesquisa que atendem às Propriedades 1 e 2 incluem...
Estou começando meus estudos da teoria algorítmica dos jogos, e parece que o conceito de equilíbrio geralmente usado é o de um ponto fixo em um gráfico. No entanto, as pessoas analisaram conceitos alternativos de equilíbrio, como ciclos de limite? Posso imaginar que um ciclo limite "apertado" - ou...
Estou desenvolvendo um algoritmo SAT há algum tempo e cheguei a um ponto em que gostaria de compartilhá-lo. Não conheço muitas pessoas em ciência da computação e não sei exatamente para onde me virar. Eu estou querendo saber quais recursos estão disponíveis para alguém com um algoritmo que está...
DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in CO P T ( C , D ) = min f ∈ C e r r ( f , D )e r r ( f, D ) = Pr( x , y) ∼ D[ f( X ) ≠ y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]O PT( C, D ) = minf∈...
Dados e M , é possível obter o M 'ésimo bit (ou dígito de qualquer base pequena) de N ! no tempo / espaço de ó ( p ( l n ( N ) , l N ( H ) ) ) , onde P ( x , y ) é uma função polinomial de x e y ?NNNMMMMMMN!N!N!O(p(ln(N),ln(M)))O(p(ln(N),ln(M)))O( p( ln(N), ln(M) ) )p(x,y)p(x,y)p(x, y)xxxyyy Dado...
Minha pergunta é um pouco genérica, então estou inventando uma boa história para justificá-la. Tenha paciência comigo se não for realista ;-) História X, chefe do departamento de segurança de computadores de uma grande empresa, é um pouco paranóico: ele exige que todos os funcionários alterem...
Esta pergunta pode ter uma resposta óbvia ... mas aqui está a pergunta de qualquer maneira. Intuitivamente, é a seguinte declaração plausível - "uma máquina com uma sub-rotina A que, por sua vez, possui uma sub-rotina B é a mesma que uma máquina com uma sub-rotina A que tem acesso à sub-rotina...
Considere um gráfico com vértices e arestas. Os vértices são rotulados com variáveis reais , onde é fixo. Cada aresta representa uma "medida": para a aresta , obtenho uma medida . Mais precisamente, é uma quantidade verdadeiramente aleatória em , distribuída uniformemente e independente de todas...
Alguém conhece alguma boa referência para o significado de simulabilidade em linha reta? Atualmente, estou profundamente dentro da estrutura de Canetti da Universal Composability (UC), mas não consigo encontrar nenhuma boa referência para o significado de simulabilidade em linha reta. Qualquer...
Os dados do mundo real às vezes têm um número natural de clusters (tentar agrupá-los em um número menor de clusters do que um k mágico causará um aumento dramático no custo de cluster). Hoje assisti a uma palestra do Dr. Adam Meyerson e ele se referiu a esse tipo de dados como "dados...