Eu tenho duas perguntas: Eu considero o seguinte idioma L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= uu^R\}. Em outras palavras wwwnão é palíndromo com comprimento uniforme. Eu provei que esse idioma NÃO é regular,...
É 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...
Para malhas poligonais 2D, as representações da estrutura de dados QuadEdge e HalfEdge são suficientes para armazenar e permitir a consulta eficiente de todas as informações topológicas e de incidência. Existem estruturas de dados compactas e eficientes para malhas poliédricas 3D? Eu sei que tem...
Comecei a ler um livro chamado Introdução à compactação de dados, de Guy E. Blelloch. Na página um, ele afirma: A verdade é que, se qualquer mensagem for encurtada por um algoritmo, outra mensagem precisará ser prolongada. Você pode verificar isso na prática executando o GZIP em um arquivo GIF....
Estou particularmente interessado em soluções para o problema que a pesquisa encapsulada pode depender da ordem da avaliação. De acordo com [1], a pesquisa encapsulada no PAKCS depende da ordem da avaliação, enquanto no MCC, não, mas seu uso requer conhecimento da implementação do compilador e não...
XOR não é o nome correto, mas estou procurando algum tipo de comportamento exclusivo. Atualmente, estou resolvendo um conjunto de problemas diferentes (de atribuição) modelando redes de fluxo e executando um algoritmo min-cost-max-flow. As redes de fluxo são bastante úteis, pois muitos problemas...
Dada uma matriz inteira (tamanho máximo 50000), tenho que encontrar o mínimo e o máximo XXX de tal modo que X=ap⊕ap+1⊕⋯⊕aqX=ap⊕ap+1⊕⋯⊕aqX = a_p \oplus a_{p+1} \oplus \dots \oplus a_q para alguns ppp, qqq com p≤qp≤qp \leq q. Eu tentei este processo: sumi=a0⊕a1⊕⋯⊕aisumi=a0⊕a1⊕⋯⊕ai\text{sum}_i = a_0...
O problema da 3-Coloração pode ser comprovado pelo NP-Complete, utilizando a redução do 3SAT Graph Coloring (da 3SAT) . Como consequência, o problema 4-Coloring é NP-Complete usando a redução de 3-Coloring: Redução da instância de 3 cores: adicionando um vértice extra ao gráfico do problema de 3...
Eu realmente gostaria da sua ajuda para provar ou refutar a seguinte reivindicação: . Na teoria da complexidade computacional, BPP, que significa tempo polinomial probabilístico de erro limitado é a classe de problemas de decisão solucionáveis por uma máquina de Turing probabilística em tempo...
Considere o seguinte problema: Seja definido um wheel como uma lista indexada circularmente indexada de inteiros. Por exemplo…kkkkkk {3, 4, 9, -1, 6} … É um 5 rodas com 3 na posição 0, 4 na posição 1 e assim por diante. Uma roda suporta a operação de rotação, de modo que uma rotação...
Considere o seguinte problema: Deixei kkkseja uma constante. Nos é dado umkkkmatriz -ary Ad1×…×dkAd1×…×dkA_{d_1\times\ldots\times d_k} do 000 e 111's. DeixeiN=∏ki=1diN=∏i=1kdiN = \prod_{i=1}^k d_i. Queremos criar uma estrutura de dados pré-processando AAA para executar o seguinte tipo de...
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...
Teoricamente falando, é possível ter um compilador Lisp / Scheme que possa produzir código que possa competir com o C compilado, digamos com margem de 15 a 25%? Nos meus testes, descobri que a atual safra de compiladores (Bigloo, SBCL, Gambit, Chicken etc.) é 20 a 50 vezes mais lenta que o código...
Entrada: um conjunto deℓℓ\ell matrizes UMAEuAiA_i(de números). Os elementos em cada matriz estão em ordem classificada, mas o conjunto de matrizes não é necessariamente classificado. As matrizes não são necessariamente do mesmo tamanho. O número total de elementos énnn. Saída: Okkko menor...
Eu tenho algumas dificuldades em entender o algoritmo distribuído para a árvore 6 - colorir no tempo .O(log∗n)O(log∗n)O(\log^*n) A descrição completa pode ser encontrada no seguinte artigo: Quebra de simetria paralela em gráficos esparsos. Goldberg, Plotkin, Shannon . Em suma, a ideia é ... A...
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:...
Estou procurando aplicações práticas de máquinas de estado finito como máquinas DFA, NFA, Moore, Mealy ... Seria útil se alguém apontasse para exemplos do Linux Kernel. Eu sei que o DFA é usado na correspondência de strings como o algoritmo KMP. Qual é o significado das máquinas NFA, Moore e...
Sou muito novo em redes neurais e tenho tentado descobrir algumas coisas. Então, digamos que você encontre uma rede neural com 100 entradas, uma camada oculta com 200 nós e 32 saídas. Digamos também que você, o "descobridor" dessa instância específica de uma rede neural, é capaz de ler os pesos dos...
Deixei A={L∣Lis one-counter and L¯ is also one-counter}A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Claramente, Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A É o...
O Sudoku é um quebra-cabeça bem conhecido que é conhecido por ser NP-completo e é um caso especial de um problema mais geral conhecido como quadrados latinos. Uma solução correta do quadrado consiste em preencher todas as linhas e todas as colunas com números de a sob a condição de que todo número...