Enquanto escrevia um programa Petri Net, fui confrontado com uma escolha sobre estruturas de dados para representar o gráfico. As listas de adjacência (ou seja, listas que enumeram os arcos para dentro e fora de lugares ou transições individuais) são fáceis de implementar, mas enquanto eu estudava...
O problema a seguir surgiu recentemente de minha pesquisa e eu gostaria de perguntar se alguém sabe se esse problema foi considerado antes ou se ouviu falar de algo que possa estar relacionado. A configuração geral é a seguinte. Nos é dado , uma família de subconjuntos de , para algum parâmetro...
Dado um gráfico dirigido acíclico com nodos como se pode determinar se existe um caminho entre qualquer um dos seguintes n pares de nós ( 1 → n + 1 ) , ... , ( N → n + n ) ? Existe um algoritmo simples em (onde m é o número de arestas) fazendo uma pesquisa em cada nó , mas isso pode ser feito...
No contexto da percolação de ligações em que é um número inteiro positivo, considere o problema de calcular uma aproximação de da percolação crítica dada uma dimensão de treliça e um parâmetro de precisão como entradas. Existem resultados conhecidos sobre a complexidade desse...
A dimensão VC é uma medida da complexidade das classes de funções que está intimamente ligada à complexidade da amostra. A dimensão de quebra de gordura é uma generalização adequada para domínios ordenados mais ricos: ou seja, . Existe uma generalização padrão da dimensão VC adequada para funções...
Estou vendo a página 28 de Lovasz "Programas semidefinidos e otimização combinatória" e fornece a seguinte aproximação do número de independência do gráfico maxu′Zumaxu′Zu\max u' Z u sujeito a Z≻0Z≻0Z\succ 0 Zij=0 ∀ij∈E(G)Zij=0 ∀ij∈E(G)Z_{ij}=0 \ \forall ij\in E(G) tr(Z)=1tr(Z)=1tr(Z)=1 Posso...
Inspirado por essa pergunta , fiquei curioso para saber se havia uma estratégia de redução para combinadores de SKI não tipificados que era normalizada ou perpétua. Conforme descrito aqui (Twelfed aqui ), as regras não determinísticas do cálculo combinador são as seguintes: Eux → xEux→xIx...
O lema a seguir não é difícil de provar. Lema : Deixe- c1≠c2≠⋯≠cr∈[n]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n] e k∈[n]k∈[n]k \in [n] . Se m1,m2,…,mrm1,m2,…,mrm_1, m_2, \dots, m_r são números inteiros (alguns deles podem ser negativos), de modo que , então números inteiros satisfazendo...
A conectividade algébrica de um gráfico G é o segundo menor valor próprio da matriz laplaciana de G. Esse valor próprio é maior que 0 se e somente se G for um gráfico conectado. A magnitude desse valor reflete o quão bem conectado o gráfico geral está. por exemplo, " adicionar auto-loops " não...
A pergunta é: sempre existe um esquema de aproximação de politempo para problemas completos de NP que possuem algoritmos de tempo pseudo-polinomial (como mochila, por
Quais são as melhores referências para auto-estudo no DATALOG? Estou particularmente interessado em poder expressivo, resultados de complexidade, métodos de avaliação, extensões de DATALOG com negação, etc. Existem livros ou documentos que cobrem tudo
Estou procurando trabalho em sistemas semelhantes às sequências de ordem superior de K. Dosen ("Sequent Systems for Modal Logic", JSL 50 ). O único trabalho que conheço é o trabalho recente de Iemhoff e Metcalfe ("Teoria da prova de regras admissíveis", Annals of Pure and Applic Logic 159 (1-2),...
Entendo consistência estrita e seqüencial de forma independente bastante bem. C estrito basicamente impõe a ordem real na qual as instruções foram executadas no relógio global. Consistência sequencial basicamente impõe o pedido apenas em um processador. Estou tendo problemas para montar alguma...
Estou escrevendo um verificador de modelo de brinquedo e estou no ponto em que é hora de implementar a tradução de autômato LTL para Buchi. Por várias razões óbvias, desejo que o algoritmo seja simples :) por exemplo, quero que o código permaneça extremamente claro e conciso pelo maior tempo...
você pode fornecer uma referência ou dar exemplos particulares de problemas completos do PSPACE que são solucionáveis em tempo pseudo-polinomial? Notas adicionais: Definição de tempo pseudo-polinomial: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Em resposta a alguns comentários...
A questão é se é possível modelar na lógica linear dois modos de acesso a um recurso. Eu sei que dois modos de recursos são possíveis, ou seja: ! r ⊢!r⊢!r \vdash r está infinitamente disponível r ⊢r⊢r \vdash \quad r está disponível apenas uma vez Mas e se eu não quiser decidir se r é...
Recebemos pilhas que contêm "itens" de cores diferentes e uma máquina que pode processar vários itens da mesma cor de uma só vez. Em cada etapa, podemos remover um item da parte superior de cada pilha e colocá-lo em nossa máquina (para que a máquina possa processar no máximo itens em uma única...
Como sabemos, o Graph Isomorphism está em NP, mas não é conhecido como NP-Complete ou P-Complete. Fiquei me perguntando se existem problemas conhecidos no PSPACE, mas que não são PSPACE-Complete e não estão no
Uma rede para um espaço de intervalo ( X , R ) é um subconjunto N de X, de modo que N ∩ R não é vazio para todos os R ∈ R, de modo que | X ∩ R | ≥ ε | X | .εε\varepsilon( X, R )(X,R)(X,\mathcal{R})NNNXXXN∩ RN∩RN\cap RR ∈ RR∈RR\in \mathcal{R}| X∩ R | ≥ ε | X||X∩R|≥ε|X||X\cap R| \ge \varepsilon...
A idéia básica da indução reversa é começar com todas as posições finais possíveis de um jogo em que o jogador X vence. Portanto, para o xadrez, observe todas as maneiras pelas quais as brancas podem fazer xeque-mate nas pretas. Agora trabalhe para trás em todos os movimentos / posições possíveis...