Perguntas sobre software / programas / aplicativos usados por pesquisadores TCS
Suponha que co-autores de duas ou mais instituições diferentes estejam escrevendo um documento em látex e queiram fazer melhor do que enviar repetidamente os rascunhos por e-mail. Eles percebem que podem abrir gratuitamente uma conta da caixa de depósito, compartilhar a senha e sincronizar a...
Suponha que eu quisesse formalizar a prova de Turing sobre o problema da parada, para que uma máquina pudesse verificá-la. Alguns dos conhecidos sistemas automatizados de prova de teoremas incluem Mizar, Coq e HOL4. Fiz o download e experimentei o Coq, mas ele não possui uma biblioteca para...
Alguém conhece um programa de código aberto para calcular a decomposição em árvore de gráficos para um "k" (largura) fixo? Eu sei que o problema de encontrar a Decomposição em Árvore é NP-Difícil para a variável "k", mas minhas instâncias de entrada serão realmente pequenas (~ 10 nós) e "k" é...
Alguém poderia apontar para um ou mais sites onde é possível fazer o download de uma implementação de trabalho de um solucionador #SAT? Estou interessado em retornar a contagem exata da solução, não em uma
Ao reunir resultados, geralmente é desejável ter alguns diagramas de aparência profissional, em vez de diagramas reunidos no MS Paint. Qual é o padrão para desenhar estruturas de
Eu estava usando Jung ( http://jung.sourceforge.net/ ) para visualizar o page rank e achei um pouco lento e difícil escaloná-lo além de 100 nós. Fiquei me perguntando que outras ferramentas as pessoas usam para análise e visualização de redes / redes
Agora, a maioria dos trabalhos é escrita de forma colaborativa, e os colaboradores geralmente estão localizados em lugares diferentes. Eu sempre usei sistemas de controle de versão para meus documentos e código, e também achei o controle de versão crítico para projetos de software colaborativo, mas...
Existe algum pacote de software que permita a decomposição de unidades unitárias de em circuitos quânticos sobre um conjunto de portas universal predefinido?você(
Estou interessado em implementar o SM para tarefas de LP, no entanto, ouvi falar de possíveis armadilhas: o livro de Cormen diz que é possível ter dados de entrada que farão com que a implementação ingênua se comporte em tempo exponencial. Também ouvi dizer que a implementação ingênua pode fazer um...
Eu gostaria de escrever provas matemáticas usando algum assistente de prova. Tudo será escrito usando lógica de primeira ordem (com igualdade) e dedução natural. O pano de fundo é a teoria dos conjuntos (ZF). Por exemplo, como eu poderia escrever a seguinte prova? Axiom:∀ x ∀ y( x = y↔ ∀ z( z∈ x ↔...
Todos os solucionadores #SAT que eu conheço, por exemplo, RelSat, C2D, retornam apenas o número de instâncias satisfatórias. Mas eu quero conhecer cada uma dessas instâncias? Existe um solucionador de #SAT ou como devo modificar um solucionador de #SAT disponível para fazer...
Estou procurando um software para calcular / estimar o volume de poliedros convexos de alta dimensão. Mais especificamente, eu estou interessado em um programa, que pode lidar com corpos com vértices em espaço dimensional com parâmetros delimitados aproximadamente da seguinte forma: e . Observe que...
Sabemos que todos os autômatos push-down são representáveis usando gramáticas sem contexto. Além disso, existe um algoritmo para construir um CFG a partir de qualquer PDA (por exemplo, a prova de Sipser na introdução à teoria da computação). Existem ferramentas que fazem essa tradução? Ou seja,...
Existem inúmeras ferramentas / pacotes teóricos gráficos. Cada um com seus prós e contras. Qual deve ser a semântica / sintaxe de uma linguagem de programação para resolver problemas teóricos dos