Ciência da Computação Teórica

A dinâmica de Glauber é uma cadeia de Markov nas cores de um gráfico, na qual a cada passo tenta-se recolorir um vértice escolhido aleatoriamente com uma cor aleatória. Ele não se mistura para as 3 cores de um ciclo de 5: existem 30 3 cores, mas apenas 15 delas …

17 graph-theory  markov-chains 

É sabido que o conjunto de idiomas com sistemas de prova interativa de dois provadores, nos quais o verificador é executado em tempo polinomial (MIP), é NEXP. Mas existem limites conhecidos sobre o poder de tais provas interativas quando os provadores têm um poder restrito? Por exemplo, qual é a …

17 cc.complexity-theory  interactive-proofs 

Seja 0≤p≤10≤p≤10\le p\le 1 e considere o problema de decisão CLICK p entrada: número inteiro s , gráfico G com t vértices e arestas Pergunta: O conter uma clique sobre, pelo menos, vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil sGGGsss Uma instância de CLIQUE pp_p contém uma proporção ppp de todas as arestas …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Seja um CCC . Deixe ser um produto em bifunctor . Como Cat é CCC, podemos curry :CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B A categoria de funções possui estrutura monoidal usual. C⇒CC⇒CC \Rightarrow C Um monóide em é um …

17 functional-programming  pl.programming-languages  ct.category-theory 

A Computação Quântica é uma área ativa de pesquisa que visa tirar proveito da física quântica (por exemplo, emaranhamento quântico) para aprimorar as capacidades de eficiência dos computadores (não altera a tese de Church-Turing ). Quais são os experimentos mais significativos que foram realizados para demonstrar a teoria da computação …

17 reference-request  quantum-computing 

Suponha que você receba um gráfico H. simples, não direcionado, conectado O problema do corte sem H é definido da seguinte maneira: Dado um gráfico simples e não direcionado G, existe um corte (partição de vértices em dois conjuntos não vazios, L, R), de modo que os gráficos induzidos pelos …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Normalmente, algoritmos eficientes têm um tempo de execução polinomial e um espaço de solução exponencialmente grande. Isso significa que o problema deve ser fácil em dois sentidos: primeiro, o problema pode ser resolvido em um número polinomial de etapas e, segundo, o espaço da solução deve ser muito estruturado, pois …

17 cc.complexity-theory 

Estou ciente de pelo menos duas abordagens teóricas diferentes para entender os bancos de dados relacionais: a álgebra / cálculo relacional de Codd e a teoria das categorias. Existe alguma relação entre essas duas abordagens? Em certo sentido, eles são equivalentes? Existe algum trabalho introdutório explicando como essas duas estruturas …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Background . Sou um estudante de bacharel interessado em pesquisas relacionadas à teoria das categorias, mônadas e Haskell, e quero encontrar um tópico para a tese de bacharel nessa área. Eu olhei para o jornal Eugenio Moggi , “ Noções de Computação e Mônadas ”, 1991, e ainda não entendo …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Parte do trabalho sobre sensibilidade versus sensibilidade de bloco tem como objetivo examinar funções com o maior espaço possível entre e , a fim de resolver a conjectura de que é polinomialmente maior que . E a direção oposta? O que se sabe sobre funções em que s (f) = …

17 circuit-complexity  boolean-functions 

Eu tenho duas partições de [1…n][1…n][1 \ldots n] e estou procurando a distância de edição entre elas. Com isso, desejo encontrar o número mínimo de transições únicas de um nó em um grupo diferente necessário para passar da partição A para a partição B. Por exemplo, a distância de {0 …

17 ds.algorithms  edit-distance  lattice 

No "último parágrafo" da "primeira página" do seguinte artigo: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Se NP possui circuitos de tamanho polinomial, então MA = AM", Ciência da Computação Teórica, 1995. Eu encontrei uma afirmação um tanto contra-intuitiva: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap …

17 cc.complexity-theory  complexity-classes 

Os algoritmos de hash de senha comumente usados ​​funcionam hoje em dia: salte a senha e alimente-a em um KDF. Por exemplo, usando PBKDF2-HMAC-SHA1, o processo de hash da senha é DK = PBKDF2(HMAC, Password, Salt, ...). Como o HMAC é um hash de duas etapas com teclas acolchoadas e …

16 np-hardness  cr.crypto-security  np-complete  security 

Dado um gráfico simples e não direcionado , encontre um subconjunto A ≠ ∅ de vértices, de modo queGGGA≠∅A≠∅A\neq \emptyset para qualquer vértice pelo menos metade dos vizinhos de x também estão em A , ex∈Ax∈Ax\in AxxxAAA o tamanho de é mínimo.AAA Ou seja, estamos procurando um cluster, no qual …

16 graph-theory  graph-algorithms  np-hardness 

Nós sabemos (por agora cerca de 40 anos, obrigado Adleman, Bennet e Gill) que a inclusão BPP P / poli, e um ainda mais forte BPP / poli P / hold poli. O "/ poly" significa que trabalhamos de maneira não uniforme (um circuito separado para cada comprimento de entrada …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization