biblio.bib

   1 @inproceedings{ bender00lca,
   2     author = "Michael A. Bender and Martin Farach-Colton",
   3     title = "The {LCA} Problem Revisited",
   4     booktitle = "Latin American Theoretical {INformatics}",
   5     pages = "88-94",
   6     year = "2000",
   7     url = "citeseer.ist.psu.edu/bender00lca.html" }
   8
   9 @inproceedings{ frederickson91ambivalent,
  10     author = "Greg N. Frederickson",
  11     title = "Ambivalent Data Structures for Dynamic 2-Edge-Connectivity and $k$ Smallest Spanning Trees",
  12     booktitle = "{IEEE} Symposium on Foundations of Computer Science",
  13     pages = "632-641",
  14     year = "1991",
  15     url = "citeseer.ist.psu.edu/frederickson91ambivalent.html" }
  16
  17 @article{ tarjan:setunion,
  18  author = {Robert E. Tarjan and Jan van Leeuwen},
  19  title = {Worst-case Analysis of Set Union Algorithms},
  20  journal = {J. ACM},
  21  volume = {31},
  22  number = {2},
  23  year = {1984},
  24  issn = {0004-5411},
  25  pages = {245--281},
  26  doi = {http://doi.acm.org/10.1145/62.2160},
  27  publisher = {ACM Press},
  28  address = {New York, NY, USA},
  29 }
  30
  31 @inproceedings { fw:transdich,
  32    author = "M. Fredman and D. E. Willard",
  33    title = "{Trans-dichotomous algorithms for minimum spanning trees and shortest paths}",
  34    booktitle = "{Proceedings of FOCS'90}",
  35    pages = "719--725",
  36    year = "1990"
  37 }
  38
  39 @article{boas77,
  40   author    = {Peter van Emde Boas},
  41   title     = {Preserving Order in a Forest in Less Than Logarithmic Time
  42                and Linear Space.},
  43   journal   = {Inf. Process. Lett.},
  44   volume    = {6},
  45   number    = {3},
  46   year      = {1977},
  47   pages     = {80-82},
  48   bibsource = {DBLP, http://dblp.uni-trier.de}
  49 }
  50
  51 @inproceedings{thorup03ac0,
  52  author = {Mikkel Thorup},
  53  title = {On AC0 implementations of fusion trees and atomic heaps},
  54  booktitle = {SODA '03: Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms},
  55  year = {2003},
  56  isbn = {0-89871-538-5},
  57  pages = {699--707},
  58  location = {Baltimore, Maryland},
  59  publisher = {Society for Industrial and Applied Mathematics},
  60  address = {Philadelphia, PA, USA},
  61  }
  62
  63 @article{ benamram95what,
  64     author = "Ben-Amram",
  65     title = "What is a ``Pointer Machine''?",
  66     journal = "SIGACTN: SIGACT News (ACM Special Interest Group on Automata and Computability Theory)",
  67     volume = "26",
  68     year = "1995",
  69     url = "citeseer.ist.psu.edu/ben-amram95what.html" }
  70
  71 @article{ matsui:planar,
  72     author = "Tomomi Matsui",
  73     title = "{The Minimum Spanning tree Problem on a Planar Graph}",
  74     journal = "Discrete Applied Mathematics",
  75     volume = "58",
  76     year = "1995",
  77     pages = "91--94",
  78     url = "citeseer.nj.nec.com/2319.html"
  79 }
  80
  81 @article{ chazelle:ackermann,
  82     author = "Bernard Chazelle",
  83     title = "{A Minimum Spanning Tree Algorithm with Inverse-Ackermann Type Complexity}",
  84     journal = jacm,
  85     volume = "47",
  86     pages = "1028--1047",
  87     year = "2000"
  88 }
  89
  90 @article{ nesetril:history,
  91     author = "Jaroslav Ne{\v{s}}et{\v{r}}il",
  92     title = "{Some remarks on the history of MST-problem}",
  93     journal = "Archivum Mathematicum",
  94     volume = "33",
  95     pages = "15--22",
  96     year = "1997"
  97 }
  98
  99 @article{ nesetril:boruvka,
 100     author = "Jaroslav Ne{\v{s}}et{\v{r}}il and E. Milkov{\'a} and H. Ne{\v{s}}et{\v{r}}ilov{\'a}",
 101     title = "{Otakar Bor{\accent23u}vka on Minimum Spanning Tree Problem}",
 102     journal = "Discrete Mathematics",
 103     volume = "233(1--3)",
 104     pages = "3--36",
 105     year = "2001"
 106 }
 107
 108 @incollection { nesetril:minors,
 109     author = "Jaroslav Ne{\v{s}}et{\v{r}}il and Patrice Ossona de Mendez",
 110     title = "{Colorings and Homomorphisms of Minor Closed Classes}",
 111     booktitle = "Discrete and Computational Geometry: The Goodman-Pollack Festschrift",
 112     editor = "B. Aronov and S. Basu and J. Pach and M. Sharir",
 113     year = "2003",
 114     pages = "651--664",
 115     publisher = "Springer Verlag"
 116 }
 117
 118 @article { boruvka:ojistem,
 119     author = "Otakar Bor{\accent23u}vka",
 120     title = "{O jist\'em probl\'emu minim\'aln\'\i{}m (About a Certain Minimal Problem)}",
 121     journal = "Pr\'ace mor. p\v{r}\'\i{}rodov\v{e}d. spol. v~Brn\v{e}",
 122     volume = "III",
 123     year = "1926",
 124     pages = "37--58",
 125     note = "Czech with German summary"
 126 }
 127
 128 @article { boruvka:networks,
 129     author = "Otakar Bor{\accent23u}vka",
 130     title = "{P\v{r}\'\i{}sp\v{e}vek k~\v{r}e\v{s}en\'\i{} ot\'azky ekonomick\'e stavby elektrovodn\'y{}ch s\'\i{}t\'\i{} (Contribution to the solution of a problem of economical construction of electric networks)}",
 131     journal = "Elektronick\'y obzor",
 132     volume = "15",
 133     year = "1926",
 134     pages = "153--154",
 135     note = "Czech"
 136 }
 137
 138 @article { jarnik:ojistem,
 139     author = "Vojt\v{e}ch Jarn\'\i{}k",
 140     title = "{O jist\'em probl\'emu minim\'aln\'\i{}m (About a Certain Minimal Problem)}",
 141     journal = "Pr\'ace mor. p\v{r}\'\i{}rodov\v{e}d. spol. v~Brn\v{e}",
 142     volume = "VI",
 143     year = "1930",
 144     pages = "57--63",
 145     note = "Czech"
 146 }
 147
 148 @book { tarjan:dsna,
 149     author = "Robert E. Tarjan",
 150     title = "{Data structures and network algorithms}",
 151     series = "{CMBS-NSF Regional Conf. Series in Appl. Math.}",
 152     volume = 44,
 153     year = "1983",
 154     publisher = "SIAM"
 155 }
 156
 157 @article { gh:history,
 158     author = "R. L. Graham and P. Hell",
 159     title = "{On the history of the minimum spanning tree problem}",
 160     journal = "{Annals of the History of Computing}",
 161     volume = "7",
 162     year = "1985",
 163     pages = "43--57"
 164 }
 165
 166 @techreport { pettie:ackermann,
 167     author = "Seth Pettie",
 168     title = "{Finding minimum spanning trees in $O(m\alpha(m,n))$ time}",
 169     institution = "Univ. of Texas at Austin",
 170     year = "1999",
 171     number = "TR99-23",
 172     type = "Tech Report"
 173 }
 174
 175 @inproceedings { pettie:optimal,
 176    author = "Seth Pettie and Vijaya Ramachandran",
 177    title = "{An Optimal Minimum Spanning Tree Algorithm}",
 178    booktitle = "{Proceedings of ICALP'2000}",
 179    year = "2000",
 180    publisher = "Springer Verlag",
 181    pages = "49--60"
 182 }
 183
 184 @article { karger:randomized,
 185    author = "D. R. Karger and P. N. Klein and R. E. Tarjan",
 186    title = "{Linear expected-time algorithms for connectivity problems}",
 187    journal = jacm,
 188    volume = "42",
 189    pages = "321--328",
 190    year = "1995"
 191 }
 192
 193 @article { frederickson:online,
 194    author = "Greg N. Frederickson",
 195    title = "{Data structures for on-line updating of minimum spanning trees}",
 196    journal = "{SIAM Journal on Computing}",
 197    volume = "14",
 198    pages = "781--798",
 199    year = "1985"
 200 }
 201
 202 @article { mm:mst,
 203    author = "Martin Mare\v{s}",
 204    title = "{Two linear time algorithms for MST on minor closed graph classes}",
 205    journal = "{Archivum Mathematicum}",
 206    volume = "40",
 207    pages = "315--320",
 208    year = "2004"
 209 }
 210
 211 @article{ ft:fibonacci,
 212  author = {Michael L. Fredman and Robert Endre Tarjan},
 213  title = {Fibonacci heaps and their uses in improved network optimization algorithms},
 214  journal = {J. ACM},
 215  volume = {34},
 216  number = {3},
 217  year = {1987},
 218  issn = {0004-5411},
 219  pages = {596--615},
 220  doi = {http://doi.acm.org/10.1145/28869.28874},
 221  publisher = {ACM Press},
 222  address = {New York, NY, USA},
 223  }
 224
 225 @article{ komlos:verify,
 226   author    = {J{\'a}nos Koml{\'o}s},
 227   title     = {Linear verification for spanning trees.},
 228   journal   = {Combinatorica},
 229   volume    = {5},
 230   number    = {1},
 231   year      = {1985},
 232   pages     = {57--65},
 233   bibsource = {DBLP, http://dblp.uni-trier.de}
 234 }
 235
 236 @inproceedings{ king:verify,
 237     author = "Valerie King",
 238     title = "A Simpler Minimum Spanning Tree Verification Algorithm",
 239     booktitle = "Workshop on Algorithms and Data Structures",
 240     pages = "440--448",
 241     year = "1995",
 242     url = "citeseer.ist.psu.edu/king95simpler.html" }
 243
 244 @article{ king:verifytwo,
 245   title={{A Simpler Minimum Spanning Tree Verification Algorithm}},
 246   author={King, Valerie},
 247   journal={Algorithmica},
 248   volume={18},
 249   pages={263--270},
 250   year={1997}
 251 }
 252
 253 @book { schrijver,
 254     author = "Alexander Schrijver",
 255     title = "{Combinatorial Optimization --- Polyhedra and Efficiency}",
 256     series = "Algorithms and Combinatorics",
 257     volume = 24,
 258     year = 2003,
 259     publisher = "Springer Verlag"
 260 }
 261
 262 @inproceedings{ thorup:ac0,
 263  author = {Mikkel Thorup},
 264  title = {{On ${\rm AC}^0$ Implementations of Fusion Trees and Atomic Heaps}},
 265  booktitle = {SODA '03: Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms},
 266  year = {2003},
 267  isbn = {0-89871-538-5},
 268  pages = {699--707},
 269  location = {Baltimore, Maryland},
 270  publisher = {Society for Industrial and Applied Mathematics},
 271  address = {Philadelphia, PA, USA},
 272 }
 273
 274 @article{ kruskal:mst,
 275   title={{On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem}},
 276   author={Kruskal Jr, J.B.},
 277   journal={Proceedings of the American Mathematical Society},
 278   volume={7},
 279   number={1},
 280   pages={48--50},
 281   year={1956},
 282   publisher={JSTOR}
 283 }
 284
 285 @book{ diestel:gt,
 286   title={{Graph Theory}},
 287   author={Diestel, R.},
 288   year={2005},
 289   publisher={Springer-Verlag Berlin and Heidelberg GmbH \& Co. K}
 290 }
 291
 292 @article{ thorup:pq,
 293   title={{Integer priority queues with decrease key in constant time and the single source shortest paths problem}},
 294   author={Thorup, M.},
 295   journal={Proceedings of the thirty-fifth ACM symposium on Theory of computing},
 296   pages={149--158},
 297   year={2003},
 298   publisher={ACM Press New York, NY, USA}
 299 }
 300
 301 @article{ graham:msthistory,
 302   title={{On the history of the minimum spanning tree problem}},
 303   author={Graham, R.L. and Hell, P.},
 304   journal={Annals of the History of Computing},
 305   volume={7},
 306   number={1},
 307   pages={43--57},
 308   year={1985}
 309 }
 310
 311 @article{ cayley:trees,
 312   title={{A theorem on trees}},
 313   author={Cayley, Arthur},
 314   journal={Quart. J. Math},
 315   volume={23},
 316   year={1889},
 317   pages={376--378}
 318 }
 319
 320 @article{ dijkstra:mst,
 321   title={{A note on two problems in connexion with graphs}},
 322   author = "Dijkstra, E. W.",
 323   journal={Numerische Mathematik},
 324   volume={1},
 325   number={1},
 326   pages={269--271},
 327   year={1959},
 328   publisher={Springer}
 329 }
 330
 331 @article{ prim:mst,
 332   author = "Prim, R. C.",
 333   title = "Shortest connection networks and some generalizations",
 334   journal = "Bell System Technical Journal",
 335   volume = "36",
 336   year = "1957",
 337   pages={567--574},
 338 }
 339
 340 @article{ choquet:mst,
 341   title={{Etude de certains r{\'e}seaux de routes (in French)}},
 342   author={Choquet, Gustave},
 343   journal={Comptes-rendus de l'Académie des Sciences},
 344   volume={206},
 345   pages={310},
 346   year={1938}
 347 }
 348
 349 @incollection { sollin:mst,
 350   title={{Le trace de canalisation (in French)}},
 351   author={Sollin, M.},
 352   booktitle={Programming, Games, and Transportation Networks},
 353   editor={Berge, C. and Ghouilla-Houri, A.},
 354   publisher={Wiley, New York},
 355   year={1965}
 356 }
 357
 358 @article{ boyer:cutting,
 359   title={{On the cutting edge: Simplified $\O(n)$ planarity by edge addition}},
 360   author={Boyer, J.M. and Myrvold, W.J.},
 361   journal={Journal of Graph Algorithms and Applications},
 362   volume={8},
 363   number={3},
 364   pages={241--273},
 365   year={2004}
 366 }
 367
 368 @inproceedings{ takaoka:twothree,
 369   title={{Theory of 2-3 Heaps}},
 370   author={Takaoka, T. and Christchurch, N. Z.},
 371   booktitle={Computing and Combinatorics: 5th Annual International Conference, COCOON'99},
 372   location={Tokyo, Japan},
 373   year={1999},
 374   pages={41--50},
 375   publisher={Springer},
 376   series={{Lecture Notes in Computer Science}},
 377   volume={1627}
 378 }
 379
 380 @inproceedings{ takaoka:trinomial,
 381   title={{Theory of Trinomial Heaps}},
 382   author={Takaoka, Tadao},
 383   booktitle={Computing and Combinatorics: 6th Annual International Conference, COCOON 2000},
 384   location={Sydney, Australia},
 385   year={2000},
 386   pages={362--372},
 387   publisher={Springer},
 388   series={{Lecture Notes in Computer Science}},
 389   volume={1858}
 390 }
 391
 392 @book{ clrs,
 393   title={{Introduction to Algorithms}},
 394   author={Leiserson, C.E. and Rivest, R.L. and Cormen, T.H. and Stein, C.},
 395   year={2001},
 396   publisher={McGraw-Hill}
 397 }
 398
 399 @inproceedings{ pettie:onlineverify,
 400   author = "S. Pettie",
 401   title = "An inverse-{A}ckermann style lower bound for the online minimum spanning
 402     tree verification problem",
 403   booktitle = "Proc. 43rd Annual Symp. on the Foundations of Computer Science, Vancouver, Canada",
 404   year = "2002",
 405   url = "citeseer.ist.psu.edu/article/pettie02inverseackermann.html"
 406 }
 407
 408 @article{ dixon:verify,
 409     author = "Brandon Dixon and Monika Rauch and Robert Endre Tarjan",
 410     title = "Verification and Sensitivity Analysis of Minimum Spanning Trees in Linear Time",
 411     journal = "SIAM J. Comput.",
 412     volume = "21",
 413     number = "6",
 414     pages = "1184-1192",
 415     year = "1992",
 416     url = "citeseer.ist.psu.edu/dixon92verification.html"
 417 }
 418
 419 inproceedings{ pettie:minirand,
 420  author = {Seth Pettie and Vijaya Ramachandran},
 421  title = {Minimizing randomness in minimum spanning tree, parallel connectivity, and set maxima algorithms},
 422  booktitle = {SODA '02: Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms},
 423  year = {2002},
 424  isbn = {0-89871-513-X},
 425  pages = {713--722},
 426  location = {San Francisco, California},
 427  publisher = {Society for Industrial and Applied Mathematics},
 428  address = {Philadelphia, PA, USA}
 429 }
 430
 431 @article{ buchsbaum:verify,
 432   title={{Linear-time pointer-machine algorithms for least common ancestors, MST verification, and dominators}},
 433   author={Buchsbaum, A.L. and Kaplan, H. and Rogers, A. and Westbrook, J.R.},
 434   journal={Proceedings of the thirtieth annual ACM symposium on Theory of computing},
 435   pages={279--288},
 436   year={1998},
 437   publisher={ACM Press New York, NY, USA}
 438 }
 439
 440 @article{ bacala:parametric,
 441   title={{Linear-time algorithms for parametric minimum spanning tree problems on planar graphs}},
 442   author={Fern{\'a}ndez-Baca, D. and Slutzki, G.},
 443   journal={Theoretical Computer Science},
 444   volume={181},
 445   number={1},
 446   pages={57--74},
 447   year={1997},
 448   publisher={Elsevier}
 449 }
 450
 451 @inproceedings{ katriel:cycle,
 452   author = "I. Katriel and P. Sanders and J. Tr{\"a}ff",
 453   title = "A practical minimum spanning tree algorithm using the cycle property",
 454   booktitle = "11th European Symposium on Algorithms(ESA)",
 455   number = "2832",
 456   series = "LNCS",
 457   pages = "679--690",
 458   publisher = "Springer",
 459   year = "2003",
 460   url = "citeseer.ist.psu.edu/katriel03practical.html"
 461 }