Esses slides de aula esboçam uma prova de que não pode ser aceito por nenhum Empurrão Determinístico Autômato. Infelizmente, os slides não fornecem referências sobre a origem da prova.L = {umanbn∣ n ≥ 0 } ∪ {umanb2 n∣ n ≥ 0 }eu={umanbn∣n≥0 0}∪{umanb2n∣n≥0 0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{...
Defina a equivalência de Nerode sobre um idioma como iff para cada .L⊆Σ∗eu⊆Σ∗L \subseteq \Sigma^{*}u∼Lvvocê∼euvu \sim_L vuw∈L⇔vw∈LvocêW∈eu⇔vW∈euuw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} A equivalência Nerode possui finitas classes de equivalência precisamente quando pode ser...
Dado um gráfico , encontre vértices , cuja remoção resultaria em um gráfico com o menor componente maior. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Presumo quee grande o problema é difícil (NP-difícil), mas estou interessado em pequenos valores de k ( k \ in \ {1, 2,...
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á...
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, estático...
Isso está um pouco relacionado a outra pergunta que fiz , mas acho que é diferente o suficiente para justificar sua própria pergunta. Estou pesquisando onde estou tentando encontrar a estrutura de complementos de uma determinada classe de linguagens finitas. É fácil para mim conseguir o mínimo de...
Ao calcular a dependência do tempo de execução da entrada, quais cálculos são considerados? Por exemplo, acho que aprendi que a indexação de array e as instruções de atribuição não são contadas, por que
Atualmente, estou trabalhando na minha tese de mestrado, e trata-se de agrupar em gráficos. Estou trabalhando com uma ideia usando formigas para resolver o problema. Atualmente, estou trabalhando na implementação e estou me perguntando exatamente quão bem pode representar as bordas do...
Dada uma matriz classificada de números inteiros, quero encontrar o número de pares que somam 0 000. Por exemplo, dado{ - 3 , - 2 , 0 , 2 , 3 , 4 }{−3,−2,0,2,3,4}\{-3,-2,0,2,3,4\}, o número de pares soma a zero é 222. Deixei NNNseja o número de elementos na matriz de entrada. Se eu usar a pesquisa...
De acordo com o CLRS, os algoritmos do Prim são implementados como abaixo - MST-PRIM(G,w,r)MST-PRIM(G,w,r)\mathtt{\text{MST-PRIM}}(G,w,r) para cada u∈V[G]u∈V[G]u \in V[G] Faz key[u]←∞key[u]←∞\mathtt{\text{key}}[u] \leftarrow \infty π[u]←NILπ[u]←NIL\pi[u] \leftarrow...
Sou Ph.D. iniciante estudante de ciência da computação, e estou tentando entender alguns trabalhos clássicos sobre teoria dos jogos, como os de Nash, Kalai e Smorodinsky. Mas acho difícil entender as partes matemáticas. Parece que esses trabalhos foram escritos por matemáticos, para...
Estou procurando um algoritmo que forneça uma string canônica para um determinado gráfico colorido. Ou seja. um algoritmo que retorna uma string para um gráfico, de modo que dois gráficos obtenham a mesma string se e somente se forem isomórficos. Em particular, estou procurando um algoritmo...
Vários algoritmos populares de aprendizado de máquina, como regressão logística ou redes neurais, exigem que suas entradas sejam numéricas. O que me interessa é como você faz esses algoritmos funcionarem em entradas não numéricas (como seqüências de caracteres curtas). Como exemplo, digamos que...
Imagine que eu tenho um pedido em vários elementos como este: Onde uma flecha X←YX←YX \leftarrow Y significa X<YX<YX < Y. Também é transitivo:(X<Y)∧(Y<Z)⟹(X<Z)(X<Y)∧(Y<Z)⟹(X<Z)\left(X < Y\right) \wedge \left(Y < Z\right) \implies \left(X < Z\right). Para responder com...
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...
Seja e sejam vetores de variáveis booleanas. Eu tenho um predicado booleano em . Dou à minha amiga Priscilla . Em resposta, ela me fornece , um predicado booleano em , e ela afirma
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 G....
Parece-me que, tomando conta de todo o gráfico, a norma do vetor de erro deve estar diminuindo monotonicamente; caso contrário, não poderíamos garantir que o PageRank jamais convergisse. No entanto, o mesmo vale por vértice? Ou seja, da iteração t para a iteração t + 1, é garantido que o erro ao...
Eu tenho gráficos e com com que passam verificações de sanidade como como lema sem homomorfismo. Existem ferramentas gratuitas e fáceis de usar para testar o homomorfismo gráfico de para
Estou tendo problemas para entender por que é fácil detectar ciclos de peso negativo (Bellman Ford), mas é difícil encontrar o ciclo de peso máximo em um gráfico não direcionado. Se negarmos o peso de cada aresta, podemos descobrir facilmente se existem ciclos com peso total> 0. No entanto,...