Stratego é uma linguagem de transformação de programação / reescrita de DSL. Anthony Sloane fez algum trabalho executando uma implementação que é executada no Scala . Quais são os limites teóricos do Stratego como linguagem funcional? (independentemente da implementação). Alguém poderia escrever...
Estou interessado em instâncias individuais "difíceis" de problemas de NP-completo. Ryan Williams discutiu o problema SAT0 no blog de Richard Lipton . SAT0 pergunta se uma instância SAT tem a solução específica que consiste em todos os 0s. Isso me fez pensar em construir instâncias SAT que...
Temos classes de complexidade com relação a, digamos, complexidade de caso médio? Por exemplo, existe uma classe de complexidade (nomeada) para problemas que levam o tempo polinomial esperado para decidir? Outra questão considera a complexidade do melhor caso , exemplificado abaixo: Existe uma...
Assuma P≠ NPP≠NPP \neq NP Vamos usar a seguinte notação para tetração (ie.Euumaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | é o tamanho da instância x. Seja L uma língua,...
Geradores invulneráveis são definidos da seguinte maneira: Seja uma relação NP e seja uma máquina que aceite . Informalmente, um programa é um gerador invulnerável se, na entrada , produz pares de testemunhas de instância , com , de acordo com uma distribuição sob a qual qualquer adversário em...
Existe alguma classe de complexidade que contenha contrapartes on-line de problemas de otimização? Caso contrário, como essa classe pode ser definida? Sabemos que muitos problemas têm sua versão online: por exemplo, versão online do problema de empacotamento de lixeira. Os problemas online são...
Pergunto-me saber meteorológicas existem linguagem escasso (mesmo construído por diagolanization retardado) em NPI sob a suposição de que .P≠ NPP≠NPP \neq
Estou procurando uma função hash sobre os conjuntos H (.) E uma relação R (.,.) De modo que, se A for incluído em B, então R (H (A), H (B)). Obviamente, R (.,.) Deve ser fácil de verificar (tempo constante) e H (A) deve ser calculado em tempo linear. Um exemplo de H e R é: , onde k é um número...
Gostaria de saber o estado atual da transição de fase para k-sat aleatório, dadas n variáveis e cláusulas m, qual é o melhor conhecido c = m / n para os limites superior e
Quais documentos sobre o tratamento de erros em sistemas distribuídos você
Pesquisei no fórum para verificar se isso já havia sido perguntado antes e, embora a teoria algorítmica dos jogos seja discutida, não foi possível encontrar esse problema em particular. Estou tentando descobrir qual é o algoritmo mais conhecido para calcular equilíbrios aproximados de Nash...
No SODA 2006, Martin Grohe e D niel papel de Marx "Constraint solução através de tampas de borda fraccionada" ( citação ACM ) mostrou que, para a classe de Hipergrafos H com largura hypertree fraccionada limitada, CSP ( H ) ∈ P T I M E .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Definições,...
Digamos que eu tenha um gráfico ponderado G=(V,E,w)G=(V,E,w)G = (V,E,w) tal que seja a função de ponderação - observe que pesos negativos são permitidos.w:E→[−1,1]w:E→[−1,1]w:E\rightarrow [-1,1] Digamos que define uma propriedade de qualquer subconjunto dos vértices . S ⊂...
Gráfico automorphism é uma permutação de nodos gráfico que induz uma bijeç~ao sobre o conjunto de arestas . Formalmente, é uma permutação de nós como ifff ( u , v ) ∈ E ( f ( u ) , f ( v ) ) ∈ EEEEfff( u , v ) ∈ E(você,v)∈E(u,v)\in E( f( u ) , f( v ) ) ∈ E(f(você),f(v))∈E(f(u),f(v))\in E Defina...
Motivação: Nos algoritmos padrão de maxflow de caminho de aumento, o loop interno requer a localização de caminhos da origem para afundar em um gráfico direcionado e ponderado. Teoricamente, é sabido que, para que o algoritmo termine mesmo quando há capacidades irracionais de borda, precisamos...
Esta questão surgiu em minha mente depois de ler as contribuições de András Salamon e Colin McQuillan para minha pergunta anterior Contando soluções de fórmulas Monotone-2CNF . EDIT 30 th março 2011 questão Adicionado n ° 2. EDIT 29 th outubro 2010 Pergunta reformulada após proposta András...
Dado um dígrafo fortemente conectado G com arestas ponderadas, eu gostaria de identificar arestas que provavelmente não fazem parte de nenhum subgrafo mínimo fortemente conectado (MSCS) de G. Um método para encontrar essas arestas é um algoritmo de Floyd-Warshall modificado. Usando o algoritmo de...
Existe alguma ferramenta na qual se possa descobrir se duas pessoas foram coautoras ou não? Como a ferramenta em que se pode descobrir o número de Erdos de
Uma transação clássica simplificada do banco de dados pode ser vista como: lendo itens M executando algum cálculo com base nessas leituras escrevendo alguns resultados de N com base nesses cálculos, que podem incluir os elementos lidos originalmente. Ao executar essas transações...
Eu tenho o seguinte LP: /* Função objetiva */ min: 1 w + 2 x + 0,5 y + z; / * Limites variáveis * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; Nesse caso, U1 + U2> T1 e a solução ideal é y = 70 e z = 25. Quero impor a condição de que variáveis w e x recebam...