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...
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...
Esta é uma pergunta do exame do nosso curso "Autômatos e línguas formais". Há uma pergunta em que é solicitado que prove ou refute que qualquer operação de "complemento relativo" entre duas linguagens sensíveis ao contexto também produzirá uma linguagem sensível ao contexto. Das propriedades de...
3-PARTITION é fortemente NP-completo , isto é, permanece NP-completo mesmo se a entrada for dada como unária. Estou pesquisando dois ou três exemplos de problemas não numéricos (possivelmente bem conhecidos) que provaram ser NP-completos usando uma redução de 3-PARTITION (e a redução obviamente...
Eu acho que a pergunta é auto-suficiente. A sintaxe da linguagem C é completamente definida por meio de gramáticas livres de contexto ou temos construtos de linguagem que podem exigir definições não livres de contexto durante a análise? Um exemplo de construção não CFL que pensei ser a declaração...
Para continuar este post , vamos definir o problema Monotone -SAT:(+,2−)(+,2−)(+, 2^-) Dada uma fórmula monótona de CNF , em que cada variável aparece exatamente uma vez (como um literal positivo) e uma fórmula monotônica de 2-CNF definida nas mesmas variáveis que , onde todas as variáveis são...
Deixei ϕϕ\phi ser uma fórmula 3-CNF sobre variáveis x1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_n. Toda variávelxixix_i, i∈[n]i∈[n]i \in [n], ocorre igualmente muitas vezes como um literal positivo e como um literal negativo em ϕϕ\phi. É NP-completo decidir a satisfação de tal fórmula? Supondo que seja,...
É sabido que qualquer fórmula CNF pode ser transformada em tempo polinomial em uma fórmula 3-CNF usando novas variáveis ( veja aqui ). Se o uso de novas variáveis não for permitido, isso nem sempre é possível (por exemplo, a fórmula da cláusula única:(x1 1∨x2∨x3∨x4)(x1 1∨x2∨x3∨x4)(x_1 \lor x_2...
Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Computer Science Stack Exchange. Fechado há 6 anos . Estou falando deste projeto...
Eu me pergunto como posso provar que, se um idioma L é decidível em o (nlog (n)), então L deve ser regular. Eu provavelmente deveria mencionar que, por "decidível", quero dizer "ser decidível por uma máquina de turística determinística de fita única". Obrigado e cumprimentos...
Deixei {umaEu}{ai}\{a_i\} e {bEu}{bEu}\{b_i\} ser sequências não decrescentes de números inteiros não negativos. Com que velocidade se pode encontrar para todos os ?cj=max0 ≤ i < j{umaEu+bj - i - 1}cj=max0 0≤Eu<j{umaEu+bj-Eu-1 1}c_j=\max_{0 \leq i< j}\{a_i+b_{j-i-1}\}0 ≤ j ≤ n - 10...
O Instituto de Estudos Avançados teve um programa especial de um ano dedicado ao Programa de Fundações Univalentes . No final, eles produziram um livro e um repositório de código . No final, vemos uma entrada de blog na Scientific American alegando: ... poderia fornecer uma base nova e...
Eu ouvi aqui que o problema ciclo hamiltoniano é polinomial em gráficos de treewidth limitada. Estou interessado em exemplos / referências a diferentes problemas que são essencialmente difíceis, mas que possuem complexidade polinomial em gráficos de largura de árvore limitada....
Não consigo conceber nenhum problema que possa ser resolvido em tempo exponencial, mas não possa ser verificado em tempo polinomial.
A seguinte matriz ocupa 10.000 slots na memória: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Mas pode-se facilmente representar a mesma matriz que: a = {len:10000, get: λ idx -> idx} O que é muito mais compacto. Da mesma forma, existem várias matrizes que podem ser representadas...
No sentido de uma string distinta de uma string de referência nula, qual é a importância de uma string vazia no CS (e especialmente nas linguagens formais)? Por que você precisa de um conceito separado, o de 'string vazia', que até tem sua própria letra grega (ε)? Um personagem EOL não poderia...
O termo "perfeição de Turing" foi discutido em várias das aulas de ciência da computação que eu participei. No entanto, nunca tive uma noção intuitiva do que a integridade de Turing realmente exige. Encontrei essa pergunta, mas as respostas são um pouco mais matemáticas do que o que estou...
Nas teorias de tipos, como as de Coq, podemos definir um tipo com parâmetros, como este: Inductive ListP (Element : Type) : Type := NilP : ListP Element | ConsP : Element -> ListP Element -> ListP Element. Como alternativa, podemos definir um tipo com um índice, assim: Inductive ListI :...
Ultimamente, tenho me perguntado como as GPUs calculam seno e cosseno, e o Google não me ajudou a encontrar uma resposta precisa. Inicialmente, eu pensava que, para tornar os cálculos o mais rápido possível, a GPU usaria algum tipo de tabela de pesquisa. Mas então eu percebi que armazenar todos os...
Embora eu já tenha aprendido algo sobre os tempos de execução assintóticos dos algoritmos de multiplicação de matrizes (algoritmo de Strassen e coisas semelhantes), nunca encontrei nenhuma referência explícita e satisfatória a um modelo de computação usado para medir essa complexidade. De fato,...