Para responder "que problemas podem ser resolvidos pela computação", desenvolvemos a teoria da computabilidade. Para os problemas computáveis, existe uma teoria para responder à pergunta "o programa é o mais simples?"? Não acho que a complexidade computacional responda à pergunta. Eu acho que...
Deixe ser um gráfico conectado com nodos e bordas . Deixe denotar o peso (número inteiro) de gráfico , com o peso total no gráfico. O peso médio por nó é então . Seja denota o desvio do nó da média. Nós chamamoso desequilíbrio do nó .GGGG=(V,E)G=(V,E)G = (V,E)V=1…nV=1…nV = 1 \dots...
Sabemos que o log da classificação de uma matriz 0-1 é o limite inferior da complexidade da comunicação determinística, e o log da classificação aproximada é o limite inferior da complexidade da comunicação aleatória. A maior lacuna entre a complexidade determinística da comunicação e a...
Embora sejam conhecidas separações exponenciais entre a complexidade da consulta quântica com erro limitado ( ) e a complexidade determinística da consulta ( ) ou a complexidade aleatória da consulta com erro limitado ( ), elas se aplicam apenas a determinadas funções parciais. Se as funções...
Sou um estudante de mestrado focado em sistemas distribuídos, mas também interessado em ciência da computação teórica. Eu queria saber se existe uma representação formal de um sistema distribuído em cima de uma máquina de turing? Ou seja, é possível estender (criar uma variante) o conceito de uma...
As tentativas permitem o armazenamento eficiente de listas de elementos. Os prefixos são compartilhados e, portanto, economizam espaço. Estou procurando uma maneira semelhante de armazenar árvores com eficiência. Eu gostaria de poder verificar a associação e adicionar elementos, sabendo se uma...
Atualização: Parece que esse problema foi estudado e resolvido recentemente, consulte este artigo da wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton E também esta pesquisa: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Suponha que, em vez do conjunto usual de palavras {0,1} *,...
Sabemos que encontrar o casco convexo de pontos em um avião tem um limite inferior de em seu tempo de execução. No entanto, se os pontos são dados na ordem em que ocorrem ao longo de algum polígono simples que possui esses pontos como seus vértices, seu casco convexo pode ser encontrado em tempo...
Ganância é um termo não formal, mas pode ser (não tenho certeza, é por isso que estou perguntando) que, para certos problemas, a ganância possa ser formulada matematicamente e, assim, seja provado que não existe um algoritmo ganancioso ideal. Isso é
No papel seminal de Bernstein e Vazirani "Quantum Teoria da Complexidade", eles mostram que um transformação unitária dimensional pode ser eficientemente aproximada por um produto do que eles chamam de "rotações quase trivial" e "mudanças de fase quase trivial".ddd "Perto trivial rotações" são...
Houve uma quantidade considerável de trabalho em problemas computacionais para pedidos parciais (por exemplo, reconhecimento, número de salto, reconhecimento de gráfico de comparabilidade, etc ...). Estou curioso sobre o trabalho específico para as treliças. Eu procurei e não encontrei muito...
Dado um gráfico dirigido e dois vértices . Um par de caminhos simples de a é separado da aresta se eles não compartilharem uma aresta.s , t ∈ V p 1 , p 2 s tG = ( V, E)G=(V,E)G = (V,E)s , t ∈ Vs,t∈Vs,t \in Vp1 1, p2p1,p2p_1,p_2sssttt Usando o fluxo máximo, é fácil decidir se há um par de caminhos...
NOTA : A pergunta foi reafirmada em minhas respostas: Supondo que agora possamos encontrar os ancestrais de irmãos mais baixos no tempo , a RNA pode realmente ser executada em O ( log n ) ?O ( 1 )O(1)O(1)O ( logn )O(logn)O(\log n) Quadtrees são índices espaciais eficientes. Eu tenho um...
É sabido que, para a aprendizagem clássica do PAC, exemplos de são necessários para obter um erro vinculado a whp, onde é a dimensão VC da classe conceitual.ε dΩ ( d/ ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd Sabe-se que exemplos de são necessários no caso agnóstico?Ω ( d/...
Estou curioso para saber se alguém poderia recomendar algum material suplementar para obter uma compreensão mais profunda do artigo: " Alguns Resultados e Problemas em Desigualdades Quânticas do Tipo Sino - Tsirelson ". Especificamente, algo que pode elaborar um pouco mais sobre a interpretação...
No artigo com o mesmo título que o desta pergunta, os autores descrevem como construir uma operação CAS linearizável de múltiplas palavras sem bloqueio usando apenas um CAS de uma única palavra. Eles primeiro introduzem a operação de dupla comparação, troca única - RDCSS, da seguinte maneira:...
Uma fórmula CNF monótona com m termos em n variáveis ( ) é uma fórmula da forma , em que cada é um OR de algum subconjunto das variáveis e varia de a . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , … , x n i 1 mx1 1, … , Xnx1,…,xnx_1,\ldots,x_nf( x1 1, … , Xn) = ⋀ CEuf(x1,…,xn)=⋀Cif(x_1,\ldots,x_n) =...
Estou lendo o excelente artigo de Watrous sobre a teoria da complexidade quântica. Nele, ele afirma que seria surpreendente se um problema completo de QMA tivesse uma promessa vazia (ou seja, um idioma). Porque isto é assim? Isso tem a ver com o fato de que o problema hamiltoniano k-local é um...
Existe uma estrutura de dados RAM de palavras de w bits com tempo O (1) por operação para o seguinte problema ?: Manter um conjunto de números inteiros não negativos de w bits que ofereça suporte às operações add (x): adiciona x ao conjunto remove (x): remove x do conjunto impressão digital ():...
Em termos gerais, a correspondência de padrões de permutação lida com problemas do seguinte tipo: Dadas as permutações em e em , com , contém uma subsequência de comprimento cujos elementos são ordenados de acordo com ?ππ\piSnSnS_nσσ\sigmaSmSmS_mm ≤ nm≤nm\leq nππ\pi ττ\taummmσσ\sigma Por...