Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

2
Artigos a serem creditados pelo particionamento espectral de gráficos
Se é um gráfico d- regular não direcionado e S é um subconjunto dos vértices da cardinalidade ≤ | V | / 2 , chame a expansão de borda de S a quantidadeG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot |S|\cdot |V-S|} Onde é o número de arestas com uma extremidade em …
6
Quais problemas de SAT são fáceis?
O que são "regiões fáceis" para garantir a satisfação? Em outras palavras, condições suficientes para que algum solucionador SAT seja capaz de encontrar uma tarefa satisfatória, assumindo que ela exista. Um exemplo é quando cada cláusula compartilha variáveis ​​com poucas outras cláusulas, devido à prova construtiva da LLL, outros resultados …
6
Classes bem conhecidas de fórmulas booleanas que exigem provas de resolução exponencialmente longas
Muitas vezes, é possível encontrar métodos de plano de corte, propagação variável, ramificação e encadernação, aprendizado de cláusulas, retrocesso inteligente ou até heurísticas humanas tecidas à mão nos solucionadores SAT. No entanto, há décadas os melhores solucionadores de SAT contam com técnicas de prova de resolução e usam uma combinação …
4
Teorema da Igreja e Teoremas da Incompletude de Gödel
Recentemente, tenho lido algumas das idéias e da história do trabalho inovador realizado por vários lógicos e matemáticos em relação à computabilidade. Embora os conceitos individuais sejam bastante claros para mim, estou tentando entender com firmeza as inter-relações e o nível abstrato em que todos estão ligados. Sabemos que o …
4
Algoritmos de aproximação quântica
É geralmente considerado improvável que os computadores quânticos sejam capazes de resolver problemas de NP-complete com eficiência. No caso clássico, uma abordagem para resolver esses problemas é usar algoritmos de aproximação. Houve alguma pesquisa sobre algoritmos de aproximação usando computação quântica em que a quantumidade acelera significativamente os métodos de …
1
Rabin – Karp vs Karp – Rabin
Os sábios outros editores da Wikipedia recusaram minha solicitação de mover o artigo da Wikipedia sobre o algoritmo Rabin-Karp para o que eu acho que deveria ser chamado, o algoritmo Karp – Rabin, com base no fato de que o nome Rabin-Karp é usado com mais frequência ( falso, se …
1
Existem algoritmos subexponenciais para o PLANAR SAT conhecidos?
Alguns problemas difíceis de NP que são exponenciais em gráficos gerais são subexponenciais em gráficos planares porque a largura da árvore é no máximo e eles são exponenciais na largura da árvore.4.9 | V( G ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} Basicamente, estou interessado se existem algoritmos subexponenciais para o PLANAR SAT, que …
1
Complexidade da alimentação da matriz
Seja uma matriz inteira quadrada e seja um número inteiro positivo. Estou interessado na complexidade do seguinte problema de decisão:MMMnnn A entrada no canto superior direito de MnMnM^n positiva? Observe que a abordagem óbvia do quadrado iterado (ou qualquer outro cálculo explícito) exige que lidemos potencialmente com números inteiros de …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.