DOCSLIB.ORG

Vladimir A. Gurvich Publication List Last Updated In

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Vladimir A. Gurvich Publication List Last Updated In Vladimir A. Gurvich Publication List Last updated in February 2012 Notation B - Boolean Functions, CC - Complexity of Computations and Algorithms, CP - Convex Programming and Convex Analysis, DM - Data Mining and Artificial Intelligence, Ga - Game Theory, CoGa - Combinatorial Games, Ge - Geometry, Gr - Graph Theory, L - Lattice Theory, M - Matroid Theory, N - Number Theory, P - Probability Theory, S - Mathematical Geophysics and Computational Seismology, T - Topology. I. Papers in refereed journals; Extended abstracts 2000 -. (1) 1973 Ga and B : To theory of multi-step games; J. Vychisl. matem. i matem. fiz., 13 (6) (1973) 1485-1500 (in Russian); English transl. in USSR Computational Mathematics and Mathematical Physics 13 (6) (1973) 143-161. (2) 1974 Ga and B : Application of Boolean functions and contact schemes in game theory. III-d USSR conference on game theory, Odessa, May 1974, Abstract, p.167-168 (in Russian). (3) 1975 Ga and B : Solvability of positional games in pure strategies; J. Vychisl. matem. i matem. fiz., 15 (2) (1975) 358-371 (in Russian). English transl. in USSR Comput. Math. and Math. Phys. 15 (2) (1975) 74-87. (4) 1976 Ga and B : Generating Nash equilibria in positional games by means of contact schemes; Izvestiya Akademii Nauk SSSR, Tekhnicheskaya Kibernetika 2 (1976) 46-57 (in Russian). English transl. in Soviet J. of Computer and System Science (formerly Engineering Cybernetics). (5) 1976 Ga and B : Determination of Nash equilibria in positional games with imperfect information. Izvestiya Akademii Nauk SSSR, Tekhnicheskaya Kibernetika 4 (1976) 22-28 (Russian). English transl. in Soviet J. of Computer and System Science (formerly Engineering Cybernetics). (6) 1976 Ga and B : Applications of Boolean functions and contact shemes in theory of the positional games; in "Contemporary directions of game theory". E.Vilkas and A. Korbut, eds., "Mokslas", Vilnius (1976) 63-85 (in Russian). 1 (7) 1976 Ga, B, and Gr : Positional games, read-once Boolean functions and chromatic graphs. 22-nd Scientific Conference of Moscow Institute of Physics and Technology, Applied Mathematics, Abstract, p.122-125 (in Russian). (8) 1977 Ga, B and Gr : On repetition-free Boolean functions, Uspehi Mat. Nauk (Russian Math. Surveys, Communications of Moscow Math. Society) 32 (1) (1977) 183{184 (in Russian). (9) 1977 Ga : Reconcilable sets of coalitions; In "Questions of applied mathematics", Siberian Inst. of Energy, Irkutsk (1977) 20-30 (in Russian); RJ Abstract 81b:90172 in English, V. Gurvich and A. Vasin. (10) 1978 Ga : Reconcilable sets of coalitions for normal form games. In "Numerical methods in optimization theory (Applied math.)", Siberian Inst. of Energy, Irkutsk, (1978) 27-38 (in Russian); RJ Abstract 81j:90147 in English; V. Gurvich and A. Vasin. (11) 1978 Ga : On reconcilable sets of coalitions; 3-d USSR Conference on Operations Research, Gorky, 1978; Abstract, pp, 353-354 (in Russian); V.Gurvich and A. Vasin. (12) 1978 Ga : Classification of meta-games. 3d USSR Conference in Oper- ations Research, Gorky, 1978; Abstract, 396-397 (in Russian); V. Gurvich (12a) 1978 Ga and B and Gr : Applications of Boolean functions and contact schemes in game theory. Ph.D. Thesis (and Extended Abstract); Moscow Institute of Physics and Technology, October 1978, 110 p. (and 11 p.) (in Russian); V.Gurvich (14) 1980 Ga : Coalitional equilibria in meta-games, Vestnik Moskov. Univ. ser.XV : Vychisl. Mat. Kibernet., no 3 (1980) 38-44 (in Russian), 90D12; English translation in: Proceedings of Moscow State Univ. Ser. XV, Computational Math. and Cybernetics, no 3; V.A. Gurvich and A.A. Vasin. (15) 1982 S : Time stability of strong earthquake-prone areas prediction. II. East of Middle Asia. Izvestiya Akad. Nauk SSSR, ser. Fizika Zemli , No 9, p.30-38. (Russian), English transl. in Izvestya Acad. of Sciences of the USSR, ser. Physics of Solid Earth; V. Gurvich and A. Gvishiani. (16) 1982 S and O : Balls in the Hamming metric spaces. Doklady Akad. Nauk SSSR, v.264, No 1, p.27-29 (in Russian); 86A15 (54E35); English transl. in: Soviet Math. Dokl., 25, (3) (1982), 569{571; V. Gurvich and A. Gvishiani. (17) 1982 Ga and B and Gr : On the normal form of positional games, Doklady Akad. Nauk SSSR, 264 (1) (1980) 30{33 (in Russian); English transl. in Soviet Math Dokl., 25 (3) (1982) 572{575; V.Gurvich. (18) 1983 Ga and B and S : Dual systems of sets and their applications; Izv. Akad. Nauk SSSR Tekhn. Kibernet, 4 (1983)31{39 (in Russian); English translation in: Engineering Cybernetics 21 (3) (1984) 112{118; V.A. Gurvich and A.D. Gvishiani. 2 (19) 1983 S : On representation of morphostructural lineaments for computer processing. Vychisl. Seismologya v.15 , Moscow, "Nauka" (Russian), English transl. in Computational Seismology, V.A. Gurvich, A.Z. Mostinsky, A.A. Soloviev, and I.A. Vesselov. (20) 1984 CP : Balanced flow in multipole networks, Doklady Akad. Nauk SSSR, 275 (6) (1984), 1327-1331 (in Russian) 90B10 (05C20), English transl. in: Soviet Phys. Dokl., 29 (4) (1984) 268{270, V. Gurvich and A. Gvishiani. (21) 1984 CP : Kirchhoff's second law for optimal transport flows, Doklady Akad. Nauk SSSR, 276 (4) (1984), 812-817 (in Russian), 94C15 (90B10 94C05); English translation in: Soviet Phys. Dokl., 29 (1984) MR0754097 (85k:94065); V. Gurvich. (22) 1984 S : Dynamic problems of pattern recognition. I. Stability condi- tions for the strong earthquake-prone areas prediction. Vychisl. Seismol., 16 (1984) 70-78, Moscow, "Nauka" Publishers (in Russian); English transl. in Computational Seismology, V. Gurvich and A. Gvishiani. (23) 1984 S : On the connection of volcanic activity and altitute difference with epicenters of strong earthquakes; Vychisl. Seismologya 16 (1984) 88-93, Moscow, "Nauka" (in Russian), English transl. in Computational Seismology; V. Gurvich and V. Kossobokov. (24) 1984 S : Dynamic problems of pattern recognition. II. Stabilizing sets and local stability for the strong earthquake-prone areas prediction . Vychisl. Seismologya v.17, p.29-35 , Moscow, "Nauka" (in Russian), English transl. in Computational Seismology, V. Gurvich and A. Gvishiani. (25) 1984 S : Determination of earthquake-prone areas by pattern recognition methods; 19th Assembly of European Seismology Commission, 1984, Abstract, pp. 7-8 (in Russian); V. Gurvich and A. Gvishiani. (26) 1984 Gr and Ga and B : Some properties and applications of complete edge-chromatic graphs and hypergraphs; Doklady Akad. Nauk SSSR, 279 (6) 1306{1310 (in Russian) 05C15 (03G05 05C65 06E30); English transl. in: Soviet Math. Dokl. 30 (3) (1984) 803{807; V. Gurvich (27) 1985 : Problem M 940* . High-school Journal "Kvant", 1985, p.40 (in Russian), V.A. Gurvich and A.I. Gol'berg. (28) 1985 S : Dynamic problems of pattern recognition. III. Stability for the prediction of possible places of strongest earthquake-prone areas of Pacific Belt; Vychisl. Seismologya 18 (1985) 117-127, Moscow, "Nauka" (in Russian), English transl. in Computational Seismology, V.A. Gurvich, A.D. Gvishiani, and A.L. Razsvetaev. (29) 1986 CP : Calculation of networks and dual problems of convex programming; Dokl. Akad. Nauk SSSR 287 (5) (1986) 1062{1067 (in Russian), 90C35; English translation in: Soviet Math. Dokl., 33 (2) (1986) 491{496; I.F. Obraztsov, A.D. Gvishiani, and V.A Gurvich. (30) 1986 Ga : Stability of collective choice, VINITI (Ins. Sci. and Engin. Inform.) Microfilm 3181-B86, 31 pp. (in Russian), 3 English transl. by I.R. Antonyan; Sincere and stable social choice (manuscript), A.I. Golberg, V.A. Gurvich, and M.N. Zhizhin. (31) 1986 Ga : Collective choice based on veto principle; VINITI (Ins. Sci. and Engin. Inform.) Microfilm 3182-B86, 127 pp. (in Russian); English transl. by I.R. Antonyan and M.N. Zhizhin, Extensive and secret dominance solvable veto voting schemes, (manuscript), A.I. Golberg, V.A. Gurvich, and M.N. Zhizhin. (32) 1986 CP : On the theory of monotone schemes; Doklady Akad. Nauk SSSR 289 (4) (1986) 796{800 (in Russian), English transl. in Soviet Math. Dokl. 34 (1)(1986) 162{166; I.F. Obraztsov, A.D. Gvishiani, and V.A. Gurvich. (33) 1986 Ga : The existence of non-trivial stable social choice functions; Doklady Akad. Nauk SSSR, 289 (4) (1986) 788{792 (in Russian) 90A07; English translation in: Soviet Math. Dokl., 34 (1) (1986) 154{158; A.I. Golberg, V.A. Gurvich, and I.S. Menshikov. (34) 1986 Gr : On the maximal number of edges for a graph with n vertices in which every subgraph with k vertices has at most ` edges; Doklady Akad. Nauk SSSR 293 (1) (1987), 27-32 (in Russian); English translation in : Soviet Math. Dokl. 35 (2) (1987) 255{260; A. Golberg and V. Gurvich. (35) 1986 S : Identification of doubles in the union of earthquake catalogs. In "Math. methods for geophysical information processing". Eds. V.F. Pisarenko, V.V. Ratuschnyi. Moscow, Nauka (in Russian), V. Gurvich and P.N. Schebalin. (36) 1987 Ga : Dominance-solvability conditions for concave n-person games, Uspehi Mat. Nauk 42 (2) (1987) 183-184 (in Russian), English transl. in Russian Mathematical Surveys, A.I. Golberg, V.A. Gurvich, K.M. Khanin, and M.U. Rosenblum. (37) 1987 CP and S : Calculation of Lithosphere Block's equilibrium by convex programming methods. 19-th General Assembly IUGG (International Union of Geodesy and Geophysics) Vancouver, Canada, Aug. 9-22, Report, Abstract v.1 , p.39. V. Gurvich and A. Gvishiani. (38) 1987 CP : Metric and ultrametric resistance spaces; Uspehi Mat. Nauk 42 (6, 258)) (1987) 187{188 (in Russian), 90B10 (94C10); English transl. in: Russian Mathematical Surveys 42 (2) (1987) 183{184; V. Gurvich and A. Gvishiani. [This result is attributed by Wikipedia and Wolfram Mathematics to D.J. Klein and M.J. Randic, J. Math. Chem., Resistance distance 12 (1993) 81-95.] (39) 1987 CP : The equivalence of networks, optimal flows, and static equi- librium computational problems; Uspehi Mat. Nauk 42 (6, 258) (1987) 191-192 (in Russian); English transl.
Load more

Recommended publications
  • Simplex Algorithm
    CAP 4630 Artificial Intelligence Instructor: Sam Ganzfried [email protected] 1 HW2 • Due yesterday (10/18) at 2pm on Moodle • It is ok to work with one partner for homework 2. Must include document stating whom you worked with and describe extent of collaboration. This policy may be modified for future assignments. • Remember late day policy. – 5 total late days 2 Schedule • 10/12: Wrap-up logic (logical inference), start optimization (integer, linear optimization) • 10/17: Continue optimization (integer, linear optimization) • 10/19: Wrap up optimization (nonlinear optimization), go over homework 1 (and parts of homework 2 if all students have turned it in by start of class), midterm review • 10/24: Midterm • 10/26: Planning 3 Minesweeper • Minesweeper is NP-complete • http://simon.bailey.at/random/kaye.minesweeper.pdf 4 NP-completeness • Consider Sudoku, an example of a problem that is easy to verify, but whose answer may be difficult to compute. Given a partially filled-in Sudoku grid, of any size, is there at least one legal solution? A proposed solution is easily verified, and the time to check a solution grows slowly (polynomially) as the grid gets bigger. However, all known algorithms for finding solutions take, for difficult examples, time that grows exponentially as the grid gets bigger. So Sudoku is in NP (quickly checkable) but does not seem to be in P (quickly solvable). Thousands of other problems seem similar, fast to check but slow to solve. Researchers have shown that a fast solution to any one of these problems could be used to build a quick solution to all the others, a property called NP-completeness.
    [Show full text]
  • Computational Geometry Lecture Notes1 HS 2012
    Computational Geometry Lecture Notes1 HS 2012 Bernd Gärtner <[email protected]> Michael Hoffmann <[email protected]> Tuesday 15th January, 2013 1Some parts are based on material provided by Gabriel Nivasch and Emo Welzl. We also thank Tobias Christ, Anna Gundert, and May Szedlák for pointing out errors in preceding versions. Contents 1 Fundamentals 7 1.1 ModelsofComputation ............................ 7 1.2 BasicGeometricObjects. 8 2 Polygons 11 2.1 ClassesofPolygons............................... 11 2.2 PolygonTriangulation . 15 2.3 TheArtGalleryProblem ........................... 19 3 Convex Hull 23 3.1 Convexity.................................... 24 3.2 PlanarConvexHull .............................. 27 3.3 Trivialalgorithms ............................... 29 3.4 Jarvis’Wrap .................................. 29 3.5 GrahamScan(SuccessiveLocalRepair) . .... 31 3.6 LowerBound .................................. 33 3.7 Chan’sAlgorithm................................ 33 4 Line Sweep 37 4.1 IntervalIntersections . ... 38 4.2 SegmentIntersections . 38 4.3 Improvements.................................. 42 4.4 Algebraic degree of geometric primitives . ....... 42 4.5 Red-BlueIntersections . .. 45 5 Plane Graphs and the DCEL 51 5.1 TheEulerFormula............................... 52 5.2 TheDoubly-ConnectedEdgeList. .. 53 5.2.1 ManipulatingaDCEL . 54 5.2.2 GraphswithUnboundedEdges . 57 5.2.3 Remarks................................. 58 3 Contents CG 2012 6 Delaunay Triangulations 61 6.1 TheEmptyCircleProperty . 64 6.2 TheLawsonFlipalgorithm
    [Show full text]
  • Customized Book List Computer Science
    ABCD springer.com Springer Customized Book List Computer Science FRANKFURT BOOKFAIR 2007 springer.com/booksellers Computer Science 1 K. Aberer, Korea Advanced Institute of Science and Technolo- A. Abraham, Norwegian University of Science and Technology, gy, Korea; N. Noy, Stanford University, Stanford, CA, USA; D. Alle- Trondheim, Norway; Y. Dote, Muroran Institute of Technology, Transactions on Computational mang, TopQuadrant, CA, USA; K.-I. Lee, Saltlux Inc., Korea; L. Muroran, Japan Nixon, Free University Berlin, Germany; J. Goldbeck, University of Systems Biology VIII Maryland, MD, USA; P. Mika, Yahoo! Research Barcelona, Spain; D. Maynard, University of Sheffield, United Kingdom,; R. Mizoguchi, Engineering Hybrid Soft Computing Osaka University, Japan,; G. Schreiber, Free University Amster- dam, Netherlands,; P. Cudré-Mauroux, EPFL, Switzerland, (Eds.) Systems The LNCS journal Transactions on Computation- al Systems Biology is devoted to inter- and multi- disciplinary research in the fields of computer sci- The Semantic Web This book is focused on the latest technologies re- ence and life sciences and supports a paradigmat- 6th International Semantic Web Conference, 2nd Asian Se- lated to Hybrid Soft Computing targeting academia, ic shift in the techniques from computer and infor- mantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Ko- scientists, researchers, and graduate students. mation science to cope with the new challenges aris- rea, November 11-15, 2007, Proceedings ing from the systems oriented point of view of bio- Features
    [Show full text]
  • How Do Exponential Size Solutions Arise in Semidefinite Programming?
    How do exponential size solutions arise in semidefinite programming? G´abor Pataki, Aleksandr Touzov ∗ June 30, 2021 Abstract Semidefinite programs (SDPs) are some of the most popular and broadly applicable optimiza- tion problems to emerge in the last thirty years. A curious pathology of SDPs, illustrated by a classical example of Khachiyan, is that their solutions may need exponential space to even write down. Exponential size solutions are the main obstacle to solve a long standing open problem: can we decide feasibility of SDPs in polynomial time? The consensus seems to be that large size solutions in SDPs are rare. Here we prove that they are actually quite common: a linear change of variables transforms every strictly feasible SDP into a Khachiyan type SDP, in which the leading variables are large. As to \how large", that depends on the singularity degree of a dual problem. Further, we present some SDPs in which large solutions appear naturally, without any change of variables. We also partially answer the question: how do we represent such large solutions in polynomial space? Key words: semidefinite programming; exponential size solutions; Khachiyan's example; facial reduction; singularity degree MSC 2010 subject classification: Primary: 90C22, 49N15; secondary: 52A40 OR/MS subject classification: Primary: convexity; secondary: programming-nonlinear-theory 1 Introduction Contents 1 Introduction 1 1.1 Notation and preliminaries..................................5 2 Main results and proofs6 2.1 Reformulating (P) and statement of Theorem1.......................6
    [Show full text]
  • Optimizing the Imbalances in a Graph Antoine Glorieux
    Optimizing the imbalances in a graph Antoine Glorieux To cite this version: Antoine Glorieux. Optimizing the imbalances in a graph. Discrete Mathematics [cs.DM]. Institut National des Télécommunications, 2017. English. NNT : 2017TELE0011. tel-01597059 HAL Id: tel-01597059 https://tel.archives-ouvertes.fr/tel-01597059 Submitted on 28 Sep 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. THESE` DE DOCTORAT DE TEL´ ECOM´ SUDPARIS Sp´ecialit´e Math´ematiques Ecole´ doctorale Informatique, T´el´ecommunications et Electronique´ (Paris) i Pr´esent´ee par Antoine Glorieux Pour obtenir le grade de DOCTEUR DE TEL´ ECOM´ SUDPARIS Optimiser les d´es´equilibresdans un graphe soutenue le 19 juin 2017 devant le jury compos´ede : Rapporteur : Antoine Deza Professeur, McMaster University, Chaire de recherche du Canada en optimisation combi- natoire Rapporteur : Mourad Ba¨ıou Directeur de recherche, CNRS, Universit´e Blaise Pascal Clermont 2 Examinateur : Fr´ed´ericMeunier Professeur, Ecole´ nationale des Ponts et Chauss´ees Examinatrice : Marie-Christine Costa
    [Show full text]
  • Final Ctw 2017
    CITY TECH WRITER Volume 12 2017 Outstanding Student Writing From All Disciplines Suzanne Miller & Megan Behrent Editors Cover by: Kacper Zawadzki Art Director: Lloyd Carr About the Cover: I've always been fascinated with shape, color and movement. In composing this piece, my goal was to experiment with these visual design elements to create a piece that captures the community of City Tech and its various writing disciplines. Our diverse community is constantly in motion and being shaped with each passing semester. These are the works of the students who shape our school. —Kacper Zawadzki New York City College of Technology City University of New York Preface Welcome to City Tech Writer, Volume 12! Once again, our students have given us a range of experiences and ideas to contemplate. Chock full of intense and passionate pieces, this volume comprises essays that peer into the past, wrestle with the present, and glimpse the future: a human face is put on the refugee, the struggle of the PTSD victim is illuminated, and the Dreamer’s journey is considered. Fake news, the rise of computerized sportswear, the struggle of the honey bee, and the accidental creation of a sci-fi kitten are just some of the ideas in store… As we go to press, there are many people to thank: the faculty throughout the College who submitted extraordinary writing from their courses; Communication Design Department Chair Mary Ann Biehl for her support; Professor Peter Fikaris, whose communication design students produced many creative cover designs; Kacper Zawadzki, who designed the intriguing cover for this volume; and Ninoshka Mason and Vladimir Pinis, who were finalists for the cover art.
    [Show full text]
  • A Calendar of Mathematical Dates January
    A CALENDAR OF MATHEMATICAL DATES V. Frederick Rickey Department of Mathematical Sciences United States Military Academy West Point, NY 10996-1786 USA Email: fred-rickey @ usma.edu JANUARY 1 January 4713 B.C. This is Julian day 1 and begins at noon Greenwich or Universal Time (U.T.). It provides a convenient way to keep track of the number of days between events. Noon, January 1, 1984, begins Julian Day 2,445,336. For the use of the Chinese remainder theorem in determining this date, see American Journal of Physics, 49(1981), 658{661. 46 B.C. The first day of the first year of the Julian calendar. It remained in effect until October 4, 1582. The previous year, \the last year of confusion," was the longest year on record|it contained 445 days. [Encyclopedia Brittanica, 13th edition, vol. 4, p. 990] 1618 La Salle's expedition reached the present site of Peoria, Illinois, birthplace of the author of this calendar. 1800 Cauchy's father was elected Secretary of the Senate in France. The young Cauchy used a corner of his father's office in Luxembourg Palace for his own desk. LaGrange and Laplace frequently stopped in on business and so took an interest in the boys mathematical talent. One day, in the presence of numerous dignitaries, Lagrange pointed to the young Cauchy and said \You see that little young man? Well! He will supplant all of us in so far as we are mathematicians." [E. T. Bell, Men of Mathematics, p. 274] 1801 Giuseppe Piazzi (1746{1826) discovered the first asteroid, Ceres, but lost it in the sun 41 days later, after only a few observations.
    [Show full text]
  • Ellipsoid Method in Encyclopedia of Optimization, Second Edition, C.A
    Steffen Rebennack Ellipsoid Method in Encyclopedia of Optimization, Second Edition, C.A. Floudas and P.M. Pardalos (Eds.), Springer, pp. 890–899, 2008 Ellipsoid Method Steffen Rebennack University of Florida Center of Applied Optimization Gainesville, FL 32611, USA e-mail: [email protected] July 2007 Key words: Ellipsoid Method, linear programming, polynomially solvable, linear inequalities, separation problem In this article we give an overview of the Ellipsoid Method. We start with a historic introduction and provide a basic algorithm in Section 2. Techniques to avoid two important assumptions required by this algorithm are considered in Section 2.2. After the discussion of some implementation aspects, we are able to show the polynomial running time of the Ellipsoid Method. The second section is closed with some modifications in order to speed up the running time of the ellipsoid algorithm. In Section 3, we discuss some theoretical implications of the Ellipsoid Method to linear programming and combinatorial optimization. 1 Introduction In 1979, the Russian mathematician Leonid G. Khachiyan published his famous paper with the title “A Polynomial Algorithm in Linear Programming”, [Kha79]. He was able to show that linear programs (LPs) can be solved efficiently; more precisely that LP belongs to the class of polynomi- ally solvable problems. Khachiyan’s approach was based on ideas similar to the Ellipsoid Method arising from convex optimization. These methods were developed by David Yudin and Arkadi Nemirovski, [YN76a, YN76b, YN77], and independently by Naum Shor, [Sho77], preceded by other methods as for instance the Relaxation Method, Subgradient Method or the Method of Cen- tral Sections, [BGT81].
    [Show full text]
  • Rich Vehicle Routing: from a Set of Tailored Methods to a Generic
    Randomized Algorithms for Rich Vehicle Routing Problems: From a Specialized Approach to a Generic Methodology Jos´ede Jes´usC´aceresCruz Department of Computer Science, Multimedia and Telecommunication, Universitat Oberta de Catalunya - Internet Interdisciplinary Institute (UOC-IN3) Directors: Dr. Angel A. Juan P. & Dr. Daniel Riera T. Commitee Member: Dr. Helena R. Louren¸co PhD. Thesis Information and Knowledge Society Doctoral Programme Network and Information Technologies July 2013 ii Abstract The Vehicle Routing Problem (VRP) is a well known domain in optimization research community. Its different basic variants have been widely explored in the literature. Some studies have considered specific combinations of real- life constraints to define the emerging Rich VRP scopes. This work deals with the integration of heuristics, biased probability, simulation, parallel & distributed computing techniques, and constraint programming. The pro- posed approaches are tested for solving some variants of VRPs, namely, first, the deterministic families: Heterogeneous VRP (HVRP), Heteroge- neous VRP with Variable cost (HVRP-V), Heterogeneous fleet VRP with Multi-trips (HVRPM), Asymmetric cost matrix VRP (AVRP), Heteroge- neous fleet with Asymmetric cost matrix VRP (HAVRP), VRP with Time Windows (VRPTW), and Distance-Constrained VRP (DCVRP); second, the stochastic nature families: VRP with Stochastic Demands (VRPSD), and Inventory Routing Problem with Stochastic Demands (IRPSD). An extensive literature review is performed for all these variants, focusing on the main contributions of each work. A first approach proposes a biased- randomization of classical heuristics for solving the deterministic problems addressed here. A second approach is centered on the combination of ran- domized heuristics with simulation (Simheuristics) to be applied on the commented stochastic problems.
    [Show full text]
  • The Ellipsoid Method
    The Ellipsoid method R.M. Freund/ C. Roos (MIT/TUD) e-mail: [email protected] URL: http://www.isa.ewi.tudelft.nl/ roos ∼ WI 4218 March 21, A.D. 2007 Optimization Group 1/26 Outline ⊲ Sherman-Morrison formula ⊲ Ellipsoids ⊲ Ellipsoid method ⊲ Basic construction ⊲ Prototypical iteration ⊲ Iteration bound ⊲ Two theorems ⊲ Two more theorems ⊲ Optimization with the ellipsoid method ⊲ Convexity of the homogeneous problem ⊲ The Key Proposition Optimization Group 2/26 In memory of George Danzig and Leonid Khachyan (1) Leonid Khachiyan (1952-2005) passed away Friday April 29 at the age of 52. He died in his sleep, apparently of a heart attack, colleagues said. Khachiyan was best known for his 1979 use of the ellipsoid algorithm, originally developed for convex programming, to give the first polynomial-time algorithm to solve linear programming problems. While the simplex algorithm solved linear programs well in practice, Khachiyan gave the first formal proof of an efficient algorithm in the worst case. ”He was among the world’s most famous computer scientists,” said Haym Hirsh, chairman of the computer science department at Rutgers. George B. Dantzig, the father of Linear Programming and the creator of the Simplex Method, died at the age of 90 on May 13. In a statement INFORMS President Richard C. Larson mourned his death (see http://www.informs.org/Press/dantzigobit.htm). The tributes in- cluded obituaries in the Washington Post, the Francisco Chronicle, Mercury News and New York Times. National Public Radio commentator Keith Devlin remembered George Dantzig in a broadcast on Saturday, May 21. Optimization Group 3/26 In memory of George Danzig and Leonid Khachyan (2) Optimization Group 4/26 Leonid Khachyan in Shanghai (with Bai, Peng and Terlaky, 2002) Optimization Group 5/26 Sherman-Morrison formula Let Q, R, S, T be matrices such that Q and Q + RST are nonsingular.
    [Show full text]
  • Reviving the Simplex Algorithm
    WUCSS 2016 April 5, 2016 Page 1 Reviving the simplex algorithm Sponsored by Walailak University (WU) Interdisciplinary Center of Scientific Computing (IWR) National Electronics and Computer Technology Center (NECTEC) The Development for the Promotion of Science and Technology Talents Project (DPST) Assistant Professor Krung Sinapiromsaran, Ph. D. Department of Mathematics and Computer Science Faculty of Science, Chulalongkorn University Applied Mathematics and Computational Sciences Page 2 Outline ● Linear programming history ● Linear programming problems and models ● The standard simplex algorithm from Dantzig ● Improvement of the simplex algorithm ● Cosine angle or minimal angle concept ● Artificial-free simplex algorithm ● Simplex algorithm with an unrestricted variable problem Page 3 http://pioneer.netserv.chula.ac.th/~skrung Page 4 Linear programming history •1827: Fourier-Motzkin elimination algorithm was proposed to reduce the number of variables in a k system of linear inequalities. Complexity O ( m 2 ) Joseph Fourier where k is the number of successive step and m is the number of inequalities. •1939: Leonid Kantorovich formulated and solved a planning for expenditures and returns during World Leonid KantorovichWar II •1975: Nobel prize in economics was award to Leonid Kantorovich together with Tjalling Charles Koopmans Tjalling Koopmans Source:http://www.wikipedia.org/wiki/Linear_programming 11 March 2016 Page 5 Linear programming history •1947: George B. Dantzig published the simplex method (the simplex algorithm) to efficiently find the solution of a linear programming problem for US Air Force. •1979: Leonid Khachiyan published the ellipsoid algorithm for solving a linear programming model in polynomial time. However, his algorithm is not Leonid Khachiyan practical for the real world problems.
    [Show full text]
  • 1 the Giants
    1 ”On the Shoulders of Giants” A brief excursion into the history of mathematical programming 1 R. Tichatschke Department of Mathematics, University Trier, Germany Similar to many mathematical fields also the topic of mathematical programming has its origin in applied problems. But, in contrast to other branches of mathematics, we don’t have to dig too deeply into the past centuries to find their roots. The historical tree of mathematical programming, starting from its conceptual roots to its present shape, is remarkably short, and to quote ISAAK NEWTON, we can say: ”We are standing on the shoulders of giants”. The goal of this paper is to describe briefly the historical growth of mathematical pro- gramming from its beginnings to the seventies of the last century and to review its basic ideas for a broad audience. During this process we will demonstrate that optimization is a natural way of thinking which follows some extremal principles. 1 The Giants Let us start with LEONHARD EULER. 'Leonhard Euler (1707-1783) $ 1727: Euler has been appointed professor (by Daniel Bernoul- li) at the University of Saint Petersburg, Russia. Member of St. Petersburg’s Academy of Science and since 1741 member of the Prussian Academy of Science, Berlin. 1744: Methodus inveniendi lineas curvas maximi minimive proprietate gaudentes, sive solutio proble- matis isoperimetrici latissimo sensu accepti. (Method to find curves, possessing some property in the most or smallest degree or the resolution of the Isoperimetric problem considered in the broadest sense.) In this work he has established the variational analysis in a systematic way. &1Part of a lecture held at the University of Trier on the occasion of the Year of Mathematics 2008 in% Germany; published in: Discussiones Mathematicae, vol.
    [Show full text]