Dijkstra Graphs
Salvato in:
| Pubblicato in: | arXiv.org (Jun 18, 2016), p. n/a |
|---|---|
| Autore principale: | |
| Altri autori: | , , , , |
| Pubblicazione: |
Cornell University Library, arXiv.org
|
| Soggetti: | |
| Accesso online: | Citation/Abstract Full text outside of ProQuest |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 2080164751 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 035 | |a 2080164751 | ||
| 045 | 0 | |b d20160618 | |
| 100 | 1 | |a Bento, Lucila M S | |
| 245 | 1 | |a Dijkstra Graphs | |
| 260 | |b Cornell University Library, arXiv.org |c Jun 18, 2016 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a We revisit a concept that has been central in some early stages of computer science, that of structured programming: a set of rules that an algorithm must follow in order to acquire a structure that is desirable in many aspects. While much has been written about structured programming, an important issue has been left unanswered: given an arbitrary, compiled program, describe an algorithm to decide whether or not it is structured, that is, whether it conforms to the stated principles of structured programming. We refer to the classical concept of structured programming, as described by Dijkstra. By employing a graph model and graph-theoretic techniques, we formulate an efficient algorithm for answering this question. To do so, we first introduce the class of graphs which correspond to structured programs, which we call Dijkstra Graphs. Our problem then becomes the recognition of such graphs, for which we present a greedy \(O(n)\)-time algorithm. Furthermore, we describe an isomorphism algorithm for Dijkstra graphs, whose complexity is also linear in the number of vertices of the graph. Both the recognition and isomorphism algorithms have potential important applications, such as in code similarity analysis. | |
| 653 | |a Algorithms | ||
| 653 | |a Isomorphism | ||
| 653 | |a Structured programming | ||
| 653 | |a Graphs | ||
| 653 | |a Apexes | ||
| 653 | |a Recognition | ||
| 653 | |a Graph theory | ||
| 653 | |a Greedy algorithms | ||
| 700 | 1 | |a Boccardo, Davidson R | |
| 700 | 1 | |a Machado, Raphael C S | |
| 700 | 1 | |a Miyazawa, Flávio K | |
| 700 | 1 | |a Vinícius G Pereira de Sá | |
| 700 | 1 | |a Szwarcfiter, Jayme L | |
| 773 | 0 | |t arXiv.org |g (Jun 18, 2016), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/2080164751/abstract/embedded/BH75TPHOCCPB476R?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/1602.08653 |