Skip to main content

2014 | OriginalPaper | Buchkapitel

On the Exact Solution of VSP for General and Structured Graphs: Models and Algorithms

verfasst von : Norberto Castillo-García, Héctor Joaquín Fraire Huacuja, Rodolfo A. Pazos Rangel, José A. Martínez Flores, Juan Javier González Barbosa, Juan Martín Carpio Valadez

Erschienen in: Recent Advances on Hybrid Approaches for Designing Intelligent Systems

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this chapter the vertex separation problem (VSP) is approached. VSP is NP-hard with important applications in VLSI, computer language compiler design, and graph drawing, among others. In the literature there are several exact approaches to solve structured graphs and one work that proposes an integer linear programming (ILP) model for general graphs. Nevertheless, the model found in the literature generates a large number of variables and constraints, and the approaches for structured graphs assume that the structure of the graphs is known a priori. In this work we propose a new ILP model based on a precedence representation scheme, an algorithm to identify whether or not a graph has a Grid structure, and a new benchmark of scale-free instances. Experimental results show that our proposed ILP model improves the average computing time of the reference model in 79.38 %, and the algorithm that identifies Grid-structured graphs has an effectiveness of 100 %.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
2.
Zurück zum Zitat Duarte, A., Escudero, L., Martí, R., Mladenovic, N., Pantrigo, J., Sánchez-Oro, J.: Variable neighborhood search for the vertex separation problem. Comput. Oper. Res. 39(12), 3247–3255 (2012)CrossRefMathSciNet Duarte, A., Escudero, L., Martí, R., Mladenovic, N., Pantrigo, J., Sánchez-Oro, J.: Variable neighborhood search for the vertex separation problem. Comput. Oper. Res. 39(12), 3247–3255 (2012)CrossRefMathSciNet
3.
Zurück zum Zitat Díaz, J., Petit, J., Serna, M.: A survey of graph layout problems. ACM Comput. Surv. 34(3), 313–356 (2002)CrossRef Díaz, J., Petit, J., Serna, M.: A survey of graph layout problems. ACM Comput. Surv. 34(3), 313–356 (2002)CrossRef
4.
Zurück zum Zitat Leiserson, C.: Area-efficient graph layouts (for VLSI). In: Proceedings of IEEE Symposium on Foundations of Computer Science, pp. 270–281 (1980) Leiserson, C.: Area-efficient graph layouts (for VLSI). In: Proceedings of IEEE Symposium on Foundations of Computer Science, pp. 270–281 (1980)
5.
Zurück zum Zitat Bodlaender, H., Gustedt, J., Telle, J.: Linear time register allocation for a fixed number of registers. In: Proceedings of the Symposium on Discrete Algorithms. (1998) Bodlaender, H., Gustedt, J., Telle, J.: Linear time register allocation for a fixed number of registers. In: Proceedings of the Symposium on Discrete Algorithms. (1998)
6.
Zurück zum Zitat Kornai, A.: Narrowness, path-width, and their application in natural language processing. Discrete Appl. Math. 36, 87–92 (1997). Elsevier Science Publishers B. V. (1992)CrossRefMathSciNet Kornai, A.: Narrowness, path-width, and their application in natural language processing. Discrete Appl. Math. 36, 87–92 (1997). Elsevier Science Publishers B. V. (1992)CrossRefMathSciNet
7.
Zurück zum Zitat Lopes, I., de Carvalho, J.: Minimization of open orders using interval graphs. IAENG Int. J. Appl. Math. 40(4), 297–306 (2010)MATHMathSciNet Lopes, I., de Carvalho, J.: Minimization of open orders using interval graphs. IAENG Int. J. Appl. Math. 40(4), 297–306 (2010)MATHMathSciNet
8.
9.
Zurück zum Zitat Skodinis, K.: Computing optimal linear layouts of trees in linear time. In: Paterson, M. (ed.) Proceedings of 8th Annual European Symposium on Algorithms. LNCS, vol. 1879, pp. 403–414. Springer, London (2000) Skodinis, K.: Computing optimal linear layouts of trees in linear time. In: Paterson, M. (ed.) Proceedings of 8th Annual European Symposium on Algorithms. LNCS, vol. 1879, pp. 403–414. Springer, London (2000)
11.
Zurück zum Zitat Chen, D., Batson, R., Dang, Y.: Applied Integer Programming: Modeling and Solution. Wiley publisher. ISBN: 978-1-118-21002-4. (2010) Chen, D., Batson, R., Dang, Y.: Applied Integer Programming: Modeling and Solution. Wiley publisher. ISBN: 978-1-118-21002-4. (2010)
12.
Zurück zum Zitat Pantrigo, J., Martí, R., Duarte, A., Pardo, E.: Scatter search for the Cutwidth minimization problem. Ann. Oper. Res. 199(1), 285–304 (2012)CrossRefMATHMathSciNet Pantrigo, J., Martí, R., Duarte, A., Pardo, E.: Scatter search for the Cutwidth minimization problem. Ann. Oper. Res. 199(1), 285–304 (2012)CrossRefMATHMathSciNet
13.
Zurück zum Zitat Barabasí, A.: Emergence of Scaling in Complex Networks. Handbook of graphs and networks: from the Genome of the Internet, pp. 69–84. (2005) Barabasí, A.: Emergence of Scaling in Complex Networks. Handbook of graphs and networks: from the Genome of the Internet, pp. 69–84. (2005)
14.
Zurück zum Zitat López, T.: Complejidad Computacional Estructural en Redes Complejas. PhD Thesis. Universidad Autónoma de Nuevo León, México (2012) López, T.: Complejidad Computacional Estructural en Redes Complejas. PhD Thesis. Universidad Autónoma de Nuevo León, México (2012)
15.
Zurück zum Zitat Eppstein, D., Wang, J.: A steady state model for graphs power laws. arXiv preprint cs/0204001. (2002) Eppstein, D., Wang, J.: A steady state model for graphs power laws. arXiv preprint cs/0204001. (2002)
Metadaten
Titel
On the Exact Solution of VSP for General and Structured Graphs: Models and Algorithms
verfasst von
Norberto Castillo-García
Héctor Joaquín Fraire Huacuja
Rodolfo A. Pazos Rangel
José A. Martínez Flores
Juan Javier González Barbosa
Juan Martín Carpio Valadez
Copyright-Jahr
2014
DOI
https://doi.org/10.1007/978-3-319-05170-3_36