Inhaltsverzeichnis
Auswahl der wissenschaftlichen Literatur zum Thema „Algorithmique de graphes“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Algorithmique de graphes" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Algorithmique de graphes"
1
Hamacher, Horst W. „Optimisation Combinatoire—Méthodes Mathematiques et Algorithmiques: Programmation Discrete; Optimisation Combinatoire Methodes Mathematiques et Algorithmiques: Graphes et Programmation Lineaire (Michel Sakarovitch)“. SIAM Review 29, Nr. 1 (März 1987): 143–44. http://dx.doi.org/10.1137/1029022.
Der volle Inhalt der Quelle
2
Bailblé, Olivier, und Eric Bailblé. „Les nouvelles technologies face à l’historiographie positiviste de l’histoire de France : étude sur le 19ème siècle en français : enjeux et perspectives“. Matices en Lenguas Extranjeras, Nr. 9 (01.01.2015): 68–90. http://dx.doi.org/10.15446/male.n9.54913.
Der volle Inhalt der QuelleAnnotation:
Cet article a donné la possibilité de rendre compte d’une analyse lexicale du 19ème siècle français dans l’édition mondiale produite durant les 19ème et 20ème siècles à l’aide d’un nouvel outil lexicométrique nommé « N-gram-Viewer » (visualisateur de fréquence de mots). Cet instrument numérique en ligne sur l’Internet nous a permis de réaliser une approche assez précise des occurrences lexicales des deux derniers siècles. Ce logiciel qui manipule un corpus de 5 millions de livres numérisés est à la fois linguistique et historique. Il offre en effet des possibilités nouvelles pour apprécier et expliquer l’histoire du 19ème siècle français entre mythe et réalité.La problématique centrale de cet article a donc été la suivante : dans quelle mesure peut-on dire que les nouvelles technologies linguistiques permettent d’obtenir un autre re- gard sur l’histoire dite traditionnelle d’un pays ? Et plus avant encore : dans quelle mesure peut-on dire aussi qu’une analyse structurelle macro-lexicale peut débusquer des représen- tations inédites et constitutives gravitant autour des « Grands Hommes » liés naturellement à l’histoire événementielle ou des positivistes d’un pays ?Les données obtenues ont permis de construire des courbes d’occurrences lexicales (nommées N-grammes) qui nous ont donné accès à un monde numérique jusqu’ici caché. Cet outil nous a permis surtout de voir un double immatériel de la mémoire de l’humanité car il offre l’accès à des traitements algorithmiques accélérés et à des enregistrements mas- sifs d’information connectés à l’édition mondiale.La science de fouilles de données (data mining), la science de réseaux (les graphes obtenus par l’Internet) et leur mise à jour par des « datas centers », tels ont été les trois pa- ramètres essentiels de cette recherche. Ces trois aspects techniques ont constitué la toile de fond de cette étude qui dispose au final de plus de 500 milliards de mots, soit environ 5 téraoctets. La création numérique de ce méga-texte réalisé par les laboratoires « Google » et l’université d’Harvard en 2010 a donc ouvert des perspectives inédites entre culture et nu- mérique, d’où le néologisme récent de « Culturomique » pour nommer ce microscope d’analyse linguistique au service de l’histoire.
3
Decoupigny, Christophe. „The TUREP model: micro-scale simulation of pollutants emissions“. Les Cahiers Scientifiques du Transport - Scientific Papers in Transportation 52 | 2007 (30.11.2007). http://dx.doi.org/10.46298/cst.12063.
Der volle Inhalt der QuelleAnnotation:
The classical theory of the graphs used to describe the networks considers the nodes in a homogeneous way. However the heterogeneity of space implies a variability of the conditions of circulation and thus of the emissions. The algorithmic transformation of an unspecified graph into cellular graph is possible by the theory of graphs. A fine description of an urban network increases the description of the networks to locate urban structure. The creation of a Multi-Agent System simulating displacements of the vehicles on the graph according to rules makes it possible to evaluate not only the constraints imposed by the network but also those imposed by the traffic. The association of the cellular graphs and the SMA allows to precise the localisation of the emissions on the network and to measure the impacts of installations on these last. La théorie classique des graphes utilisée pour décrire les réseaux considère les carrefours de manière homogène. Or l’hétérogénéité de l’espace implique une forte variabilité des conditions de circulation et donc des émissions. La transformation algorithmique d'un graphe quelconque en graphe cellulaire est rendue possible par l’intermédiaire de la théorie des graphes. Une description fine d’un réseau urbain enrichit la description des réseaux en localisant précisément des aménagements. La création d’un Système Multi-Agents simulant les déplacements des véhicules sur le graphe en fonction de règles permet d’évaluer non seulement les contraintes imposées par le réseau mais aussi celles imposées par le trafic. L’association des graphes cellulaires et des SMA offre l’opportunité de localiser très précisément les émissions sur le réseau et de mesurer les impacts de certains aménagements sur ces dernières.
4
Plutniak, Sébastien. „A Precursor of Digital Humanities ? The First Automated Analysis of an Ancient Economic Network (Gardin & Garelli, 1961). Implementation, Theorization, Reception“. Analyse de réseaux pour les sciences sociales, Papers (10.09.2018). http://dx.doi.org/10.46298/arcs.9236.
Der volle Inhalt der QuelleAnnotation:
From as early as the 1950s, J.C. Gardin's work spanned both archaeology and the emerging automation of numerical computation and documentation. In 1961, with P. Garelli, he published the first automated application of graph theory to historical materials, working from Assyrian cuneiform tablets documenting economic relations. This work was then widely ignored both in archeology and network analysis. However, in the past twenty years, socio-epistemic claims related to the growth of the Internet and computing (digital humanities, computational archaeology, etc.) have brought a surge of interest in Gardin's work, which is now regarded as pioneering. Working from archive materials and publications, this paper shows how a historical sociology of scientific writings can be relevant to the history of automation in historical sciences. The paper examines Gardin's recognition as an influential forerunner of computational archeology, showing that : 1) although Gardin had access to resources (financial, instrumental, etc.) that were rare at the time, and could have provided material for the foundation of a school or a specialty, he did not however pursue this ambition; 2) the demonstrative purposes pursued by Gardin with his study of 1961 economic networks varied between the 1960s (demonstrating the relevance of non-numerical computation) and the 1980s (legitimizing simulation in the social sciences), but were never concerned with network analysis as such. Dès les années 1950, les travaux de J.‑C. Gardin concernèrent à la fois l'archéologie et l'automatisation naissante du calcul numérique et de la documentation. En 1961, à partir de tablettes cunéiformes assyriennes documentant des relations économiques, il publia avec P. Garelli la première application automatisée de la théorie des graphes à des matériaux historiques. Elle fut ensuite largement ignorée tant en archéologie qu'en analyse de réseaux. Toutefois, depuis vingt ans, les revendications socio-épistémiques liées à la généralisation d'internet et de l'informatique (humanités numériques, archéologie computationnelle, etc.) ont accru l'intérêt porté aux travaux – jugés précurseurs – de Gardin. Fondé sur des archives et des publications, cet article défend la pertinence d'une sociologie historique du texte scientifique pour l'histoire de l'automatisation des sciences historiques. L'identification de Gardin comme précurseur influent d'une archéologie computationnelle est nuancée, en montrant que 1) malgré son accès facilité à des ressources (financières, instrumentales, etc.) alors rares et ayant pu favoriser la fondation d'une école ou d'une spécialité, il ne poursuivit pas cette ambition ; 2) les objectifs démonstratifs qu'il attribua à l'étude de 1961 du réseau économique ont varié entre les années 1960 (démontrer l'intérêt du calcul non numérique) et les années 1980 (légitimer la simulation en sciences sociales) mais n'ont, jamais, concerné « l'analyse de réseaux » – ou toute autre procédure algorithmique – en tant que telle.
5
Banderier, Cyril, und Michael Drmota. „Coefficients of algebraic functions: formulae and asymptotics“. Discrete Mathematics & Theoretical Computer Science DMTCS Proceedings vol. AS,..., Proceedings (01.01.2013). http://dx.doi.org/10.46298/dmtcs.2366.
Der volle Inhalt der QuelleAnnotation:
International audience This paper studies the coefficients of algebraic functions. First, we recall the too-little-known fact that these coefficients $f_n$ have a closed form. Then, we study their asymptotics, known to be of the type $f_n \sim C A^n n^{\alpha}$. When the function is a power series associated to a context-free grammar, we solve a folklore conjecture: the appearing critical exponents $\alpha$ can not be $^1/_3$ or $^{-5}/_2$, they in fact belong to a subset of dyadic numbers. We extend what Philippe Flajolet called the Drmota-Lalley-Woods theorem (which is assuring $\alpha=^{-3}/_2$ as soon as a "dependency graph" associated to the algebraic system defining the function is strongly connected): We fully characterize the possible critical exponents in the non-strongly connected case. As a corollary, it shows that certain lattice paths and planar maps can not be generated by a context-free grammar (i.e., their generating function is not $\mathbb{N}-algebraic). We end by discussing some extensions of this work (limit laws, systems involving non-polynomial entire functions, algorithmic aspects). Cet article a pour héros les coefficients des fonctions algébriques. Après avoir rappelé le fait trop peu connu que ces coefficients $f_n$ admettent toujours une forme close, nous étudions leur asymptotique $f_n \sim C A^n n^{\alpha}$. Lorsque la fonction algébrique est la série génératrice d'une grammaire non-contextuelle, nous résolvons une vieille conjecture du folklore : les exposants critiques $\alpha$ ne peuvent pas être $^1/_3$ ou $^{-5}/_2$ et sont en fait restreints à un sous-ensemble des nombres dyadiques. Nous étendons ce que Philippe Flajolet appelait le théorème de Drmota-Lalley-Woods (qui affirme que $\alpha=^{-3}/_2$ dès lors qu'un "graphe de dépendance" associé au système algébrique est fortement connexe) : nous caractérisons complètement les exposants critiques dans le cas non fortement connexe. Un corolaire immédiat est que certaines marches et cartes planaires ne peuvent pas être engendrées par une grammaire non-contextuelle non ambigüe (i. e., leur série génératrice n'est pas $\mathbb{N}-algébrique). Nous terminons par la discussion de diverses extensions de nos résultats (lois limites, systèmes d'équations de degré infini, aspects algorithmiques).
Dissertationen zum Thema "Algorithmique de graphes"
1
Mazoit, Frédéric. „Décomposition algorithmique des graphes“. Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2004. http://tel.archives-ouvertes.fr/tel-00148807.
Der volle Inhalt der QuelleAnnotation:
Dans cette thèse, nous nous intéressons à deux types de décompositions des graphes introduits par Robertson et Seymour: les décompositions arborescentes et les décompositions en branches. À ces décompositions sont associés deux paramètres des graphes: la largeur arborescente et la largeur de branches. Nous montrons que ces deux décompositions peuvent être vues comme issues d'une même structure combinatoire; les deux paramètres mentionné ci-dessus sont égaux aux valeurs minimales de deux paramètres de cette structure commune. En poussant plus avant cette analogie, nous montrons comment adapter une technique de calcul de la largeur arborescente au calcul de la largeur de branches. Ceci nous permet de calculer la largeur de branches des graphes de nombre astéroïde borné ayant un nombre polynômial de séparateurs minimaux et celle des graphes d-trapézoïdes circulaires. Ce parallèle nous permet aussi d'adapter certains résultats structurels sur les décompositions en branches aux décompositions arborescentes. Dans le cas des graphes planaires, nous interprétons ces propriétés à l'aide d'outils topologiques. De cette façon, nous donnons une démonstration simple d'un théorème de dualité reliant la largeur arborescente d'un graphe planaire et celle de son dual. Ces outils nous permettent aussi d'énumérer de façon efficace les séparateurs minimaux des graphes planaires.
2
Angelier, Pierre. „Algorithmique des graphes de visibilité“. Paris 7, 2002. http://www.theses.fr/2002PA077007.
Der volle Inhalt der Quelle
3
Godard, Emmanuel. „Réécritures de graphes et algorithmique distribuée“. Bordeaux 1, 2002. http://www.theses.fr/2002BOR12518.
Der volle Inhalt der QuelleAnnotation:
Un système distribué peut être représenté par un graphe étiqueté : les sommets correspondent aux processeurs, les arêtes aux liens de communication et les étiquettes associées aux sommets codent les états des processeurs. Un algorithme distribué est alors décrit par un système de règles de transition locale où l'étiquette suivante d'un sommet est fonction de son étiquette actuelle et de celles de ses voisins (réétiquetage local). Les réétiquetages opérant sur des voisinages disjoints se déroulent en parallèle, de manière asynchrone. Dans ce cadre, on étudie la réalisabilité et non-réalisabilité des tâches distribuées. Nous illustrerons notre méthode en nous intéressant en particulier à certains problèmes spécifiques aux systèmes distribués (élection d'un noeud, reconnaissance de certaines propriétés topologiques du graphe sous-jacent au réseau, calcul de métriques du réseau comme par exemple la taille ou le diamètre). Dans tous ces cas, on présente une caractérisation complète de ce qui est réalisable par calcul distribué en fonction de la topologie du graphe sous-jacent mais également du degré de connaissance qu'a le réseau sur lui-même ("connaissance structurelle"). Ces conditions nécessaires et suffisantes sont principalement exprimées en termes de fermetures par s̀̀imilarités'' des familles de réseaux considérées. Ces s̀̀imilarités'' sont décrites de manière combinatoire à l'aide de morphismes de graphes particuliers : les revêtements et les quasi-revêtements. Les preuves des conditions nécessaires emploient des techniques de simulation à base de revêtements et quasi-revêtements. Les algorithmes distribués présentés pour les preuves des conditions suffisantes se fondent essentiellement sur un algorithme de cartographie du réseau sous-jacent. Celui-ci est construit à partir des extensions d'un algorithme d'énumération de A. Mazurkiewicz et d'un algorithme de détection des propriétés stables de Shy, Szymanski et Prywes.
4
Lyaudet, Laurent. „Graphes et hypergraphes : complexités algorithmique et algébrique“. Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2007. http://tel.archives-ouvertes.fr/tel-00905137.
Der volle Inhalt der QuelleAnnotation:
Attention, ce résumé comporte un peu d'ironie et d'humour. Dans ce mémoire, nous défendons l'idée selon laquelle, pour tout modèle de calcul raisonnable, ce n'est plus tant le modèle qui compte pour caractériser les classes de complexité importantes que la complexité de la structure combinatoire sous-jacente et en définitive d'un graphe sous-jacent. Pour prendre l'exemple des circuits booléens ou algébriques comme modèles, tout ce qui importe est la complexité du graphe orienté sous-jacent au circuit. Par modèle de calcul raisonnable, nous entendons, comme il se doit, un modèle qui étudié sur une classe de graphes standard nous donne la classe de complexité standard attendue afin de satisfaire aux règles élémentaires des tautologies. On pourrait aussi choisir comme modèles raisonnables les modèles Turing-complet (ou une autre notion de complétude plus adaptée selon les objets calculés), formalisables dans une logique simple (afin d'éviter les "tricheries" et les modèles conçus spécialement pour faire échouer la belle idée défendue). Néanmoins, cette seconde option n'étant pas sans risque, nous nous contentons de la proposer. La thèse défendue est une version un peu plus formalisée et précise mathématiquement de cette idée aux contours un peu flous et qui est donc nécessairement un peu fausse telle quelle.
5
Ziti, Soumia. „Classes particulières de graphes : aspects structurels et algorithmique“. Orléans, 2006. http://www.theses.fr/2006ORLE2037.
Der volle Inhalt der QuelleAnnotation:
Dans cette thèse nous nous intéressons, d'abord, au principe de la décomposition des graphes qui permet de découper un graphe en sous graphes ayant des propriétés particulières et qui ont des liens spécifiés entre eux. Nous citons ainsi les méthodes de décompositions les plus importantes: décomposition modulaire qui peut être appliquée à un graphe arbitraire, elle est un outil puissant pour résoudre plusieurs problèmes d'optimisation lorsqu’on considère des classes particulières de graphes. Nous abordons aussi, des variantes de cette décomposition modulaire comme la décomposition en split et des classes particulières comme les cographes. Ensuite, la décomposition canonique qui est une adaptation de la décomposition modulaire au cas des graphes bipartis. Puis nous abordons le sujet des algorithmes dynamiques et leurs applications notamment à la classe des graphes bisplits étendus qui sont totalement décomposables par décomposition canonique. Finalement nous évoquons le sujet des graphes avec des configurations clairsemés en se basant sur la structure de P4 (chaîne de quatre sommets) et en étudiant la densité de présence de cette structure dans un graphe général comme les graphes P4-clairsemés ou (P4-clairsemés)-clairsemés, ou des situations analogues dans le cas des graphes bipartis comme le sont les graphes (P7, Star123)-clairsemés ou Star123-clairsemés.
6
Nichitiu, Codrin. „Algorithmique sur graphes d'automates : election d'un chef, simulations“. Lyon, École normale supérieure (sciences), 1999. http://www.theses.fr/1999ENSL0138.
Der volle Inhalt der QuelleAnnotation:
Dans cette these, nous presentons quelques contributions a l'algorithmique sur des graphes d'automates, notamment pour le probleme dit d'election d'un chef, ainsi que pour l'etude de simulations d'un graphe par un autre, afin d'aider a eclaircir des questions de complexite. Un graphe d'automates est un graphe (regulier, infini) dont les sommets sont munis d'une copie d'un meme automate fini fixe. Les automates finis sont synchrones, leur alphabet d'entree est l'ensemble de d-uplets des etats des voisins, avec d le degre du graphe, et une configuration est la fonction donnant l'etat courant pour chaque sommet. L'election du chef consiste a trouver un ensemble d'etats et une fonction de transition de l'automate fini afin qu'a partir d'une configuration ou tous les sommets sont dans le meme etat, on aboutisse par iterations a une configuration ou un seul sommet est dans un etat special nomme chef, et les autres, dans des etats speciaux nommes soldats. Nous presentons des algorithmes pour quelques classes de graphes euclidiens et hyperboliques, en temps lineaire et en temps quadratique. Une simulation d'un graphe d'automates par un autre represente le fait de mimer son comportement, c'est-a-dire le fait de pouvoir envoyer le graphe d'evolution d'un des graphes sur celui de l'autre, bijectivement. Le graphe d'evolution est un graphe dont les sommets sont les configurations du graphe d'automates et les arcs donnent les iterations d'une configuration a une autre. Nous prouvons des liens d'equivalence entre l'existence des simulations de types particuliers et des proprietes d'isomorphisme de graphes, et donnons des simulations effectives pour une classe de graphes reguliers hyperboliques, en vue de l'etude d'une hierarchie de complexite.
7
Chalopin, Jérémie. „Algorithmique distribuée, calculs locaux et homomorphismes de graphes“. Bordeaux 1, 2006. http://www.theses.fr/2006BOR13257.
Der volle Inhalt der QuelleAnnotation:
Dans cette thèse, on étudie ce qui est calculable dans différents modèles d'algorithmique distribuée. Les modèles considérés correspondent à différents niveaux d'abstraction et à différents niveaux de synchronisation entre les processus d'un système distribué. On s'intéresse en particulier au problèmes de l'élection et du nommage dans ces différents modèles. Pour chaque modèle, on caractérise les systèmes distribués dans lesquels on peut résoudre ces problèmes et on étudie la complexité des problèmes de décision correspondants. Nos caractérisations utilisent des homomorphismes de graphes qui préservent certaines propriétés locales. Nos preuves sont constructives : quand on peut résoudre l'élection (ou le nommage) dans un réseau, on présente un algorithme d'élection (ou de nommage) pour ce réseau. Ces problèmes permettent de mettre en évidence les différences entre les puissances de calculs des différents modèles considérés. De plus, l'étude de ces problèmes permet de mettre à jour les bons outils qui permettent d'étudier ce qui est calculable de manière distribuée dans les différents modèles.
8
Bricage, Marie. „Modélisation et Algorithmique de graphes pour la construction de structures moléculaires“. Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLV031/document.
Der volle Inhalt der QuelleAnnotation:
Dans cette thèse, nous présentons une approche algorithmique permettant la génération de guides de construction de cages moléculaires organiques. Il s'agit d'architectures semi-moléculaires possédant un espace interne défini capable de piéger une molécule cible appelée substrat. De nombreuses œuvres proposent de générer des cages organiques moléculaires obtenues à partir de structures symétriques, qui ont une bonne complexité, mais elles ne sont pas spécifiques car elles ne prennent pas en compte des cibles précises. L'approche proposée permet de générer des guides de construction de cages moléculaires organiques spécifiques à un substrat donné. Afin de garantir la spécificité de la cage moléculaire pour le substrat cible, une structure intermédiaire, qui est une expansion de l'enveloppe du substrat cible, est utilisée. Cette structure définie la forme de l'espace dans lequel est piégé le substrat. Des petits ensembles d'atomes, appelés motifs moléculaires liants, sont ensuite intégrés à cette structure intermédiaire. Ces motifs moléculaires sont les ensembles d'atomes nécessaires aux cages moléculaires pour leur permettre d’interagir avec le substrat afin de le capturerIn this thesis, we present an algorithmic approach allowing the generation of construction guides of organic molecular cages. These semi-molecular architectures have a defined internal space capable of trapping a target molecule called substrate. Many works propose to generate molecular organic cages obtained from symmetrical structures, which have a good complexity, but they are not specific because they do not take into account precise targets. The proposed approach makes it possible to generate guides for the construction of organic molecular cages specific to a given substrate. In order to ensure the specificity of the molecular cage for the target substrate, an intermediate structure, which is an expansion of the envelope of the target substrate, is used. This structure defines the shape of the space in which the substrate is trapped. Small sets of atoms, called molecular binding patterns, are then integrated into this intermediate structure. These molecular patterns are the sets of atoms needed by molecular cages to allow them to interact with the substrate to capture it
9
Durand-Lepoivre, Carole. „Ordres et graphes pseudo-hiérarchiques : théorie et optimisation algorithmique“. Aix-Marseille 1, 1989. http://www.theses.fr/1989AIX11250.
Der volle Inhalt der QuelleAnnotation:
Notre propos est l'etude des pseudo-hierarchies qui etendent la notion des hierarchies. Apres avoir etabli diverses proprietes sur les ordres compatibles avec une dissimilarite, les dissimilarites de robinson sont localisees dans les structures metriques de l'analyse des donnees. Des correspondances biunivoques sont etablies entre diferentes dissimilarites de robinson et des pseudo-hierarchies indicees; elles etendent la bijection entre les ultrametriques et les hierarchies indicees. Dans cette nouvelle structure apparait la notion de classes empietantes. Suivent une caracterisation et le lien existant entre tous les ordres compatibles d'une pseudo-hierarchie ou d'une dissimilarite de robinson. Pour une telle representation des donnees, il est necessaire de posseder une approximation robinsonienne. Le critere d'optimisation est celui d'une dissimilarite de robinson inferieure maximale. La solution optimale trouvee possede la propriete d'admettre la meme sous-dominante ultrametrique que la dissimilarite initiale. Plongees dans d'autres structure metriques, diverses optimisations sont resolues selon ce meme critere. L'etude precedente est etendue au cas des preordonnancezs de robinson en correspondance avec les pseudo-hierarchies stratifiees
10
Gély, Alain. „Algorithmique combinatoire : cliques, bicliques et systèmes implicatifs“. Clermont-Ferrand 2, 2005. http://www.theses.fr/2005CLF22622.
Der volle Inhalt der QuelleAnnotation:
Cette thèse traite de l'algorithmique d'énumération. Après avoir présenté les concepts particuliers des algorithmes d'énumération, nous nous intéressons plus particuliérement à deux problèmes, l'énumération des cliques maximales et l'énumération des bicliques maximales d'un graphe. Pour ce dernier problème, trois variantes seront traitées : énumération des bicliques maximales induites, non induites et pour le cas particulier des graphes biparti. Cette thèse propose des liens entre les algorithmes existants pour ces problèmes. On s'intéresse à l'énumération des éléments d'une base minimun d'implications. Comme il n'existe pas à l'heure actuelle d'algorithme d'énumération polynomial pour ce problème, les approches présentées ici utilisent un autre angle d'approche : trouver une base minimun plus petite, ou plus rapide à calculer, permettant de reconstruire la base minimum initiale en temps polynomial. Dans ce but, deux résultats sont présentés : les éléments clones d'une relation et la famille des systèmes de fermeture partageant une certaine partie d'une base minimun
Bücher zum Thema "Algorithmique de graphes"
1
Beauquier, Danièle. Eléments d'algorithmique. Paris: Masson, 1992.
Den vollen Inhalt der Quelle finden
2
Cormen, Thomas H., und Ronald L. Rivest. Introduction à l'algorithmique : Cours et exercices corrigés, 2e édition. Dunod, 2002.
Den vollen Inhalt der Quelle finden
3
Matroid Theory and Its Applications in Electric Network Theory and Statics (Algorithms and Combinatorics). Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989.
Den vollen Inhalt der Quelle finden
4
Joseph, O'Rourke. Art gallery theorems and algorithms. Oxford University Press, 1987.
Den vollen Inhalt der Quelle finden
5
Foundations of software technology and theoretical computer science: Ninth conference, Bangalore, India, December 1989 : proceedings. Berlin: Springer-Verlag, 1989.
Den vollen Inhalt der Quelle finden
6
Madhavan, C. E. V. Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989 Proceedings (Lecture Notes in Computer Science). Springer, 1990.
Den vollen Inhalt der Quelle findenBuchteile zum Thema "Algorithmique de graphes"
1
CHATEAU, Annie, und Tom DAVOT-GRANGÉ. „Concepts méthodologiques : résolution algorithmique des problèmes bioinformatiques“. In Des séquences aux graphes, 11–55. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9066.ch1.
Der volle Inhalt der QuelleAnnotation:
Ce chapitre aborde les notions théoriques préliminaires à la lecture des chapitres suivants. Il revient notamment sur la logique, l'algorithmique du texte, les graphes, la notion de classification des problèmes et la complexité algorithmique. Y sont abordés également des problématiques liées à la nature de la bioinformatique, comme la nature des données, et la validation des méthodologies.