Eu estava brincando no outro dia neste site: http://regexcrossword.com/ e isso me fez pensar em qual seria a melhor maneira de resolvê-lo. Você pode resolver o seguinte problema em tempo polinomial ou é NP-difícil? Dada uma grade NxM com N expressões regulares para as colunas e M para as...
Ainda estou um pouco confuso com os termos "comprimento da entrada" e "tamanho da entrada" quando usado para analisar e descrever o limite superior assintomático de um algoritmo Parece que o tamanho da entrada do algoritmo depende muito do tipo de dados e do algoritmo de que você está...
A página do problema de isomorfismo gráfico da Wikipedia parece indicar que não, não foi resolvida. No entanto, um amigo meu apontou Um algoritmo de tempo polinomial para isomorfismo de gráfico . Não sou sofisticado o suficiente para seguir o raciocínio do artigo. Eu tenho minha própria tentativa...
Descobri que, se não entendo a etimologia por trás de um termo cs / programação, isso geralmente significa que perdi ou entendi mal algum conceito subjacente importante. Não entendo por que a estrela Kleene também é chamada de encerramento Kleene. Está relacionado a fechamentos na programação, uma...
Eu pensei ter entendido a digitação dependente (DT) corretamente, mas a resposta a esta pergunta: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% A teoria do tipo B6f para criar intuicionista me fez pensar o contrário. Depois de ler sobre a TD e tentar entender o que são, estou tentando...
Em 1962, você poderia ganhar um prêmio de US $ 10.000 (cerca de US $ 80.000 em dinheiro de hoje) se encontrasse a solução para um problema de vendedor ambulante euclidiano definido em 33 cidades. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Olhando para a foto, o problema parece...
Estou lendo um livro sobre um tópico de ciência da computação, mas não tenho alguns dos pré-requisitos. Normalmente, quando me deparo com termos que não entendo, simplesmente os procuro, mas para a Pesquisa Universal simplesmente não consegui encontrar uma explicação adequada para um leitor sem...
fundo \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr...
Eu estou querendo saber se decidir a decidibilidade do problema é um problema decidível. Acho que não, mas após as pesquisas iniciais não consigo encontrar nenhuma literatura sobre esse
Estou tentando entender a existência de linguagens não reconhecíveis. Para conseguir isso, preciso saber por que uma máquina de Turing reconhece apenas um idioma, não vários. Por que é
Estou com um problema com este exercício: Seja G a seguinte gramática ambígua para o cálculo λ: E → v | λv.E | EE | (E) onde E é o único símbolo não terminal, λv.E representa a abstração da variável v em E e EE representa a aplicação. Defina uma gramática LL (1) G ′ de modo que L (G...
A função de contagem primária , despromovida , é definida como o número de números primos menor ou igual a .π( X )π(x)\pi(x)xxx Podemos definir um problema de decisão de seguinte maneira:π( X )π(x)\pi(x) Dados dois números e , escritos em binário, decida se .xxxnnnπ( x ) = nπ(x)=n\pi(x) =...
Vi neste post no stackoverflow que existem alguns algoritmos relativamente rápidos para peneirar um intervalo de números para ver se há um primo nesse intervalo. No entanto, isso significa que o problema geral de decisão de: (existe um primo em um intervalo?) Está em P. (Havia muitas respostas para...
Muitos problemas indecidíveis "famosos" são, no entanto, pelo menos semidecidáveis, com seu complemento indecidível. Um exemplo acima de tudo pode ser o problema da parada e seu complemento. No entanto, alguém pode me dar um exemplo em que um problema e seu complemento são indecidíveis e não...
Acabei de encontrar esta frase na página 6 de "Computers and Intratability" de Garey and Johnson. Qualquer algoritmo cuja função de complexidade de tempo não possa ser tão limitada é chamado de algoritmo de tempo exponencial (embora se deva observar que essa definição inclui certas funções de...
Pelo que li no preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Esta é a definição do PTAS : Um esquema de aproximação de tempo polinomial ( PTAS ) para o problema é um...
Quando dizemos que uma rede neural artificial é um Perceptron multicamada ? E quando dizemos que uma rede neural artificial é multicamada ? O termo perceptron está relacionado à regra de aprendizado para atualizar os pesos? Ou está relacionado a unidades de
Se P for igual a NP, ainda será possível projetar um sistema de criptografia em que o algoritmo ideal de análise de criptografia leve, digamos, o quadrado do tempo gasto pelos algoritmos legítimos de criptografia e descriptografia? Algum algoritmo já
Meu palestrante fez a declaração Qualquer problema finito não pode ser NP-Complete Ele estava falando sobre o Sudoku na época dizendo algo do tipo: para um Sudoku 8x8, existe um conjunto finito de soluções, mas não me lembro exatamente o que ele disse. Anotei a nota que citei, mas que ainda...
Uma expressão combinadora (digamos na base SK) pode ser pensada como uma função que mapeia expressões de cálculo combinador para expressões de cálculo combinador. Ou seja, pode-se pensar em uma expressão XXX como uma função X: L → LX:eu→euX:L \to L , onde eueuL é o conjunto de todas as expressões...