Ciência da Computação Teórica

Em Computabilidade, se quisermos provar que um problema não é recursivo ou não recursivamente enumerável, podemos usar, por exemplo, reduções de outros problemas não recursivos ou não re, o teorema de Rice, o teorema de Rice-Shapiro, etc. Essas técnicas funcionam graças a , ou se baseiam diretamente na existência de …

8 cc.complexity-theory  computability 

Estou interessado no seguinte problema. Dado um gráfico euleriano , devemos encontrar uma partição de suas arestas ( e ) , de modo que cada forme um ciclo simples em e seja o máximo possível.G = ( V, E)G=(V,E)G=(V,E)C1, C2, … , CkC1,C2,…,CkC_1, C_2, \ldots, C_k∪EuCEu= E∪EuCEu=E\cup_i C_i=Ei ≠ j …

8 graph-theory  graph-algorithms 

Um algoritmo de tempo de execução para isomorfismo de grupo abeliano é fácil de ver. Mais tarde, trabalhando nesse problema em 2003, o Vikas aprimorou o resultado do tempo de execução de O ( n 2 ) para O ( n log n ) . Em 2007, Kavitha mostrou que …

8 cc.complexity-theory  ds.algorithms 

Estou procurando um conceito na teoria dos tipos que, com certeza, já foi explorado, mas não sei o nome por trás. Vamos considerar uma linguagem do tipo ML com tipos de produto e soma e um sistema de tipo Hindley-Milner. Vou usar a sintaxe do OCaml. Estou me perguntando sobre …

8 type-theory  functional-programming 

O idioma Critical SAT é definido como o conjunto de fórmulas booleanas tal modo que mas remover qualquer cláusula de torna satisfatório. Sabe-se que o Critical SAT é completo. Gostaria de saber sobre a seguinte variante: dada uma fórmula , é o caso de estar em e de que existe …

8 cc.complexity-theory  complexity-classes  boolean-functions 

Não tenho formação em ciência da computação teórica, mas gostaria de entender a que tipo de objetos teóricos os conceitos C ++ correspondem. Basicamente, os conceitos de C ++ permitem definir um conjunto de tipos que satisfazem uma lista de restrições. Portanto, do ponto de vista teórico, a que conceitos …

8 pl.programming-languages  type-theory  algebra  ct.category-theory 

O #P foi introduzido pela primeira vez em [1] ? [1] Valiant, Leslie G. "A complexidade de computar o permanente". Teoria da computação 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

Dado um NFA NNN e seu equivalente DFA DDD resultante da determinação total de NNN (usando a construção do conjunto de potências, por exemplo), as seguintes propriedades são válidas para NNN , DDD e para qualquer palavra www : NNN lêwww em tempo de execução, no máximo,O(|w|.|N|2)O(|w|.|N|2)O(|w|.|N|^2) . DDD lêwww …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

fundo Sabemos que .P# P⊆ PSPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Além disso, sabemos pelo teorema de Toda que .PH⊆ P# PPH⊆P#PPH \subseteq P^{\#P} Para mais informações sobre , consulte aqui: https://en.wikipedia.org/wiki/Sharp-P# P#P\#P Questão Existe um oráculo tal que ?UMAUMAA( P# P)UMA≠ PSPA CEUMA(P#P)UMA≠PSPUMACEUMA(P^{\#P})^{A} \neq PSPACE^{A}

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

Eu estive pensando por um tempo sobre a origem dos nomes "imune" e "simples". Também fiz a mesma pergunta a Andrea Sorbi, que por sua vez envolveu mais alguns colegas na discussão. Sobre "simples", temos algumas conjecturas. Martin Davis sugere que o nome deriva de uma analogia com grupos simples. …

8 reference-request  lo.logic  computability  philosophy 

Primeiro, peça desculpas se esta pergunta é apropriada ou trivial para este site. Sou físico procurando ajuda fora de sua zona de conforto. Em PRL 87 167902 (2001) , alega-se que "... para um arbitrariamente pequeno , existe um código de correção de erros com (para alguma constante ) tal …

8 reference-request  lower-bounds  quantum-information 

G = ( V, E)G=(V,E)G=(V,E) EuV( G ) = min { | N( S) || S|: S⊆ V, 1 ≤ | S| ≤ | V|2}EuV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq V, 1\le |S|\le \frac{|V|}{2}\} Você pode dar uma referência onde o seguinte problema é mostrado NP-complete: dado um gráfico e …

8 reference-request  graph-theory  np-hardness 

As versões não uniformes de P, NP e coNP são P / poli, NP / poli e coNP / poli. Da mesma forma, podemos definir uma versão não uniforme para cada nível no PH. Por exemplo: / poly consiste em problemas no formato { x : ∃ y ∀ zΣ2Σ2\Sigma_2 …

8 cc.complexity-theory  complexity-classes  polynomial-hierarchy 

Deixe Alice e Bob calcular a função booleana .f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) Seleccionar um subconjunto aleatório de cardinalidade e deixar .I⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\}nnnJ={1,…,2n}∖IJ={1,…,2n}∖I\mathcal J=\{1,\dots,2n\}\backslash\mathcal I Vamos Alice obter variáveis onde e Bob obter onde .xixix_ii∈Ii∈Ii\in\mathcal Ixjxjx_jj∈Jj∈Jj\in\mathcal J Seja a complexidade da comunicação desta função nesta partição serCCI,J(f)CCI,J(f)CC_{\mathcal I,\mathcal J}(f) Defina cc_ {max} (f) = …

8 reference-request  communication-complexity 

Na pesquisa de Melliès, Semântica categórica da lógica linear , é dado um procedimento de eliminação de corte para a lógica linear intuicionista, que inclui o seguinte caso: 3.9.3 Promoção x contração A prova é transformado em prova pi 1π1⋮! Y ⊢ Um! Y- ⊢ ! UMA Promoçãoπ2⋮Υ1, ! Um …

8 linear-logic