Ao ler as perguntas Exemplos onde a unicidade da solução torna mais fácil de encontrar , uma nova interrogação (? Mais fácil) veio à minha mente: na verdade, não sabemos se o (Gráfico Isomorfismo ) problema está em .G IGEuGIPPP Mas o que acontece se assumirmos que ambos e são assimétricos (ie...
Quais são as carreiras típicas para cientistas da computação teóricos (pessoas com pós-graduação em ciência da computação teórica)? Que tipo de indústrias e instituições buscam conhecimento teórico em ciência da computação? Que carreiras os cientistas da computação teórica costumam...
É bem sabido que a complexidade de distinguir um moeda inclinado a partir de uma feira um é θ ( ε - 2 ) . Existem resultados para distinguir uma moeda p de uma moeda p + ϵ ? Eu posso ver que, para o caso especial de p = 0 , a complexidade será ϵ - 1 . Tenho um palpite de que a complexidade...
Eu tenho uma redução do seguinte problema de partição para um determinado problema de agendamento: Entrada: Uma lista de números inteiros positivos em ordem não decrescente.uma1⩽ ⋯ ⩽ umnuma1⩽⋯⩽umana_1\leqslant\cdots\leqslant a_n Pergunta: Existe um vetor tal que( x1, … , Xn) ∈ { - 1 , 1...
Fundo: A complexidade da árvore de decisão ou a complexidade da consulta é um modelo simples de computação definido da seguinte maneira. Seja uma função booleana. A complexidade da consulta determinística de f , denotada D ( f ) , é o número mínimo de bits da entrada x ∈ { 0 , 1 } n que precisam...
Dado um algoritmo em execução no tempo , podemos convertê-lo em uma família de circuitos uniformes "triviais" para o mesmo problema de tamanho, no máximo .t(n)t(n)t(n)≈ t ( n ) logt ( n )≈t(n)logt(n)\approx t(n)\log t(n) Por outro lado, pode ser que tenhamos circuitos uniformes muito menores para...
No problema de extensibilidade, recebemos parte da solução e queremos decidir se podemos estendê-la para uma solução completa. Alguns problemas de extensibilidade são solucionáveis com eficiência, enquanto outros problemas de extensibilidade transformam um problema fácil em um difícil. Por...
Você conhece algum problema (de preferência pelo menos um pouco conhecido), onde, para um tamanho de problema prático , um algoritmo exponencial é executado muito mais rápido do que um equivalente de tempo polinomial mais conhecido. Por exemplo, suponha que um problema tenha um tamanho prático *...
A hierarquia é uma hierarquia de classes de complexidade em complexidade parametrizada, consulte o Zoológico da Complexidade para obter definições. Uma definição alternativa define usando a definibilidade ponderada de Fagin para as lógica de primeira ordem; consulte o livro de Flum e Grohe...
Dado um grupo de permutações em [ n ] = { 1 , ⋯ , n } , e dois vectores de u , v ∈ Γ n onde Γ é um alfabeto finito que não é muito relevante aqui, a questão é se existe algum ¸ ∈ G tal que π ( u ) = v onde π ( u ) significa aplicar a permutação π em u de uma maneira...
Estou lendo o artigo "Fast Paxos" de Leslie Lamport e fico preso às provas de correção dos clássicos Paxos e Fast Paxos. Por consistência, o valor escolhido pelo coordenador na fase 2 a na rodada i deve satisfazervvv2a2a2aiii Para qualquer rodada j < i , nenhum valor diferente de v foi ou...
Enquanto escrevia um pequeno post sobre a complexidade dos videogames Nibbler e Snake ; Descobri que ambos podem ser modelados como problemas de reconfiguração em gráficos planares; e parece improvável que esses problemas não tenham sido bem estudados na área de planejamento de movimento (imagine,...
Como estou interessado em analisadores (principalmente em gramáticas de expressão do analisador), estou me perguntando se há algum trabalho que forneça um tratamento categórico para a análise. Qualquer referência sobre aplicações da teoria de categorias à análise é altamente...
Eu tenho lido um pouco sobre o método da soma dos quadrados (SOS) da pesquisa de Barak & Steurer e das notas de aula de Barak . Nos dois casos, eles varrem questões de precisão numérica para baixo do tapete. Do meu entendimento (reconhecidamente limitado) do método, o seguinte deve ser...
Existe algo conhecido sobre o segundo menor - t- cut em uma rede de fluxo? Ou, de maneira mais geral, sobre esse problema:sssttt Entrada: Uma rede e um número k , todos em binário. Saída: Um k é o menor corte s - t .NNNkkkkkksssttt Um é o menor corte s - t ( S , T ) é qualquer corte s - t ,...
Estou interessado em entender a estrutura da classe dos gráficos modo que não exista subgráfico induzido por vértices em quatro vértices, o que é uma correspondência perfeita. Dado de forma diferente para quaisquer quatro vértices a , b , c , d em G se a b e c d são arestas, o gráfico deve ter pelo...
P / poly é a classe de problemas de decisão solucionáveis por uma família de circuitos booleanos de tamanho polinomial. Como alternativa, ela pode ser definida como uma máquina de Turing de tempo polinomial que recebe uma sequência de conselhos que é polinomial de tamanho em n e que é baseada...
A largura da árvore e a largura do caminho são parâmetros populares, medindo a proximidade de um gráfico a uma árvore ou um caminho, respectivamente. De fato, parece que a largura da árvore é tão popular que é apresentada em muitos artigos, livros e notas de aula que dão (mesmo que muito gentil)...
Considere o problema em que nos é dado como entrada um gráfico acíclico direcionado , uma função de rotulação de para um conjunto com uma ordem total (por exemplo, os números inteiros) e onde nos perguntam para calcular o tipo topológico lexicograficamente menor de em termos de . Mais precisamente,...
Quando se quer provar que um é N P -completo, em seguida, a abordagem normalizada é expor um tempo polinomial calculável redução muitos-um de uma conhecida N P problema -completo para L . Nesse contexto, não precisamos de um limite apertado no tempo de execução da redução. Basta ter qualquer limite...