Ciência da Computação

Pelo que entendi, o problema de atribuição está em P, pois o algoritmo húngaro pode resolvê-lo em tempo polinomial - O (n 3 ). Também entendo que o problema de atribuição é um problema de programação linear inteira , mas a página da Wikipedia afirma que esse é NP-Hard. Para …

11 complexity-theory  complexity-classes  linear-programming  integer-programming 

Estou pensando isso com base em vários locais online que chamam co- um grande problema em aberto ... mas não consigo encontrar nenhuma indicação sobre se isso é ou não o mesmo que Problema ...NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

11 complexity-theory  complexity-classes  p-vs-np 

Eu preciso saber em que classe de CFL está fechada, ou seja, qual conjunto é o complemento de CFL. Eu sei que o CFL não está fechado no complemento e sei que P está fechado no complemento. Como CFL PI pode dizer que o complemento de CFL está incluído em …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Eu fiz essa pergunta no StackOverflow. Me pediram para morar aqui. Então aqui está: Preciso de alguns esclarecimentos e informações sobre o algoritmo de Dijkstra versus a primeira pesquisa de largura em gráficos direcionados, se estiverem corretos. O algoritmo de Dijkstra encontra o caminho mais curto de Nó Apara Nó …

11 algorithms  graphs 

Especificamente, se eu definisse um novo K2K2K_2 como K2= λ x . ( λ y. y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y) vez de K= λ x . ( λ y. x )K=λx.(λy.x)K = \lambda x. (\lambda y. x) o { S, K2, I}{S,K2,I}\{S, K_2,I\} -calculus ser uma base competir? …

10 lambda-calculus  combinatory-logic 

Estou tentando argumentar que N não é igual a NP usando teoremas de hierarquia. Esse é o meu argumento, mas quando mostrei ao nosso professor e, após dedução, ele disse que isso é problemático, onde não consigo encontrar uma razão convincente para aceitar. Começamos assumindo que P=NPP=NPP=NP . Então, produz …

10 complexity-theory  time-complexity  p-vs-np 

Estou trabalhando com um exercício árduo em um livro didático e não consigo descobrir como proceder. Aqui está o problema. Suponha que tenhamos a linguagem que é algum número irracional. Como eu provaria que não é uma linguagem livre de contexto?L={aibj:i≤jγ,i≥0,j≥1}L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq …

10 formal-languages  automata  context-free 

Ouvi falar de todas essas prevenções de ataque do homem do meio e fico imaginando como isso pode funcionar se o homem do meio ouvir apenas o seu fluxo e não quiser alterar a mensagem. O homem do meio não pode apenas pegar as chaves trocadas pelos oponentes, mudar as …

10 cryptography  security 

Vamos →β→β\to_\beta seja ββ\beta -redução no λλ\lambda -calculus. Definir ββ\beta expansão ←β←β\leftarrow_\beta por t′←βt⟺t→βt′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' . É ←β←β\leftarrow_\beta confluentes? Em outras palavras, temos que para qualquer l,d,rl,d,rl,d,r , se l→∗βd←∗βrl→β∗d←β∗rl \to_\beta^* d\leftarrow_\beta^* r , então existe uuu tal que l←∗βu→∗βrl←β∗u→β∗rl\leftarrow_\beta^* u \to_\beta^* r ? Palavras-chave: confluência ascendente, …

10 lambda-calculus  term-rewriting 

Na programação de tipo dependente, existem duas maneiras principais de decompor dados e executar recursão: Correspondência de padrões dependentes : as definições de funções são fornecidas como várias cláusulas. A unificação garante que todos os casos omitidos sejam impossíveis e um solucionador externo garante que a recursão seja bem fundamentada. …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

Não sei mais aonde fazer essa pergunta, espero que este seja um bom lugar. Estou curioso para saber se é possível fazer um gerador de cálculo lambda; essencialmente, um loop que, com tempo infinito, produzirá todas as funções possíveis de cálculo lambda. (como na forma de uma string). Como o …

10 lambda-calculus 

Minha situação Estou escrevendo um artigo apresentando um módulo de software que desenvolvi e quero comparar seu tempo de execução com outros módulos para a mesma tarefa. Estou ciente das desvantagens dos experimentos em tempo de execução , mas suponha que, no meu caso, não há maneira de contornar isso. …

10 algorithm-analysis  reference-request  runtime-analysis  experimental-analysis 

Minha principal preocupação é se a programação genética é um campo ativo de pesquisa, com algumas aplicações promissoras na prática. Parece que no campo do aprendizado de máquina, as redes neurais são a principal palavra da moda, com menções nas principais notícias de hoje, mas nunca ouvi falar de "história …

10 machine-learning  evolutionary-computing 

Estou lendo o artigo "Máquinas e inteligência computacional" de Turing ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) e encontrei um fragmento no qual ele diz: Instalei no computador Manchester um pequeno programa usando apenas 1.000 unidades de armazenamento, em que a máquina fornecida com um número de dezesseis dígitos responde com a outra dentro …

10 algorithms  history 

Eu encontrei o termo muitas vezes, em vários materiais educacionais de CS: L2 CS162 (UC Berkeley): E / S mapeada na memória L4 CS162 (UC Berkeley): Arquivos mapeados na memória L24 CS61 (UC Berkeley): “E / S mapeada na memória”: Registros de controle / dados do dispositivo mapeados no espaço …

10 data-structures  operating-systems  memory-management