En relation avec le puzzle Slither Link , je me suis demandé: supposons que j'ai une grille de cellules carrées et que je souhaite trouver un cycle simple de bords de grille, uniformément au hasard parmi tous les cycles simples possibles.n×nn×nn\times n Une façon de le faire serait d'utiliser une...
Le problème de satisfaction est, bien sûr, un problème fondamental en CS théorique. Je jouais avec une version du problème avec une infinité de variables. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuration de base. Soit XXX un ensemble de variables non vide et...
Puisque le terme est surchargé, une brève définition d'abord. Un poset est un ensemble doté d'un ordre partiel . Étant donné deux éléments , nous pouvons définir (jointure) comme leur borne inférieure la plus basse dans , et de même définir (rencontrer) (joindre) comme borne inférieure la plus...
J'ai deux partitions de et je recherche la distance d'édition entre elles.[1…n][1…n][1 \ldots n] Par cela, je veux trouver le nombre minimal de transitions uniques d'un nœud dans un groupe différent qui sont nécessaires pour passer de la partition A à la partition B. Par exemple, la distance de {0...
Considérez le problème suivant: Entrée : un hyperplan , donné par un vecteur et en représentation binaire standard.H= { y ∈ Rn: unTy = b }H={y∈Rn:uneTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}a ∈ Znune∈Zn\mathbf{a} \in \mathbb{Z}^nb ∈ Zb∈Zb \in \mathbb{Z} Sortie :x ∈ Zn=...
J'ai posé cette question il y a quelques semaines à mathoverflow , mais je n'ai reçu aucune réponse. Ici, par grille 3D de longueur latérale je veux dire le graphique avec et , c'est-à-dire que les nœuds sont placés à des coordonnées entières en 3 dimensions entre 1 et , et un nœud est connecté à...
EDIT (Par Tara B): Je serais toujours intéressé par une référence à une preuve de cela, car je devais le prouver moi-même pour mon propre papier. Je cherche la preuve du Théorème 4 qui apparaît dans cet article: Une hiérarchie infinie d'intersections de langues sans contexte par Liu et Weiner....
Hiroimono est un puzzle populaire complet. Je m'intéresse à la complexité informatique d'un puzzle connexe.NPNPNP Le problème est: Entrée : étant donné un ensemble de points sur une grille carrée x et un entiern knnnnnnkkk Question : Existe-t-il un polygone rectiligne (ses côtés parallèles à l' axe...
Première question sur math.SE sans réponse. Supposons que j'ai un graphe planaire, avec une intégration planaire, comment trouver la décomposition des arbres? Quelle est la décomposition arborescente optimale d'une grille carrée by- ? Je ne sais pas trop comment définir «optimal», mais il devrait...