Ciência da Computação Teórica

16
Benchmarks exclusivos do

Essa pergunta provavelmente está na linha de fronteira entre o tópico e o tópico, mas eu já vi perguntas semelhantes aqui, portanto, eu vou perguntar. Estou implementando um solucionador Unique kkk -SAT, cuja entrada é uma fórmula kkk -CNF com no máximo 111 atribuição satisfatória. Para testar...

16
Ensino do TCS do ensino médio - programas existentes

Me ofereceram para ensinar um novo programa de ensino médio do TCS, que exige a construção de um currículo. Eu gostaria muito de ouvir opiniões e sugestões sobre isso. Primeiro, alguém conhece as escolas secundárias onde um programa TCS foi ensinado com sucesso (ou sem sucesso)? A idéia é de um...

16
Quão pequeno pode ser um NFA, em comparação com o mínimo Automated Unite ambíguo (UFA) do mesmo idioma regular?

Os autômatos finitos inequívocos (UFA) são tipos especiais de autômatos finitos não determinísticos (NFA). Um NFA é chamado inequívoco se cada palavra tiver no máximo um caminho de aceitação.w ∈ Σ∗W∈Σ∗w\in \Sigma^* Isto significa .D FA ⊂ UFA ⊂ NFUMADFUMA⊂vocêFUMA⊂NFUMADFA\subset UFA\subset...

16
Problemas de gráfico que são NP-completos em gráficos direcionados, mas polinomiais em gráficos não direcionados

Estou procurando problemas que são conhecidos por serem NPCs para gráficos direcionados, mas que possuem um algoritmo polinomial para gráficos não direcionados. Vi a pergunta sobre o contrário aqui, problemas "direcionados" que são mais fáceis do que sua variante "não direcionada" , mas estou...