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

f, gf,gf,gf( N ) logf( n ) = o ( g( N ) )f(n)log⁡f(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )D TEuME( f( N ) ) ⊊ D TEuME( g( N ) )DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f, gf,gf,gf( …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Eu estava brincando com a pergunta muito interessante e ainda aberta " Alfabeto da máquina de Turing de fita única " (de Emanuele Viola) e surgiu com o seguinte idioma: L = { x ∈ { 0 , 1 }n st | x | = n = 2m e c …

10 cc.complexity-theory  turing-machines  time-complexity 

Existe uma maneira de um provador convencer um verificador de que alguma expressão HORN-SAT é satisfatória? Claro que isso pode parecer bobagem, já que existem algoritmos de tempo lineares para o HORN-SAT. Por outro lado, HORN-SAT é P-completo, o que significa que não possui algoritmos de espaço de log, a …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

Dado um circuito booleano em variáveis ​​(que usa apenas portas NOT, AND e OR), qual é a maneira mais eficiente de extrair a fórmula booleana representada pelo circuito? Existe um algoritmo polytime para esse problema?nCCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

Em esta questão , foi mencionado que existem versões de complexidade descritivos do teorema de Rice. Encontrei uma prova do seguinte teorema: Dada uma classe de complexidade C , propriedades não triviais de idiomas em C não podem ser computadas em C Eu já havia postado a prova que encontrei, …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Em uma pergunta anterior sobre hierarquia de tempo, aprendi que as igualidades entre duas classes podem ser propagadas para classes mais complexas e as desigualdades podem ser propagadas para classes menos complexas, com argumentos usando preenchimento. Portanto, uma pergunta vem à mente. Por que estudamos uma pergunta sobre diferentes tipos …

10 cc.complexity-theory  big-picture 

fundo A complexidade do circuito é definida como o conjunto de famílias de circuitos (ou seja, sequências de circuitos, uma para cada tamanho de entrada) de profundidade limitada e tamanho polinomial construído usando a ventoinha ilimitada AND, OR e NOT.AC0AC0AC^0 A função de paridade com entrada de bits é igual …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

A resolução é um esquema para provar a insatisfação dos CNFs. Uma prova na resolução é uma dedução lógica da cláusula vazia para as cláusulas iniciais do CNF. Em particular qualquer cláusula inicial pode ser inferida, e a partir de dois cláusulas A ∨ xA∨xA \lor x e B ∨ …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

Alguém conhece um conjunto de problemas que variam uniformemente e abrangem uma das hierarquias "interessantes" de complexidade e computabilidade? Por interessante, quero dizer, por exemplo, a Hierarquia Polinomial, a Hierarquia Aritmética ou a Hierarquia Analítica. Ou talvez (N) P, (N) EXP, 2 (N) EXP,……\ldots Mais concretamente: você pode fornecer um …

10 cc.complexity-theory  computability 

Seja uma permutação. Observe que enquanto atua em um domínio infinito, sua descrição pode ser finita. Por descrição , quero dizer um programa que descreve a funcionalidade do \ pi . (Como na complexidade de Kolmogorov.) Veja as explicações abaixo.π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Por exemplo, a função NOT é …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Hiroimono é um quebra-cabeça completo de popular . Estou interessado na complexidade computacional de um quebra-cabeça relacionado.NPNPNP O problema é: Entrada : Dado um conjunto de pontos em em um x grade quadrada e inteiron knnnnnnkkk Pergunta : Existe um polígono retilíneo (seus lados paralelos ao eixo ou ) tal …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Esta questão surgiu em minha mente depois de ler as contribuições de András Salamon e Colin McQuillan para minha pergunta anterior Contando soluções de fórmulas Monotone-2CNF . EDIT 30 th março 2011 questão Adicionado n ° 2. EDIT 29 th outubro 2010 Pergunta reformulada após proposta András formalizá-la através da …

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

Gráfico automorphism é uma permutação de nodos gráfico que induz uma bijeç~ao sobre o conjunto de arestas . Formalmente, é uma permutação de nós como ifff ( u , v ) ∈ E ( f ( u ) , f ( v ) ) ∈ EEEEfff( u , v ) …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

No SODA 2006, Martin Grohe e D niel papel de Marx "Constraint solução através de tampas de borda fraccionada" ( citação ACM ) mostrou que, para a classe de Hipergrafos H com largura hypertree fraccionada limitada, CSP ( H ) ∈ P T I M E .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Definições, …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

Gostaria de saber o estado atual da transição de fase para k-sat aleatório, dadas n variáveis ​​e cláusulas m, qual é o melhor conhecido c = m / n para os limites superior e inferior.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition