Ciência da Computação Teórica

Existem inúmeras ferramentas / pacotes teóricos gráficos. Cada um com seus prós e contras. Qual deve ser a semântica / sintaxe de uma linguagem de programação para resolver problemas teóricos dos grafos?

8 graph-theory  pl.programming-languages  software 

O problema de otimização do CSP é resistente à aproximação se for difícil vencer o fator de aproximação de uma atribuição aleatória. Por exemplo, MAX 3-LIN é resistente à aproximação, pois uma atribuição aleatória satisfaz fração das equações lineares, mas alcançar o fator de aproximação é -hard.1 / 2 1 …

8 cc.complexity-theory  approximation-hardness  max-cut 

Espero ter chegado ao lugar certo ... é (provavelmente) uma questão de Programação Lógica bastante direta. Se eu tiver duas cláusulas do formulário: B:-A C:-A eu posso transformá-las em: B,C:-A ( Editar: onde B,Cestá uma conjunção. Estou fazendo uma avaliação de baixo para cima e é útil para mim representar …

8 reference-request  pl.programming-languages  terminology  logic-programming 

Alguém poderia dar uma explicação intuitiva ( não intucionista) da correspondência da introdução à esquerda e eliminação da implicação no Cálculo Sequencial (SC) e Dedução Natural (ND), respectivamente? Eu sei que eles deveriam pela simetria de SC, mas não vejo como eles se correspondem. De maneira mais geral, não entendo …

8 lo.logic  proof-theory  sequent-calculus  natural-deduction 

Nós, em nosso grupo de pesquisa, estamos trabalhando na aplicação de métodos heurísticos ao problema de iluminação inversa (ou seja, dado um conjunto de restrições sobre as condições de iluminação em uma cena, encontramos os locais onde as fontes de luz devem ser colocadas e suas intensidades). para cumprir as …

8 cc.complexity-theory  np-hardness  cg.comp-geom  application-of-theory 

Esta é uma pergunta um tanto frívola que surgiu na minha cabeça depois de ler as várias respostas para "Qual é a menor classe de complexidade para a qual um circuito superlinear é conhecido? ". As respostas se referem a e, quando olhei para a entrada do zoológico , descobri …

8 cc.complexity-theory  complexity-classes 

É bem conhecido na teoria dos modelos finitos que, sem uma ordem na entrada, a expressividade é muito limitada. Por exemplo, sabe-se que é igual a PSPACE , e (sem nenhuma ordem na entrada) é apenas relacional para PSPACE , uma noção definida por Abiteboul e Vianu quando provaram seu …

8 cc.complexity-theory  descriptive-complexity  finite-model-theory 

Você poderia recomendar um artigo de pesquisa ou capítulo de livro que introduz a teoria das funções recursivas? obrigado

8 reference-request  computability 

Uma pergunta genérica: existem técnicas espectrais para estimar o gênero de um gráfico? Estou interessado em gráficos bipartidos.

8 graph-theory  co.combinatorics  spectral-graph-theory 

Tenho algumas perguntas sobre a conjectura do Quantum PCP: Qual é a afirmação da conjectura quântica do PCP? Que implicações o teorema do PCP quântico teria para simular Hamiltonianos? Acredita-se que a adoção da prova de Irit Dinur do teorema clássico do PCP provavelmente leve a uma prova da conjectura …

8 cc.complexity-theory  quantum-computing  approximation-hardness  pcp  physics 

A árvore de corte de link é uma estrutura de dados inventada pelo Sleator e Tarjan, que suporta várias operações e consultas em umafloresta de nós no tempo. (Por exemplo, o link de operaçãocombina duas árvores na floresta em uma, enquanto a operação cortada divide uma árvore na floresta em …

8 ds.algorithms  ds.data-structures  time-complexity  tree  dynamic-algorithms 

A segurança baseada em simulação fornece uma definição de segurança mais natural e mais poderosa do que a segurança baseada em jogos. Vi as abordagens baseadas em simulação usarem as provas baseadas em jogos para provar a segurança de algumas partes do protocolo. Por exemplo, para avaliar a segurança de …

8 cc.complexity-theory  cr.crypto-security 

Sabemos que todos os autômatos push-down são representáveis ​​usando gramáticas sem contexto. Além disso, existe um algoritmo para construir um CFG a partir de qualquer PDA (por exemplo, a prova de Sipser na introdução à teoria da computação). Existem ferramentas que fazem essa tradução? Ou seja, eu posso colocar um …

8 automata-theory  fl.formal-languages  grammars  software 

Para uma dada linguagem livre de contexto G, chamamos um não-terminal anulável se , ou seja, podemos derivar a string vazia de depois de aplicar um número finito de produções.UMAEuUMAEuA_i UMAEu→∗ϵUMAEu→∗ϵA_i \rightarrow^* \epsilonUMAEuUMAEuA_i Existe um algoritmo simples para determinar quais não-terminais de uma gramática são anuláveis, como pode ser encontrado …

8 ds.algorithms  fl.formal-languages  time-complexity 

Considere os dois algoritmos a seguir para pesquisar em uma matriz classificada de elementos:nnn A) pesquisa de interpolação e pesquisa binária simulada em paralelo, e B) pesquise por etapas alternadas de interpolação e etapas binárias. Ambos os algoritmos têm a complexidade do pior caso (e a complexidade média para uma …

8 ds.algorithms  time-complexity