Ciência da Computação Teórica

A pergunta a seguir usa idéias da criptografia aplicada à teoria da complexidade. Dito isso, é uma questão puramente teórica da complexidade e nenhum conhecimento criptográfico é necessário para respondê-lo. Eu deliberadamente escrevo essa pergunta de maneira muito informal. Na falta de detalhes, é possível afirmar um pouco incorretamente. Sinta-se …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Klop, van Oostrom e de Vrijer têm um artigo sobre o cálculo lambda com padrões. http://www.sciencedirect.com/science/article/pii/S0304397508000571 Em certo sentido, um padrão é uma árvore de variáveis ​​- embora eu esteja pensando nele como uma tupla aninhada de variáveis, por exemplo, ((x, y), z), (t, s)). No artigo, eles mostraram que, …

12 type-theory  lambda-calculus  typed-lambda-calculus  extensionality 

Portanto, todos sabemos o limite inferior da árvore de comparação de no pior número de comparações feitas por um algoritmo (determinístico) de classificação por comparação. Não se aplica à classificação de comparação aleatória (se medirmos as comparações esperadas para a entrada do pior caso). Por exemplo, para n = 4 …

12 ds.algorithms  reference-request  sorting 

Dado composto peneira campo número geral é melhor conhecido algoritmo fatoração para fatoração número inteiro de . É um algoritmo aleatório e obtemos uma complexidade esperada de para fator . N O ( e √N∈NN∈NN\in\Bbb NNNNNO(e649√(logN)13(loglogN)23)O(e649(log⁡N)13(log⁡log⁡N)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)NNN Procurei informações sobre a pior complexidade possível nesse algoritmo aleatório. …

12 reference-request  derandomization  factoring  average-case-complexity  worst-case 

O teorema da dicotomia de Schaefer mostra que cada problema de CSP acima de é solucionável em tempo polinomial ou é NP completo. Isso se aplica apenas a problemas CSP de largura limitada, excluindo SAT e Horn-SAT, por exemplo. Os problemas gerais de largura ilimitada do CSP podem ser muito …

12 cc.complexity-theory  lo.logic  csp 

Um MPA (autômato multipebble) é um 2DFA (autômato finito determinístico de duas vias) que pode usar um número arbitrário de seixos (na verdade, no máximo seixos em uma determinada entrada - a entrada é gravada na fita entre as duas extremidades -markers como ). Durante o cálculo, um MPA pode …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

No meu trabalho, surge o seguinte problema: Existe um algoritmo conhecido que aproxima o número cromático de um gráfico sem um conjunto independente de ordem 65? (Portanto, alpha (G) <= 64 é conhecido e | V | / 64 é um valor mais baixo trivial, | V | um limite …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring 

O título fala por si só. Aqui estão Akinator e 20Q . O princípio desses jogos é fazer ao usuário uma série de perguntas relacionadas a alguma entidade escolhida pelo usuário. E então descubra o que é essa entidade. O núcleo do algoritmo é encontrar a "pergunta mais útil" a …

12 ds.algorithms 

Por http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se é uma linguagem PSPACE-completo, P A = N P A .UMAAAPUMA= NPUMAPA=NPAP^{A}=NP^{A} Se é um oráculo determinístico de tempo polinomial, P B ≠ N P B (assumindo P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP é a classe de problemas de decisão analógica para # P …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Considere um circuito que recebe como números de entrada em [0,1][0,1][0,1] e possui portas que consistem nas funções max(x,y)max(x,y)\max(x, y) , min(x,y)min(x,y)\min(x, y) , 1−x1−x1 - x e x+y2x+y2\frac{x+y}{2} . A saída do circuito também é um número em [0,1][0,1][0,1] . Alguém sabe se este modelo, ou um modelo estreitamente …

12 arithmetic-circuits 

É sabido que o complemento de é livre de contexto. Mas e o complemento de ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}

12 fl.formal-languages  context-free 

Eu tenho parte de uma tentativa de prova de . A tentativa prova consiste numa redução do Karp problema -completo cobertura de vértices 3-regular para sab.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Dado um gráfico cúbico , a redução gera uma fórmula CNF com as duas propriedades a seguir:GGGFFF FFF tem no …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Os avanços na computação quântica levaram ao desenvolvimento de novos algoritmos clássicos. Exemplos recentes notáveis ​​são algoritmos de inspiração quântica para álgebra linear: Um algoritmo clássico de inspiração quântica para sistemas de recomendação Algoritmos clássicos de inspiração quântica para análise de componentes principais e clustering supervisionado Regressão estocástica de baixo …

11 quantum-computing  randomized-algorithms 

Eu li sobre a substituição hereditária do Cálculo Lambda Simples e do The Logical Framework com termos e tipos distintos. Gostaria de saber, existem exemplos de substituição hereditária em um sistema tipicamente dependente com uma hierarquia de universo? ou seja, onde etc.Tr u e : Se t0 0: Se t1: …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

Do teorema da hierarquia espacial, sabe-se que, se é construtível em espaço, DSPACE ( ) não é igual a DSPACE ( .fff2 f ( n )2f(n)2f(n)2f(n)f(n))f(n))f(n)) Aqui, por DSPACE ( quero dizer a classe de todos os problemas que podem ser resolvidos no espaço por uma máquina de Turing com …

11 cc.complexity-theory  complexity-classes