Un ordre partiel est une relation binaire sur un ensemble qui est réflexive, antisymétrique et transitive.
Supposons que j'ai un graphe acyclique dirigé avec des pondérations en nombre réel sur ses sommets. Je souhaite trouver un ordre topologique du groupe de disponibilité de base de données dans lequel, pour chaque préfixe de cet ordre topologique, la somme des poids est non négative. Ou si vous...
Supposons que j'ai un poset "S" et un prédicat monotone "P" sur S. Je veux trouver un ou tous les éléments maximaux de S satisfaisant P. EDIT : Je suis intéressé à minimiser le nombre d' évaluations de P . Quels algorithmes existent pour ce problème et quelles propriétés et opérations...
Compte tenu d' une famille ensemble FF\mathcal{F} de sous - ensembles d'un univers UUU . Soit S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F et nous voulons répondre est S1⊆S2S1⊆S2S_1 \subseteq S_2 . Je recherche une structure de données qui me permettra d'y répondre rapidement. Mon application est de la...
Considérons un poset fini sur éléments, et un prédicat monotone inconnu sur (c'est-à-dire pour tout , , si et alors ) . Je peux évaluer en fournissant un nœud et en déterminant si est vrai ou non. Mon objectif est de déterminer exactement l'ensemble des nœuds tel que valide, en utilisant aussi peu...
On me donne en entrée un DAG de sommets où chaque sommet est en outre étiqueté avec quelques .n x S ( x ) ⊆ { 1 , … , n }GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Une sorte topologique de est une bijection des sommets de vers telle sorte que pour tout , , s'il y a un chemin...
Cette question est motivée par une question MathOverflow de Peng Zhang . Valiant a montré que le comptage des cliques maximales dans un graphique général est # P-complet, mais que se passe-t-il si nous nous limitons aux graphiques d'incomparabilité (c'est-à-dire que nous voulons compter les...
Ceci fait suite à la récente question de David Eppstein et est motivé par les mêmes problèmes. Supposons que j'ai un point avec des poids réels sur ses sommets. Initialement, tous les sommets ne sont pas marqués. Je peux changer l'ensemble des sommets marqués soit (1) en marquant un sommet sans...
Considérons un prédicat monotone sur l'ensemble de puissance (ordonné par inclusion). Par "monotone" je veux dire: tel que , si puis . Je cherche un algorithme pour trouver tous les éléments minimaux de , c'est-à-dire les tels que mais , . Puisque la largeur de est n \ choisissez n /...
Soit soit un graphe acyclique orienté , et soit λ est une fonction de marquage en correspondance chaque sommet v ∈ V à une étiquette λ ( v ) dans un alphabet fini L . Écriture n : = | V | , une sorte topologique de G est une bijection σ de { 1 , … , n } à V (c'est-à-dire un ordre deG = ( V,...
Un antichaîne dans un DAG est un sous - ensemble de sommets qui sont inaccessibles par paires, à savoir, il n'y a pas tel que est accessible à partir de dans . D'après le théorème de Dilworth dans la théorie de l'ordre partiel, on sait que si DAG n'a pas d'antichaîne de taille , alors il peut être...
Il y a eu pas mal de travail sur les problèmes de calcul pour les commandes partielles (par exemple, la reconnaissance, le nombre de sauts, la reconnaissance du graphe de comparabilité, etc.). Je suis curieux de savoir quel travail spécifique aux réseaux a été fait. J'ai cherché autour et je n'ai...
J'ai le problème suivant: Entrée: deux ensembles d'intervalles et T (tous les points d'extrémité sont des entiers). Requête: existe-t-il une bijection monotone f : S → T ?SSSTTTf:S→Tf:S→Tf:S \to T Le bijection est monotones l'ordre wrt d'inclusion ensemble sur et T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y...