Ciência da Computação

Em java, você deve converter explicitamente para fazer o downcast de uma variável public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child …

11 object-oriented  type-inference  language-design 

Existe uma maneira fácil de entender por que o NP está em EXPTIME? Parece-me a priori concebível que poderia haver um problema que requer tempo superexponencial para ser resolvido, mas cuja solução poderia ser verificada em tempo polinomial.

11 complexity-theory  complexity-classes 

O título diz tudo, mas estou curioso porque não é óbvio como um provador de teoremas foi chamado de 'Isabelle'. Foi nomeado para uma pessoa? Não consegui descobrir em algumas pesquisas no Google.

11 history  automated-theorem-proving  isabelle 

Uma expressão regular é definida recursivamente como aaa para algunsa∈Σa∈Σa \in \Sigma é uma expressão regular, εε\varepsilon é uma expressão regular, ∅∅\emptyset é uma expressão regular, (R1∪R2)(R1∪R2)(R_1 \cup R_2) ondeR1R1R_1 eR2R2R_2 são expressões regulares é uma expressão regular, (R1∘R2)(R1∘R2)(R_1 \circ R_2) ondeR1R1R_1 eR2R2R_2 são expressões regulares é uma expressão regular, …

11 formal-languages  regular-languages  regular-expressions 

Por que os idiomas de alto nível aparentemente nunca alcançam idiomas de baixo nível em termos de velocidade? Exemplos de linguagens de alto nível seriam Python, Haskell e Java. Linguagens de baixo nível seriam mais difíceis de definir, mas digamos C. Comparações podem ser encontradas em toda a Internet e …

11 programming-languages  performance 

Como um projeto divertido, eu tenho trabalhado na implementação em C # de Richard Korf - Encontrar soluções ideais para o cubo de Rubik usando bancos de dados padrão. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf Na verdade, estou funcionando, só estou tentando melhorar minha solução. Uma coisa que Korf examina em seu artigo é como …

11 algorithms  permutations 

Dado um subconjunto de um produto cartesiano de dois conjuntos finitos, desejo encontrar uma cobertura mínima por conjuntos que são os próprios produtos cartesianos.Eu× JEu×JI \times J Por exemplo, dado um produto entre e J = { 1 , 2 , 3 } , posso observar o subconjunto { ( …

11 algorithms  set-cover 

O algoritmo de Shor é frequentemente usado como argumento. Ele pode resolver o problema de fatoração mais rapidamente do que qualquer algoritmo conhecido para computadores clássicos. No entanto, não temos provas de que computadores clássicos também não podem fatorar números inteiros com eficiência. Existe alguma prova real de computadores quânticos …

11 algorithms  efficiency  quantum-computing 

A Rodada de Teste do Google Hash Code 2015 ( declaração do problema ) perguntou sobre o seguinte problema: entrada: uma grade com alguns quadrados marcados, um limiar T ∈ N , uma área máxima A ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} produção: a maior área possível total de um …

11 complexity-theory  reductions  np-hard 

Uma resposta sobre Programmers.SE caracteriza um ensaio de Cook ( Objetos não são ADTs ) como dizendo Os objetos se comportam como uma função característica sobre os valores de um tipo, e não como uma álgebra. Os objetos usam abstração procedural em vez de abstração de tipo ADTs geralmente têm …

11 programming-languages  object-oriented  abstract-data-types 

Estou tentando obter uma visão geral da importância do ponto menos fixo (lfp) na análise de programas. Por exemplo, a interpretação abstrata parece usar a existência de lfp. Muitos trabalhos de pesquisa sobre análise de programas também se concentram fortemente em encontrar o ponto menos fixo. Mais especificamente, este artigo …

11 programming-languages  finite-model-theory  fixed-point 

Existe uma maneira de calcular o tamanho de uma correspondência máxima em um gráfico bipartido não ponderado com mais eficiência (por exemplo, mais rápido) do que calcular uma correspondência máxima? É um tiro no escuro, mas geralmente é um problema interessante para evitar cálculos descartáveis ​​como esses. Motivação O problema …

11 algorithms  graphs  optimization  matching  bipartite-matching 

Eu me perguntei por que as fitas não fazem parte da definição formal de uma máquina de Turing. Considere, por exemplo, a definição formal de uma máquina de Turing na página da Wikipedia . A definição, seguindo Hopcroft e Ullman, inclui: o conjunto finito de estados , o alfabeto de …

11 turing-machines  computation-models 

Atualmente, estou participando do curso de programação simultânea em minha universidade e recentemente começamos a falar sobre o conceito de monitor. Embora compreenda a necessidade de exclusão mútua, não entendo por que utilizaria um monitor para isso. Pelo que entendi, um monitor garante que exatamente um ou nenhum processo esteja …

11 concurrency  synchronization  mutual-exclusion 

Gostaria de saber se existe um algoritmo polinomial para "2-SAT com relações XOR". O 2-SAT e o XOR-SAT estão em P, mas é sua combinação? Exemplo de entrada: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) …

11 np-complete  satisfiability  xor  2-sat