Je lis un vieil article de MC Golumbic sur les graphiques EPT (intersection des bords de chemins dans un arbre). Dans cet article, il est montré que le nombre de cliques maximales d'une instance de graphe EPT est polynomial. Il conclut que si un oracle rapporte qu'un graphe est un graphe EPT, alors...
DLOGTIME est défini sur http://en.wikipedia.org/wiki/DLOGTIME est défini sur http://en.wikipedia.org/wiki/L_%28complexity%29 NC et NC n sont définis sur http: // en .wikipedia.org / wiki / NC_% 28complexity% 29LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME semble être le...
Supposons un cadre dans la complexité de la communication où nous avons deux joueurs A (poux) et B (ob) et un R (eferee). A et B ne communiquent pas directement entre eux. Dans chaque cycle de communication, chacun d'eux envoie un message ( , m B ) au R. R calcule deux fonctions f A ( m A , m B )...
(Toutes mes excuses si cela est déplacé ou trop large. Je suis ouvert aux suggestions sur la façon de le reformuler.) Je suis intéressé à retracer l'histoire "ancienne" des algorithmes max-flow et des algorithmes d'optimisation discrets en général. Ford-Fulkerson est mon homme de paille d'un point...
Le théorème du PCP déclare que chaque problème de décision dans NP a des preuves probabilistes vérifiables (ou de manière équivalente, qu'il existe un système de preuve complet et quasi-sain pour les théorèmes dans NP utilisant une complexité de requête constante et logarithmiquement de nombreux...
Les triangulations de Delaunay dans le plan maximisent l'angle minimum dans un triangle. Est-ce la même chose pour la triangulation de Delaunay des points sur la sphère? (ici "l'angle" est l'angle local dans un voisinage autour du sommet au sommet). Inspiré par mais sans rapport avec cette question...
Je recherche un logiciel de calcul / estimation de volume de polyèdres convexes de grande dimension. Plus spécifiquement, je m'intéresse à un programme, qui peut gérer des corps avec sommets dans un espace dimensionnel avec des paramètres à peu près comme suit: et . Notez qu'il n'y a aucune...
Suite à cette question ... J'essaie d'apprendre à utiliser et à créer des réseaux de neurones pour mes recherches, et un point m'échappe quelque peu. Je me rends compte que les couches cachées sont une partie quelque peu nécessaire de cela, mais je suis coincé sur deux points que mes références...
Supposons que j'ai une liste de sous-ensembles de . Je peux faire un prétraitement sur cette liste si nécessaire. Après ce prétraitement, on me présente un autre ensemble . Je veux identifier tous les jeux avec .XX\cal X{1,...,n}{1,...,n}\{1, ..., n\}A⊆{1,...,n}A⊆{1,...,n}A \subseteq \{1, ..., n...
Lorsque nous interprétons les clés comme des nombres naturels, nous pouvons utiliser la formule suivante. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Ce que j'ai du mal à comprendre, c'est comment nous choisissons la valeur de A où:...
Je voudrais savoir pourquoi pour la reconnaissance des langues sans contexte, seuls les automates déroulants non déterministes (DPA = NPDA) fonctionnent. Pourquoi les automates déterministes push-down (DPDA) ne reconnaissent-ils pas ces
Je voulais savoir quelles sont les applications de SGT dans le domaine de la théorie de l'information et du codage et peut-être des communications. Le plus lié qui me vient à l'esprit est le travail sur les codes d'extension Michael Sipser et Daniel Spielman, "Expander Codes", IEEE Transactions on...
Dans le cadre de travaux récents , nous avons défini un langage basé sur une logique à trois valeurs à la Kleene, où signifie vrai, 0 pour faux et ⊥ pour erreur ou ne sait pas. Afin de montrer que notre langage était expressif, nous avons voulu prouver que nous pouvions construire un ensemble...
Les moteurs de recherche sont de plus en plus utilisés comme gardiens de l'information, mais les critères utilisés par les moteurs de recherche pour classer les résultats sont opaques pour les utilisateurs. Comment les utilisateurs peuvent-ils être sûrs que leurs résultats ne sont pas biaisés ou...
Quelle est la possibilité pour un informaticien de transformer son domaine en pur mathématicien? et quelle est la manière la plus simple de le faire? des exemples pour les gens qui pourraient le
Ma question est un peu vague. Je me demandais si (et comment), nous pouvons appliquer la notion de largeur d'arbre aux problèmes d'emballage dans les graphiques. Je serais heureux de tout aperçu ou référence de travaux de recherche antérieurs à ce sujet (en supposant qu'il s'agit d'une relation)....
J'ai une question, dont la réponse est probablement bien connue, mais je n'arrive pas à trouver quoi que ce soit de significatif après un peu de recherche, donc j'apprécierais de l'aide. Ma question est de savoir si l'on sait que décider si un nombre est transcendantal est indécidable....
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...
Il y a un programme linéaire pour lequel je veux non seulement une solution mais une solution aussi centrale que possible sur la face du polytope qui assume la valeur minimale. A priori, nous nous attendons à ce que la face minimisante soit de grande dimension pour diverses raisons, notamment que...
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 questions sont:GGGGGGGGG Quelle est la...