Ciência da Computação Teórica

É sabido que as fórmulas CNF podem ser divididas em 2 classes amplas: aleatória versus estruturada. As fórmulas estruturadas de CNF, em oposição às fórmulas aleatórias de CNF, exibem algum tipo de ordem, mostrando padrões que dificilmente acontecerão por acaso. No entanto, pode-se encontrar fórmulas estruturadas mostrando algum grau de …

12 cc.complexity-theory  sat  randomness  symmetry 

Existem 4 restrições diferentes que podemos ter ao definir o Random K-SAT. 1) O número total de literais em uma determinada cláusula é exatamente K ou AT no máximo K 2) Um determinado literal pode ser usado com ou sem substituição na mesma cláusula (A ou A ou A) 3) …

12 cc.complexity-theory  sat  randomness  phase-transition 

Isso pretende ser uma pergunta de acompanhamento do post anterior de Robin Kothari sobre resultados de dureza do tempo polinomial . Especificamente, estou interessado em ver algumas provas de dureza para problemas que se acredita terem limites mais baixos, e digo aproximadamente para permitir melhorias ligeiramente sub-cúbicas ao brincar com …

12 graph-theory  cg.comp-geom  lower-bounds 

CMSOL é Counting Monadic Second Order Logic, ou seja, uma lógica de gráficos em que o domínio é o conjunto de vértices e arestas, existem predicados para adjacência vértice-vértice e incidência de aresta-vértice, quantificação sobre arestas, vértices, conjuntos de arestas e vértices conjuntos, e existe um predicado que expressa se …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

Essa pergunta é inspirada em uma pergunta existente sobre se uma pilha pode ser simulada usando duas filas no tempo amortizado por operação da pilha. A resposta parece ser desconhecida. Aqui está uma pergunta mais específica, correspondente ao caso especial em que todas as operações PUSH são executadas primeiro, seguidas …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

Provavelmente, isso é bem simples, mas considere o problema padrão de correspondência posterior: Dado e β 1 , ... , β N , encontrar uma sequência de índices i 1 , ... , i K de tal modo que ácido a i 1 ⋯ α i K = β i …

12 computability  fl.formal-languages 

Razborov provou que todo circuito monótono que calcula a função de correspondência perfeita para gráficos bipartidos deve ter pelo menos portas (ele chamou de "permanente lógico"). Foi provado um limite inferior melhor para o mesmo problema desde então? (diga ?) Até onde me lembro, esse problema estava aberto em meados …

12 cc.complexity-theory  circuit-complexity  matching 

Fiz essa pergunta há algumas semanas no mathoverflow , mas não obtive resposta. Aqui, por grade 3D de comprimento lateral , refiro-me ao gráfico com e , ou seja, os nós são colocados em coordenadas inteiras tridimensionais entre 1 e , e um nó é conectado ao at mais 6 …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Hoje em dia, a programação linear é muito bem compreendida. Temos muito trabalho que caracteriza a estrutura de soluções viáveis ​​e a estrutura de soluções ideais. Temos a forte dualidade, algoritmos de poli-tempo, etc. Mas o que se sabe sobre soluções mínimas máximas de LPs? Ou, equivalentemente, soluções mínimas máximas? …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Quais são os trabalhos de pesquisa mais significativos sobre os fundamentos dos genéricos em C # e .NET?

12 pl.programming-languages 

Deixe e denote por o conjunto de todos os gráficos que podem ser incorporados em uma superfície do gênero modo que todos os vértices estejam situados na face externa . Por exemplo, é o conjunto de gráficos externos. A largura da árvore dos gráficos em ser delimitada por alguma função …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Eu li em SP Jordan, D. Gosset, "PJ Amor -Complete problemas para Hamiltonians stoquastic e matrizes de MarkovQ MUMAQMAQMA " que é improvável que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Fiquei surpreso com essa afirmação. Então, qual é a relação adequada entre e A M ?Q MUMAQMAQMAA MAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Recentemente, fui lembrado sobre o problema vs. N P, conforme explicado por Stephen A. Cook no Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Isso despertou meu interesse e eu gostaria de aprender mais sobre isso. O primeiro passo seria obter uma compreensão mais profunda do problema e uma compreensão da área em geral. …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Estou procurando um nome ou qualquer referência a esse problema. Dado um gráfico ponderado, G=(V,E,w)G=(V,E,w)G = (V, E, w) encontre uma partição dos vértices em até n=|V|n=|V|n = |V|define S1,…,SnS1,…,SnS_1,\ldots,S_n para maximizar o valor das arestas de corte: c(S1,…,Sn)=∑i≠j⎛⎝∑(u,v)∈E:u∈Si,v∈Sjw(u,v)⎞⎠c(S1,…,Sn)=∑i≠j(∑(u,v)∈E:u∈Si,v∈Sjw(u,v))c(S_1,\ldots,S_n) = \sum_{i \ne j}\left(\sum_{(u,v)\in E : u \in S_i, v \in …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Na pior das hipóteses, a decomposição de árvores é difícil, mas o método ganancioso parece quase ideal em pequenas redes da vida real. Existe algo conhecido sobre a dureza da decomposição de árvores em uma instância "típica" de alguma classe de gráficos? Existe exemplo de uma família de gráficos em …

12 ds.algorithms  graph-theory  graph-algorithms  treewidth