Perguntas com a marcação «logspace»

ST-Conectividade é o problema de determinar se existe um caminho entre dois vértices dirigidos distintos e em um grafo orientado G (V, E) . Se esse problema pode ser resolvido no espaço de logs, é um problema aberto de longa data. Isso é chamado de problema NL vs L.ssstttG ( …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Shiva Kintali acaba de anunciar um resultado (legal!) De que o isomorfismo do gráfico para gráficos de largura de árvore limitada de largura é hard L- duro≥4≥4\geq 4⊕L⊕L\oplus L . Informalmente, minha pergunta é: "Quão difícil é isso?" Sabemos que não uniforme , veja as respostas para esta pergunta . …

26 cc.complexity-theory  complexity-classes  logspace 

Se , então há um algoritmo logspace que resolve a versão decisão de 2-sab.L = N Leu=Neu\mathsf{L = NL} É conhecido como implicando que há um algoritmo logspace para obter uma atribuição de satisfazer , quando dado um exemplo satisfatível 2-sab como entrada?L = N Leu=Neu\mathsf{L = NL} Se não, …

15 sat  search-problem  logspace 

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 circuitos acabou por ser …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

O algoritmo Weisfeiler-Lehman (WL) 1-dim é comumente conhecido como rotulagem canônica ou algoritmo de refinamento de cores. Funciona da seguinte maneira: A coloração inicial é uniforme, C 0 ( v ) = 1 para todos os vértices v ∈ V ( G ) ∪ V ( H ) .C0C0C_0C0(v)=1C0(v)=1C_0(v) = …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

Um idioma está em se existir uma máquina de Turing de espaço de log que decida o idioma com uma quantidade de conselhos polinomiais.L/polyL/polyL/poly Veja aqui para mais informações: https://en.wikipedia.org/wiki/L/poly Questão Quais são as consequências de ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Questão. Em seu artigo Simulação aprimorada de circuitos estabilizadores , Aaronson e Gottesman afirmam que a simulação de um circuito CNOT é completa em L (sob reduções no espaço de log). É claro que está contido em ⊕L ; como se mantém o resultado da dureza? Equivalentemente: há uma redução …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

A prova de Omer Reingold que dá um algoritmo para USTCON (Em um U ndirected gráfico com vértices especiais e , eles são Con ACOPLADO?) Usando apenas logspace. A idéia básica é criar um gráfico de expansão a partir do gráfico original e, em seguida, percorrer o gráfico de expansão. …

13 graph-algorithms  nondeterminism  expanders  logspace 

A página da wikipedia no PSPACE menciona que a inclusão não é conhecida por ser rigorosa (infelizmente sem referências).NL ⊂ PHNL⊂PHNL\subset PH Q1: E quanto a e L ⊂ P # P - estes são conhecidos por serem rigorosos?L ⊂ PHL⊂PHL\subset PHL ⊂ P# PL⊂P#PL\subset P^{\#P} Q2: Se não, existe …

12 cc.complexity-theory  complexity-classes  logspace 

Teorema de Mahaney nos diz que se há uma escassa conjunto -completo sob de tempo polinomial muitos one-reduções, então P = N P . (Veja " Conjuntos completos esparsos para NP: solução de uma conjectura de Berman e Hartmanis ")NPNPNPP= NPP=NPP = NP Existem consequências conhecidas da existência de conjuntos …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

Considere uma máquina (ou seja, um algoritmo probabilístico que usa espaço de log e polinomialmente muitos bits aleatórios). Sabe-se (Saks-Zhou) que .BPLBPLBPLBPL⊆DSPACE(log1.5(n))BPL⊆DSPACE(log1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) Minha pergunta é sobre uma máquina que usa apenas polilog muitos bits de aleatoriedade. Em um dos artigos de Goldreich, é mencionado de passagem que uma …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

Isso é conhecido sobre linguagens reconhecidas pelo autômato determinístico bidirecional bidirecional ou pelo logspace TM com contador (modelo equivalente)? Esta classe chamada Aux2DC no meu conselheiro papel . Ou sobre essa classe não determinística? Eu obtive que a classe de idiomas reconhecidos por esses maschines não determinísticos inclui NL e …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata