Ciência da Computação

Defina . Em outras palavras, é o conjunto de primeiras metades de cadeias de comprimento, mesmo em . Diante disso, se é livre de contexto, ser livre de contexto?FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L) = \{x \in \Sigma^* : \exists y \in \Sigma^* \text{ with …

7 formal-languages  context-free  closure-properties 

Estou tentando resolver o próximo exame e não tenho idéia de como gerar a gramática para idiomas sensíveis ao contexto, por exemplo, como devo proceder nesse tipo de pergunta. Forneça uma gramática sensível ao contexto (não apenas para aumentar o comprimento) {www:w∈{a,b}⋆}{WWW:W∈{uma,b}⋆}\{www : w ∈ \{a, b\}^⋆\}. Idéias ou abordagens …

7 formal-languages  formal-grammars  context-sensitive 

Digamos que temos três DFAs. Nós sabemos como OR, AND, ou NOT eles. Mas como alguém os XOR? Não há uma única menção a isso online. xX O RyX O Rz= ( ( x | y) ( ¬ x | y) | z) ( ¬ ( ( x | y) …

7 automata  finite-automata  closure-properties 

Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 5 anos . Quais problemas de processamento de linguagem natural são NP-Complete ou …

7 complexity-theory  reference-request  np-complete  np-hard  natural-language-processing 

Eu tenho uma lição de casa que eu deveria encontrar a fórmula e a ordem de T(n)T(n)T(n) dado por T(1)=1T(n)=T(n−1)T(n−1)+1.T(1)=1T(n)=T(n−1)T(n−1)+1.T(1) = 1 \qquad\qquad T(n) = \frac{T(n-1)}{T(n-1) + 1}\,. Eu estabeleci que T(n)=1nT(n)=1nT(n) = \frac{1}{n}mas agora estou um pouco confuso. ÉT(n)∈O(1n)T(n)∈O(1n)T(n) \in O(\frac{1}{n}) a resposta correta para a segunda parte? Com …

7 algorithm-analysis  asymptotics  recurrence-relation 

(Para referência, eu estou usando o livro "Aprendizado de máquina: uma perspectiva probabilística" de Kevin P Murphy e implementando com o MATLAN - sem caixas de ferramentas) Eu tenho um conjunto de dados com 392 amostras (linhas), cada amostra possui 8 recursos (colunas), um dos quais define a classe (ou …

7 machine-learning 

Estou aprendendo a linguagem de programação Haskell. Pelo que estou lendo, Input / Ouput ( IO ) levanta desafios para a pureza de Haskell, pois, por definição, estamos interagindo com o mundo exterior. Da Wikipedia: Em uma linguagem puramente funcional, como Haskell, as funções não podem ter efeitos colaterais visíveis …

7 programming-languages  functional-programming 

Estou tentando mostrar o seguinte problema é NP-difícil. Entradas: Inteiro , e gráfico não direcionado conectado , um gráfico ponderado em vérticeseeeG=(V,E)G=(V,E)G=(V,E) Saída: Partição de , obtida pela remoção de quaisquer arestas de que maximizemGGGGp=(V,Ep)Gp=(V,Ep)G_p=(V,E_p)eeeEEE max∑Gi∈{G1,G2,...,Gk}1|Gi|⎛⎝∑vj∈Viw(vj)⎞⎠2,max∑Gi∈{G1,G2,...,Gk}1|Gi|(∑vj∈Viw(vj))2,\max \sum\limits_{G_i \in \{G_1,G_2,...,G_k\}} \frac1{|G_i|}\left(\sum_{v_j \in V_i}w(v_j)\right)^{\!2}, onde Gp=G1∪G2∪⋯∪GkGp=G1∪G2∪⋯∪GkG_p=G_1 \cup G_2 \cup \dots \cup G_k …

7 algorithms  complexity-theory  np-hard  set-cover 

FUNDO: Recentemente, tentei resolver um problema difícil que obtém como entrada uma matriz de números. Para , a única solução que encontrei foi ter um tratamento diferente para cada uma das ordenações dos 3 números. Ou seja, existe uma solução para o caso , outra solução para , etc. (o …

7 complexity-theory  programming-languages  kolmogorov-complexity 

Atualmente, estou analisando minhas estruturas de dados e algoritmos básicos, parte disso é a Árvore Binária. Eu entendo os algoritmos e como implementar uma árvore de pesquisa binária e tal. Faço isso como é inteligente que possamos fazer pesquisas em tempo O (log n). No entanto, estou tendo dificuldade em …

7 data-structures  trees  binary-trees  applied-theory 

Sou assistente de professor na minha universidade e meu próximo tópico é recursão. de que maneira é melhor ensinar a recursão para que o aluno possa entender o conceito facilmente e possa pensar recursivamente? Eu estava pensando em explicar a estrutura da pilha para ensinar recursão, mas estou preocupado que …

7 recursion  education  didactics 

Às vezes, em combinatória, você está computando a contagem de algo que depende de um parâmetro numérico natural . Manualmente ou usando um computador, é possível calcular alguns termos iniciais na sequênciaanana_nnnn(an)n(an)n(a_n)_n. Agora, você pode inserir esses termos iniciais na Enciclopédia on-line de seqüências inteiras e, se tiver sorte, poderá …

7 combinatorics 

Existem várias ou soluções piores, mas estou procurando uma que seja executada em ou uma prova de que não existe.O (nlogn )O(nregistro⁡n)\mathcal O(n \log n)O (n)O(n)\mathcal O(n)

7 permutations 

Estou aprendendo sobre metateoria da linguagem e sistemas de tipos e estou usando coq para formalizar meu estudo. Uma das coisas que eu gostaria de fazer é examinar os sistemas de tipos que incluem tipos dependentes , o que eu entendo estar muito envolvido: poder confiar no coq seria inestimável. …

7 type-theory  dependent-types  coq 

Dada uma coleção de subconjuntos não vazios de {1,2,…,N}{1,2,…,N}\{1,2,\ldots,N\} (NNNnão corrigido), o problema é encontrar a menor coleção não vazia de subconjuntos, para que o número de elementos distintos que aparecem na união de subconjuntos seja menor ou igual ao número de subconjuntos escolhidos. Parece um problema difícil de NP, …

7 np-hard