Um MPA (autômato multipebble) é um 2DFA (autômato finito determinístico de duas vias) que pode usar um número arbitrário de seixos (na verdade, no máximo seixos em uma determinada entrada - a entrada é gravada na fita entre as duas extremidades -markers como ). Durante o cálculo, um MPA pode...
Sou mais um cara de óptica quântica do que um cara de informação quântica e lida principalmente com equações mestras. Estou interessado na forma de soma do operador e gostaria de derivar os erros dessa forma para um pequeno sistema quântico que estou simulando. O problema: o sistema quântico é...
Se você receber uma coleção de pedidos parciais, a classificação topológica informará se há uma extensão da coleção para um pedido total (uma extensão nesse caso é um pedido total consistente com cada um dos pedidos parciais). Eu me deparei com uma variação: Fixar um conjunto . Você recebe...
Definir um "problema" para ser um algoritmo aceitar um número natural e retornando 0 ou 1, o qual devolve uma em pelo menos uma n ∈ N . Qualquer um desses n é chamado de "solução" para AAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Definir um "solucionador de problemas universal" para ser um algoritmo...
Dado um gráfico direcionado com n nós, de modo que cada vértice tenha exatamente duas arestas de saída e um número natural N codificado em binário, dois vértices s e t, Quero contar o número de caminhos (não necessariamente simples) de s a t em N etapas. Este é um problema # P-difícil? Ou,...
Sabemos, por exemplo, de Koutis-Miller-Peng (baseado no trabalho de Spielman & Teng), que podemos resolver muito rapidamente sistemas lineares Ax=bAx=bA x = b para matrizes AAA que são o gráfico da matriz laplaciana para algum gráfico esparso com pesos de borda não negativos . Agora (primeira...
Sabe-se agora que o limite inferior do adversário geral caracteriza a complexidade da consulta quântica devido ao trabalho inovador de Reichardt et al. A mesma linha de trabalho também estabelece conexões com a estrutura do programa span para projetar algoritmos quânticos. Muitos algoritmos...
Digamos que temos uma função , de modo que ( para que possamos pensar em como uma distribuição). É natural definir a entropia de uma função da seguinte maneira: f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}∑x∈Zn2f(x)2=1∑x∈Z2nf(x)2=1\sum _{x\in \mathbb{Z}_2^n} f(x)^2 = 1{f(x)2}x∈Zn2{f(x)2}x∈Z2n\{...
Se recebermos duas cadeias de tamanho n1n1n_1 e n2n2n_2 , o cálculo padrão da distância de edição de Levenshtein é por um algoritmo dinâmico com complexidade de tempo O ( n1n2)O(n1n2)O(n_1 n_2) e complexidade de espaço O ( n1n2)O(n1n2)O(n_1 n_2) . (Algumas melhorias podem ser feitas em função da...
Eu estou procurando um ligado na entropia da soma de duas variáveis aleatórias discretas independentes X e Y . Naturalmente, H ( X + Y ) ≤ H ( X ) + H ( Y ) ( ∗ ) No entanto, aplicado à soma de n variáveis aleatórias independentes Bernoulli Z 1 , … , Z n , isso dá H ( Z 1...
Aqui: http://www.planarity.org/Klein_elementary_graph_theory.pdf (em captações de capítulos) é dada uma definição de incorporação combinatória de um gráfico planar. (com definição de faces e assim por diante) Embora possa ser facilmente usado para qualquer gráfico, eles definem o gráfico planar...
Alguém pode fornecer um exemplo de dois autômatos não determinísticos mínimos (NFA) equivalentes (reconhecendo a mesma linguagem) que não são
Acompanhamento O que é um exemplo de uma Mônada que é uma Alternativa, mas não uma MonadPlus? : Suponha que é uma mônada. Quais são as relações betweem ser uma alternativa , um MonadPlusCatch e uma MonadPlusDistr ? mmmmmmmPara cada um dos seis pares possíveis, eu gostaria de ter uma prova de que...
Nos tipos recursivos de Wadler de graça! [1], que demonstraram dois tipos, e ∃ X . ( X → F ( X ) ) × X , e afirmaram que são duplos . Em particular, ele apontou que o tipo ∃ X . X → ( X → F ( X ) ) não é∀X.(F(X)→X)→X∀X.(F(X)→X)→X\forall X . (F(X) \rightarrow X) \rightarrow...
Houve alguns esforços para atacar o problema do isomorfismo de grafos usando a caminhada aleatória quântica de bósons do núcleo duro (simétrica, mas sem ocupação dupla). O poder simétrico da matriz de adjacência, que parecia promissor, mostrou-se incompleto para gráficos gerais neste artigo por...
É formulado estendendo gráficos de limite . Dado um gráfico de limiar onde C é o clique e eu é o conjunto independente, minha extensão é a seguinte: Cada vértice v ∈ Eu posso ser substituído por um novo clique K v, de modo que os vértices de K v tenham a mesmos vizinhos de v...
No famoso exemplo de contador para isomorfismo de grafos através do método Weisfeiler-Lehman (WL), o seguinte dispositivo foi construído neste artigo por Cai, Furer e Immerman. Eles constroem um gráfico dado porXk= ( Vk, Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk= Ak∪ Bk∪ Mk Onde UMAk= { aEu| 1 ≤ i ≤ k }...
Corrija um problema de pesquisa completo do NP, por exemplo, o formulário de pesquisa do SAT. A pesquisa de Levin fornece um algoritmo para resolver que é ótimo em algum sentido. Especificamente, o algoritmo é "Execute todos os programas possíveis com a entrada , uma vez que algum retorne a...
Considere um predicado monotônico PPP sobre o conjunto de potências 2|n|2|n|2^{|n|}(ordenado por inclusão). Por "monotônico", quero dizer: ∀x,y∈2|n|∀x,y∈2|n|\forall x, y \in 2^{|n|}tal que x⊂yx⊂yx \subset y , se P(x)P(x)P(x) então P(y)P(y)P(y) . Eu estou procurando um algoritmo para encontrar todos...
Inspirado por esta pergunta , estou curioso sobre o seguinte: Qual é a pior complexidade possível de verificar se um determinado DFA aceita o mesmo idioma que uma determinada expressão regular? Isso é conhecido? A esperança seria que esse problema estivesse em P - que houvesse um polinômio de...