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

Como o título diz, alguém encontrou um algoritmo de tempo polinomial para verificar se dois gráficos com ciclo hamiltoniano são isomórficos? Esse problema está completo?

7 complexity-theory  graph-theory  time-complexity 

Este é um exemplo em minhas anotações de aula. Esta função possui complexidade de tempoO(nlogn)O(nlog⁡n)O(n \log n)? Como o pior caso é a função entra em elseramificação e 2 loops aninhados com complexidade de tempo delognlog⁡n\log n e nnn, então é O(nlogn)O(nlog⁡n)O(n \log n). Estou certo? int j = 3; …

7 complexity-theory  time-complexity  algorithm-analysis  runtime-analysis 

É possível mostrar que a cobertura mínima de vértices em um gráfico bipartido pode ser reduzida a um problema de fluxo máximo? Ou para o problema de corte mínimo (siga o teorema de corte mínimo de fluxo máximo, a reivindicação é válida). Intuitivamente: para cada fluxo, escolha um ponto final …

7 complexity-theory  graph-theory  reductions  network-flow 

Preciso provar que é um subconjunto da união de para todos os .N PNP\mathsf{NP}D T I M E (2nc)DTIME(2nc)\mathsf{DTIME}(2^{n^c})c > 1c>1c > 1 Seja um problema de linguagem / decisão em \ mathsf {NP} . Em seguida, L pode ser decidido dado um certificado de tamanho polinomial em tempo polinomial …

7 complexity-theory  check-my-proof 

Como é, como você prova que o SAT é NP-completo? Eu sei o que significa NP-complete, então não preciso de uma explicação sobre isso. O que eu quero saber é como você sabe que um problema, como o SAT, é NP-completo sem recorrer à redução de outros problemas, como o …

7 complexity-theory  satisfiability 

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Gostaria de saber se existe alguma conexão entre o polígono convexo e o objeto concreto? O que podemos dizer sobre a fundibilidade do objeto se soubermos que o objeto é um polígono convexo e vice-versa. Vamos reunir algumas coisas básicas que precisamos saber. O objeto é moldável se puder ser …

7 complexity-theory  time-complexity  computational-geometry 

Considere um sistema de equações lineares A x = 0Ax=0Ax=0, Onde UMAAA é um n × nn×nn\times nmatriz com entradas racionais. Suponha que a classificação deUMAAA é &lt; n&lt;n<n. Qual é a complexidade de verificar se ele tem uma soluçãoxxx de modo que todas as entradas de xxx são estritamente …

7 algorithms  complexity-theory  linear-algebra 

Muitas vezes, vejo uma frase como essa ao ler textos sobre Complexidade Computacional: "Para este caso especial de " ouTSPTSP\text{TSP} "Este é um caso especial de " ouSATSAT\text{SAT} " - é o seguinte caso especial de " oukkkPARTITIONPARTITION\text{PARTITION}BIN PACKINGBIN PACKING\text{BIN PACKING} " é um caso especial de " nauseam.SUBSET SUMSUBSET …

7 complexity-theory 

Considere o seguinte problema. Dado um conjunto de números inteiros, uma função e , decida se há tal que .SSSf:Z→Zf:Z→Zf : \mathbb{Z} \to \mathbb{Z}k∈Zk∈Zk \in \mathbb{Z}X⊆SX⊆SX \subseteq Sf(∑x∈Xx)=kf(∑x∈Xx)=kf\left(\sum_{x\in X}x\right)=k Isso ainda é considerado um problema de soma de subconjuntos ? Por exemplo, dado S={−7,−3,−2,5,8}S={−7,−3,−2,5,8}\qquad \displaystyle S=\{ −7, −3, −2, 5, …

7 complexity-theory 

Alguém me disse que o registroregistro\logA função foi introduzida para facilitar o cálculo. Se tivermos que calcularx yxyxy, podemos calcular registrox + logyregistro⁡x+registro⁡y\log x+\log y Desde a registrox y= logx + logyregistro⁡xy=registro⁡x+registro⁡y\log xy=\log x+\log y. Como isso pode facilitar o cálculo? Talvez do ponto de vista matemático, mas e o …

6 algorithms  complexity-theory  reference-request  education