Digamos que temos uma função f: Zn2→ Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} tal que efé uma distribuição, ou seja,∑x∈Z n 2 f(x)=1.∀ x ∈ Zn2f( x ) ∈ { 12n, 22n, ... , 2n2n} ,∀x∈Z2nf(x)∈{1 12n,22n,...,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots,...
Seja um gráfico. Seja k ≤ | V | ser um número inteiro. Deixe ó k ser o número de borda induzida subgráficos de L tendo k vértices e um número ímpar de arestas. Vamos E k ser o número de borda induzida subgráficos de L tendo k vértices e um número par de arestas. Seja Δ k = O k - E k . O delta ainda...
Até onde eu sei, uma função Haskell com restrições de classes de tipo é compilada internamente para uma função com argumentos adicionais que recebem dicionários com as implementações necessárias de cada classe de tipo específica. Existem outras possibilidades de compilação de classes de tipo? Em...
Functors construídos a partir de produtos e somas finitos têm um fechamento ordinal ωω\omega , detalhado detalhadamente neste manuscrito de Francois Metayer. ou seja, podemos alcançar o tipo indutivo iterando o functor , que atinge seu ponto fixo após as iterações .1 + X ωn a t : = μ X. 1 +...
O livro de Arora e Barak contém em notas de capítulo sobre PCP Observamos que a estratégia geral de Dinur lembra um pouco a construção em zigue-zague de gráficos expansores e o algoritmo determinístico de espaço de log determinante de Reingold para conectividade não direcionada descrito no...
kkk pontos distintos são selecionados aleatoriamente em uma grade . (Obviamente, k \ leq p \ vezes q e é um dado número constante.) Um gráfico ponderado completo é construído a partir desses pontos k, de modo que o peso da aresta entre o vértice ie o vértice j seja igual à distância de Manhattan de...
Suponha que Alice tenha uma distribuição sobre um domínio finito (mas possivelmente muito grande), de modo que a entropia (Shannon) de μ seja superior limitada por uma constante arbitrariamente pequena ε . Alice desenha um valor x de μ e, em seguida, pede a Bob (que sabe μ ) que adivinhe x...
Comecei a me envolver com a otimização matemática recentemente e estou adorando. Parece que muitos problemas de otimização podem ser facilmente expressos e resolvidos como programas lineares (por exemplo, fluxos de rede, cobertura de borda / vértice, vendedor ambulante etc.). Sei que alguns deles...
Estou tentando entender o artigo Sobre sistemas de prova p-Optimal e lógica para PTIME . Existe uma noção chamada sistemas de prova no artigo e eu não entendo: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Identificamos problemas com os subconjuntos de em .Σ ∗QQQΣ∗Σ∗\Sigma^* Penso que a intenção é...
Se você tem duas funções implementando um algoritmo de classificação diferente, é possível inferir pelo código-fonte que ambas possuem as mesmas propriedades externas? Significando que ambos terão uma sequência não classificada possível como entrada e uma sequência classificada como saída? De que...
Para entender melhor um artigo, estou tentando entender brevemente a lógica do ponto menos fixo. Existem alguns pontos em que estou preso. Se é um gráfico eG=(V,E)G=(V,E)G = (V,E) Φ(P) = { ( a , b )∣G⊨E( a ,b)∨P( a , b )∨∃z(E(a,z)∧P(z, b ) ) }Φ(P)={(uma,b)∣G⊨E(uma,b)∨P(uma,b)∨∃z(E(uma,z)∧P(z,b))}...
Suponha que não conheçamos o resultado de Joe B. Wells, de 1994, de que tanto a tipabilidade quanto a verificação de tipos são indecidíveis no Sistema F (AKA ). No cálculo lambda de Barendregt com tipos (1992), encontrei uma prova, devido a Malecki 1989, de que a verificação de tipo implica...
É sabido que a complexidade da consulta quântica de erro limitado da função é . Agora, a questão é: se queremos que nosso algoritmo quântico seja bem-sucedido para cada entrada com probabilidade em vez dos usuais . Agora, em termos de quais seriam os limites superior e inferior apropriados?Θ ( √O R...
Intrigado com a interessante pergunta de Chris Pressey sobre funções elementares-recursivas , eu estava explorando mais e não consegui encontrar uma resposta para essa pergunta na web. As funções recursivas elementares correspondem muito bem à hierarquia exponencial,
Aqui está o plano de fundo para esta pergunta. Amigos e eu estávamos jogando um jogo em que todos precisam dar algum presente a outras pessoas. Para determinar quem deve dar um presente a quem, decidimos sortear. Mas o problema é que alguém pode acabar dando presentes a si mesmo, o que não é...
A seguir, parece-me uma definição natural e me pergunto se ela foi estudada em algum lugar. Considere um conjunto de idiomas. Então K ⊂ { 0 , 1 } ω é chamado de " informação verificável em X " quando existe L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}K⊂{0,1}ωK⊂{0,1}ωK...
Corri para esse problema de correspondência para o qual não consigo escrever um algoritmo de tempo polinomial. Seja gráficos completos ponderados com conjuntos de vértices e , respectivamente, onde . Além disso, sejam e as funções de peso nas arestas de e , respectivamente.P V Q V | P V | = | Q V...
é bem sabido que o modal -calculusμμ\mu é um dos mais expressivos lógicas temporais para expressar propriedades de árvores / gráficos, e que CTL * é estritamente menos expressivo do que o -calculus.μμ\mu Aqui, gostaria de pedir um exemplo da fórmula cálcio, o mais simples possível, que não seja...
Todo idioma indecidível reconhecível por Turing possui um subconjunto NP-completo? A questão poderia ser vista como uma versão mais forte do fato de que toda linguagem infinita reconhecível de Turing tem um subconjunto infinito e
No artigo de Adi Shamir [1], de 1979, ele mostra que esse fatoramento pode ser feito em um número polinomial de etapas aritméticas . Esse fato foi reafirmado e, portanto, me chamou a atenção no artigo recente de Borwein e Hobart [2] no contexto de programas de linha reta (SLP). Como fiquei...