Informatique théorique

9
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
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...

9
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....

9
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...

9
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...