Questions sur les logiciels / programmes / applications utilisés par les chercheurs du TCS
Supposons que des coauteurs de deux institutions différentes ou plus écrivent un article en latex et souhaitent faire mieux que d’envoyer des brouillons de manière répétée. Ils réalisent qu'ils peuvent ouvrir gratuitement un compte Dropbox, partager le mot de passe et synchroniser la version du...
Supposons que je veuille formaliser la preuve de Turing concernant le problème d'arrêt pour qu'une machine puisse le vérifier. Certains des systèmes de démonstration de théorèmes automatisés bien connus incluent Mizar, Coq et HOL4. J'ai téléchargé et expérimenté avec Coq, mais il n'a pas de...
Quelqu'un connaît-il un programme open-source pour calculer la décomposition arborescente des graphiques pour un "k" fixe (largeur)? Je sais que le problème de trouver Tree-Decomposition est NP-Hard pour la variable "k", mais mes instances d'entrée seront vraiment petites (~ 10 nœuds) et "k" est...
Quelqu'un pourrait-il indiquer un ou plusieurs sites Web où il est possible de télécharger une implémentation fonctionnelle d'un solveur #SAT? Je suis intéressé par ceux qui renvoient le nombre exact de solutions, pas une
Lors de la compilation des résultats, il est souvent souhaitable d'avoir des diagrammes d'aspect professionnel, plutôt que des diagrammes rassemblés dans MS Paint. Quelle est la norme pour dessiner des structures de
J'utilisais Jung ( http://jung.sourceforge.net/ ) pour visualiser le classement des pages et je l'ai trouvé un peu lent et difficile à mettre à l'échelle au-delà de 100 nœuds. Je me demandais quels autres outils les gens utilisent pour l'analyse et la visualisation des réseaux / réseaux...
La plupart des articles sont maintenant rédigés en collaboration, et les collaborateurs sont souvent situés dans des endroits différents. J'ai toujours utilisé des systèmes de contrôle de version pour mes documents et mon code, et j'ai également trouvé le contrôle de version critique pour les...
Existe-t-il un progiciel permettant la décomposition d'unités unitaires de en circuits quantiques sur un ensemble de portes universel prédéfini?U(
Je suis intéressé par l'implémentation de SM pour la tâche LP, mais j'ai entendu parler d'éventuels pièges: le livre de Cormen dit qu'il est possible d'avoir des données d'entrée qui feront que l'implémentation naïve se comportera en temps exponentiel. J'ai également entendu que l'implémentation...
Je voudrais écrire des preuves mathématiques en utilisant un assistant de preuve. Tout sera écrit en utilisant une logique de premier ordre (avec égalité) et une déduction naturelle. Le fond est la théorie des ensembles (ZF). Par exemple, comment pourrais-je écrire la preuve suivante? Axiome: ∀ x ∀...
Tous les solveurs #SAT que je connais, par exemple RelSat, C2D, ne renvoient que le nombre d'instances satisfaisables. Mais je veux connaître chacun de ces cas? Existe-t-il un tel solveur #SAT ou comment dois-je modifier un solveur #SAT disponible pour ce faire? Je vous
Je recherche un logiciel de calcul / estimation de volume de polyèdres convexes de grande dimension. Plus spécifiquement, je m'intéresse à un programme, qui peut gérer des corps avec sommets dans un espace dimensionnel avec des paramètres à peu près comme suit: et . Notez qu'il n'y a aucune...