Eu tenho lido sobre a contagem de modelos, também conhecido como o problema #SAT. Quais são as aplicações práticas, se houver, desse problema, e como exatamente elas se reduzem a ele? Não consegui encontrar nada, embora isso seja simplesmente devido à minha própria ignorância sobre o...
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...
A primeira frase do artigo da Wikipedia sobre o Teorema de Parikh afirma: "O teorema de Parikh em ciência da computação teórica diz que, se olharmos apenas para o número relativo de ocorrências de símbolos terminais em uma linguagem livre de contexto, sem levar em conta sua ordem, então a...
Peço desculpas, mas mesmo após essas duas outras postagens: aqui e aqui ainda estou tendo problemas para entender as TMs e a relativização do oracle. Esta questão vem à questão de um ângulo diferente: Por que as provas não relativizantes são consideradas mais válidas do que argumentos baseados em...
Encontrei uma declaração (sem explicação) de que um idioma A =0 0∗UMA=0 0∗A = 0^*é decidível. Como isso é possível? Quero dizer, como construiríamos uma máquina de Turing que aceitaria (ou rejeitaria) uma sequência possivelmente infinita de zeros? Eu também pensei que talvez pudéssemos criar um...
Suponha que há dois problemas e .PPPQQQ Como posso dizer que "resolver é a mesma coisa que resolver "?PPPQQQ Por exemplo, se é NP-Hard, então podemos dizer " pode ser resolvido em tempo polinomial se existir um algoritmo que resolva em tempo polinomial".PPPPPPAAAQQQ Deve haver um prazo mais...
Mostre que o problema da soma do subconjunto (Dada uma sequência de números inteiros e um número , existe uma subsequência de que soma exatamente ?) Está NP-completo.S=i1,i2,…,inS=i1,i2,…,inS=i_1, i_2, \dots , i_nkkkSSSkkk Dica: Use o problema exato da capa. O problema exato da capa é o...
Diz-se que um gráfico está conectado em se não tiver cortes de vértices (ou seja, pelo menos três vértices devem ser excluídos para desconectar o gráfico). Até onde eu sei, é possível determinar se um gráfico simples é conectado em tempo (exemplo:
Eu tenho uma coleção de substrings "this" "is" "a" "antelope" Eu preciso olhar para qualquer string e responder à pergunta "Alguma das substrings fornecidas nessa string" Portanto, minha string de entrada pode ser "issue" O que seria uma correspondência porque "is" é uma substring de...
Suponha que tenhamos uma árvore na qual as folhas sejam rotuladas com um conjunto de números LLLe nós internos com um conjunto de operações OOO. Em particular LLL pode ser N,ZN,Z\mathbb{N}, \mathbb{Z} ou QQ\mathbb{Q}e, opcionalmente, pode conter ππ\pi e / ou eee. OOO pode ser qualquer subconjunto...
Dado um problema, é possível provar qual seria a melhor eficiência de pior algoritmo de um algoritmo para resolver esse problema? Por exemplo, vamos dar o problema de classificar uma matriz. Muitos dos algoritmos de classificação mais simples têm uma eficiência de pior caso de O...
Eu estive procurando uma referência para a pergunta acima. Tanto quanto sei, a resposta é: Se pudermos fazer um solucionador que seja eficiente para todas as instâncias geradas aleatoriamente, deve ser eficiente para qualquer instância. ou seja, se fizermos um solucionador que não confie em...
Um amigo meu realmente me fez uma pergunta muito interessante relacionada à ciência da computação, e eu fico presa a ela há muito tempo. O problema é: você tem que viajar km. O único posto de gasolina está no ponto de partida. Sua capacidade máxima do tanque de combustível é suficiente para km de...
O ponto crucial da diferença entre computação analógica e digital é o número de bits de precisão disponíveis, certo? Agora, eu sei que na máquina de Turing, os números podem ser armazenados com qualquer grau de precisão, pois o meio de armazenamento é uma fita infinita. Porém, no mundo real,...
Eu sei pelo Teorema da Dicotomia de Schaefer que apenas alguns tipos de problemas de satisfação estão em P e qualquer outro problema é NP-completo. No entanto, todos os algoritmos que eu conheço usam técnicas específicas únicas para esse tipo de problema - por exemplo, propagação de unidade para...
Estou aprendendo sobre HMMs e seus aplicativos e tentando entender seus usos. Meu conhecimento é um pouco irregular, portanto, corrija quaisquer suposições incorretas que estou fazendo. O exemplo específico que estou pensando é sobre o uso de HMMs para detecção de fala, que é um exemplo comum na...
Problema: Para provar oNP-CompletenessNP-Completeness\textsf{NP-Completeness}do problema de "Packing Squares (com diferentes comprimentos laterais) em um retângulo" ,3-PartitionPartição 3\textsf{3-Partition} é reduzido, como mostra a figura a seguir. No 3-PartitionPartição 3\textsf{3-Partition}...
Dado um gráfico G ( V, E)G(V,E)G(V,E)e um subconjunto de vértices , definir = o conjunto de arestas que ligam um vértice em com um vértice em .T⊆ VT⊆VT \subseteq Vc u t s e t (T)cvocêtset(T)\mathsf{cutset}(T)TTTV∖ TV∖TV\setminus T Nosso objetivo é pré-processar modo que, dado qualquer conjunto ,...
Eu estou tentando entender a prova de que os retângulos paralelos do eixo podem ser aprendidos no caso realizável. Isso significa que, dado com dados suficientes, podemos encontrar uma função tal que \ mathbb {P} \ left [\ text {error}> \ epsilon \ right] \ leq \ delta Aqui, o erro pode ser...
Considere a seguinte maximização quadrática: maxx∈XxTAxmaxx∈XxTAx\begin{align} \max_{\mathbf{x} \in \mathcal{X}} &\quad\mathbf{x}^{T}\mathbf{A}\mathbf{x} \end{align} com onde \ mathbf {A} é uma matriz semidefinida positiva e k \ le n é um parâmetro de escarsidade. Esse problema é difícil de NP,...