Ciência da Computação Teórica

Gostaria de pedir sugestões de bons textos que introduzam a complexidade do circuito. Qualquer indicação de avanços recentes e problemas em aberto nesse campo também seria útil.

15 circuit-complexity 

Esta pergunta também foi publicada em Math.SE, /math/1002540/fixed-points-in-computability-nd-logic Espero que seja bom postá-lo aqui também. Caso contrário, ou se for muito básico para o CS.SE, informe-me e eu o excluirei. Gostaria de entender melhor a relação entre teoremas de pontos fixos em lógica e λλ\lambda cálculo. fundo 1) O papel …

15 lo.logic  computability  lambda-calculus 

Em vez de evidências empíricas, por quais princípios formais provamos que a computação quântica será mais rápida que a computação tradicional / clássica?

15 quantum-computing 

Existem muitas situações em que uma "prova" aleatória é muito mais fácil do que uma prova determinística, o exemplo canônico é o teste de identidade polinomial. Pergunta : Existem "teoremas" matemáticos naturais em que uma prova aleatória é conhecida, mas uma prova determinística não? Por uma "prova aleatória" de uma …

15 lo.logic  randomness  randomized-algorithms  proofs 

Quando recebemos uma decomposição em árvore de um gráfico com largura , existem várias maneiras pelas quais podemos torná-lo "agradável". Em particular, sabe-se que é possível transformá-lo em uma decomposição de árvore onde a árvore é binária e sua altura é . Isso pode ser conseguido mantendo a largura da …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

Uma maneira de mostrar que verificar a viabilidade de um sistema linear de desigualdades é tão difícil quanto a programação linear é através da redução dada pelo método elipsóide. Uma maneira ainda mais fácil é adivinhar a solução ideal e apresentá-la como uma restrição via pesquisa binária. Ambas as reduções …

15 ds.algorithms  linear-programming 

Pergunta curta. Qual é o poder computacional dos circuitos "quânticos", se permitirmos portas não unitárias (mas ainda invertíveis) e exigirmos que a saída dê a resposta correta com certeza? Esta questão é de certa forma sobre o que acontece com a classe quando você permite que os circuitos usem mais …

15 complexity-classes  quantum-computing 

Dizemos que uma Máquina de Turing é mortal se M parar para cada configuração inicial (em particular, o conteúdo da fita e o estado inicial podem ser arbitrários). Toda linguagem recursiva é reconhecida por uma máquina de Turing mortal? (ou seja, se existe uma MT que aceita L , também …

15 computability 

Gráfico Isomorfismo ( ) é bom candidato para N P problema Intermédio. N P existem problemas Intermédio a menos que P = N P . Estou procurando um problema natural que é difícil para G I com redução de Karp (um problema gráfico X tal que G I < m …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Isso está escrito na entrada wiki da Symbolic Execution , mas não consigo encontrar nenhuma referência para isso. Alguém pode me mostrar um ponteiro? Obrigado.

15 reference-request  lo.logic  program-analysis 

Há um trabalho fantástico realizado no Permanente nas últimas duas décadas. Eu tenho pensado há algum tempo sobre a possibilidade de um algoritmo Smooth P para as Matrizes Permanentes de Não-Negativas. Obviamente, existe o famoso algoritmo JSV, mas este é um exemplo. Pensando em outro trabalho dentro da Smoothed Complexity, …

15 cc.complexity-theory  complexity-classes 

Existem estudos sobre algoritmos de aproximação para problemas completos de NP em tempo polinomial e algoritmos exatos em tempo exponencial. Existem estudos sobre algoritmos de aproximação para problemas completos de NP no tempo subexponencial da forma 2nδ22nδ22^{n^{\delta_2}} onde δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) ? Estou particularmente interessado no que é conhecido sobre problemas aproximados …

15 approximation-algorithms  approximation-hardness 

Os esforços de verificação do compilador geralmente se resumem em provar que o compilador é totalmente abstrato: preserva e reflete equivalências (contextuais). Em vez de fornecer provas completas de abstração, alguns trabalhos recentes de verificação do compilador (baseados em categorias) por Hasegawa [ 1 , 2 ] e Egger et. …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Recebi como entrada um DAG de vértices em que cada vértice é adicionalmente rotulado com algum .n x S ( x ) ⊆ { 1 , … , n }GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Um tipo topológico de é uma bijeção dos vértices de para modo que, para todo , …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

Eu esperava que alguém pudesse me explicar por que exatamente o problema do produto do subconjunto é fortemente NP-difícil, enquanto o problema da soma do subconjunto é fracamente NP-difícil. Subconjunto Soma: Dado e T , existe um subconjunto X ′ tal que ∑ i ∈ X ′X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i …

15 cc.complexity-theory  np-hardness  reductions  subset-sum