Informatique théorique

1

Existe-t-il un algorithme approprié pour tracer un graphe mixte de circonscription / dépendance dans un système de coordonnées?

Je recherche un algorithme pour dessiner un graphe mixte de circonscription / dépendance (pour une application linguistique). Un tel graphique aurait deux types de sommets différents (jetons, nœuds) et deux types d'arêtes différents (hiérarchique, non hiérarchique). Je suis nouveau dans la théorie des graphes et les algorithmes en général, et …

9 ds.algorithms graph-algorithms cg.comp-geom graph-drawing

1

Une version simplifiée du jeu de cartes Winner

J'ai posé ce problème dans MathOverflow , sans aucune réponse satisfaisante. Considérez le jeu à deux joueurs suivant, qui est une simplification du jeu de cartes appelé Winner . (La formulation suivante est tirée d'un commentaire de Guillaume Brunerie sur MathOverflow.) Il y a deux joueurs A et B. Chaque …

9 gt.game-theory card-games

2

Une variation de l'écart impliquant des graphiques aléatoires

Supposons que nous ayons un graphe sur nnn nœuds. Nous aimerions attribuer à chaque nœud soit un +1+1+1 soit un −1−1−1 . Appelons cela une configuration σ∈{+1,−1}nσ∈{+1,−1}n\sigma \in \{+1,−1\}^n . Le nombre de +1+1+1 s que nous devons attribuer est exactement sss (d'où le nombre de −1−1−1 s est n−sn−sn−s …

9 graph-theory co.combinatorics optimization

3

Existe-t-il un problème NP-complet (ou NP-intermédiaire) connu dans l'espace non déterministe sublinéaire?

Il existe certains problèmes NP-Complete ( , S U B S E T S U M , etc.) connus pour être dans D S P A C E ( n ) . Et les espaces sub-linéaires?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Existe-t-il un problème NP-complet (ou NP-intermédiaire) connu dans l' …

9 cc.complexity-theory np-hardness nondeterminism np-intermediate

1

Résoudre efficacement un système d'inégalités linéaires strictes avec tous les coefficients égaux à 1 sans utiliser un solveur LP général?

Par le titre, outre l'utilisation d'un solveur LP à usage général, existe-t-il une approche pour résoudre les systèmes d'inégalités sur les variables où les inégalités ont la forme ? Qu'en est-il du cas particulier des inégalités qui forment un ordre total sur les sommes des membres de l'ensemble de puissance …

9 ds.algorithms linear-algebra linear-programming

1

Complexité paramétrée du comptage des bicliques

Dans une question précédente, Algorithme paramétré pour trouver des bicliques , je me suis demandé s'il y avait des algorithmes paramétrés rapides pour trouver un -biclique dans un graphe de sommets n et j'ai appris qu'il était ouvert s'il était FPT par rapport à k . Est-ce la même chose …

9 cc.complexity-theory graph-theory counting-complexity parameterized-complexity

2

Définition formelle / contrepartie en mathématiques pour les «objets» des modèles orientés objet

C'est une question que j'ai posée dans le forum Mathématiques SE, et j'ai été référé ici. Voici donc la question- Je suis un débutant en mathématiques formelles et en informatique théorique, alors soyez indulgent avec vous si vous trouvez que ma question n'est pas bien formulée. La modélisation orientée objet …

9 pl.programming-languages semantics formal-modeling set-theory object-oriented

2

Comprendre une preuve de conception de mécanisme

J'ai eu du mal avec les détails techniques d'une preuve concernant la théorie des enchères dans cet article: http://users.eecs.northwestern.edu/~hartline/omd.pdf Plus précisément, le théorème 2.5: les conditions nécessaires et suffisantes pour un mécanisme véridique. Plus précisément, dans le sens direct de la preuve, donnée à la page 6. Définissant une valeur …

9 gt.game-theory

2

Existence de «matrices colorantes»

Modifier: il y a maintenant une question de suivi liée à ce message. Définitions Soit et entiers. Nous utilisons la notation .k [ i ] = { 1 , 2 , . . . , i }ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} Une matrice est dite matrice de coloration to- si les conditions …

9 co.combinatorics lower-bounds dc.distributed-comp

1

Compter le nombre de régions épaisses qui chevauchent un carré

Soit un carré unitaire. En fonction de , quel est le nombre maximum de -gras régions disjointes par paires de diamètre au moins 1 qui peuvent recouper ?SSSββ\betaββ\betaSSS Ci-dessous, nous donnons un chiffre montrant que pour , le nombre maximum est 7. Qu'en est-il de ?β= 1β=1\beta=1β= 2 , 3 …

9 cg.comp-geom

2

Polygone dans le problème de généralisation des polygones

Je voudrais m'excuser auprès de tous les articles ci-dessous. Vous avez choisi le mauvais forum pour publier cela à l'origine. Cependant, plutôt que d'en faire un gaspillage complet, j'ai retravaillé la question pour qu'elle soit un véritable problème "d'informatique théorique". Problème: Créez un algorithme qui prend un ensemble de n …

9 ds.algorithms cg.comp-geom polygon

2

Dimension VC des sphères en 3 dimensions

Je recherche la dimension VC du système d'ensemble suivant. Univers tel que . Dans le système d'ensemble chaque ensemble correspond à une sphère dans sorte que l'ensemble contient un élément dans si et seulement si la sphère correspondante le contient dans .U={p1,p2,…,pm}U={p1,p2,…,pm}U=\{p_1,p_2,\ldots,p_m\}U⊆R3U⊆R3U\subseteq \mathbb{R}^3RR\mathcal{R}S∈RS∈RS\in \mathcal{R}R3R3\mathbb{R}^3SSSUUUR3R3\mathbb{R}^3 Des détails que je connais déjà. …

9 cg.comp-geom machine-learning vc-dimension

1

Une paire de cycles homotopiques disjoints dans le dual sépare-t-elle le graphique?

Soit un graphe incrusté sur une surface compacte orientable du genre g pour que l'incorporation soit cellulaire. Considérons le dual du graphe G ∗ . Soit C 1 et C 2 des cycles disjoints dans G ∗ homotopiques l'un avec l'autre et soit E 1 et E 2 leurs ensembles …

9 graph-theory co.combinatorics topological-graph-theory

3

Cas particuliers de Graphic TSP

Dans Graphic TSP , vous obtenez un graphe non orienté non pondéré et l'objectif est de trouver un tour le plus court dans G qui visite chaque sommet au moins une fois . Notez que ce n'est pas identique à la recherche d' un circuit hamiltonien dans G . Mes …

9 ds.algorithms treewidth tsp

2

Complexité de la recherche d'un séparateur de graphe avec une propriété donnée

Existe-t-il des résultats connus sur la complexité de trouver un séparateur (de toute taille) satisfaisant une propriété donnée? Je sais qu'un séparateur clique est facile à trouver (temps polynomial) et je sais aussi que de nombreux articles considèrent le problème de trouver de petits séparateurs ou des séparateurs qui laissent …

9 ds.algorithms graph-theory graph-algorithms