Considere a lista com poucas ligações simples em um ambiente puramente funcional. Seus louvores foram cantados do topo das montanhas e continuarão sendo cantados. Aqui irei abordar um dos muitos pontos fortes e a questão de como ele pode ser estendido à classe mais ampla de sequências puramente...
Como convencer a Coq de que a função recursiva fornecida abaixo termina? A função usa dois argumentos indutivos. Intuitivamente, a recursão termina porque um dos argumentos é decomposto. Especificamente, a função aceita duas árvores como entrada. Inductive Tree := | Tip: Tree | Bin: Tree ->...
Estou revisando algum modelo criptográfico. Para mostrar sua inadequação, desenvolvi um protocolo artificial baseado no isomorfismo gráfico. É "comum" (ainda controverso!) Supor a existência de algoritmos BPP capazes de gerar "instâncias concretas do problema do isomorfismo gráfico". (Juntamente...
Escrevi uma implementação do algoritmo Kuhn-Munkres para o problema de correspondência perfeita bipartida de peso mínimo com base nas notas de aula encontradas aqui e ali na web. Funciona muito bem, mesmo em milhares de vértices. E eu concordo que a teoria por trás disso é verdadeiramente bela. E...
Dadas duas CNF, se elas tiverem o mesmo número de atribuições para torná-las verdadeiras, responda "Sim", caso contrário, responda "Não". É fácil ver que está em , pois se soubermos o número exato de soluções para essas duas CNF, apenas as colocamos em campo e respondemos "Sim" ou...
Sabemos que o algoritmo de mincut de Karger pode ser usado para provar (de maneira não construtiva) que o número máximo de possíveis mincuts que um gráfico pode ter é (n2)(n2)n \choose 2 . Fiquei imaginando se de alguma forma poderíamos provar essa identidade, fornecendo uma prova bijetiva...
1) É possível ter uma redução parcimoniosa de um problema # P-completo # A para um problema de contagem # B quando (a versão de decisão) A está NP-completa e B está em P? Por exemplo, pode haver uma redução parcimoniosa de #SAT para #B, quando B está em P? 2) Se B estiver em P, quais são as...
Alguém me leva a um artigo detalhando um teorema da eliminação de cortes para a lógica intuicionista proposicional, incluindo um tipo de dados indutivo, como os números naturais (listas ou árvores também ficariam bem)? Um exemplo do tipo de sistema no qual estou interessado é o T de Godel, que...
O algoritmo húngaro é um algoritmo de otimização combinatória que resolve o problema de correspondência bipartida de peso máximo em tempo polinomial e antecipou o desenvolvimento posterior do importante método primal-duplo . O algoritmo foi desenvolvido e publicado por Harold Kuhn em 1955, que deu...
Digamos que eu tenho um grande bloco de código que já lexei e analisei. Suponha que apenas um caractere mude; Gostaria de atualizar minha análise, mas como a modificação é muito pequena em comparação com a coisa toda, gostaria de saber se é possível não analisar a coisa toda novamente, mas se...
Esse é um nome que eu inventei para esse problema. Eu nunca vi isso descrito em nenhum lugar antes. Ainda não consegui encontrar uma prova de completude de NP nem um algoritmo de tempo polinomial para esse problema. Não é um problema de lição de casa - está relacionado a um problema que encontrei...
Estou explorando a idéia de escrever um DBMS de maneira puramente funcional. A estrutura de dados tradicional usada para indexação é a B-Tree. Gostaria de saber algum equivalente puramente funcional do B-Tree que seria otimizado para minimizar o acesso ao disco.
Considere alguma linguagem tal que:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) e para que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Em outras palavras, a máquina...
Quão bem o seguinte problema foi investigado no TCS? (Peço desculpas se a declaração do problema parece vaga!) Dado um modelo de computação MC (máquina de Turing, autômato celular, máquina Kolmogorov-Uspenskii ... etc.) e um modelo de ruído que poderia afetar o cálculo da MC, existe uma maneira de...
Seja uma fórmula CNF com variáveis e cláusulas . Deixe representar uma atribuição de variável conte o número de cláusulas satisfeitas por uma atribuição de variável para . Em seguida, defina Median-SAT como o problema de calcular o valor mediano de em todo . Por exemplo, se é uma tautologia, a...
Considere o problema # P-complete de contar o número de coberturas de vértices de um determinado gráfico .G=(V,E)G=(V,E)G = (V, E) Gostaria de saber se há algum resultado mostrando como a dureza desse problema varia com algum parâmetro de (por exemplo, d = | E |GGG)d=|E||V|d=|E||V|d =...
Considere a seguinte pergunta natural: Dada uma linguagem finita , qual é a menor gramática livre de contexto que gera L ?eueuLeueuL Nós podemos fazer a pergunta mais interessante, especificando uma sequência de línguas , por exemplo L n é o conjunto de todas as permutações de { 1 , ... , n } :...
São conhecidos resultados que descartam a existência de estruturas de dados "boas demais para serem verdadeiras"? Por exemplo: pode-se adicionar e J o i n funcionalidade de um estrutura de dados de manutenção (ver a fim Dietz e Sleator STOC '87 ) e ainda assim obter S ( 1 ) as operações de...
Eu já fiz essa pergunta no stackoverflow , mas talvez seja mais adequado para este site. O problema é: Eu tenho N pares de números inteiros não assinados. Eu preciso classificá-los. O vetor final dos pares deve ser classificado de forma não decrescente pelo primeiro número em cada par e não cada...
Dada uma matriz (assumindo ), qual é o algoritmo mais rápido para calcular sua classificação e base das colunas?m×nm×nm \times nm≥nm≥nm \ge n Estou ciente de que pode ser resolvido através da interseção matróide linear, que implica um algoritmo determinístico de tempo e um algoritmo aleatório de...