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

Não tenho conhecimento na área da teoria da complexidade envolvendo grupos, portanto peço desculpas se esse é um resultado bem conhecido. Questão 1. Seja um gráfico simples e não direcionado da ordem n . Qual é a complexidade computacional (em termos de n ) de determinar se G é vértice-transitivo?GGGnnnnnnGGG …

16 cc.complexity-theory  graph-theory  gr.group-theory 

Suponha que, para cada ϵ>0ϵ>0\epsilon > 0 , exista uma máquina de Turing MϵMϵM_{\epsilon} que decida um idioma LLL no tempo O(na+ϵ)O(na+ϵ)O(n^{a + \epsilon}) . Existe um algoritmo único que decide LLL no tempo O(na+o(1))O(na+o(1))O(n^{a + o(1)}) ? (Aqui, o(1)o(1)o(1) termo o ( 1 ) é medido em termos de …

16 cc.complexity-theory  asymptotics 

No problema retângulo embalagem, um é dado um conjunto de retângulos e delimitadora retângulo R . A tarefa é encontrar um posicionamento de r 1 , … , r n dentro de R de modo que nenhum dos n retângulos se sobreponha. Geralmente, a orientação de cada retângulo r i …

16 cc.complexity-theory  np-hardness  packing 

Não se sabe se isomorfismo gráfico (GI) para gráficos fortemente regulares (SRGS) é em P . Existe alguma dica de que possa ou não ser GI- Complete? Existem fortes consequências nesses casos? (Semelhante à crença de que o IG pode não ser NP-Completo).

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

Eu queria saber se os problemas para os quais existem algoritmos de tempo sublinear (no tamanho da entrada) podem ser caracterizados como possuindo propriedades específicas. Isso inclui tempo sublinear (por exemplo, teste de propriedades, uma noção alternativa de aproximação para problemas de decisão), espaço sublinear (por exemplo, algoritmos de esboço …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Eu estou interessado neste problema: Dado um grafo não direcionado , Existe uma partição de em gráficos e de tal forma que e são isomorphic?G G 1 ( E 1 , V 1 ) G 2 ( E 2 , V 2 ) G 1 G 2G ( E, V)G(E,V)G(E, …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

Por um resultado clássico de Kuroda, a classe de complexidade NSPACE [ ]nnn (também conhecida como NLIN-SPACE) é precisamente a classe CSL de linguagens sensíveis ao contexto . O problema de satisfação SAT está no NSPACE [ ], uma vez que um palpite de tamanho linear para uma solução pode …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Qual é o número mínimo de portas binárias necessárias para calcular AND e OR de bits de entrada simultaneamente? O limite superior trivial é 2 n - 2 . Eu acredito que isso é ótimo, mas como provar isso? A técnica de eliminação de gate padrão não funciona aqui, pois, …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

Estou procurando um problema que pertence a nos gráficos gerais, mas está em nos gráficos de largura de árvore delimitada. Na verdade, acho que esses problemas são mais difíceis do que usar a programação dinâmica normal em limites gráficos de largura de banda para resolvê-los.ΣP2Σ2P\mathsf{\Sigma^P_2}PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth 

O problema a seguir é PTIME ou coNP-hard: Dadas duas expressões booleanas e e 2 nas variáveis x 1 , … , x n , sem negação (ou seja, as expressões são totalmente construídas via ∧ e ∨ ). Decida se e 1 ≡ e 2 , ou seja, eles …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

A análise de casos piores e médios são medidas bem conhecidas para a complexidade de um algoritmo. A análise suavizada recentemente surgiu como outro paradigma para explicar por que alguns algoritmos exponenciais no pior dos casos funcionam tão bem na prática, por exemplo, o algoritmo simplex. Minha pergunta é - …

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

Há evidências teóricas de que a construção ingênua de produto cartesiano para a interseção de DFAs é "o melhor que podemos fazer". E a concatenação de dois DFAs? A construção trivial envolve a conversão de cada DFA em um NFA, adicionando uma transição épsilon e determinando o NFA resultante. Podemos …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

É sabido que as fórmulas aleatórias de CNF sobre n variáveis ​​com cláusulas c n são insatisfatórias (isto é, são contradições) com alta probabilidade, para uma constante suficientemente grande c . Assim, as fórmulas aleatórias de k- CNF (para c suficientemente grandes) constituem uma distribuição natural sobre fórmulas booleanas insatisfatórias …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Seja K(x)K(x)K(x) denotado a complexidade Kolmogorov de uma string . Existe uma cadeia de caracteres tal que . (Aqui é a concatenação de consigo). Uma pergunta semelhante, mas diferente, foi feita aqui , mas o contra-exemplo dado na resposta a essa pergunta não funciona para essa.xxxK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx

16 cc.complexity-theory  kolmogorov-complexity 

Uma função f: { 0 , 1 }∗→ { 0 , 1 }∗f:{0 0,1 1}∗→{0 0,1 1}∗f \colon \{0, 1\}^* \to \{0, 1\}^* é unidirecional se fff puder ser calculada por um algoritmo de tempo polinomial, mas para cada algoritmo de tempo polinomial aleatório UMAUMAA , Pr [ f( A …

16 cc.complexity-theory  cr.crypto-security  one-way-function