Eu sou novo neste site e essa pergunta certamente não é de nível de pesquisa - mas tudo bem. Eu tenho um pouco de experiência em engenharia de software e quase nenhum no CSTheory, mas acho atraente. Para resumir uma longa história, gostaria de uma resposta mais detalhada para o seguinte, se esta...
A JBV sugeriu que eu transformasse alguns comentários em uma pergunta, então aqui vai. Outra pergunta [1] pergunta sobre aplicações da computação QM. Uma resposta [2] foi "simulando eficientemente a mecânica quântica". Aparentemente, essa idéia remonta aos primeiros escritos de Feynman sobre o...
Seja um gráfico não direcionado. Uma decomposição de em subconjuntos separados é chamada de decomposição de Hamilton de se o subgráfico induzido por cada conjunto for um gráfico de Hamilton ou consistir em uma única aresta com .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Exemplo :...
Estou tentando usar árvores de sufixo para comparar seqüências de caracteres. Eu encontrei implementações / teoria para o maior problema de sub-string comum usando árvores de sufixo. No entanto, o que estou procurando é uma discussão sobre o problema relacionado - "todas as substrings comuns"....
Does implica ?E = N EE X P = N E X
Eu sei que para um gráfico bipartido não ponderado, posso encontrar a cobertura mínima de vértices, encontrando primeiro a correspondência máxima e transformando-a em uma cobertura de vértice usando o Teorema de König. Existe uma modificação que se possa usar se os nós forem...
Sabe-se que o cálculo de uma máquina de Turing não determinística (NTM) é representável como uma árvore de configurações, enraizada na configuração inicial. Qualquer transição no programa é representada por um link pai-filho nesta árvore. Árvores semelhantes também podem ser construídas para...
É sabido que a máquina analítica de Charles Babbage tinha uma arquitetura muito semelhante à moderna arquitetura Von Neumann. Além disso, é notável que as tabelas para representar um programa da máquina analítica de Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) e o trabalho de von...
A Wikipedia escreve: O FPT contém os problemas tratáveis do parâmetro fixo, que são aqueles que podem ser resolvidos no tempo para alguma função computável . Normalmente, essa função é considerada exponencial única, como mas a definição admite funções que crescem ainda mais rapidamente. Isso é...
Decidindo o gráfico O homomorfismo é geralmente NP-Completo. Existem resultados que estudam esse problema quando os gráficos subjacentes têm estrutura algébrica (como decidir homomorfismos dos gráficos de cosset de Cayley ou Cayley para outros gráficos com alguma estrutura definida também)? Além...
Ao considerar as interações nas redes, geralmente é muito difícil calcular a dinâmica analiticamente , e as aproximações são empregadas. As aproximações de campo médio geralmente acabam ignorando completamente a estrutura da rede e, portanto, raramente são uma boa aproximação. Uma aproximação...
Alguns anos atrás, encontrei a seguinte regra de esquerda para a igualdade no cálculo sequencial: s ≐ t ⇝ θθ ( Γ ) ⊢ θ ( C)Γ , s ≐ t ⊢ Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Aqui, s ≐ t ⇝ θs≐t⇝θs \doteq t...
Seja um conjunto de bases mutuamente não- (MUB) em , ou seja, cada é uma base ortonormal e para temos . Estamos interessados em discriminar entre vetores arbitrários de . A medida ótima (pior caso ou média com uniforme anterior) é identificada explicitamente em algum lugar da literatura (por...
Existe alguma construção conhecida de um erro linear para corrigir o código (com parâmetros razoáveis), de modo que, quando dado um vetor booleano v \ em \ {0,1 \} ^ n , ele também retorna um vetor booleano whp? (embora esteja acima de \ mathbb {F} _q
As representações mais simples para gráficos usam matrizes / listas de adjacência, o que significa que cada nó e aresta é representado explicitamente. A importância de representações implícitas para gráficos que apresentam fortes regularidades é reconhecida há muito tempo. Por exemplo, Galperin e...
Seja . Preciso gerar gráficos simples de circunferência modo que o conjunto de todas as -cycles forme uma cobertura de borda dupla de (ou seja, toda aresta é compartilhada por exatamente duas -cycles), e de modo que a interseção de duas -cycles é um vértice, uma aresta ou vazio. Os gráficos gerados...
Em comemoração ao aniversário de Alan Turing, o Google publicou um doodle mostrando uma máquina. Que tipo de máquina é o doodle? Ele pode expressar um idioma completo de Turing? Existem diferenças óbvias na máquina de turing clássica: uma fita finita, restrições de como o estado pode ser...
Seja qualquer problema completo de EXP. Em seguida, P A = N P A .UMAUMAAPUMA= NPUMAPUMA=NPUMAP^A = NP^A Deixe ser algum oráculo que leva em contas as consultas que M (a TM em P) vai fazer, e podemos obter P B ≠ N P B .BBBMMMPB≠ NPBPB≠NPBP^B \neq NP^B Pergunta: Temos resultados semelhantes de...
Parece haver muitos algoritmos aleatórios para teste de identidade polinomial, verificando se um determinado polinômio é zero ou não. Existem resultados de algoritmos que fazem algum tipo de estimativa de polinômios sobre um conjunto específico de pontos? Por exemplo, isso pode ser aproximar para...
Recentemente, tenho lido um número decente de artigos do CoLT. Embora eu não lute com os trabalhos individuais (pelo menos não mais do que normalmente luto com outros trabalhos teóricos), não sinto que tenha uma boa compreensão ampla do campo como um todo. Existe um texto padrão, pesquisas ou...