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

Estou tentando entender os sistemas interativos de provas e tentei o seguinte problema como exercício. Sabemos que PH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACE e IP=PSPACEIP=PSPACEIP=PSPACE , então crie sistemas de prova interativos (fáceis de entender) para PHPHPH ? Um sistema de prova interativa para NPNPNP é trivial, mas eu não conseguiu obter um …

9 complexity-theory  interactive-proof-systems 

Dado um programa inteiro (binário) da forma:0 , 10 0,1 10,1 minstf( X )A x = bxEu≥ 0xEu∈ { 0 , 1 }∀ i∀ iminf(x)stUMAx=bxEu≥0 0∀EuxEu∈{0 0,1 1}∀Eu \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & …

9 complexity-theory  np-complete  approximation  integer-programming 

Essa variante do problema de soma de subconjuntos é fácil / conhecida? Dado um número inteiro , e um conjunto de números inteiros positivos A = { x 1 , x 2 , . . . , x n } de modo que todo x i tenha no máximo k …

9 complexity-theory  reference-request  decision-problem 

Deixe ser o idioma de todos os 2 -cnf fórmulas φ , de tal modo que, pelo menos, ( 1LϵLϵL_\epsilon222φφ\varphidascláusulasdeφpodem ser satisfeitas.(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Preciso para demonstrar que existe r L ε é N P -Hard para qualquer ε &lt; ε ' .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' Sabemos que o pode ser aproximado a 55Max2SatMax2Sat\text{Max}2\text{Sat} das …

9 complexity-theory  satisfiability  approximation 

Estou confuso sobre como PP e BPP são definidos. Vamos supor χχ\chi é a função característica de uma linguagem LL\mathcal{L} . M ser a máquina de Turing probabilística. As definições a seguir estão corretas: BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ&gt;0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ&gt;0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Encontrei o seguinte problema: Dado um gráfico acíclico direcionado com pesos de borda com valor real e dois vértices s e t, calcule o corte mínimo. Para gráficos gerais, isso é difícil para NP, já que é possível reduzir trivialmente o corte máximo simplesmente revertendo os pesos das arestas (me …

9 algorithms  complexity-theory  graph-theory  weighted-graphs 

Digamos que sabemos que o problema A é difícil, depois reduzimos A ao problema desconhecido B para provar que B também é difícil. Como exemplo: sabemos que 3 cores são difíceis. Em seguida, reduzimos 3 cores para 4 cores. Ao confundir uma das cores da 3-coloração, você tem 4-coloração, portanto, …

9 complexity-theory  np-complete  reductions 

Suponha que desejemos unir duas relações em um predicado. Isso está no NC? Percebo que uma prova de que não está na NC equivaleria a uma prova de que , então aceitaria a evidência de que é um problema em aberto como resposta.P≠NCP≠NCP\not=NC Estou interessado no caso geral e também …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

É sabido que toda função booleana pode ser realizada usando um circuito booleano de profundidade 2 (sobre as variáveis, negação e valores constantes) contendo portas AND na primeira nível e um único portão OR no nível superior; isso é simplesmente a representação DNF de f .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff Outro tipo de …

9 complexity-theory  logic  circuits 

Tendo um conjunto de elementos, digamos que eu quero calcular uma função que é sensível a todas as partes da entrada, ou seja, depende de muito membro de (ou seja, é possível alterar qualquer membro de para algo mais para obter uma nova entrada st valor de em e são …

9 complexity-theory 

Em aplicativos do mundo real, há um benefício concreto ao usar os algoritmos vez dos \ mathcal {O} (\ log (n)) ?O ( log ( n ) )O (log( log( N ) )O(registro⁡(registro⁡(n))\mathcal{O}(\log(\log(n))O (log( N ) )O(registro⁡(n))\mathcal{O}(\log(n)) É o caso quando se usa, por exemplo, árvores de van Emde Boas, …

9 algorithms  complexity-theory  binary-trees  algorithm-analysis  search-trees 

Tomemos como exemplo a redução 3d → 2d: Qual é o custo de simular um autômato celular 3d por um autômato celular 2d? Aqui estão algumas perguntas mais específicas: Que tipo de algoritmos terão sua complexidade de tempo alterada em quanto? Qual seria a ideia básica para a codificação; como …

9 complexity-theory  time-complexity  cellular-automata 

Está invertendo uma matriz na classe Complexidade ?PP\text{P} Desde o tempo de execução, eu diria que sim O (n3)O(n3)\mathcal{O}(n^3) mas a matriz invertida pode conter entradas em que o tamanho não é polinomialmente limitado pela entrada?

9 complexity-theory 

Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a ele que nunca funcionaria, porque …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Estou procurando um artigo fácil e introdutório sobre a prova do Teorema de Courcelle . Também estou interessado em sua conexão com a complexidade parametrizada em relação à largura da árvore . Eu sou apenas um iniciante neste campo. Alguma sugestão?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity