Ciência da Computação Teórica

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 Floyd-Warshall, é possível identificar quais arestas …

10 ds.algorithms  graph-theory  graph-algorithms 

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 colocar restrições nos caminhos que …

10 ds.algorithms  graph-theory  graph-algorithms 

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 formalizá-la através da …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

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 ) …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

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, …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

Quais documentos sobre o tratamento de erros em sistemas distribuídos você recomenda?

10 reference-request  dc.distributed-comp 

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 (estratégia mista) em um jogo finito …

10 ds.algorithms  gt.game-theory 

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 ⊂ Vf:2V→Rf:2V→Rf:2^V\rightarrow \mathbb{R}S⊂VS⊂VS \subset V Pergunta: Quais são alguns exemplos interessantes de s …

10 ds.algorithms  graph-theory  co.combinatorics 

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 …

10 ds.algorithms  hash-function 

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 inferior.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

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 NP

10 cc.complexity-theory  complexity-classes 

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 tempo …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

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 mais difíceis conforme medidos por seus índices …

10 cc.complexity-theory  complexity-classes 

Assuma P≠ NPP≠NPP \neq NP Vamos usar a seguinte notação para tetração (ie.Euumaia{}^ia ).ia=aa⋅⋅⋅ai 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, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | …

10 cc.complexity-theory  np-hardness  complexity-classes 

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 uma ordem de aplicação ycombinator no Stratego?

10 functional-programming