Ciência da Computação

Luto com poucas definições na representação do conhecimento e busco ajuda credível para distinguir entre elas. Eu tenho procurado na wikipedia e em muitos sites a diferença entre ontologias e redes semânticas (para não confundir com a web semântica). Enquanto a página da wikipedia na rede semântica nunca se refere …

9 terminology  knowledge-representation  ontologies 

Os caches da CPU são usados ​​explorando a localidade temporal e espacial. Minha pergunta é quem é responsável por gerenciar esses caches? Este sistema operacional identifica um padrão de acesso específico e depois gerencia (ou seja, armazena os dados) o cache, usando chamadas de função de sistema operacional de baixo …

9 computer-architecture  cpu-cache 

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 

Lendo esta pergunta " Problemas indecidíveis de ER naturais, mas não completos de Turing ", veio à minha mente o seguinte idioma: Se for a função de castor ocupado (pontuação máxima atingível entre todas as máquinas de Turing de estado n de dois símbolos com parada do tipo descrito acima, …

9 computability  turing-machines 

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 

Considere um gráfico não direcionado com uma fonte e um vértice de coletor. Gostaríamos de remover o número mínimo de vértices nesse gráfico para desconectar qualquer caminho entre a origem e o coletor. Podemos fazer isso usando, por exemplo, um algoritmo de fluxo máximo e min-cut?

9 algorithms  graph-theory  network-flow 

Queremos ladrilhar m × mm×mm\times m quadrado usando dois tipos de ladrilhos: 1 × 11 1×1 11 \times 1 quadrado e 2×22×22 \times 2 quadrado, de forma que todos os quadrados subjacentes sejam cobertos sem sobreposição. Vamos definir uma função f(n)f(n)f(n) que fornece o tamanho do maior quadrado cultivável exclusivamente …

9 computability  combinatorics 

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 

Por que os números computáveis ​​(no sentido de Turing) são enumeráveis? Deve ser muito óbvio, mas atualmente não estou vendo.

9 computability  turing-machines  enumeration 

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 

Estou preso neste problema: Dada uma matriz dos primeiros números naturais permutados aleatoriamente, uma matriz é construída, de modo que é o número de elementos de a que são menores que . UMAAAnnnBBBB ( k )B(k)B(k)A ( 1 )A(1)A(1)A ( k - 1 )A(k−1)A(k-1)A ( k )A(k)A(k) i) Dado você …

9 algorithms  arrays  permutations 

Estou procurando um algoritmo eficiente para encontrar o padrão repetido mais longo em uma string. Por exemplo, considere a seguinte sequência de números: 5431428571428571428571428571427623874534. Como você pode ver, 142857142857é o padrão mais longo repetido algumas vezes (pelo menos duas vezes) nessa sequência. A sequência repetida não deve conter mais nenhuma …

9 algorithms  strings  subsequences 

Eu tenho uma consulta complexa usada para pesquisar um conjunto de dados para encontrar . Cada consulta leva em média o tempo portanto o tempo total na pesquisa linear é. Posso dividir uma consulta em subconsultas mais simples q_i e encontrar e onde . Cada subconsulta é muito mais rápida …

9 algorithms  optimization  machine-learning  greedy-algorithms  databases 

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 

Fiz meus exames de teoria da computação há algumas semanas e essa foi uma das perguntas: Assuma o idiomaL = { ( anbm)r∣ n , m , r ≥ 0 }L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L é regular? Se sim, forneça uma expressão regular ou um autômato. Depois que eu lhe …

9 formal-languages  regular-languages  regular-expressions