É sobre a eficácia com que podemos expressar um algoritmo em questão. Eu preciso disso para o meu ensino de graduação. Entendo que não existe uma maneira padrão de escrever um pseudo-código. Diferentes autores seguem diferentes convenções. Seria útil se as pessoas aqui indicassem o modo como...
O estado de nosso conhecimento sobre circuitos aritméticos gerais parece ser semelhante ao estado de nosso conhecimento sobre circuitos booleanos, ou seja, não temos bons limites inferiores. Por outro lado, temos limites inferiores de tamanho exponencial para circuitos booleanos monótonos . O...
Como não permite computação não-terminativa, Coq não é necessariamente completo em Turing. Qual é a classe de funções que a Coq pode calcular? (existe uma caracterização
O célebre Princípio Minimax de Yao declara a relação entre complexidade distributiva e complexidade aleatória. Vamos haver um problema com um conjunto finito de entradas e um conjunto finito do algoritmo determinista para resolver . Também deixe denotar a distribuição de entrada e denote a...
Eu estava lendo " O P Versus NP é formalmente independente? ", Mas fiquei intrigado. É amplamente aceito na teoria da complexidade que . Minha pergunta é sobre o que se não for possível (digamos no ). (Vamos supor que descobrimos apenas que é independente do mas não há mais informações sobre como...
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...
Em um jogo de defesa de torre, você tem uma grade NxM com um início, um acabamento e várias paredes. Os inimigos seguem o caminho mais curto do início ao fim sem passar por nenhuma parede (eles geralmente não são restritos à grade, mas por uma questão de simplicidade, digamos que sim. Em ambos...
Estou interessado na complexidade de decidir se um determinado polígono não simples é quase simples, em um dos dois sentidos formais diferentes: fracamente simples ou não-auto-atravessante . Como esses termos não são amplamente conhecidos, deixe-me começar com algumas definições....
Existem muitos resultados de inadequação que se baseiam na conjetura de jogos únicos. Por exemplo, Assumindo a conjectura exclusiva dos jogos, é NP difícil aproximar o problema de corte máximo dentro de um fator R para qualquer R > R GW constante . (Aqui R GW = 0,878… é a taxa de...
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...
Em testes propriedade gráfico, um algoritmo de consulta um gráfico de alvo para a presença ou ausência de arestas e necessidades para determinar se o alvo quer tem uma certa propriedade ou é -muito de ter a propriedade. (Um algoritmo pode ser solicitado a ter sucesso com um erro lados ou dois...
O tempo de comutação em um gráfico conectado é definido como o número esperado de etapas em uma caminhada aleatória iniciando em , antes que o nó seja visitado e o nó seja alcançado novamente. É basicamente a soma dos dois tempos de acerto e .i j i H ( i , j ) H ( j , i )G = ( V,...
Existe uma descrição útil de futuros ou promessas em termos de teoria de categorias? Em particular, qual poderia ser o dual categórico do
Os gráficos cúbicos são aqueles em que todos os vértices têm grau 3. Eles foram extensivamente estudados e estou ciente de que vários problemas difíceis de NP permanecem difíceis de NP, mesmo restritos a subclasses de gráficos cúbicos, mas alguns outros ficam mais fáceis. Uma superclasse de...
Estou procurando gráficos não direcionados, não ponderados, conectados , nos quais, para cada par , existe um único caminho que realiza a distância .G = ( V, E)G=(V,E)G=(V,E)u , v ∈ Vvocê,v∈Vu,v \in Vu → vvocê→vu \rightarrow vd( u , v )d(você,v)d(u,v) Essa classe de gráficos é bem conhecida? Que...
Considere uma rede elétrica modelada como um gráfico planar G, em que cada aresta representa um resistor de 1Ω. Com que rapidez podemos calcular a resistência efetiva exata entre dois vértices em G? Equivalentemente, com que rapidez podemos calcular a corrente exata que flui ao longo de cada...
À luz do resultado recente do abismo na profundidade 3 (que, entre outras coisas, produz profundidade-3 circuito aritmético para onxndeterminante sobreC), que têm as seguintes questões: Grigoriev e Karpinskirevelouum2Ω(n)um limite inferior para qualquer profundidade-3 circuito aritmético de...
Estou procurando um texto introdutório conciso sobre algoritmos com uma teoria de alta razãoDeveria começar do início, mas depois progredir rapidamente, sem gastar muito tempo com exemplos do mundo real, técnicas elementares de prova, etc. Como matemático de pesquisa, tenho uma sólida formação em...
Estou projetando uma linguagem de programação funcional de tipo estaticamente simples como uma experiência de aprendizado. Parece que o sistema de tipos que eu implementei até agora poderia (com um pouco de trabalho extra) incorporar tipos de interseção e união, por exemplo, você poderia...
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...