Ciência da Computação

O conhecido problema SAT é definido aqui para fins de referência. O problema DOUBLE-SAT é definido como DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Como provamos que é NP-completo? Mais de uma …

13 complexity-theory  np-complete  satisfiability 

A programação dinâmica pode reduzir o tempo necessário para executar um algoritmo recursivo. Eu sei que a programação dinâmica pode ajudar a reduzir a complexidade do tempo dos algoritmos. As condições gerais são tais que, se atendidas por um algoritmo recursivo, implicam que o uso de programação dinâmica reduza a …

13 algorithms  dynamic-programming  efficiency  algorithm-design 

Sou iniciante (novato em teoria da complexidade computacional) e tenho uma pergunta. Digamos que tenhamos 'Problema do Vendedor Viajante', a seguinte aplicação dos Algoritmos de Dijkstra o resolverá? A partir de um ponto inicial, calculamos a menor distância entre dois pontos. Nós vamos direto ao ponto. Nós excluímos o ponto …

13 algorithms  graphs 

Ao relatar a complexidade algorítmica de um algoritmo, assume-se que os cálculos subjacentes são executados em alguma máquina abstrata (por exemplo, RAM) que se aproxima de uma CPU moderna. Tais modelos nos permitem relatar a complexidade de algoritmos no tempo e no espaço. Agora, com a expansão das GPGPUs , …

13 complexity-theory  computer-architecture  power-consumption  machine-models 

Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Computer Science Stack Exchange. Fechado há 2 anos . Os tipos AFAIU podem ser a Setcujos elementos são programas ou a propositioncujos …

13 dependent-types  coq 

Se eu tiver duas matrizes e , das dimensões e , respectivamente, e quiser calcular , é mais eficiente reescrever a expressão como e só então avaliar numericamente, porque é da dimensão mas é da dimensão .AAABBB1000×21000×21000\times22×10002×10002\times1000(AB)5000(AB)5000(AB)^{5000}A(BA)4999BA(BA)4999BA(BA)^{4999}BABABAB1000×10001000×10001000\times1000BABABA2×22×22\times2 Eu quero resolver uma versão generalizada deste problema. Existe um algoritmo razoavelmente eficiente …

13 optimization  dynamic-programming  linear-algebra 

Estou lendo um artigo, e ele diz na descrição da complexidade do tempo que a complexidade do tempo é .O~( 22 n)O~(22n)\tilde{O}(2^{2n}) Pesquisei na Internet e na Wikipedia, mas não consigo encontrar o que esse til significa na notação big-O / Landau. No próprio artigo, também não encontrei nenhuma pista …

13 landau-notation 

Pelo que li no preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Esta é a definição do PTAS : Um esquema de aproximação de tempo polinomial ( PTAS ) para …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Nossos computadores atuais usam bits, então eles usam o sistema de números binários. Mas ouvi dizer que os futuros computadores quânticos usarão qubits em vez de bits simples. Como na palavra "qubit" existe a palavra "bi", pensei primeiro que isso significava que computadores quânticos usariam binário (base 2). Mas então …

13 computer-architecture  quantum-computing  numeral-representations 

Eu pensei que esta pergunta é melhor atendida na parte CS do Stack Exchange. Agora que temos GPGPUs com idiomas como CUDA e OpenCL, as extensões SIMD multimídia (SSE / AVX / NEON) ainda servem a um propósito? Li recentemente um artigo sobre como as instruções SSE poderiam ser usadas …

13 computer-architecture  parallel-computing 

O problema Não há uma maneira fácil de obter uma permutação com um regex. Permutação: Obtendo uma palavra ("aabc") para outra ordem, sem alterar o número ou o tipo de letras.w=x1…xnw=x1…xnw=x_1…x_n Regex: expressão regular. Para verificação: "Permutações de regex sem repetição" A resposta cria código JavaScript em vez de regex, …

13 formal-languages  regular-languages  regular-expressions 

Estou com um problema com este exercício: Seja G a seguinte gramática ambígua para o cálculo λ: E → v | λv.E | EE | (E) onde E é o único símbolo não terminal, λv.E representa a abstração da variável v em E e EE representa a aplicação. Defina uma …

13 context-free  formal-grammars  compilers  parsers 

Qual é a complexidade de e \ text {MAX-2-XOR-SAT} ? Eles estão em P? Eles são NP-difíceis?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Para formalizar isso com mais precisão, vamos Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, onde x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) e cada cláusula CiCiC_i tem a forma (xi⊕xj)(xi⊕xj)(x_i \oplus x_j) ou (xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) . O problema 2-XOR-SAT2-XOR-SAT\text{2-XOR-SAT} é …

13 complexity-theory  optimization  np-hard  satisfiability 

Eu li sobre o NPC e sua relação com o PSPACE e gostaria de saber se os problemas do NPC podem ser resolvidos deterministicamente usando um algoritmo com o pior requisito de espaço polinomial, mas potencialmente levando tempo exponencial (2 ^ P (n) onde P é polinomial). Além disso, ele …

12 complexity-theory  np-complete  np 

Se uma função tiver o tipo de retorno ⊥ ( tipo inferior ), isso significa que nunca retorna. Pode, por exemplo, sair ou jogar, ambas as situações bastante comuns. Presumivelmente, se uma função tivesse um parâmetro do tipo ⊥ nunca poderia (com segurança) ser chamada. Existe alguma razão para definir …

12 type-theory  type-checking