L'informatique

1

Clause pilotée par les conflits Apprentissage de la clarification du retour en arrière

Sur la page wikipedia ici, il décrit assez bien l'algorithme CDCL (et il semble que les photos ont été prises à partir de diapositives créées par Sharad Malik à Princeton). Cependant, quand il décrit comment revenir en arrière, tout ce qu'il dit est "au point approprié". MiniSAT utilise également une …

9 machine-learning satisfiability sat-solvers backtracking

3

Comment résoudre un problème d'arrangement à l'Archive Nationale de France en utilisant la théorie des graphes?

Bonsoir! Je fais actuellement un stage aux Archives Nationales de France et j'ai rencontré une situation que je voulais résoudre à l'aide de graphiques ... I. La situation poussiéreuse Nous souhaitons optimiser la disposition des livres de ma bibliothèque en fonction de leur hauteur afin de minimiser leur coût d'archivage. …

9 algorithms graphs optimization packing

2

Trouver le point central dans un ensemble de points métriques dans l'espace, en moins de ?

J'ai un ensemble de points qui sont définis dans un espace métrique - donc je peux mesurer une «distance» entre les points mais rien d'autre. Je veux trouver le point le plus central de cet ensemble, que je définis comme le point avec la somme minimale des distances à tous …

9 complexity-theory computational-geometry lower-bounds search-problem

2

Le tri entier est-il possible dans O (n) dans le modèle transdichotomique?

À ma connaissance, il n'existe pas d' algorithme pire des cas qui résout le problème suivant:O( n )O(n)O(n) Étant donné une séquence de longueur composée d'entiers finis, trouvez la permutation où chaque élément est inférieur ou égal à son successeur.nnn Mais existe-t-il une preuve de son inexistence dans le modèle …

9 complexity-theory sorting computation-models lower-bounds

2

Régularité des langues unaires avec des longueurs de mots la somme de deux resp. trois carrés

Je pense aux langues unaires , où est l'ensemble de tous les mots dont la longueur est la somme de carrés. Formellement: Il est facile de montrer que n'est pas régulier (par exemple avec Pumping-Lemma). De plus, nous savons que chaque nombre naturel est la somme de quatre carrés ce …

9 formal-languages regular-languages

1

Quelle est la relation entre Turing Machines avec une bande finie et Finite State Automata?

Il me semble me rappeler dans une classe de premier cycle que pour une machine de Turing avec une bande finie, il existera toujours un automate d'état fini correspondant, mais je n'ai pu le trouver confirmé nulle part sur Internet. Est-ce vraiment le cas ou est-ce que je me souviens …

9 turing-machines finite-automata

4

Pourquoi la recherche binaire est-elle appelée recherche binaire?

J'ai entendu plusieurs explications possibles, donc je voudrais une référence fiable. Mise à jour 05.19: Je m'intéresse à la question parce qu'un de mes étudiants a écrit dans sa thèse que le nom vient de l'explication ci-dessous (1). Jusqu'à présent, je pensais / entendais que cela venait de l'explication (2). …

9 terminology reference-request history

1

Sous-graphe planaire le plus lourd

Considérez le problème suivant. Éléments fournis: un graphique complet avec des poids réels non négatifs sur les bords. Tâche: trouver un sous-graphique planaire de poids maximum. ("Maximum" parmi tous les sous-graphiques planaires possibles.) Remarque: Le sous-graphique de poids maximum sera une triangulation; si le graphique complet est sur sommets, il …

9 algorithms graph-theory optimization combinatorics

1

Quand une expression rationnelle n'est-elle pas une expression régulière?

Depuis que j'étudie pour mon cours universitaire de langues officielles, je suis tombé sur ces messages fascinants ( One Two ) qui décrivent comment trouver un nombre premier à l'aide d'une expression rationnelle . Comme je l'ai dit, une expression rationnelle , pas une expression régulière . Puisqu'une expression régulière …

9 regular-expressions

1

Qu'est-ce qu'un exemple non artificiel de vérification de type statique trop conservatrice?

Dans Concepts in Programming Languages , John Mitchell écrit que la vérification de type statique est nécessairement conservatrice (trop stricte) en raison du problème d'arrêt. Il donne comme exemple: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Quelqu'un peut-il fournir une réponse non artificielle qui serait vraiment une préoccupation pratique? Je comprends …

9 programming-languages compilers type-checking

2

Quelles sont les chaînes de Markov?

Je lis actuellement des articles sur le regroupement de chaînes de Markov et je ne vois pas la différence entre une chaîne de Markov et un graphique pondéré simple. Par exemple, dans l'article Optimisation de l'espace d'état dans les chaînes de Markov, ils fournissent la définition suivante d'une CTMC (chaîne …

9 probability-theory weighted-graphs mathematical-foundations markov-chains

2

Existe-t-il une définition claire de «calculable» pour les modèles de calcul qui ne sont pas complets?

Il s'agit d'une suite d'une autre question ici , et j'espère que ce n'est pas trop philosophique. Comme Raphael l'a souligné dans un commentaire sur ma question précédente, je n'ai pas vraiment la définition de "calculable", mais selon certains articles que j'ai lus, la définition n'est pas vraiment claire quand …

9 computability computation-models

4

L'unicité d'un élément peut-elle être résolue en temps linéaire déterministe?

Considérez le problème suivant: Entrée : liste des entiersX,YX,YX,Y Objectif : déterminer s'il existe un entier qui figure dans les deux listes.xxx Supposons que les deux listes soient de taille . Existe-t-il un algorithme déterministe à temps linéaire pour ce problème? En d'autres termes, pouvez-vous résoudre ce problème en temps …

9 algorithms complexity-theory lower-bounds

2

Expliquer le SAT aux professeurs de sciences du secondaire

Je suis un étudiant en deuxième année du secondaire qui s'intéresse à l'informatique. J'ai développé un algorithme sympa pour #SAT, et j'implémente et fais un projet d'expo-science sur celui-ci. Ma conseillère, qui est la meilleure enseignante en sciences de mon école et également enseignante AP Comp Sci, m'a dit qu'elle …

9 algorithms satisfiability

4

Trouver les deux plus grands des cinq petits entiers le plus rapidement possible

J'utilise une variation d'un filtre médian à 5 croix sur les données d'image sur un petit système embarqué, c'est-à-dire x x x x x L'algorithme est vraiment simple: lire 5 valeurs entières non signées, obtenir les 2 plus élevées, faire des calculs sur celles-ci et réécrire le résultat entier non …

9 algorithms efficiency selection-problem