Ciência da Computação Teórica

Você recebe uma matriz binária de tamanho .nnn Quero mostrar que nenhum algoritmo pode fazer o seguinte (ou surpreender-se e descobrir que esses algoritmos existem afinal): 1) Pré-processe a matriz de entrada usando tempo ilimitado, mas apenas usando bits .O ( n )O(n)O(n) 2) Responda às consultas em tempo constante, …

8 ds.algorithms  lower-bounds  it.information-theory 

Estou tentando entender o documento ΠΣ: Tipos dependentes sem o Sugar , implementando um intérprete e um verificador de tipos para o idioma. Ao fazer isso, vi que a unfold t as x -> usintaxe para definições recursivas (a sintaxe é definida na Seção 2.1) vincula uma variável, mas não …

8 type-theory  dependent-type 

Parece ser sabido que as linguagens de programação não podem ter somas, produtos e não-terminação juntos. Q1 . Isso é verdade? Abaixo (ou no link acima que eu dei) está um argumento parcial. No entanto, a programação genérica de Hinze com adições ignora a questão, mesmo depois de discutir um …

8 pl.programming-languages  ct.category-theory  haskell 

Eu já fiz essa pergunta no Programmers.SE , sem sucesso. Estou procurando recursos escritos de aprendizado sobre como projetar estruturas de dados simultâneas. Estou mais interessado no processo de design (por exemplo, na identificação dos invariantes corretos) do que no produto final (uma lista de códigos completa). Para um exemplo …

8 ds.algorithms  reference-request  ds.data-structures  concurrency 

Considere o seguinte problema de decisão. Seja e deixe ser adequado enumeração dos subconjuntos de que possuem no máximo elementos.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n, C_1^n,\dots,C_{q-1}^n){0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\}n/4n/4n/4 Quartas-de-Subconjunto Membership Entrada: tupla de inteiros não negativos representada em binário Pergunta: é ? (i,j,n)(i,j,n)(i,j,n) i∈Cnji∈Cjni \in C_j^n Ao escolher uma enumeração "legal" , a Associação …

8 cc.complexity-theory  coding-theory  space-bounded  space-complexity 

Como mostrado no artigo "Circuitos monótonos para a função majoritária", é possível construir um circuito booleano monótono para a função majoritária em n variáveis ​​com tamanho O (n ^ 3) e profundidade 5,3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Minha pergunta é: qual é a complexidade temporal dessa construção? (ou …

8 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-depth 

Li as partes introdutórias de alguns livros sobre semântica da linguagem de programação (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt) e, embora compreenda o que eles querem dizer com categorias sintáticas ou domínios sintáticos , não entendi. não encontre uma definição rigorosa e direta deles. Existe uma definição padrão, …

8 semantics  denotational-semantics  definitions 

A interseção de dois idiomas no NP que não são NP completos pode ser NP completa? A interseção de dois idiomas no coNP que não são completos no coNP pode ser completa no coNP? A interseção de dois idiomas, um em coNP, mas não completo e outro em NP, mas …

8 complexity-classes  np 

Eu li o jornal Ahmed Younes, " Um algoritmo de tempo polinomial quântico com erro limitado para dois problemas de bissecção de gráficos ", 2015. doi: 10.1007 / s11128-015-1069-y publicado na revista Quantum Information Processing da Springer. O artigo parece afirmar que fornece um algoritmo BQP para os problemas NP-difíceis …

8 cc.complexity-theory  np-hardness  quantum-computing 

Talvez esteja faltando algo óbvio, mas não consigo encontrar referências sobre a complexidade da contagem de correspondências (não correspondências perfeitas) em gráficos bipartidos. Aqui está o problema formal: Entrada: um gráfico bipartido comE ⊆ U × VG=(U,V,E)G=(U,V,E)G = (U, V, E)E⊆U×VE⊆U×VE \subseteq U \times V Saída: o número de coincidências …

8 counting-complexity  matching  bipartite-graphs 

No problema dos especialistas, especialistas fornecem previsões binárias diariamente e você precisa prever se choverá amanhã.nnn Ou seja, no dia , você conhece as previsões passadas dos especialistas, o tempo real para os dias 1 , 2 , … te as previsões para amanhã, e precisa prever se choverá no …

8 ds.algorithms  machine-learning 

Defina como um gráfico direcionado aleatoriamente ( vértices; colocamos aresta entre dois vértices com probabilidade ).n pG(n,p)G(n,p)G(n, p)nnnppp Quais são os resultados conhecidos para o seguinte problema: Corrija dois vértices e . Qual é a probabilidade de que existe pelo menos um caminho (de comprimento no máximo ) entre e …

8 graph-theory  upper-bounds  random-walks  random-graphs 

Minha compreensão da tese de Church-Turing é a: Ele limita o que pode ser calculado por qualquer processo discreto e finito. Embora ainda seja uma tese, não um teorema, se fosse refutada, isso não significaria apenas uma atualização para nossos modelos atuais de computação. Seria um resultado de mudança de …

8 church-turing-thesis  hypercomputation 

Deixe ser cópias iid de Gaussian variável aleatória . Sabe-se que Esses dois resultados decorrem da desigualdade de concentração das variáveis ​​aleatórias sub-Gaussianas e sub-exponenciais e o segundo é uma desigualdade do tipo Bernstein. Gostaria de saber se existem resultados semelhantes para os momentos mais altos das variáveis ​​aleatórias gaussianas. …

8 pr.probability  st.statistics 

Em https://en.wikipedia.org/wiki/Geometric_complexity_theory , é mencionado que ".. Ketan Mulmuley acredita que o programa, se viável, provavelmente levará cerca de 100 anos para resolver o problema P vs. NP". Parece indicar que o único programa atualmente viável poderia enfrentar sérios obstáculos. Quais são alguns dos obstáculos em que o programa pode …

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture