Ciência da Computação

Estou curioso para saber se há algum problema completo na classe de complexidade Arthur-Merlin. Gráfico O não-isomorfismo (RNB) parece ser o exemplo canônico de um problema no AM, mas provavelmente não é completo. Suponho que também esteja pensando se um problema "completo" está bem definido para AM. Já que AM …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Estou projetando um banco de dados de objetos na memória para um caso de uso muito específico. É um escritor único, mas deve suportar leituras simultâneas eficientes. As leituras devem ser isoladas. Não há linguagem de consulta, o banco de dados suporta apenas: obter objetos / s por atributo / …

12 data-structures  concurrency  databases 

Uma lixeira é chamada cheia se contiver pelo menos bolas. Nosso objetivo é fazer com que o maior número possível de caixas cheias.kkk No cenário mais simples, recebemos bolas e podemos organizá-las arbitrariamente. Nesse caso, obviamente, o melhor que podemos fazer é escolher arbitrariamente piso arbitrariamente e colocar bolas em …

12 combinatorics  balls-and-bins 

Existe um problema popular [1] [2] na ciência da computação que está encontrando um número mínimo de linhas retas que cobre um determinado conjunto de pontos em 2D. Embora tenha digitalizado muitos papéis, nenhum deles tem uma clara motivação para o problema. Qual é a utilidade de resolver esse problema? …

12 reference-request  computational-geometry  applied-theory 

Vi como o XOR-3-SAT é eficientemente solucionável (por exemplo, consulte a seção "XOR-satisfability" na entrada da Wikipedia para o problema de satisfação booleana ). Estou pensando em uma pergunta básica: O XOR-k-SAT é eficientemente solucionável, para fórmulas com quantidades variáveis ​​de literais por cláusula? Eu realmente gostaria de saber se …

12 complexity-theory  satisfiability 

Esta é provavelmente uma pergunta estúpida, mas eu simplesmente não entendo. Em outra questão, eles apresentaram o teorema da dicotomia de Schaefer . Para mim, parece que prova que todo problema de CSP está em P ou em NP-complete, mas não no meio. Como todo problema de NP pode ser …

12 np-complete  satisfiability  p-vs-np 

Tenho problemas para entender o problema de parada de Turing. Sua prova supõe que exista uma máquina mágica que possa determinar se um computador interromperá ou repetirá para sempre uma determinada entrada. Em seguida, anexamos outra máquina que inverte a saída e temos uma contradição e, portanto, não pode existir.HHHHHHH …

12 computability  halting-problem 

O objetivo é criar o DFA a partir de uma expressão regular e o uso de "Exp regular> NFA> conversão do DFA" não é uma opção. Como alguém deveria fazer isso? Fiz essa pergunta ao nosso professor, mas ele me disse que podemos usar a intuição e se recusou a …

12 automata  finite-automata  regular-expressions  simulation 

As tabelas de hash perfeitas dinâmicas e as tabelas de hash do cuco são duas estruturas de dados diferentes que suportam pesquisas de pior caso O (1) e inserções e exclusões esperadas em tempo de O (1). Ambos requerem O (n) espaço auxiliar e acesso a famílias de funções de …

12 data-structures  hash-tables 

Adoro tudo o que é tempo de compilação e adoro a idéia de que, depois que você compila um programa, muitas garantias são feitas sobre sua execução. De um modo geral, um sistema de tipo estático (Haskell, C ++, ...) parece oferecer garantias mais fortes em tempo de compilação do …

12 programming-languages  type-theory  type-checking  software-verification 

Na foto abaixo, estou tentando descobrir o que exatamente esse NFA está aceitando. O que me confunde é o salto em .ϵϵ\epsilonq0q0q_0 Se um for inserido, o sistema passa para e (o estado de aceitação)?000q0q0q_0 q1q1q_1 Se um for inserido, o sistema passa para e ?111q1q1q_1q2q2q_2 O sistema passa para …

12 automata  finite-automata  nondeterminism 

Ao ler alguns blogs sobre complexidade computacional (por exemplo, aqui ), eu assimilei a noção de que decidir se dois grupos são isomórficos é mais fácil do que testar dois gráficos quanto ao isomorfismo. Por exemplo, na página declarada, diz que o isomorfismo do gráfico é um problema mais geral …

12 complexity-theory  graph-isomorphism  group-theory 

Perdoe a ingenuidade que será óbvia na maneira como faço essa pergunta, bem como no fato de estar fazendo. Os matemáticos normalmente usam , pois é a base mais simples / mais agradável da teoria (devido ao cálculo). Mas os computadores parecem fazer tudo em binário, então é mais rápido …

12 binary-arithmetic  numerical-analysis  numeral-representations 

Eu me deparei com essa pergunta: "Dê exemplos de dois idiomas regulares em que a união deles não produz um idioma comum". Isso é muito chocante para mim, porque acredito que os idiomas regulares são fechados sob união. Que significa para mim que se eu tomar duas linguagens regulares e …

12 formal-languages  regular-languages  closure-properties 

Em termos de pior tempo de execução assintótico, qual problema de NP-completo possui o algoritmo mais rápido (exato) conhecido e qual é o algoritmo? Existe algo conhecido que é mais rápido que O(n2∗2n)O(n2∗2n)O(n^2*2^n) ?

12 algorithms  reference-request  np-complete