Ciência da Computação

Tenho uma pergunta sobre a contagem de DFAs: Dada uma Σ = {0, 1}sequência de entrada, com o estado definido Q = {1...n}, como eu encontraria o número total de DFAs que podem ser construídos? Acredito que este seja um problema combinatório, mas não tenho muita certeza do que precisaria …

8 finite-automata  combinatorics 

Estou tentando encontrar uma solução eficiente para o meu problema. Vamos supor que eu tenha um gráfico ponderado positivo Gcontendo 100 nós (cada nó esteja numerado) e seja um gráfico acíclico. Portanto, não pode haver borda como 2,2 ou 2,1. Eu tenho uma lista de nós, digamos 10 do gráfico …

8 graph-theory  graphs  shortest-path  weighted-graphs 

O problema da partição é um problema NP-completo bem conhecido. Nas definições que eu vi, a entrada é assumida como um conjunto múltiplo de números inteiros, e queremos decidir a existência de uma partição em dois conjuntos com a mesma soma. Minha pergunta é: O problema da partição ainda está …

8 complexity-theory  np-complete  partitions 

Espero que minha pergunta faça sentido: começando com a premissa de que o não digitado λλ\lambda o cálculo é equivalente em potência a uma máquina de Turing; ao que em uma máquina de Turing corresponde a adição de tipos ao cálculo ? Existe algum tipo de autômato analógico para digitação, …

8 turing-machines  lambda-calculus  type-theory  church-turing-thesis 

Contar todos os caminhos possíveis, ou todos os caminhos possíveis com um determinado comprimento, entre dois nós em um gráfico direcionado ou não direcionado é um problema clássico. Atenção deve ser dada a todos os meios, devido aos ciclos possíveis. Esta questão é um pouco diferente, ou pelo menos eu …

8 algorithms  graphs  search-algorithms  shortest-path 

Costumo ler que decidir se um número é um resíduo quadrático módulo é um problema interessante (e difícil) da teoria dos números (especialmente se não for primo).rrrnnnnnn Estou analisando o seguinte caso especial desse problema: Vamos ppp e qqq ser dois números primos diferentes e n : = p qn: …

8 cryptography  number-theory 

Para uma linguagem com comprimento de bombeamento e uma string , os lemas de bombeamento são os seguintes:LLLppps∈Ls∈Ls\in L Versão regular : If , então pode ser escrito como , atendendo às seguintes condições:|s|≥p|s|≥p|s| \geq psssxyzxyzxyz |y|≥1|y|≥1|y|\geq 1 |xy|≤p|xy|≤p|xy|\leq p ∀i≥0:xyiz∈L∀i≥0:xyiz∈L \forall i\geq 0: xy^iz\in L Versão sem contexto : …

8 formal-languages  regular-languages  context-free  pumping-lemma 

É sabido que as línguas regulares são caracterizadas pela equivalência Myhill-Nerode. Para o idiomaeuLL sobre Σ∗Σ∗\Sigma^* defina a equivalência x∼euyx∼Lyx\sim_L y sobre Σ∗Σ∗\Sigma^* iff para todos z∈Σ∗z∈Σ∗z\in\Sigma^* temos x z∈ L⟺yz∈ Lxz∈L⟺yz∈Lxz\in L \iff yz\in L. EntãoeuLL é regular se ∼eu∼L\sim_L é de índice finito, ou seja, possui um número …

8 regular-languages  closure-properties 

Dizem que "a máquina de Turing não é uma tecnologia de computação prática, mas um dispositivo hipotético que representa uma máquina de computação. As máquinas de Turing ajudam os cientistas da computação a entender os limites da computação mecânica". [Wikipedia] Então, em qual modelo as máquinas atuais são construídas?

8 turing-machines  computer-architecture  machine-models 

Uma porta de limite que implementa uma função de limite linear em entradas booleanas é dada pela equação: onde . Os são chamados de pesos da função de limiar e é chamado de limiar e, naturalmente, o gate dispara na entrada se a soma ponderada dada pela equação acima exceder …

8 complexity-theory  circuits 

Abaixo está a expressão lambda que estou achando difícil de reduzir, ou seja, não consigo entender como resolver esse problema. ( λ m n . ( λ s z. m s ( n s z) ) ) ( λ s z. s z) ( λ s z. s z)(λmn.(λsz.ms(nsz)))(λsz.sz)(λsz.sz)(\lambda mn.(\lambda …

8 logic  lambda-calculus 

Eu tenho duas cordas, onde uma é uma permutação da outra. Eu queria saber se existe uma alternativa à distância de Hamming, onde, em vez de encontrar o número mínimo de substituições necessárias, ele encontraria o número mínimo de translocações necessárias para ir da string a para a string b. …

8 terminology  string-metrics  permutations  edit-distance 

Se são diferentes, quais são os problemas típicos em cada um que não se enquadram na outra categoria? Ou são mutuamente exclusivos ou um captura completamente o outro?

8 computability  terminology 

Introduction to Algorithms , 3rd edition (p.95) tem um exemplo de como resolver a recorrência T(n)=3T(n4)+n⋅log(n)T(n)=3T(n4)+n⋅log⁡(n)\displaystyle T(n)= 3T\left(\frac{n}{4}\right) + n\cdot \log(n) aplicando o Teorema Mestre. Estou muito confuso com a forma como é feito. Então, primeiro passo é comparar com .a=3,b=4,f(n)=n⋅log(n)a=3,b=4,f(n)=n⋅log⁡(n)a=3, b=4, f(n) = n\cdot \log(n)nregistrobuma=nregistro43= O (n0,793)nregistrob⁡uma=nregistro4⁡3=O(n0,793)n^{\log_b a} = …

8 asymptotics  recurrence-relation  landau-notation  mathematical-analysis  master-theorem 

se eu tiver uma gramática com uma produção que contenha recursão esquerda e fatoração esquerda como F→ FB a ∣ c D S∣ cF→FBuma∣cDS∣c\qquad \displaystyle F \to FBa \mid cDS \mid c qual deles tem prioridade, recursão esquerda ou fatoração esquerda?

8 formal-languages  formal-grammars  parsers  left-recursion