Ciência da Computação

Dado um gráfico direcionado G = ( V, A )G=(V,A)G = (V,A), um conjunto de arco de feedback é um conjunto de arcos cuja remoção deixa um gráfico acíclico. O problema é encontrar a cardinalidade mínima desse conjunto. Eu quero descobrir se existe algum algoritmo de aproximação em torno desse …

7 algorithms  graph-theory  approximation 

Isso não é lição de casa. Eu tenho a solução, mas não é o que estou recebendo. Sei que existem várias soluções para o problema, mas quero ter certeza de que não estou perdendo nada. A questão é a seguinte: Prove que 2 - 4n + 7 = Θ ( …

7 asymptotics 

Wikipedia : O teorema do programa estruturado [...] afirma que qualquer [...] algoritmo pode ser expresso usando apenas três estruturas de controle. Eles são Executando um subprograma e depois outro subprograma (sequência) Executando um dos dois subprogramas de acordo com o valor de uma expressão booleana (seleção) Executando um subprograma …

7 computability  programming-languages  computation-models 

Nota: movi esta pergunta de stackoverflow.com Eu tenho um problema algorítmico no qual gostaria de ver se ele pode ser resolvido melhor do que O(n)O(n)O(n): Eu dei uma mesa TTT do nnn elementos em que cada elemento é uma tupla (si,ei)(si,ei)(s_i, e_i)com e , ou seja, cada tupla é uma …

7 algorithms  search-algorithms 

Eu vi duas expressões lambda diferentes para a função lógica NOT. Um deles apenas aplica seu parâmetro a constantes truee falseinternamente em uma ordem inversa: NOT=λx.xfalsetrue=λx.x(λt.λf.f)(λt.λf.t)NOT=λx.xfalsetrue=λx.x(λt.λf.f)(λt.λf.t)NOT \;\;=\;\; \lambda x.\; x \; \mbox{false}\; \mbox{true} \;\;=\;\; \lambda x. \; x \; (\lambda t.\lambda f.f) \; (\lambda t. \lambda f. t ) e …

7 lambda-calculus 

Considere um idioma regular LLL. Seja um DFA mínimo para e seja um NFA mínimo para (mínimo no sentido do menor número possível de estados para um autômato que reconheça o idioma especificado). Escrevapara o tamanho (número de estados) do autómato . Em geral,pode ser muito menor que(até , pois …

7 formal-languages  automata  finite-automata  descriptive-complexity 

Alguns seres humanos conseguem ler muito bem os lábios: observando alguém que está falando, eles podem dizer o que o falante está dizendo (mesmo sem ouvir o discurso). Houve algum trabalho na construção de software para leitura labial? Em outras palavras, dado um vídeo de alguém falando, é possível criar …

7 reference-request  computer-vision  pattern-recognition  facial-recognition 

Dada uma máquina de Turing , dizemos que se a linguagem decidida pela máquina puder ser decidida por alguma máquina em tempo polinomial. Dizemos que se a máquina funcionar em tempo polinomial. Note-se que pode haver máquinas que rodam desnecessariamente longo, mas ainda decidir um idioma em P . Pelo …

7 computability  time-complexity  turing-machines 

Por uma máquina de Turing de baunilha, quero dizer uma máquina de Turing com uma fita (sem fitas especiais de entrada ou saída). O problema é como se segue: a fita é inicialmente vazia, com excepção de uma série de s e s terminadas por um caractere de fim-de-corda. A …

7 complexity-theory  turing-machines  time-complexity  lower-bounds 

O teorema de Ramsey afirma que todo gráfico com nós contém um clique ou um conjunto independente com pelo menos nós.nnn12log2n12log2⁡n\frac{1}{2}\log_2 n Tentei procurar em alguns lugares (incluindo o Sipser), mas não consegui entender muito bem as provas. Eu apreciaria se alguém pudesse me dar uma prova (ou uma intuição …

7 graph-theory  proof-techniques  combinatorics  discrete-mathematics 

Para minha tese de bacharelado, considero a classe de idiomas reconhecida pelos DFAs simétricos, ou seja, autômatos finitos determinísticos (completos) que atendem à seguinte condição: Seja um DFA completo sobre o alfabeto . Se, para cada e cada transição em , há uma transição em , chamamos uma simétrica DFA …

7 formal-languages  reference-request  regular-languages  finite-automata 

Tenho a noção de uma rede social que é robusta contra ataques maliciosos externos. Minha visão é um sistema estruturado estruturalmente como uma rede distribuída de servidores iguais que operam nos mesmos dados e oferecem serviços idênticos. Todos os usuários devem interagir na mesma rede, independentemente do respectivo servidor com …

7 distributed-systems 

Existem problemas de CS, de preferência abertos, relacionados à música ou à teoria musical de alguma forma? Eu pensaria em problemas com notação musical, mas também em probabilidades ao randomizar de acordo com uma escala, uma tonalidade ou geral, o que é considerado harmonia em frequências e física, eletromagnetismo e …

7 probability-theory  decision-problem  probabilistic-algorithms 

Recebi uma árvore não direcionada no sentido teórico usual dos grafos. Dado um vértice um incidente de edge em , preciso responder a consultas do formulário retornando qualquer folha de que seja alcançável de com um caminho incluindo e nenhuma outra borda incidente para ? Mais informalmente, a restrição é …

7 algorithms  data-structures  trees 

Suponha que eu tenha um problema de decisão e o codifique para um idioma . Agora, também posso codificá-lo para um idioma diferente .DDDL ⊂ { 0 , 1}∗eu⊂{0 0,1 1}∗L \subset \{0,1\}^*eu′eu′L' Existe algum teorema relacionando a complexidade temporal de e ?eueuLeu′eu′L' Como a complexidade temporal de um problema …

7 complexity-theory  terminology  time-complexity