Ciência da Computação

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 

Eu desenvolvi o seguinte pseudocódigo para o problema da soma dos pares: Dada uma matriz de números inteiros e um número inteiro , retorne YES se houver posições i, j em A com A [i] + A [j] = b , NO caso contrário.AAAbbbi,ji,ji,jAAAA[i]+A[j]=bA[i]+A[j]=bA[i] + A[j] = b Agora devo …

7 algorithms  proof-techniques  loop-invariants 

Foi-me dada a pergunta Onde o idioma a seguir se encaixa na hierarquia de Chomsky? Soluções não negativas ( x , y)(x,y)(x,y) para a equação diofantina 3 x - y= 13x−y=13x-y=1. Eu entendo idiomas como L = {0 0n1 1n∣ n ≥ 1 }L={0n1n∣n≥1}L = \{ 0^n1^n \mid n \ge …

7 formal-languages  computability 

Em um conjunto parcialmente ordenado, sempre posso ordenar dois elementos arbitrários fora do conjunto? Ou é possível que dois elementos dentro do conjunto não tenham relação de ordem entre si? Por exemplo, se houver três elementos { a , b , c }{uma,b,c}\{a, b, c\}e e , ou têm que …

7 terminology  discrete-mathematics  order-theory 

Estou revendo para o meu meio termo e queria postar isso para ver se alguém pode detectar algum erro. Eu devo fazer um PDA que reconheça esse CFG: SR→R1R1R1→0R∣1R∣εS→R1R1R1R→0R∣1R∣ε\qquad\begin{align} S &\to R1R1R1 \\ R &\to 0R \mid 1R \mid \varepsilon \end{align} Aqui está a minha solução; Estou ciente de que …

7 formal-languages  automata  context-free  pushdown-automata 

Observe que estou ciente da indecidibilidade da conversão de gramática livre de contexto em gramática regular. Mas, dada a propriedade de não incorporação da gramática livre de contexto de entrada, existe algum algoritmo para convertê-la em gramática regular ou diretamente no DFA?

7 formal-languages  formal-grammars  context-free 

Eu tenho um gráfico ponderado direcionado . Sempre existe uma aresta de um vértice para outro , o peso pode ser infinito positivo e não existe ciclo negativo.G = ( V, E, W)G=(V,E,W)G = (V, E, W)EuEuijjjw ( i , j )W(Eu,j)w(i,j) Uma execução de alguns algoritmos encontrará os comprimentos …

7 algorithms  graph-theory 

Suponha que um determinado aplicativo paralelo use um design mestre-escravo para processar um grande número de cargas de trabalho. Cada carga de trabalho leva algum número de ciclos para ser concluída; o número de ciclos que uma determinada carga de trabalho levará é dado por uma variável aleatória conhecidaXXX. Suponha …

7 scheduling  distributed-systems  parallel-computing 

Existe um circuito aritmético equivalente para cada função computável? Eu tenho tentado entender a afirmação acima, mas não encontrei um exemplo contrário, apesar de acreditar que a afirmação é falsa. O que me deixou curioso é que li alguns teoremas afirmando que um protocolo (teoria do protocolo de criptografia) pode …

6 computability  computation-models  cryptography  circuits  simulation 

Como parte de um curso que estou ministrando sobre Estruturas de Dados, quero que os alunos pesquisem e apresentem o uso de Estruturas de Dados em softwares / serviços populares. No entanto, o Google básico mostra que essas informações não estão tão prontamente disponíveis. Alguém pode me indicar os recursos …

6 data-structures  reference-request  applied-theory 

Estou procurando um algoritmo on-line que utiliza um fluxo de elementos e preserva os elementos que estão na fronteira de Pareto (por exemplo, todos os elementos não dominados). Por exemplo. Dadas as seguintes entradas, o conjunto de fronteiras retidas de Pareto evoluiria da seguinte maneira: (3,7) inserir elemento b / …

6 algorithms  search-algorithms 

Eu tenho um spline cúbico 2D (Bézier) e tenho a linha de polígono que é uma discretização desse spline. Existe uma maneira eficiente e simples de implementar uma maneira de calcular a curvatura máxima do spline usando sua representação suave ou a polilinha discreta? Não precisa ser exato, pois é …

6 algorithms  numerical-algorithms 

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 

Pelo que entendi o efeito comboio , no contexto do tráfego de veículos em um sistema rodoviário. Um grupo de veículos em movimento lento passa pelo sistema, diminuindo o tráfego, mesmo em áreas que não foram diretamente afetadas pelo comboio. Como isso se aplica no contexto do agendamento da CPU? …

6 operating-systems  process-scheduling 

Quero saber se esse problema é solucionável em tempo polinomial ou não? O problema é: Dada uma matriz com valor inteiro não negativo de tamanho dois números inteiros não negativos e .2×n2×n2\times nb&lt;nb&lt;nb<nccc A questão é: Encontre um subconjunto das colunas de cardinalidade no máximo modo que a soma de …

2 algorithms  complexity-classes