MétaCan
Menu
Retour à la cohorte
Enregistrement W130561602

Morphing Planar Graph Drawings.

2007· article· en· W130561602 sur OpenAlex

Pourquoi ce travail est dans la base

Une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée. Voici les voies qui ont admis celui-ci.

affAu moins un auteur déclare une institution canadienne dans l'instantané OpenAlex épinglé.

Notice bibliographique

RevueCanadian Conference on Computational Geometry · 2007
Typearticle
Langueen
DomaineComputer Science
ThématiqueComputational Geometry and Mesh Generation
Établissements canadiensUniversity of Waterloo
Organismes subventionnairesnon disponible
Mots-clésMorphingPlanar graphGraph drawingMathematical proofOuterplanar graphComputer scienceLattice graphPlanar straight-line graphVertex (graph theory)GraphMathematicsCombinatoricsLine graphComputer graphics (images)PathwidthGeometryVoltage graph
DOInon disponible

Résumé

récupéré en direct d'OpenAlex

The study of planar graphs dates back to Euler and the earliest days of graph theory. Centuries later came the proofs by Wagner, Fary and Stein that every planar graph can be drawn with straight line segments for the edges, and the algorithm by Tutte for constructing such straight-line drawings given in his 1963 paper, “How to Draw a Graph”. With more recent attention to complexity issues, this was followed in 1990 by algorithms that construct such drawings on a small grid. Most people think of “morphing” as a brand new concept, and in fact, the word “morph” was coined in the 80’s as a short form of “metamorphose”. In common perception, morphing is a high-tech special effect in movies, where, for example, a person’s face turns smoothly into a cat’s face. We use the term in a more mathematical sense: a morph from one drawing of a planar graph to another is a continuous transformation from the first drawing to the second that maintains planarity. Mirroring the developments in planar graphs, the first result was an existence result: between any two planar straight-line graph drawings there exists a morph in which every intermediate drawing is straightline planar. This was proved surprisingly long ago for triangulations, by Cairns in 1944, and extended to planar graphs by Thomassen in 1983. Both proofs are constructive—they work by repeatedly contracting one vertex to another. Unfortunately, they use an exponential number of steps, and are horrible for visualization purposes since the graph contracts to a triangle and then re-emerges. The next development was an algorithm to morph between any two planar straight-line drawings, given by Floater and Gotsman in 1999 for triangulations, and extended to planar graphs by Gotsman and Surazhsky in 2001. The morphs are not given by means of explicit vertex trajectories, but rather by means of “snapshots” of the graph at any intermediate time t. By choosing sufficiently many values of t, they give good visual results, but there is no proof that polynomially many steps suffice. Furthermore, the morph suffers from the same drawbacks as Tutte’s original planar graph drawing algorithm in that there is no nice bound on the size of the grid needed for the drawings. For the case of drawing planar graphs the issue of grid ∗David R. Cheriton School of Computer Science, University of Waterloo, alubiw@cs.uwaterloo.ca size was addressed in 1990 independently by Schnyder and by de Fraysseix, Pach and Pollack, who gave algorithms to construct a straight line planar drawing of any n-vertex planar graph on a grid of size O(n)×O(n). The history of morphing planar graph drawings has not progressed to this stage. It is an open problem to find a polynomial size morph between two given drawings

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.

Prédiction distillée sur la base complète

Imitation des enseignants

Ni prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.

score de la tête « metaresearch » (Codex)0,001
score de la tête « metaresearch » (Gemma)0,000
Version: codex-gemma-dda1882f352aStatut de validation: machine_predicted_unvalidated
Catégories candidatesMéta-épidémiologie (sens strict)
Catégories consensuellesaucune
DomaineSignal candidat: aucune · Signal consensuel: aucune
Devis d'étudeSignal candidat: Théorique ou conceptuel · Signal consensuel: Théorique ou conceptuel
GenreSignal candidat: Empirique · Signal consensuel: aucune
Score de désaccord entre enseignants0,905
Score d'incertitude au seuil1,000

Scores Codex et Gemma par catégorie

CatégorieCodexGemma
Métarecherche0,0010,000
Méta-épidémiologie (sens strict)0,0000,000
Méta-épidémiologie (sens large)0,0000,000
Bibliométrie0,0020,002
Études des sciences et des technologies0,0000,000
Communication savante0,0000,000
Science ouverte0,0010,000
Intégrité de la recherche0,0000,000
Charge utile insuffisante (le modèle a refusé de juger)0,0000,000

Scores machine (provisoires)

Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.

Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.

Tête enseignante Opus0,026
Tête enseignante GPT0,252
Écart entre enseignants0,226 · la distance entre les deux têtes enseignantes sur ce seul travail
Statut de validationscore_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle