Ciência da Computação

Perguntas e respostas para estudantes, pesquisadores e profissionais de ciência da computação

1
Teste probabilístico de multiplicação de matrizes com erro unilateral
Dadas três matrizes queremos testar se . Suponha que as operações aritméticas e tenham tempo constante quando aplicadas a números de .A,B,C∈Zn×nA,B,C∈Zn×nA, B,C \in \mathbb{Z}^{n \times n}AB≠CAB≠CAB \neq C+++−−-ZZ\mathbb{Z} Como posso declarar um algoritmo com erro unilateral que é executado no tempo e provar sua correção?O(n2)O(n2)O(n^2) Eu tentei agora por …
2
Nós de baixo grau em gráficos esparsos
Deixei G = ( V, E)G=(V,E)G = (V,E) ser um gráfico tendo nnn vértices, nenhum dos quais está isolado, e n - 1n-1 1n−1 bordas, onde n ≥ 2n≥2n \geq 2. Mostre queGGG contém pelo menos dois vértices de grau um. Eu tentei resolver esse problema usando a propriedade ∑v …
1
Que técnicas existem para computação e rede com eficiência energética?
Atualmente, estou analisando os potenciais da computação em nuvem em relação à eficiência energética e à TI verde. Em conexão com esta revisão, estou examinando as técnicas para aumentar a eficiência energética em data centers (computação), hardware, redes e dispositivos de armazenamento. Especificamente para computação / servidores, já encontrei alguns: …
1
como você prova que o SAT é NP-completo?
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 …
1
Prove impressões digitais
Deixei a≠ba≠ba \neq bsejam dois inteiros do intervaloSeja um primo aleatório comProve que [1,2n].[1,2n].[1, 2^n].ppp1≤p≤nc.1≤p≤nc. 1 \le p \le n^c.Prp∈Primes{a≡b(modp)}≤cln(n)/(nc−1).Prp∈Primes{a≡b(modp)}≤cln⁡(n)/(nc−1).\text{Pr}_{p \in \mathsf{Primes}}\{a \equiv b \pmod{p}\} \le c \ln(n)/(n^{c-1}). Dica: Como conseqüência do teorema do número primo, exatamente muitos números de são primos.n/ln(n)±o(n/ln(n))n/ln⁡(n)±o(n/ln⁡(n))n/ \ln(n) \pm o(n/\ln(n)){1,…,n}{1,…,n}\{ 1, \ldots, n \} Conclusão: …
2
Invariante para loop aninhado no programa de multiplicação de matrizes
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 
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.