Ciência da Computação Teórica

Considere o problema clássico # P-complete # 3SAT, ou seja, contar o número de avaliações para tornar um 3CNF com variáveis ​​satisfatórias. Estou interessado na aproximação aditiva . Claramente, existe um algoritmo trivial para atingir o erro 2 n - 1 , mas se k < 2 n - 1 …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Quais são algumas das melhores fontes (livros e documentos) para motivar e aprender a complexidade da comunicação por si só e em conexão com a sua relação com a teoria da complexidade computacional?

9 cc.complexity-theory  reference-request  communication-complexity  books 

Houve algumas perguntas ( 1 , 2 , 3 ) sobre a conclusão transitiva aqui que me fizeram pensar se algo como isso é possível: Suponha que obtemos um gráfico direcionado para entrada e gostaríamos de responder a perguntas do tipo " ?", Ou seja, perguntando se existe uma aresta …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure 

Tenho uma pergunta ingênua: existe uma máquina de Turing cujo término é verdadeiro, mas não pode ser provado por nenhuma teoria natural, consistente e finamente axiomatizável? Peço uma mera prova de existência e não um exemplo específico. Isso pode ter alguma conexão com a análise ordinal . De fato, para …

9 turing-machines  proof-theory  halting-problem 

Suponha que eu tenha conjuntos com elementos extraídos de possíveis. Cada conjunto é do tamanho ( ), onde os conjuntos podem se sobrepor. Quero determinar se os dois problemas a seguir estão completos ou não com NP:r n n &lt; rPPPrrrnnnn&lt;rn&lt;rn<r Problema A. Existem ( ) conjuntos distintos dentro dos …

9 graph-theory  np-hardness 

Estou interessado em saber como podemos usar os conceitos de limites e colimites na modelagem de problemas na vida cotidiana? Alguém poderia fornecer exemplos de engenharia (software), talvez? Ou descreva intuitivamente em geral para que tipos de problemas de modelagem podemos usar esses conceitos? Obrigado.

9 ct.category-theory 

Existe algum sistema semelhante ao cálculo lambda com forte normalização, sem a necessidade de adicionar um sistema de tipos sobre ele?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

Eu estou familiarizado com programas lineares, pois eles podem resolver problemas com funções objetivas lineares e restrições lineares. Mas o que a programação semidefinida pode resolver que a programação linear não pode? Eu já sei que programas semidefinidos são uma generalização de programas lineares. Além disso, como se reconhece um …

9 linear-programming  convex-optimization  semidefinite-programming 

Verificar a transitividade de um dígrafo não é mais fácil do que (em termos de complexidade assintótica) fazer o fechamento transitivo do dígrafo? Conhecemos algum limite inferior melhor que para determinar se um dígrafo é transitivo ou não?Ω(n2)Ω(n2)\Omega(n^2)

9 graph-theory  directed-acyclic-graph  transitive-closure 

Todos sabemos que a complexidade mínima de um algoritmo de classificação baseado em comparação é Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n) comparações. Estou tentando fazer uma classificação às cegas , ou seja, dado um número nnn saída de um circuito (com portas booleanas, aritméticas e de "comparação") que classifica uma lista de nnn …

9 cc.complexity-theory  terminology  sorting 

O feto, se você nunca ouviu falar, pode ser lido aqui . Ele usa um sistema de 'matrizes de chamada' e 'gráficos de chamada' para encontrar todos os 'comportamentos de recursão' de chamadas recursivas em uma função. Para mostrar que uma função termina, mostra que todos os comportamentos de recursão …

9 lo.logic  computability  functional-programming 

Seja xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} para i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , com a promessa de que x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (onde a soma está acima ). Então, qual é a complexidade de determinar se ?ZZ\mathbb{Z}x=1x=1x = 1 Observe que trivialmente o problema está em porque iff x = 1 . A …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Esta questão é essencialmente a pergunta que fiz no Mathoverflow. A lógica monádica de segunda ordem (MSO) é uma lógica de segunda ordem com quantificação sobre predicados unários. Ou seja, quantificação sobre conjuntos. Existem várias lógicas MSO que são fundamentais para estruturas estudadas em ciência da computação. Pergunta 1. Existe …

9 lo.logic  ct.category-theory 

Agora estou tentando entender melhor o que é "interpretação abstrata" em linguagens de programação. Encontrei um bom capítulo de livro que explica a idéia de estender o domínio com um elemento menos fixo, os quatro axiomas que produzem um ponto fixo para uma função contínua, e assim por diante. Entendo …

9 pl.programming-languages  program-analysis 

Aqui está um problema do vizinho mais próximo. Dados os reais (muito grande !), Mais o alvo real , encontre e cujo SUM seja o mais próximo de . Permitimos pré-processamento / indexação razoável de (até ), mas no momento da consulta (dado ), o resultado deve ser retornado muito …

9 ds.algorithms  cg.comp-geom  ds.data-structures