Ciência da Computação

Em Algorithmics for Hard Problems, de Hromkovič (2ª edição), existe este teorema (2.3.3.3, página 117): Existe um problema de decisão (decidível) tal que, para todo algoritmo que resolve existe outro algoritmo que também resolve e cumpre adicionalmenteA P A ′ PPPPUMAAAPPPUMA′A′A'PPP ∀∞n ∈ N .T i m eUMA′( n ) …

19 complexity-theory 

Li recentemente que é possível ter matrizes que não precisam ser inicializadas, ou seja, é possível usá-las sem ter que gastar algum tempo tentando definir cada membro com o valor padrão. ou seja, você pode começar a usar a matriz como se ela tivesse sido inicializada pelo valor padrão sem …

19 data-structures  arrays 

A Lei de De Morgan é frequentemente introduzida em um curso introdutório de matemática para ciência da computação, e muitas vezes a vejo como uma maneira de transformar declarações de AND para OR negando termos. Existe uma explicação mais intuitiva para o porquê disso funcionar, em vez de apenas lembrar …

19 logic  discrete-mathematics  didactics 

Há uma redução no livro de Sipser "Introdução à teoria da computação" na página 286, do 3SAT para o problema do caminho hamiltoniano. Existe uma redução mais simples? Por mais simples, quero dizer uma redução que seria mais fácil de entender (para os alunos). Existe uma redução que usa número …

19 complexity-theory  np-hard 

Um gráfico unipático é um gráfico direcionado, de modo que exista no máximo um caminho simples de um vértice para outro vértice. Gráficos unipáticos podem ter ciclos. Por exemplo, uma lista duplamente vinculada (não circular!) É um gráfico unipático; se a lista tiver nnn elementos, o gráfico terá ciclos de …

19 graphs  combinatorics 

Estou iniciando uma pesquisa bibliográfica pessoal sobre algoritmos de verificação de tipo e quero algumas dicas. Quais são os algoritmos, estratégias e técnicas gerais de verificação de tipo mais usados? Estou particularmente interessado em algoritmos complexos de verificação de tipo que foram implementados em linguagens tipicamente fortemente estáticas amplamente conhecidas, …

19 algorithms  programming-languages  reference-request  type-checking 

Sou estudante de graduação em teoria da computação e tenho sérios problemas em produzir conteúdo quando me pedem. Sou capaz de acompanhar o livro (Introdução à Teoria da Computação, de Michael Sipser) e as palestras; no entanto, quando solicitado a provar algo ou a apresentar uma descrição formal de uma …

19 computability  education  intuition 

Nosso professor nos pediu para pensar em uma função no OCaml que tem o tipo 'a -> 'b isto é, uma função de um argumento que pode ser qualquer coisa e que pode retornar algo diferente. Pensei em usar raiseuma função que ignora seu argumento: let f x = raise …

19 programming-languages  typing  functional-programming 

Muitas referências de sistemas operacionais dizem que, com a multitarefa cooperativa (e não preventiva), um processo mantém a CPU até que ela se suspenda explicitamente. Se um processo em execução executa uma solicitação de E / S que não pode ser satisfeita imediatamente (por exemplo, solicita um pressionamento de tecla …

19 operating-systems  process-scheduling 

O operador de diferença definida (por exemplo, EXCEPTem algumas variantes SQL) é um dos muitos operadores fundamentais da álgebra relacional. No entanto, existem alguns bancos de dados que não suportam diretamente o operador de diferença definida, mas que suportam LEFT JOIN(um tipo de junção externa) e, na prática, isso pode …

19 database-theory  relational-algebra  finite-model-theory 

Trabalho com programação dinâmica há algum tempo. A maneira canônica de avaliar uma recursão de programação dinâmica é criando uma tabela de todos os valores necessários e preenchendo-a linha por linha. Veja, por exemplo , Cormen, Leiserson et al: "Introdução aos algoritmos" para uma introdução. Focalizo o esquema de computação …

19 algorithms  dynamic-programming 

Eu estava lendo sobre programação dinâmica quando me deparei com a seguinte citação Um algoritmo de programação dinâmica examinará todas as formas possíveis de resolver o problema e escolherá a melhor solução. Portanto, podemos pensar na programação dinâmica como um método inteligente de força bruta que nos permite analisar todas …

19 algorithms  terminology  optimization  dynamic-programming 

Existe alguma estrutura de dados que mantenha uma coleção de conjunto (de conjunto de terreno finito) suportando as seguintes operações? Algum tempo de execução sublinear será apreciado? Inicie um conjunto vazio. Adicione um elemento a um conjunto. Com dois conjuntos, relate se eles se cruzam.

19 data-structures  sets 

Meu objetivo é resolver o seguinte problema, que descrevi por suas entradas e saídas: Entrada: Um gráfico acíclico direcionado com nós, n fontes e 1 coletor ( m> n \ geq 1 ).m n 1 m > n ≥ 1GGGmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Resultado: O …

19 algorithms  complexity-theory  machine-learning  neural-networks  vc-dimension 

Estou preso na seguinte pergunta: "Linguagens regulares são precisamente aquelas aceitas por autômatos finitos. Dado esse fato, mostre que se a linguagem é aceita por algum autômato finito, então também é aceita por algum finito; consiste em todas as palavras de invertido. "L R L R LeuLLeuRLRL^{R}euRLRL^{R}euLL

19 formal-languages  regular-languages  automata  finite-automata