Perguntas com a marcação «reference-request»

Estou procurando idiomas que "provavelmente não são livres de contexto", mas não podemos (des) provar isso usando técnicas padrão conhecidas. Existe uma pesquisa recente sobre o assunto ou uma seção de problemas abertos de uma conferência recente? Provavelmente, não existem muitos idiomas que não são conhecidos por CF, portanto, se …

21 reference-request  big-list  context-free 

Quando ensino limites de cauda, ​​uso a progressão usual: Se seu rv for positivo, você pode aplicar a desigualdade de Markov Se você tiver independência e também variância limitada, poderá aplicar a desigualdade de Chebyshev Se cada rv independente também tiver todos os momentos limitados, você poderá usar um limite …

21 reference-request  pr.probability  randomized-algorithms 

Encontrei o seguinte resultado durante minha pesquisa. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 onde m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) e a1,⋯,ama1,⋯,ama_1,\cdots,a_m são escolhidos aleatoriamente entre [n][n][n] . Estou à procura de uma referência / uma prova direta. Crossposted on MO

21 reference-request  co.combinatorics  pr.probability 

Antecedentes: Deixe- ser dois vértices de um grafo não direcionado G = ( V , E ) . Um conjunto vértice S ⊆ V é um u , v -separator se u e v pertencem a diferentes componentes ligados de L - S . Se nenhum subconjunto adequado de um …

21 reference-request  graph-theory  graph-algorithms 

Existem muitos lugares onde os números e aparecem. Estou curioso para saber sobre algoritmos cujo tempo de execução contém a proporção áurea ou no expoente.ππ\pi(1+5–√)/2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

Considere o seguinte raciocínio: Seja denotado a complexidade de Kolmogorov da cadeia . O teorema da incompletude de Chaitin diz queK( X )K(x)K(x)xxx para qualquer sistema formal consistente e suficientemente forte , existe uma constante (dependendo apenas do sistema formal e sua linguagem) de tal forma que para quaisquer cordas …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Recentemente, trabalhei no problema para calcular a soma aproximada de uma lista de números não negativos classificados. Para qualquer fixo ϵ>0ϵ>0\epsilon>0 , um Esquema do tempo de aproximação foi derivado de modo a que ele dá uma -approximation para a soma. O artigo está publicado em http://arxiv.org/abs/1112.0520 , que não …

21 ds.algorithms  reference-request 

Eu já vi (e ouvi) afirmar que é seguro acrescentar o axioma clássico do meio excluído ao Coq, mas não consigo encontrar um documento que apoie essa afirmação. Os artigos que vejo listados no wiki da Coq sobre o meio excluído estão mostrando inconsistência com o conjunto impredicativo. De fato, …

21 reference-request  lo.logic  coq 

captura a idéia de eficientemente paralelizável, e uma interpretação disso são problemas que são solucionáveis ​​no tempo O ( log c n ) usandoprocessadores paralelos O ( n k ) para algumas constantes c , k . Minha pergunta é se existe uma classe de complexidade análoga em que o …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

(Este é um acompanhamento para esta pergunta e sua resposta .) Eu tenho o seguinte programa linear inteiro totalmente unimodular (TU) (ILP). Aqui ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},w são números inteiros positivos dados como parte da entrada. Um subconjunto especificado das variáveis é definido como zero e o restante pode assumir valores integrais positivos:xijxijx_{ij} …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

Existe uma boa pesquisa que compara diferentes extratores, concentradores e superconcentradores e estabeleça os melhores métodos em termos de troca entre aleatoriedade, tempo e espaço?

21 reference-request  randomness  derandomization 

A Wikipedia fornece exemplos de problemas em que a versão de contagem é difícil, enquanto a versão de decisão é fácil. Algumas delas estão contando combinações perfeitas, contando o número de soluções para 222 SAT e o número de classificações topológicas. Existem outras classes importantes (digamos exemplos em treliças, árvores, …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

Eu tenho duas perguntas históricas: Quem primeiro descreveu a computação não determinística? Sei que Cook descreveu problemas de NP-completos e que Edmonds propôs que os algoritmos P são algoritmos "eficientes" ou "bons". Pesquisei este artigo da Wikipedia e vasculhei "Sobre a complexidade computacional dos algoritmos", mas não consegui encontrar nenhuma …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 6 anos . (Esta pergunta é um pouco de "pesquisa".) Atualmente, estou trabalhando em um problema em que estou tentando particionar as bordas de um torneio em dois sets, …

20 cc.complexity-theory  reference-request  np-hardness 

Enquanto o teorema de Adleman mostra, que , não conheço nenhuma literatura que investigue a possível inclusão de B Q P ⊆ P / poli . Que consequências teóricas da complexidade essa inclusão teria?B P P ⊆ P / poliBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}B Q P ⊆ P / poliBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} …

20 reference-request  quantum-computing  derandomization  conditional-results