A árvore de corte de link é uma estrutura de dados inventada pelo Sleator e Tarjan, que suporta várias operações e consultas em umafloresta de nós no tempo. (Por exemplo, o link de operaçãocombina duas árvores na floresta em uma, enquanto a operação cortada divide uma árvore na floresta em...
Você poderia recomendar um artigo de pesquisa ou capítulo de livro que introduz a teoria das funções recursivas?
É bem conhecido na teoria dos modelos finitos que, sem uma ordem na entrada, a expressividade é muito limitada. Por exemplo, sabe-se que é igual a PSPACE , e (sem nenhuma ordem na entrada) é apenas relacional para PSPACE , uma noção definida por Abiteboul e Vianu quando provaram seu teorema: iff ....
Esta é uma pergunta um tanto frívola que surgiu na minha cabeça depois de ler as várias respostas para "Qual é a menor classe de complexidade para a qual um circuito superlinear é conhecido? ". As respostas se referem a e, quando olhei para a entrada do zoológico , descobri o...
Espero ter chegado ao lugar certo ... é (provavelmente) uma questão de Programação Lógica bastante direta. Se eu tiver duas cláusulas do formulário: B:-A C:-A eu posso transformá-las em: B,C:-A ( Editar: onde B,Cestá uma conjunção. Estou fazendo uma avaliação de baixo para cima e é útil para mim...
Nós, em nosso grupo de pesquisa, estamos trabalhando na aplicação de métodos heurísticos ao problema de iluminação inversa (ou seja, dado um conjunto de restrições sobre as condições de iluminação em uma cena, encontramos os locais onde as fontes de luz devem ser colocadas e suas intensidades)....
Recentemente, li algumas coisas sobre problemas de otimização incremental, mas não vejo qual é a diferença entre esses e os problemas de otimização on-line. Minha impressão é que posso definir todos os problemas on-line como uma contrapartida incremental (o inverso é claramente verdadeiro). Aqui...
O problema de otimização do CSP é resistente à aproximação se for difícil vencer o fator de aproximação de uma atribuição aleatória. Por exemplo, MAX 3-LIN é resistente à aproximação, pois uma atribuição aleatória satisfaz fração das equações lineares, mas alcançar o fator de aproximação é -hard.1...
Alguém poderia dar uma explicação intuitiva ( não intucionista) da correspondência da introdução à esquerda e eliminação da implicação no Cálculo Sequencial (SC) e Dedução Natural (ND), respectivamente? Eu sei que eles deveriam pela simetria de SC, mas não vejo como eles se correspondem. De maneira...
Existem inúmeras ferramentas / pacotes teóricos gráficos. Cada um com seus prós e contras. Qual deve ser a semântica / sintaxe de uma linguagem de programação para resolver problemas teóricos dos
Estou procurando trabalho para calcular o fechamento transitivo de uma relação afim no seguinte sentido: Seja a relação definida por um sistema de desigualdades lineares sobre as variáveis reais , iex 1 , … , x n , x ′ 1 , … , x ′ nR ( x1, … , Xn, x′1, … ,...
Meu desejo é descrever a complexidade do tempo de várias abordagens de agrupamento. Por exemplo, suponha que tenhamos pontos de dados em m espaço dimensional.nnnmmm Suponha-se ainda que a matriz de pares de dissimilaridade de n x n dimensões já é calculado e que já passou S ( m ⋅ n 2 ) passos....
Existe um banco de dados de problemas conhecidos com informações sobre sua complexidade e algoritmos, problemas relacionados, referências etc. que estão disponíveis para nós? [Se não, podemos fazer um? Eu sei que isso está fora de tópico, mas seria TÃO
Esta é uma postagem cruzada do MathOverflow. O problema de testar se uma treliça de face simples (informalmente, um poset de faces) é politópico é às vezes chamado de Problema de Steinitz . Sturmfels e Bokowski avançaram um conjunto de métodos no final dos anos 80 para testar se a estrutura da...
Imagino que seja uma pergunta introdutória de geometria computacional, mas não tenho certeza das melhores frases de pesquisa e também estou interessado em variações da pergunta, por isso espero encontrar indicadores úteis para referências. Estou interessado em algoritmos viáveis para o seguinte...
Você é dado um conjunto de Directed acíclico Gráficos G 1 , G 2 , . . . , L n sobre o mesmo conjunto de m vértices V . Você também está dado uma permutação do conjunto de vértices ( v 1 , v 2 , . . . , V m ) . Qual é o melhor algoritmo que poderia identificar os gráficos entre G 1 , G 2 , . . . , G...
Estou procurando uma referência para a (clássica) complexidade de comunicação aleatória unidirecional quando o universo pode ser grande. Digamos que Alice e Bob tenham conjuntos de tamanho escolhidos entre um universo de tamanho U e Bob queira determinar se a interseção de seus conjuntos está vazia...
Escreva como o mapa de Parikh --ie, , onde é o número de vezes que aparece em . É sabido que, para um CFL , é um conjunto semilinear (esse é o teorema de Parikh). Outras coisas interessantes são conhecidas, mas não encontrei nada sobre o mapa de Parikh de uma linguagem sensível ao contexto. Em...
Será a primeira vez que eu aprenderá a teoria dos grafos. Que tipo de formação matemática eu preciso para preparar teses de mestrado sobre esse assunto nos próximos anos? Quais assuntos devem ser revisados e existe algum livro que cubra todos
Eu quero particionar N dados (pode ou não ser igual) em 2 subconjuntos, de modo que os 2 subconjuntos tenham a soma o mais próximo possível e também a cardinalidade dos conjuntos seja igual (se n for par) ou diferir apenas por 1 ( se n for ímpar). Acho que podemos fazer isso no tempo...