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 ( V,...
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...
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) =...
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...
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, e...
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 do...
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...
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. O gráfico do...
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 uma classe...
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...
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...
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...