Perguntas com a marcação «reference-request»

O problema Nem todos iguais -SAT (NAE k -SAT), dado um conjunto C de cláusulas sobre um conjunto X de variáveis ​​booleanas, de modo que cada cláusula contém no máximo k literais, pergunta se existe uma atribuição de verdade das variáveis, de forma que cada cláusula contém pelo menos um …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

No artigo "A COMPLEXIDADE DOS PROBLEMAS DE SATISFIABILIDADE", de Thomas J. Schaefer, o autor mencionou que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Eu tenho trabalhado na introdução de alguns resultados da complexidade computacional na biologia teórica, especialmente evolução e ecologia , com o objetivo de ser interessante / útil para os biólogos. Uma das maiores dificuldades que enfrentei é justificar a utilidade da análise de pior caso assintótica para limites inferiores. Existem …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Alguém sabe de referências que explicitam precisamente a conexão entre o algoritmo de unificação e a eliminação gaussiana? Estou particularmente interessado na relação entre substituições triangulares e decomposições de LU. Wayne Snyder e Jean Gallier mencionam essa analogia de passagem em seu artigo, Unificação de ordem superior revisitada: conjuntos completos …

22 reference-request  lo.logic 

Ao mexer na análise de LR não-canônica, pensei em um método de análise (com tabelas de tamanho infinito, o que o torna um tanto impraticável ) capaz de analisar exatamente as gramáticas inequívocas no tempo , e me perguntei se é possível fazer melhor. :O ( n2)O(n2)O(n^2) Todas as gramáticas …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Um tensor é uma generalização de vetores e matrizes para dimensões mais altas e a classificação de um tensor também generaliza a classificação de uma matriz. Ou seja, a classificação de um tensor é o número mínimo de grau um tensores que soma a T . Um vetor e uma …

22 ds.algorithms  reference-request  computability  tensor-rank 

Fiquei me perguntando quais papéis eu deveria ler para entender esta pergunta Uma conexão inesperada com outras áreas da matemática, como geometria algébrica ou cohomologia superior. Talvez até uma área da matemática ainda não desenvolvida. Talvez alguém desenvolva uma direção totalmente nova para a matemática, a fim de lidar com …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

Gostaria de saber se existe alguma justificativa para acreditar que ou acreditar que ?NL=LNL=LNL=LNL≠LNL≠LNL\neq L Sabe-se que . A literatura sobre derandomization de é muito convincente que . Alguém sabe sobre alguns artigos ou idéias que convencem que ?NL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq L

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Esta pergunta é sobre a complexidade do tempo do algoritmo de fluxo máximo de Ford-Fulkerson ao usar o DFS para encontrar caminhos de aumento. Há um exemplo conhecido que mostra que o uso do DFS pode precisar de um número linear de iterações no fluxo máximo; veja, por exemplo, a …

22 ds.algorithms  reference-request  max-flow 

Ao projetar algoritmos de aproximação, às vezes se resolve um programa semidefinido seguido de uma etapa de arredondamento. Um exemplo frequentemente usado para ilustrar isso é o Max-Cut. (Veja, por exemplo, Algoritmos de Aproximação de Vijay Vazirani.) Existem boas fontes educacionais ou pesquisas que vão além do problema Max-Cut para …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

Estou procurando uma referência para o seguinte resultado: Adicionar dois números inteiros na representação fatorada é tão difícil quanto fatorar dois números inteiros na representação binária usual. (Tenho certeza de que está lá fora, porque isso é algo que eu já tinha pensado em algum momento e fiquei emocionado quando …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Existem problemas no CS em que não são conhecidos algoritmos eficientes, apesar dos teoremas da existência provar que esses algoritmos eficientes devem existir? Como são chamados esses problemas? Onde posso descobrir mais?

22 ds.algorithms  reference-request  terminology 

Seja um gráfico. Para um vértice x ∈ V , definir N ( x ) para ser o (aberto) vizinhança de x em L . Ou seja, N ( x ) = { y ∈ VG = ( V, E)G=(V,E)G=(V,E)x ∈ Vx∈Vx\in VN( X )N(x)N(x)xxxGGG . Defina dois vértices u …

22 ds.algorithms  reference-request  graph-algorithms 

Acabei de perceber que estou assumindo que a resposta para minha pergunta é "sim", mas não tenho um bom motivo. Imagino que talvez exista um coletor de lixo que, provavelmente, introduza apenas a desaceleração do pior dos casos . Existe uma referência definitiva que posso citar? No meu caso, estou …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

Quais são as referências básicas? Existem boas pesquisas de alto nível sobre a SGT e suas aplicações no CS em geral e no aprendizado de máquina mais especificamente?

22 reference-request  spectral-graph-theory