Acho que li muitos documentos ambiciosos do CRR . O problema é que esses documentos não são revisados por pares, mas costumam parecer interessantes e passam por verificações básicas de plausibilidade. Ou talvez não, e eu só preciso melhorar minhas verificações de plausibilidade. Aqui está uma...
A classe de complexidade PPAD (por exemplo, computando vários equilíbrios de Nash) pode ser definida como o conjunto de problemas de pesquisa total polytime redutíveis para FIM DA LINHA : FIM DA LINHA : Dados os circuitos S e P com n bits de entrada e n bits de saída tais que P (0 n ) = 0 n ! = S...
O que acontece se definirmos P P A DPPAD{\bf PPAD} de tal modo que em vez de um circuito polytime Turing-máquina / polysize, um logspace Turing-máquina ou um A C 0AC0{\bf AC^0} circuito codifica o problema? Recentemente dando algoritmos mais rápidos para Circuit satisfiability para pequenos...
A classe de complexidade PPAD é geralmente definida, afirmando que o fim da linha está completo no PPAD. f( X )f(x)f(x)xxxvvvt ≠ vt≠vt\ne v Recentemente, ouvi uma definição diferente de PPAD. Tanto quanto me lembro, foi baseado no seguinte problema. Um gráfico direcionado (novamente...
Complexidade classe PPAD foi inventado por Christos Papadimitriou em seu seminal 1994 papel . A classe é projetada para capturar a complexidade dos problemas de pesquisa, onde a existência de uma solução é garantida pelo "argumento Paridade em gráficos direcionados": se houver um vértice...
Os Equilibria de Nash são incontestáveis em geral. Um equilíbrio -ash é um conjunto de estratégias em que, dadas as estratégias dos oponentes, cada jogador obtém do máximo retorno possível possível. Encontrar um equilíbrio -Nash, dado e um jogo, é
De acordo com o lema do handshaking: qualquer gráfico não direcionado que tenha um vértice cujo grau seja um número ímpar deve ter outro vértice cujo grau seja um número ímpar. Essa observação significa que, se recebermos um gráfico e um vértice de grau ímpar, e formos solicitados a encontrar outro...