Perguntas com a marcação «cc.complexity-theory»

Uma fórmula Monotone-2CNF é uma fórmula CNF em que cada cláusula é composta por exatamente 2 literais positivos. Agora, eu tenho uma fórmula Monotone-2CNF . Seja o conjunto de atribuições satisfatórias deEu também tenho um oracle que é capaz de fornecer as seguintes informações:FFFSSSFFFOOO A cardinalidade do conjunto (ou seja, …

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

Em um artigo intitulado "Sobre a negação na cadeia de referência comum e no modelo aleatório do Oracle", Rafael Pass escreve: Observamos que, ao provar a segurança de acordo com a definição padrão de conhecimento zero no modelo RO [Oracle aleatório], o simulador tem duas vantagens sobre um simulador de …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Após a discussão sobre limites mais baixos para o 3SAT [ 1 ], estou pensando quais são os principais resultados de limites inferiores formulados como trocas no espaço-tempo. Estou excluindo resultados como, por exemplo, o teorema de Savitch; uma boa entrada focaria em um único problema e seus limites. Um …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Simplificando: qual é a correspondência entre máquinas de Turing com oráculos e famílias uniformes de circuitos com oráculos? Como são definidas as últimas para obter o mesmo modelo computacional para uma determinada máquina de Turing da Oracle? Essa pode ser uma pergunta elementar, mas não é óbvio para onde procurar, …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Sabe-se, graças a Immerman e Szelepcsényi, que se (mesmo para funções construtivas não espaciais).f = Ω ( log )N S P A C E (f) = C O N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( log )f=Ω(log)f=\Omega(\log) No mesmo artigo, Immerman declara que a hierarquia …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

A hierarquia é uma hierarquia de classes de complexidade em complexidade parametrizada, consulte o Zoológico da Complexidade para obter definições. Uma definição alternativa define usando a definibilidade ponderada de Fagin para as lógica de primeira ordem; consulte o livro de Flum e Grohe .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Para as classes mais baixas e …

13 cc.complexity-theory  parameterized-complexity 

Existem várias provas para o limite inferior loglinear do problema de singularidade / distinção de elementos (baseado em árvores de computação algébrica ou argumentos contraditórios), mas estou procurando uma que seja simples o suficiente para usar em um primeiro curso de análise e design de algoritmos. O mesmo "nível de …

13 cc.complexity-theory  lower-bounds  proofs 

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 desequilibrado em um gráfico direcionado, deverá …

13 cc.complexity-theory  reductions  search-problem  ppad 

Para ser sincero, não sei muito sobre como o número aleatório é gerado (comentários são bem-vindos!), Mas vamos assumir o seguinte modelo teórico: Podemos obter números inteiros uniformemente aleatórios a partir de [1,2n][1,2n][1,2^n] e nosso objetivo é gerar um inteiro aleatoriamente uniforme de [1,3]. 2n2n2^n2n−12n−12^n-1[1,2n][1,2n][1,2^n]333mod3mod3\bmod 3 Mas e se quisermos …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Suponha P NP.≠≠\ne O Teorema de Ladner diz que existem problemas NP Intermediários (problemas em NP que não estão nem em P nem em NP-Completo). Eu encontrei algumas referências veladas on-line que sugerem (eu acho) que existem muitos "níveis" de linguagens mutuamente redutíveis dentro do NPI que, definitivamente, nem todos …

13 cc.complexity-theory  np  np-intermediate 

Sabe-se se o problema do conjunto de vértices de feedback em gráficos planas não direcionados de grau delimitado é duro?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

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 especificado por uma função computável em …

13 cc.complexity-theory  complexity-classes  ppad 

Pelo que entendi, uma prova de que P = NP ou P ≠ NP precisaria ser não-relativizável (como nos oráculos da teoria da recursão). Virtualmente, todas as provas parecem relativizáveis. Quais são bons exemplos de provas não relativizáveis, do tipo que uma prova P = NP / P ≠ NP …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Considere o jogo a seguir em um gráfico ponderado direcionado GGG com um chip em algum nó. Todos os nós de GGG são marcados por A ou B. Existem dois jogadores Alice e Bob. O objetivo de Alice (Bob) é mudar o chip para um nó marcado por A (B). …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

Imagine que temos dois conjuntos tamanho X , Y ⊂ R n . Qual é a complexidade (tempo) dos testes se eles diferem apenas por rotação? : existe matriz de rotação O O T = O T O = I tal que X = O Y ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY Há uma …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry