Ciência da Computação Teórica

Para uma fórmula 3CNF deixar ser o número máximo de cláusulas satisfeitos em qualquer atribuição para . Sabe-se que o Max-3SAT é difícil de aproximar (sujeito a P ≠ NP), ou seja, não há algoritmo polytime cuja entrada seja uma fórmula 3CNF e cuja saída seja o número modo que …

26 cc.complexity-theory  sat 

Atualmente, estou lendo " Lambda-Calculus and Combinators " de Hindley e Seldin. Não sou especialista, mas sempre me interessei pelo cálculo lambda por causa do envolvimento com a programação funcional (começando com Lisp e SICP e agora com R e Haskell). Em " Cálculo binário lambda e lógica combinatória" , …

26 combinatory-logic  functional-programming  lambda-calculus 

Considere o problema mínimo de cobertura do conjunto com as seguintes restrições: cada conjunto contém no máximo kkk elementos e cada elemento do universo ocorre no máximo fff conjuntos. Exemplo: o caso k=4k=4k = 4 e f=2f=2f = 2 é equivalente ao problema de cobertura mínima de vértice em gráficos …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Existem problemas naturais no que não são (se sabe / são) no ?U P ∩ C o U PNP∩ c o NPNP∩coNPNP \cap coNPvocêP∩ c o UPUP∩coUPUP \cap coUP Obviamente, o grande problema que todos conhecem no é a versão de decisão do fatoração (não tem um fator de tamanho …

26 cc.complexity-theory  complexity-classes  np 

Estou tentando entender quais são as diferenças reais entre o modelo de concorrência do ator e o modelo de concorrência dos processos sequenciais de comunicação (CSP). Até agora, o melhor que pude apresentar é que o Modelo do Ator permite que o número e o layout dos nós sejam alterados, …

26 concurrency 

O seguinte problema é NP-difícil? Dada a configuração do quadro para rascunhos internacionais , encontre uma única jogada legal.n × nn×nn\times n O problema correspondente para damas americanas (também conhecidas como rascunhos em inglês) é trivialmente solucionável em tempo polinomial. Existem três grandes diferenças entre esses dois jogos.n × nn×nn\times …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Suponha que relaxemos o problema de contar cores apropriadas contando as cores ponderadas da seguinte maneira: toda cor adequada ganha peso 1 e toda cor imprópria ganha peso onde c é uma constante e v é o número de arestas com pontos finais com a mesma cor. Quando c vai …

26 graph-theory  approximation-algorithms  approximation-hardness  counting-complexity  graph-colouring 

É possível traduzir uma fórmula booleana B em uma conjunção equivalente de cláusulas de Horn? O artigo da Wikipedia sobre HornSAT parece sugerir que sim, mas não pude buscar nenhuma referência. Note que eu não quero dizer "em tempo polinomial", mas sim "em tudo".

26 reference-request  lo.logic  sat 

Para qualquer , digo que uma sequência de números inteiros em é completa se, para cada permutação de , escrita como uma sequência de números inteiros distintos , a sequência é uma subsequência de , ou seja, existede modo que para todos os .s { 1 , … , n …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Uma característica bem conhecida das instâncias -SAT é a razão do número de cláusulas sobre o número de variáveis , ou seja, o quociente . Para cada , existe um valor limite st \ para , a maioria das instâncias é satisfatória e para maioria das instâncias não é satisfatória. …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

De acordo com D. den Hertog, Abordagem de ponto interior para programação linear, quadrática e convexa, 1994 , um programa linear com variáveis, n restrições e precisão L é solucionável em O ( n 3 L ) . Isso foi melhorado?nnnnnneueuLO ( n3L )O(n3eu)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Existe uma linguagem NP completa (de preferência natural) L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^* , de modo que para cada seja ? Em outras palavras, contém precisamente metade de todas as instâncias de bits.n≥1n≥1n\geq 1 L n|L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

ACSL (Ansi C Specification Language), é uma especificação para código C, anotada com comentários especiais, que permite que o código C seja formalmente verificado. Ainda não examinei, mas imagino que os métodos formais usados ​​nos verificadores ACSL seriam semelhantes ao Hoare Logic. Porém, para linguagens funcionais puras, como Haskell, não …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

Suponha que e um algoritmo rápido de tempo linear para SAT apareça amanhã. De repente, a RSA fica insegura, grande parte do nosso sistema de comunicação moderno está quebrado e precisamos reconsiderar como manter segredos um do outro.P= NPP=NPP = NP Pergunta: Existe uma boa referência única (ou lista curta) …

25 cr.crypto-security 

Você conhece conseqüências interessantes de conjecturas (padrão) na teoria da complexidade em outros campos da matemática (isto é, fora da ciência da computação teórica)? Eu preferiria respostas em que: a conjectura da teoria da complexidade é tão geral e padrão quanto possível; Também estou de acordo com as consequências da …

25 cc.complexity-theory  conditional-results