Defina o modelo computacional MPostBQP para ser idêntico ao PostBQP, exceto que permitimos polinomialmente muitas medições de qubit antes da pós-seleção e medição final. Podemos dar alguma evidência indicando que o MPostBQP é mais poderoso que o PostBQP? Defina MPostBQP [k] para permitir...
Eu tenho um gráfico que consiste apenas em gráficos em estrela. Um gráfico em estrela consiste em um nó central com arestas em todos os outros nós. Vamos ser diferentes gráficos estrela de tamanhos diferentes que estão presentes em . Chamamos o conjunto de todos os nós que são centros em qualquer...
Aqui está um problema que me incomoda há um tempo. Digamos que uma string seja uma sequência de 1s e 0s, e uma string curinga é uma sequência de 1, 0 e? S. Todas as strings e curingas têm o mesmo comprimento. Esses são curingas UNIX padrão; 10 ?? 1 corresponde a 10011, 10111, etc - a? corresponde a...
Gostaria de saber se o seguinte problema tem um nome ou quaisquer resultados relacionados a ele. Deixe G = ( V, W )G=(V,W)G = (V,w) ser um gráfico ponderada onde w ( u , v)W(você,v)w(u,v) indica o peso da aresta entre vocêvocêu e , e para todo , . O problema é encontrar um subconjunto de vértices...
Já que é sexta-feira, é hora de uma pergunta da CW. Estou procurando heurísticas que tenham amplo uso em problemas de otimização. Para limitar o escopo a heurísticas mais "amigáveis à teoria", eis as regras (algumas arbitrárias, outras não) Deve ser um método bem definido, sem inúmeros...
Parece que em linguagens de consulta populares para bancos de dados relacionais, é possível criar consultas que exigirão muitos recursos para serem respondidas. Na prática, os administradores de banco de dados gerenciam isso limitando a quantidade de memória por consulta e verificando se há...
Temos um conjunto, , de listas de elementos do conjunto . Cada elemento de aparece em uma lista única em . Estou procurando uma estrutura de dados que possa executar as seguintes atualizações:N = { 1 , 2 , 3 , . . . , n } N LeuLLN= { 1 , 2 , 3 , . . . , n }N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n...
Um dos principais problemas na enumeração de gráfico é determinar a 'forma' de um gráfico, por exemplo, a classe de isomorfismo de qualquer gráfico específico. Estou perfeitamente ciente de que todo gráfico pode ser representado como uma matriz simétrica. No entanto, para obter sua forma, você...
Mesmo que não seja um ponto crucial, não vejo nenhuma literatura em torno dessa questão. Existem resultados de relativização? Não seria bem simples provar inclusão estrita, adaptando o teorema da hierarquia de tempo não determinístico, explorando todos os caminhos possíveis da máquina...
Eu queria saber se a ordem das declarações de um tipo indutivo pode importar. Por exemplo, no Coq, você pode definir Nat: Inductive Nat := | O : Nat | S : Nat -> Nat. ou Inductive Nat := | S : Nat -> Nat | O : Nat. Talvez isso mude a ordem dos parâmetros no eliminador gerado...
Em alguma área de pesquisa em CS, obtivemos alguns resultados muito interessantes. Agora estamos pensando em publicá-los. No grupo que somos, a filosofia é publicar imediatamente pequenas coisas em documentos de conferência, o que é bom, mas não o melhor. Agora, estou pensando em coletar mais...
Defina uma malha em 3D como uma coleção conectada de tetraedros com interiores separados (para que os tetraedros compartilhem apenas k-faces, ). Dado um gráfico arbitrário, existe um procedimento eficiente para testar se ele pode ser incorporado como uma malha?k≤2k≤2k \le 2 Aqui, uma incorporação...
Eu apreciaria quaisquer indicações ou termos que pudessem me iniciar na direção certa. Temos um gráfico direcionado G = ( V, E)G=(V,E)G=(V,E) e comprimentos eueu jeuEujl_{ij} para cada aresta que pode ser considerada positiva. Há um início nó especial e nó final .eu jEujijsssttt Para cada borda ,...
Como nenhuma resposta foi dada, foi definido um sinalizador solicitando que essa pergunta fosse convertida em um wiki da comunidade. Os comentários de Aaron Sterling, Sasho Nikolov e Vor foram sintetizados na seguinte resolução, que está aberta para discussão no wiki da comunidade: Resolvido:...
No Facility Capacitado Problema de Localização (CFLP) , nos é dado um conjunto de clientes e um conjunto de potenciais instalações . Cada cliente tem uma demanda que deve ser atendida por um ou mais recursos abertos. Cada instalação tem um custo de abertura e uma capacidade , que é a demanda máxima...
Seja uma matriz ou com entradas . Alguém pode me fornecer uma matriz para que ? Qual é o menor B explícito conhecido como \ nome do operador {por} (A) = \ det (B) ? Alguma referência nisso com exemplos explícitos?3 × 3 4 × 4 a i j B per ( A ) = det ( B ) B per ( A ) = det ( B )AAA3×33×33 \times...
Eu gostaria de ter um limite na cardinalidade do conjunto de gráficos de disco unitário com vértices. Sabe-se que verificar se um gráfico é membro desse conjunto é difícil para o NP. Isso leva a um limite inferior da cardinalidade, assumindo P ≠ NP?NNN≠≠\neq Por exemplo, suponha que exista uma...
Os analisadores de gráficos podem ser implementados com base na forma normal de Chomsky ou diretamente com base nas regras de produção. Vamos, por enquanto, supor que temos um analisador de gráfico CYK que usa a forma normal de Chomsky. A binarização não está definida exclusivamente. Isso afeta o...
Eu sou interessante em aprender mais sobre algoritmos e estruturas de dados que ignoram o cache, mas existem tantos trabalhos por aí que honestamente não sei por onde começar. Encontrei a tese original do Prokup sobre o assunto, o que parece ser um bom ponto de partida, mas se houver uma introdução...
Eu tenho um grande conjunto de dados de árvores e gostaria de pesquisá-lo especificando uma árvore (subgrafo conectado). A consulta deve retornar todas as ocorrências da árvore no conjunto de dados. Existem algoritmos eficientes para fazer isso? Eu estava pensando em algo como matrizes de sufixo,...