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

Alguém já explorou qual é a complexidade do circuito de problemas clássicos de decisão, como Primes ou Isomorfismo de Gráfico, para o tamanho pequeno de entrada ?NNN Enquanto a maioria das pessoas está interessada em saber como a escala vai como , acho que também seria interessante ver como isso …

9 cc.complexity-theory  reference-request  circuit-complexity 

Dado um gráfico e a alguém deseja calcular . ( ) A `` expansão em pequenos conjuntos conjectura "afirma que é NP-Difícil determinar se isso está abaixo de ou acima de paraδ > 0 h ( G , δ ) = m i n | S | ≤ δ | …

9 cc.complexity-theory  spectral-graph-theory  expanders  unique-games-conjecture 

Não se acredita que seja o seguinte: L ⊆ L - uniforme N C1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Você pode me ajudar a ver onde o argumento termina? O problema de acessibilidade direcionada está completo para . Argumento que está em -uniforme .L N C 1euL\mathsf{L}euL\mathsf{L}N C1NC1\mathsf{NC^1} O problema …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory 

O teorema da hierarquia de tempo permite mostrar que, por exemplo, existem problemas em P que não podem ser resolvidos no tempo menos que const * n ^ 2 por uma máquina de Turing. Mas dê alguns conselhos à máquina de Turing e todas as apostas estão fora. Ainda não …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation 

O recente estabelecimento da relação bs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) passa por Gotsman, Linial . A mesma abordagem pode chegar a O(s(f)2)O(s(f)2)O(s(f)^2) ou existe uma limitação essencial à abordagem?

8 cc.complexity-theory  boolean-functions 

Da Wikipedia : VPVP\mathsf{VP} : A classe VP é o análogo algébrico de P; é a classe de polinômios de grau polinomial que têm circuitos de tamanho polinomiais sobre um campo fixo .fffKKK VNPVNP\mathsf{VNP} : A classe VNP é o análogo do NP. O VNP pode ser considerado como a …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Considere os seguintes problemas: Problema de vetores ortogonais Entrada: um conjunto SSS de vetores booleanos, cada um de comprimento .nnnddd Pergunta: Existem vetores distintos e tais que ?v1v1v_1v2∈Sv2∈Sv_2 \in Sv1⋅v2=0v1⋅v2=0v_1 \cdot v_2 = 0 Problema de vetores não ortogonais Entrada: Um conjunto de vetores booleanos, cada um de comprimento e …

8 cc.complexity-theory  ds.algorithms  linear-algebra  polynomial-time  boolean-matrix 

Problema Geral Suponha que tenhamos uma função polinomial multivariada e várias funções lineares . O que se sabe sobre a complexidade de resolver o seguinte problema de otimização?ℓ i ( x )f( X )f(x)f(\mathbf{x})ℓEu( X )ℓi(x)\ell_i(\mathbf{x}) MaximizarSujeito a: f( X )ℓEu( x ) ≤ 0 para todos os iMaximizef(x)Subject to: …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

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 

Savický e Woods (o número de funções booleanas calculadas por fórmulas de um determinado tamanho) provam o seguinte resultado. Teorema [SW98]: Para cada constante k > 1k>1k>1 , quase todas as funções booleanas com complexidade de fórmula no máximo nknkn^k têm complexidade de circuito pelo menos nk/ knk/kn^k/k . A …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Qual é a complexidade do problema de satisfação local para a lógica modal ? Aqui, denotamos por a lógica modal sobre quadros euclidianos estendidos com modalidade inversa. Você poderia fornecer alguma referência? Está em ? I K 5 N PI K 5EuK5\mathit{IK5}EuK5EuK5IK5NPNPNP O que eu sei sobre o tópico? É …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic 

Suponha . Em seguida, uma simples mostra argumento que P H P P = N P . Podemos dar um passo adiante e obter P P P P = N P ? O argumento simples éNP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NPPPPP= NPPPPP=NPPP^{PP}=NP Teorema Se então P H P P = N P .NP= …

8 cc.complexity-theory  counting-complexity  conditional-results 

Em Computabilidade, se quisermos provar que um problema não é recursivo ou não recursivamente enumerável, podemos usar, por exemplo, reduções de outros problemas não recursivos ou não re, o teorema de Rice, o teorema de Rice-Shapiro, etc. Essas técnicas funcionam graças a , ou se baseiam diretamente na existência de …

8 cc.complexity-theory  computability 

Um algoritmo de tempo de execução para isomorfismo de grupo abeliano é fácil de ver. Mais tarde, trabalhando nesse problema em 2003, o Vikas aprimorou o resultado do tempo de execução de O ( n 2 ) para O ( n log n ) . Em 2007, Kavitha mostrou que …

8 cc.complexity-theory  ds.algorithms 

O idioma Critical SAT é definido como o conjunto de fórmulas booleanas tal modo que mas remover qualquer cláusula de torna satisfatório. Sabe-se que o Critical SAT é completo. Gostaria de saber sobre a seguinte variante: dada uma fórmula , é o caso de estar em e de que existe …

8 cc.complexity-theory  complexity-classes  boolean-functions