Informatique théorique partial-order

5

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 préférez …

45 ds.algorithms directed-acyclic-graph partial-order

5

Généralisations de recherche binaire pour les posets?

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 …

28 ds.algorithms ds.data-structures partial-order order-theory search-problem

1

À quelle vitesse pouvons-nous calculer le poset d'inclusion d'ensemble d'une famille d'ensemble?

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 théorie des graphes où …

20 graph-algorithms ds.data-structures partial-order

3

Complexité du tri topologique avec des positions contraintes

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 …

15 sorting directed-acyclic-graph partial-order matching order-theory

4

Pire nombre de questions nécessaires pour apprendre un prédicat monotone sur un poset

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 …

15 ds.algorithms lg.learning partial-order search-problem order-theory

1

Le comptage des cliques maximales dans un graphique d'incomparabilité # P-complet?

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 antichaines maximales dans un poset …

13 cc.complexity-theory counting-complexity partial-order clique

1

Éléments minimaux d'un prédicat monotone sur l'ensemble de puissance

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 …

12 ds.algorithms ds.data-structures partial-order order-theory search-problem

1

Ordre topologique positif, prendre 2

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 …

12 ds.algorithms directed-acyclic-graph partial-order

1

Généralisation du théorème de Dilworth pour les DAG étiquetés

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 …

11 reference-request graph-theory directed-acyclic-graph partial-order

1

Énumération des types topologiques d'un DAG étiqueté par un sommet

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 …

11 cc.complexity-theory sorting directed-acyclic-graph partial-order

2

Déterminer ce qui peut être réalisé par une permutation d'éléments d'un groupe non commutatif

Correction d' un groupe fini . Je m'intéresse au problème de décision suivant: l'entrée est quelques éléments de G avec un ordre partiel sur eux, et la question est de savoir s'il y a une permutation des éléments qui satisfait l'ordre et est telle que la composition des éléments dans …

11 np-hardness sorting gr.group-theory partial-order order-theory

1

Bijections monotones entre listes d'intervalles

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 …

10 cc.complexity-theory ds.algorithms np-hardness partial-order matching

2

Problèmes de réseau

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 …

10 ds.algorithms reference-request graph-algorithms partial-order order-theory

Questions marquées «partial-order»