Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

1
Elementos mínimos de um predicado monotônico sobre o conjunto de potências
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 os elementos mínimos de PPP , ou seja, a x∈2|n|x∈2|n|x …
1
Solucionadores ideais de NP
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 …
1
Essa classe de gráfico tem um nome?
É 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 …
1
Resultados negativos na abordagem de partículas idênticas ao problema do isomorfismo de grafos (IG)
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 Amir Rahnamai Barghi e Ilya Ponomarenko. …
1
Incorporação combinatória de um gráfico
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 como o gráfico, para o qual a fórmula de Euler mantém (assumindo …
2
Complexidade de espaço para calcular o alinhamento ideal de cordas para a distância de edição de Levenshtein
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 distância …
3
Na entropia de uma soma
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 …
1
Algoritmos quânticos com aceleração exponencial podem ser rederivados usando programas span?
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 quânticos interessantes, incluindo aqueles com aceleração exponencial …
1
A entropia de uma convolução sobre o hipercubo
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\{ f(x)^2\} _{x\in \mathbb{Z}_2^n}H(f)=−∑x∈Zn2f(x)2log(f(x)2).H(f)=−∑x∈Z2nf(x)2log⁡(f(x)2).H(f) = -\sum _{x \in \mathbb{Z}_2^n} f(x)^2 \log \left( f(x)^2 \right) …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.