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

O título é um pouco enganador: mas espero que a pergunta não seja: O novo resultado de Grønlund e Pettie, mostrando que o 3SUM tem apenas complexidade da árvore de decisão, me fez pensar:O ( n3 / 2)O(n3/2)O(n^{3/2}) Existe um exemplo simples de um problema com uma complexidade da árvore …

13 cc.complexity-theory  machine-models  decision-trees 

Estou estudando recentemente o modelo de computação BSS (por exemplo, Complexidade e Computação Real; Blum, Cucker, Shub, Smale). Para os reais , é mostrado que, dado um sistema de polinômios f 1 , ⋯ , f m ∈ R [ x 1 , ⋯ , x n ] , a …

13 cc.complexity-theory  computing-over-reals 

Seja a função majoritária, ou seja, se e somente se . Fiquei me perguntando se havia uma prova simples do seguinte fato (por "simples" quero dizer não confiar no método probabilístico como o Valiant 84 fez ou em redes de classificação; de preferência, fornecendo uma construção explícita e direta do …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

Uma pergunta recente (veja Conseqüências de NP = PSPACE ) pediu as consequências "desagradáveis" de . As respostas listam algumas conseqüências de colapso, incluindo e outras, fornecendo muitas razões para acreditar em .N P = C O N P N P ≠ P S P A C ENP=PSPACENP=PSPACENP=PSPACENP=coNPNP=coNPNP=coNPNP≠PSPACENP≠PSPACENP\neq PSPACE Quais …

13 cc.complexity-theory  complexity-classes  conditional-results 

Todos os seguintes podem ser mantidos simultaneamente? L s + 1 seusLsL_s está contido em para todos os números inteiros positivos .eus + 1Ls+1L_{s+1}sss { 0 , 1 }L = ⋃seusL=⋃sLsL = \bigcup_s L_s é o idioma de todas as palavras finitas acima de .{ 0 , 1 }{0,1}\{0,1\} Há …

13 cc.complexity-theory  complexity-classes  reductions 

É sabido se o problema de avaliação do circuito está em N C 1 ? Que tal A L o g T i m e (uniforme N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Sabemos que os circuitos de profundidade podem ser avaliados com circuitos de profundidade k + c, onde c é uma …

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

Informalmente, funções unidirecionais são definidas com relação aos algoritmos PTIME. Eles são computáveis ​​em tempo polinomial, mas não invertíveis em tempo polinomial de caso médio. A existência de tais funções é um importante problema em aberto na ciência da computação teórica. Estou interessado em funções unidirecionais (não necessariamente para aplicativos …

13 cc.complexity-theory  one-way-function 

Seja uma função booleana de variáveis ​​booleanas. Seja o valor esperado de quando é obtido a partir de ao inverter cada coordenada com probabilidade .fffg ( x ) = T ϵ ( f ) ( x ) f ( y ) y x ϵ / 2nnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)f(y)f(y)f(y)yyyxxxϵ/2ϵ/2\epsilon/2 Estou interessado …

13 cc.complexity-theory  circuit-complexity  boolean-functions 

Dada uma matriz com entradas racionais. Qual é a complexidade para verificar é diagonalizável?A An × nn×nn\times nUMAAAUMAAA Suspeito que isso possa ser feito em P, mas não conheço nenhuma referência. No entanto, uma pergunta mais interessante é: existe alguma classe de complexidade melhor para capturar esse problema? Qualquer orientação …

13 cc.complexity-theory  linear-algebra  matrices 

Recorde-se que a largura de uma resolução refutation de uma fórmula CNF M é o número máximo de literais em qualquer cláusula que ocorre em R . Para cada w , existem fórmulas insatisfatórias F no 3-CNF st. Cada refutação de resolução de F requer largura pelo menos w .RRRFFFRRRWwwFFFFFFWWw …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

O problema de partição é fracamente NP-completo, pois possui algoritmo de tempo polinomial (pseudo-polinomial) se os números inteiros de entrada estiverem delimitados por algum polinômio. No entanto, 3-Partition é um problema fortemente completo de NP, mesmo que números inteiros de entrada sejam limitados por um polinômio. Supondo, , podemos provar …

13 cc.complexity-theory  np-hardness  partition-problem 

É fácil de ver que, se então há total de procurar problemas que não podem ser resolvidos em tempo polinomial (criar um problema total de busca tendo tanto as testemunhas de filiação como as testemunhas de não filiação).N PN P ∩ c o N P ≠ PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}N PNP\mathsf{NP} …

13 cc.complexity-theory  reference-request  search-problem 

Dizemos que uma função é construtível no tempo , se existir uma máquina de Turing determinística múltiplas fitas que em todas as entradas de comprimento faça no máximo etapas e para cada existe alguma entrada de comprimento na qual executa exatamente etapas. M n f ( n ) n n …

13 cc.complexity-theory  time-complexity  terminology 

Parece-me que os especialistas em aprendizado de máquina / mineração de dados estão familiarizados com P e NP, mas raramente falam sobre algumas das classes de complexidade mais sutis (por exemplo, NC, BPP ou IP) e suas implicações para uma análise eficaz dos dados. Existe alguma pesquisa de trabalho fazendo …

13 cc.complexity-theory  reference-request  machine-learning 

Um algoritmo de teste de distribuição para uma propriedade de distribuição P (que é apenas um subconjunto de todas as distribuições acima de [n]) tem acesso permitido às amostras de acordo com alguma distribuição D e é necessário decidir (whp) se ou ( aqui é geralmente a distância ). A …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing