Ciência da Computação Teórica

IP (2pfa) e AM (2pfa) são as classes de idiomas reconhecidas com erro limitado por versões de moedas públicas e privadas, respectivamente, de sistemas de provas interativas com verificadores que são autômatos finitos probabilísticos com um cabeçote de entrada bidirecional. Existem propriedades de fechamento dessas classes conhecidas?

9 cc.complexity-theory  interactive-proofs 

Quero dizer especificamente famílias de idiomas que admitem seqüências arbitrariamente longas - não conjunções sobre n bits ou listas de decisão ou qualquer outra linguagem "simples" contida em {0,1} ^ n. Estou perguntando sobre as linguagens regulares "teóricas dos autômatos", em oposição às linguagens "teóricas da lógica": algo como as …

9 automata-theory  machine-learning  lg.learning 

Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Theoretical Computer Science Stack Exchange. Fechado há 3 anos . Existe uma construção explícita curta de uma função recursiva universal ? Todas …

9 lo.logic  computability  pl.programming-languages 

Estou (lentamente) escrevendo uma resenha do Handbook of Chemoinformatics Algorithms for SIGACT News. Um capítulo discute as implementações atuais de software, e as pesquisas no banco de dados (e outros aplicativos) não parecem tirar o máximo proveito possível das informações sobre os gráficos. Por outro lado, talvez mais algoritmos teóricos …

9 reference-request 

A questão é a seguinte. Geralmente quando se tem um termo como , podemos eliminar o forall por aplicar este termo a um tipo, como exemplo ( Λ X . t ) [ t ] → t [ X : = T ] .ΛX.tΛX.t\Lambda X.t(ΛX.t)[T]→t[X:=T](ΛX.t)[T]→t[X:=T](\Lambda X.t)[T]\to t[X:=T] Agora, suponha que …

9 type-theory  polymorphism  type-inference 

Portanto, tenho um problema que estou enfrentando em relação ao cluster com dados ao vivo e continuamente em fluxo contínuo. Como tenho um conjunto de dados sempre crescente, não tenho certeza de qual é a melhor maneira de executar um cluster eficiente e eficaz. Eu vim com algumas soluções possíveis, …

9 ds.algorithms  clustering  online-algorithms  data-streams 

Existem resultados conhecidos mostrando que a existência (ou não) de gráficos finitos com propriedades computáveis ​​específicas implica certos resultados de complexidade (como P = NP)? Aqui está um resultado completamente hipotético : Se existe um gráfico finito com arestas distintas, A, B, C e D, de modo que todas as …

9 cc.complexity-theory 

Conhecemos e amamos um monte de classes aninhadas de conceitos de solução: PN: Equilíbrio puro de Nash MN: Equilíbrio misto de Nash CE: Equilíbrio correlacionado CCE: Curso de equilíbrio correlacionado. PN⊂ MN⊂ CE⊂ CCEPN⊂MN⊂CE⊂CCEPN \subset MN \subset CE \subset CCE PSUm(PN)≤PóUm(MN)≤PóUm(CE)≤PóUm(CCE)PóA(PN)PóUm(CCE)PóUm(PN)PóUm(PO A ( S) = maxs ∈ SCO ST( S …

9 gt.game-theory 

Recentemente, pensei em "importar" algumas questões relacionadas à física para o CS quântico: A noção do fenômeno da lei de área nos sistemas hamiltonianos geralmente representa um hamiltoniano local em alguma rede, cujo estado fundamental exibe uma propriedade na qual o emaranhamento de qualquer região fechada é proporcional à superfície …

9 quantum-computing  big-picture 

Suponha que tenhamos uma variável aleatória que aceite valores não numéricos a, b, ce queira quantificar como a distribuição empírica de nnn amostras dessa variável se desvia da distribuição verdadeira. A seguinte desigualdade (da Cover & Thomas ) se aplica neste caso. Teorema 12.4.1 (Teorema de Sanov): Seja iid ∼ …

9 pr.probability  chernoff-bound 

Fiquei me perguntando se a tarefa de procurar por três cores planares é de complexidade ou inferior? Parece que seria uma consequência intuitiva baseada nos resultados do separador planar; no entanto, na wikipedia , ele menciona apenas conjuntos independentes, árvores Steiner, ciclos hamiltonianos e TSP. Abaixo, incluo algum raciocínio que …

9 cc.complexity-theory  graph-algorithms  planar-graphs  graph-colouring 

Eu estou olhando para escrever uma pesquisa sobre o método de representar a dinâmica da computação baseada no estado dentro da estrutura das barras de carvão. Até agora, consegui encontrar documentos sobre representações de coalgebra de DFA, NFA, máquinas Mealy, máquinas Moore, gramáticas livres de contexto e até sistemas quânticos …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

Contexto : Existem vários artigos que estudam as implicações das curvas timelike fechadas (CTCs) na complexidade quântica. Em 2008, Aaronson e Watrous publicaram seu famoso artigo sobre esse tópico, que mostra que certas formas de viagem no tempo podem tornar equivalentes a computação quântica e clássica, ou seja, computadores quânticos …

9 cc.complexity-theory  quantum-computing  big-picture 

Este resultado de Tavenas, Koiran e outros mostra que qualquer polinômio calculado por um circuito de tamanho sss é calculado por um circuito homogêneo de profundidade 4 do tamanho sd√sds^{\sqrt{d}} . Existem resultados semelhantes para circuitos booleanos ou sabemos por que isso não é possível?

9 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Somos capazes de provar um teorema de parametridade livre sobre funções como f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A] ? Supõe-se que fff pega uma lista e sempre retorna uma permutação dela. Outro exemplo: prove que a função f:∀A.(A⊸(A,A))⊸[A]⊸[A]f:∀A.(A⊸(A,A))⊸[A]⊸[A]f : \forall A . (A ⊸ (A, A)) ⊸ [A] …

9 linear-logic  parametricity