Ciência da Computação Teórica

Assumindo NP! = CoNP, não há certificado de tamanho polinomial para o problema de coNP-completo. Mas e o certificado de tamanho subexponencial? Particularmente para coSAT, existe uma prova subexponencial de tamanho para provar que uma fórmula é insatisfatória? Caso contrário, qual é a evidência negativa? obrigado

13 cc.complexity-theory  proof-complexity 

Parâmetro fixo e aproximação são abordagens totalmente diferentes para resolver problemas difíceis. Eles têm motivação diferente. A aproximação procura resultados mais rápidos com a solução aproximada. O parâmetro fixo procura uma solução exata com complexidade de tempo em termos da função exponencial ou de alguma função da função polinomial de …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Eu tentei o seguinte relaxamento de LP do conjunto independente máximo max∑ixEumax∑ixEu\max \sum_i x_i st xi+xj≤ 1 ∀ ( i , j ) ∈ E st xEu+xj≤1 ∀(Eu,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xEu≥ 0xEu≥0 0x_i\ge 0 Eu recebo 1 / 21/21/2 para cada variável para cada gráfico cúbico não …

13 graph-theory  co.combinatorics  linear-programming 

Os algoritmos genéticos evoluem em menos gerações com uma população maior, mas também levam mais tempo para computar uma geração. Existem algumas diretrizes para equilibrar esses dois fatores, a fim de chegar a uma solução viável o mais rápido possível? Além disso, este é o melhor lugar para a pergunta?

13 ds.algorithms  machine-learning  genetic-algorithms 

É sabido que existe um algoritmo ideal para o pior caso para calcular o código de Huffman no tempo θ ( n lgn )θ(nlg⁡n)\theta(n\lg n) . Isso é aprimorado de duas formas ortogonais: Os códigos livres de prefixo ideal podem ser calculados mais rapidamente se o conjunto de frequências distintas …

13 cc.complexity-theory 

Eu achei os sistemas de transição rotulados um bom modelo para o meu aplicativo, ou seja, há um artigo sobre modelagem de casos de uso usando LTSs. A questão é: o que pode ser facilmente comprovado sobre os LTSs? Gostaria de reutilizar as soluções existentes para verificar se elas são …

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

A teoria dos compiladores parece ser um assunto bastante analisado. Quais são alguns problemas em aberto ou pesquisas atuais acontecendo no campo?

13 soft-question  big-list  open-problem  compilers 

A tampa do vértice pode ser facilmente reduzida para conjunto independente e vice-versa. No entanto, no contexto de complexidade parametrizada, o conjunto Independente é mais difícil que o Vertex Cover. Existe um kernel com 2k2k2k vértices para a Vertex Cover, mas o Conjunto Independente é W 1 rígido. Como a …

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Uma observação associada à criptografia assimétrica é que algumas funções são (acredita-se que sejam) fáceis de executar em uma direção, mas difíceis de inverter. Além disso, se houver alguma informação de 'alçapão' que permita que a operação inversa seja computada rapidamente, o problema se tornará candidato a um esquema de …

13 cc.complexity-theory  cr.crypto-security  homomorphic-encryption 

Ao tentar resolver um problema, acabei expressando parte dele como o seguinte programa linear inteiro. Aqui são números inteiros positivos dados como parte da entrada. Um subconjunto especificado das variáveis x i j é definido como zero e o restante pode assumir valores integrais positivos:ℓ , m , n1, n2, …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

Recentemente, eu estava revisando uma introdução aos algoritmos holográficos. Me deparei com alguns objetos combinatórios chamados Pfaffians. Eu realmente não sei muito sobre isso no momento e me deparei com alguns usos surpreendentes que eles podem usar. Por exemplo, soube que eles podem ser usados ​​para contar com eficiência o …

13 reference-request  co.combinatorics  counting-complexity 

a complexidade computacional envolve grandes quantidades de combinatória e teoria dos números, algumas ingridiências da estocástica e uma quantidade emergente de álgebra. No entanto, como analista, pergunto-me se existem aplicações de análise nesse campo, ou talvez idéias inspiradas pela análise. Tudo o que sei que corresponde ligeiramente a isso é …

13 cc.complexity-theory  reference-request  soft-question  big-picture 

Seja uma classe de gráficos com largura de clique limitada. Em cada gráfico em G, algumas arestas são contraídas (por exemplo, aleatoriamente). Agora a largura da camarilha ainda é limitada?GGGGGG Caso (em geral) não seja mais limitado, eu estaria muito interessado em um contra-exemplo.

13 graph-theory  co.combinatorics  cliquewidth 

O Problema do Ciclo Hamiltoniano (HC) consiste em encontrar um ciclo que atravessa todos os vértices em um determinado gráfico não direcionado. O Travelling Salesman Problem (TSP) consiste em encontrar um ciclo que atravesse todos os vértices em um determinado gráfico ponderado pelas arestas e minimize a distância total medida …

13 cc.complexity-theory  np-hardness  hamiltonian-paths  tsp  graph-classes 

Aqui está o problema: Temos um quadrado com alguns números de 1..N em algumas células. É necessário determinar se ele pode ser concluído em um quadrado mágico. Exemplos: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ …

13 cc.complexity-theory  np-hardness  np  puzzles