• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Research on efficient algorithms for discrete structures

Research Project

Project/Area Number 02302047
Research Category

Grant-in-Aid for Co-operative Research (A)

Allocation TypeSingle-year Grants
Research Field 情報工学
Research InstitutionTohoku University

Principal Investigator

NISHIZEKI Takao  Tohoku University, Faculty of Engineering, Professor, 工学部, 教授 (80005545)

Co-Investigator(Kenkyū-buntansha) WATANABE Toshimasa  Hiroshima University, Faculty of Engineering, Associate Professor, 工学部, 助教授 (80112184)
HIRATA Tomio  Nagoya University, Faculty of Engineering, Associate Professor, 工学部, 助教授 (10144205)
HAGIHARA Ken-ichi  Osaka University, Faculty of Engineering Science, Associate Professor, 基礎工学部, 助教授 (00133140)
KATOH Naoki  Kobe University of Commerce, Department of Management Sciecne, Professor, 管理科学科, 教授 (40145826)
IMAI Hiroshi  The University of Tokyo, Faculty of Science, Associate Professor, 理学部, 助教授 (80183010)
渡辺 治  東京工業大学, 工学部, 助教授 (80158617)
安浦 寛人  京都大学, 工学部, 助教授 (80135540)
梅尾 博司  大阪電気通信大学, 教授 (80132356)
五十嵐 善英  群馬大学, 工学部, 教授 (60006260)
浅野 孝夫  上智大学, 工学部, 助教授 (90124544)
Project Period (FY) 1990 – 1991
Project Status Completed (Fiscal Year 1991)
Budget Amount *help
¥10,800,000 (Direct Cost: ¥10,800,000)
Fiscal Year 1991: ¥4,800,000 (Direct Cost: ¥4,800,000)
Fiscal Year 1990: ¥6,000,000 (Direct Cost: ¥6,000,000)
KeywordsAlgorithm / Parallel processing / Combinatorial problem / Discrete structure / Computational geometry / Network / Distributed processing
Research Abstract

We studied and examined algorithms which solve problems for discrete structures. We have obtained new knowledge about limitations of current algorithms and algorithm theory. We especially studied parallel and distributed algorithms. We have constructed a base for designing new algorithms, and then, designed and analyzed many new algorithms. The main results are as follows.
1. One of the most important problems in VLSI layout design is a circuit partitioning problem, for which a number of algorithms have been presented. Given a set of modules together with a net list, the problem here is to find an optimal partition of the module set into two so that the areas occupied by modules are comparable in the two sides and the number of interconnections between two sides is minimized. For this problem we compared the method based on graph representation with the one of solving the bipartition problem after mapping modules into points in the plane.
2. For intractable problems such as NP-complete problems, a lot of algorithms, which are claimed to run fast on average, have been developed. Usually their performances have been estimated by methematical analysis but, especially for practical purposes, it should be also important to estimate them by actually running the algorithms. We discussed how instances of the satisfiability problem, which are to be used to scale the performance of the algorithms, should be generated. We, in turn, showed several instance-generation algorithms that meet the requirements considered.

Report

(3 results)
  • 1991 Annual Research Report   Final Research Report Summary
  • 1990 Annual Research Report
  • Research Products

    (165 results)

All Other

All Publications (165 results)

  • [Publications] T.Asano: "Dynamic programing on intervals" Lecture Notes in Computer Science. 557. 199-207 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T.Asano: "Solving semi-dynamic geometric problem" Trans of IEICE. E-73. 265-269 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T.Asano: "Aunified liwear-space approach to geometric minimax problems" Proc.of 2nd Canadian Conf.on Computational Geometry. 2. 20-23 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T.Asano: "Separating bichromatic points by parallel lines" Proc,of 2nd Canadian Conf.on Computational Geometry. 2. 46-49 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T.Asano: "Algorithms for projecting points to give the most uniform distribution with applications to hashing" Lecture Notes in Computer Seience. 450. 300-309 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T.Asano: "Circuit partitioning algorithms:Graph model versus geometry model" Lecture Notes in Computer Science. 557. 94-103 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T.Asano: "Walking on an arrangement topologically" Proc.7th annual Symp on Computational Geometry. 7. 297-306 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] S.Osawa: "Language families generated by one-letter languages and inclusion relations" Trans.of IEICE. E73. 724-728 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Y.Igarashi: "Time lower bounds for sorting roughly sorted sequences" Trans.of IEICE. E73. 1893-1898 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Y.Igarashi: "Optimal schemes for desseminating information and their fault tolerance" IEICE Trans.Inf and Syst.E-75-D. 22-29 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] D.Rappaport: "On computing simple polygons on a set of line segments" Discrete and Computational Geometry. 5. 289-304 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] D.Avis: "Locating a robot with angle measurements" Journal of Symbolic Computation. 10. 311-326 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Aonuma: "Maximin location of convex objects in a polygon and related voronoi diagrams" Proc.of 6th ACM Symposium on Computational Geometry. 6. 225-234 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Imai: "Efficient sequential and parallel algorithms for plarar minimum cost flow" Lecture Notes in Computer Science. 450. 21-30 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Imai: "Voronoi diagrams for moving obgects" Proc.of the International Computer Symposium. 600-606 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] A.Aggarwal: "Finding K points with minimum diameter and related problems" Journal of Algorithms. 12. 38-56 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Imai: "A geometric fitting problem of two corresponding sets of points on a line" IEICE Trans on Fundamentals of Electronics,Communications and Computer Science. E74. 665-668 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Imai: "On the polynomiality of the multiplicative penalty function method for linear programming and related inscribed ellipsoids" IEICE Trans on Fundamerotals of Electronics,Communications and Computer Science. E74. 669-671 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] N.Kojiro: "Performance evaluation of automatic name placement functions for geographical database systems" DASFAA. (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T.Akutsu: "The sum of smaller endpoint degree over edges of graphs and its applications to geometric problems" Proc.of 3rd Canadian Conference on Computational Geometry. 3. 145-148 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Imai: "Computational geometry and linear programming" Proc.of 2nd NEC symposium. 2.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] K.Iwama: "ASPACE(o(loglog n))is regular" SIAM J.Computing.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Umeo: "On the power of global bus in mesh-connected architectures" Proc.of an International Conf.InfoJapan'90,. 209-216 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Umeo: "A no-time-loss global-bus elimination technique on mesh-connected computers and its application to optimum-time parallel algorithm design" Parallel Computing (Problems Methods and Applications). 255-261 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T.Ichimori: "A two-commodity sharing problem on networks" Networks. 21. 547-563 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] N.Katoh: "An E-approximation scheme for combinatorial optimization problems with minimum variance criterion" Discrete Applied Mathematics. 35. 131-141 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] N.Katoh: "A fully polynomial time approximation scheme for minimum cost-reliability ratio problems" Disrete Applied Mathematics. 35. 143-155 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Suzuki: "Parallel algorithms for finding Steiner forests in planar graphs" Lecture Notes in Computer Science. 450. 458-467 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X.Zhou: "An efficient algorithm for edge-coloring series parallel multigraphs" Lecture Notes in Computer Science. (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Suzuki: "Variable-priority queue and doughnut routing" Journal of Algorithms.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] M.Chrobak: "Improved edge-coloring algorithms for planar graphs" Journal of Algorithms. 11. 102-116 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] S.Naka: "Scheduling file fransfers under port and channel constraints" Lecture Notes in Computer Science. 557. 43-51 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] N.Kanamaru: "Efficient enumeration of grid points in a polygon and its application to integer programming" Carnegie-Mellor Univ.Press.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] A.Frank: "Algorithms for routing around a rectangle" Discrete Applied Mathematics.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X.Tan: "Reporting intersections of c-oriented polygons" Trans.of IEICE. E73. 1886-1892 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X.Tan: "Spatial point location and its applications" Lecture Notes in Computer Science. 450. 241-250 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X.Tan: "The intersection searching problem for c-oriented polygons" Information Processing Letters. 37. 201-204 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X.Tan: "An incremental algorithm for constructing shortest watchman routs" Lecture Notes in Computer Science. 557. 163-175 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X.Tan: "On translating a set of c-oriented faces in three dimensions" Trans.of IEICE.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] F.F.Islam: "An arohitecture for FFT butterfly computation with merged core multiplication technique" Trans of IEICE. E73. 1810-1812 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] N.Ishiura: "The behavior model for the formal semantics of a hardware design language UDL/I" Proc.of ACM IEEE 27th Design Automation Conference. 27. 8-13 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Yasuura: "Formal semantics of UDL/I and its applications to CAD/DA tools" Proc.of 1990 IEEE International Conference on Computer Design:VLSI in Computers & Processors. 90-94 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] M.Ohmura: "Extraction of arithmetic function from combinational circuits" Proc of the Synthesis and Simulation Meeting and International Interchange SASIMI'90. 40-47 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Yasuura: "Semantic gap between hardware design languages and simulators" Proc.of the Synthesis and Simulation Meeting and International Interchange SASIMI'90. 165-172 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] M.Ohmura: "Extraction of functional information from combinational circuits" IEEE International Conference on Computer Aided Design (ICCAD-90). 176-179 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H.Yasuura: "Local computable coding for unary operations" Lecture Notes in Computer Science. 491. 312-323 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] O.Watanabe: "A formal study of learning via queries" Lecture Notes in Computer Science. 443. 139-152 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] M.Ogiwara: "On Polynomial time bounded truth-table reducibility of NP sets to sparse sets" ACM 22th STOC. 22. 457-467 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] O.Watanabe: "Structural analyses on the complexity of inverting functions" Lecture Notes in Computer Science. 450. 31-38 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] O.Watanabe: "On intractability of the class UP" Math.Systems Theory. 24. 1-10 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] M.Ogiwara: "On polynomial-time bounded truth-table reducibility of NP sets to sparse sets" SIAM J.Comput.20. 471-483 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] R.Gavalda: "On the computational complexity of small descriptions" SIAM J.Comput.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T.Watanabe: "Proof procedures and axiom set in petrinet models of horn clause propositional logic" IEEE ISCAS. 914-917 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T.Watanabe: "A linear time augmenting algorithm for 3-edge-connectivity augmentation" IEEE ISCAS. 1168-1171 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] 浅野 哲夫: "計算幾何学" 朝倉書店, 231 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] 梅尾 博司: "超並列計算機ア-キテクチャとそのアルゴリズム" 共立出版, 216 (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Ta. Asano: "Dynamic programming on intervals" Proc. of 2nd International Symp. on Algorithms, Lecture Notes in Computer Science. 557. 199-207 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Te. Asano and E. Lodi: "Solving semi-dynamic geometric problems" Trans. of IEICE. E-73, 2. 265-269 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Te. Asano, M. E. Houle, H. Imai and K. Imai: "A unified linear-space approach to geometric minimax problems" Proc. of 2nd Canadian Conf. on Computational Geometry. 20-23 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Te. Asano, J. Hershberger and J. Pach: "Separating bichromatic points by parallel lines" Proc. of 2nd Canadian Conf. on Computational Geometry. 46-49 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Te. Asano an T. Tokuyama: "Algorithms for projecting points to give the most uniform distribution with applications to hashing" Proc. of SIGAL International Symp. on Algorithms, Lecture Notes in Computer Science. 450. 300-309 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Te. Asano and T. Tokuyama: "Circuit partitioning algorithms : Graph model versus geometry model" Proc. of 2nd International Symp. on Algorithms, Lecture Notes in Computer Science. 557. 94-103 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Te. Asano, L. J. Guibas and T. Tokuyama: "Walking on an arrangement topologically" Proc. 7th annual Symp. on Computational Geometry. 297-306 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] S. Osawa, Y. Igarashi and Y. Shibata: "Language families generated by one-letter languages and inclusion relations" Trans. of IEICE. E73, 5. 724-728 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Y. Igarashi and J. Kortelainen: "Time lower bounds for sorting roughly sorted sequences" Trans. of IEICE. E73, 11. 1893-1898 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Y. Igarashi, K. Kanai and K. Miura: "Optimal schemes for desseminating information and their fault tolerance" IEICE Trans. Inf. nd Syst.E75-D, 1. 22-29 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] D. Rappaport, H. Imai and G. T. Toussaint: "On computing simple polygons on a set of line segments" Discrete and Computational Geometry. 5. 289-304 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] D. Avis and H. Imai: "Locating a robot with angle measurements" Journal of Symbolic Computation. 10. 311-326 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Aonuma, H. Imai, K. Imai and T. Tokuyama: "Maximin location of convex objects in a polygon and related voronoi diagrams" Proceedings of the 6th ACM Symposium on Computational Geometry. 225-234 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Imai and K, Iwano: "Efficient sequential and parallel algorithms for planar minium cost flow" Proceedings of the SIGAL International Symposium on Algorithms, Lecture Notes in Computer Science. 450. 21-30 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Imai and K. Imai: "Voronoi diagrams for moving objects" Proceedings of the International Computer Symposium. 1990. 600-606 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] A. Aggarwal, H. Imai, N. Katoh and S. Suri: "Finding kappa points with minimum diameter and related problems" Journal of Algorithms. 12. 38-56 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Imai: "A geometric fitting problem of two corresponding sets of points on a line" IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E74, 4. 665-668 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Imai: "On the polynomiality of the multiplicative penalty function method for linear programming and related inscribed ellipsoids" IEICE Transactions on Fundamentals of Electoronics, Communications and Computer Sciences. E74, 4. 669-671 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] N. Kojiro, K. Miura, H. Imai and Y. Kambayashi: "Performance evaluation of automatic name placement functions for geographical database systems" DASFAA. (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T. Akutsu, Y. Aoki, S. Hasegawa, H. Imai and T. Tokuyama: "The sum of smaller endpoint degree over edges of graphs and its applications to geometric problems" Proceedings of the 3rd Canadian Conference on Computational Geometry. 145-148 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Imai: "Computational geometry and linear programming" Proc. of the 2nd NEC symposium.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] K. Iwama: "ASPACE (omicron (loglogn)) is regular" SIAM J. Computing.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Umeo, T. Worsch and R. Vollmar: "On the power of global bus in mesh-connected archtectures" Proc. of an International Conf. InfoJapan'90. 209-216 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Umeo, T. Worsch and R. Vollmar: "On the power of global-bus in mesh-connected architectures" Future Generation Computer Systems. 7. 1-8 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Umeo, T. Worsch and R. Vollmar: "A no-time-loss global-bus elimination technique on mesh-connected computers and its application to optimum-time parallel algorithm design" Parallel Computing. P. Messina and A. Murli (eds). 255-261 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T. Ichimori and N. Katoh: "A two-commodity sharing problem on networks" Networks. 21. 547-563 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] N. Katoh: "An epsilon-approximation scheme for combinatorial optimization problems with minimum variance criterion" Discrete Applied Mathematics. 35. 131-141 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] N. Katoh: "A fully polynomial time approximation scheme for minimum cost-reliability ratio problems" Discrete Applied Mathematics. 35. 143-155 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Suzuki, C. Yamanaka and T. Nishizeki: "Parallel algorithms for finding Steiner forests in planar graphs" Proceedings of SIGAL International Symposium, Lecture Notes in Computer Science. 450. 458-467 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X. Zhou, S. Nakano, H. Suzuki and T. Nishizeki: "An efficient algorithm for edge-coloring series-parallel multigraphs" Proceedings of lst Latin American Theoretical Informatics, Lecture Notes in Computer Science. (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Suzuki, A. Ishiguro and T. Nishizeki: "Variable-priority queue and doughnut routing" Journal of Algorithms.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] M. Chrobak and T. Nishizeki: "Improved edge-coloring algorithms for planar graphs" Journal of Algorithms. 11. 102-116 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] S. Nakano and T. Nishizeki: "Scheduling file transfers under port and channel constraints" Proceedings of 2nd International Symposium on Algorithms, Lecture Notes in Computer Science. 557. 43-51 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] N. Kanamaru, T. Nishizeki and Te. Asano: "Efficient enumeration of grid points in a polygon and its application to integer programming-Au extended abstract" Carnegie-Mellon Univ. Press.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] A. Frank, T. Nishizeki, N. Saito, H. Suzuki and E Tardos: "Algorithms for routing around a rectangle" Discrete Applied Mathematics.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X. Tan, T. Hirata and Y. Inagaki: "Reporting intersections of c-oriented polygons" Trans. of IEICE. E73, 11. 1886-1892 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X. Tan, T. Hirata and Y. Inagaki: "Spatial point location and its its applications" Proc. of SIGAL International Symposium on Algorithms, Lecture Notes in Computer Science. 450. 241-250 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X. Tan, T. Hirata and Y. Inagaki: "The intersection searching problem for c-oriented polygons" Trans. of IEICE. E73, 11. 1886-1892 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X. Tan, T. Hirata and Y. Inagaki: "Spatial point location and its applications" Proc. of SIGAL International Symposium on Algorithms, Lecture Notes in Computer Science. 450. 241-250 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X. Tan, T. Hirata and Y. Inagaki: "The intersection searching problem for c-oriented polygons" Information Processing Letters. 37, 4. 201-204 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X. Tan, T. Hirata and Y. Inagaki: "An incremental algorithm for constructing shortest watchman routs" Proc. of 2nd International symposium on Algorithms, Lecture Notes in Computer Science. 557. (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] X. Tan, T. Hirata and Y. Inagaki: "On translating a set of c-oriented faces in three dimensions" Trans. of IEICE.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] F. F. Islam, H. yasuura and K. Tamaru: "An architecture for FFT butterfly computation with merged core multiplication technique" The Transactions of IEICE. E73, 11. 1810-1812 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] N. Ishiura, H. Yasuura and S. Yajima: "The behavior model for the formal semantics of a hardware design language UDL/I" Proceedings of ACM IEEE 27th Design Automation Conference. 8-13 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Yasuura and N. Ishiura: "Formal semantics of UDL/I and its applications to CAD/DA tools" Proceedings of 1990 IEEE International Conference on Computer Design : VLSI in Computers & Processors. 90-94 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] M. Ohmura, H. Yasuura and K. Tamaru: "Extraction of arithmetic functions from combinational circuits" Proceedings of the Synthesis and Simulation Meeting and International Interchange SASIMI'90. 40-47 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Yasuura, K. Tankai and K. Tamaru: "Semantic gap between hardware design languages and simulators" Proceedings of the Synthesis and Simulation Meeting and International Interchange SASIM'90. 165-172 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] M. Ohmura, H. Yasuura and K. Tamaru: "Extraction of functional information from combinational circuits" Digest of Technical Papers, IEEE International Conference on Computer-Aided Design (ICCAD-90). 176-179 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] H. Yasuura: "Local computable coding for unary operations" Lecture Notes in Computer Science. 491. 312-323 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] O. Watanabe: "A formal study of learning via quiries" ICALP'90, Lecture Notes in Computer Science. 443. 139-152 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] M. Ogiwara and O. Watanabe: "On polynomial time bounded truth-table reducibility of NP sets to sparse sets" ACM 22th STOC. 22. 457-467 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] O. Watanabe and S. Toda: "Structural analyses on the complexity of inverting functions" Proc. of SIGAL International Symposium on Algorithms. 31-38 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] O. Watanabe: "On intractability of the class UP" Math. Systems Theory. 24. 1-10 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] M. Ogiwara and O. Watanabe: "On polynomial-time bounded truth-table reducibility of NP sets to sparse sets" SIAM J. Comput.20, 3. 471-483 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] R. Gavalda and O. Watanabe: "On the computational complexity of small descriptions" SIAM J. comput.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T. Watanabe, N. Kato, K. Tokuhara and K. Onaga: "Proof procedures and axiom set in petrinet models of horn clause propositional logic" IEEE ISCAS. 914-917 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] T. Watanabe, M. Yamakado and K. Onaga: "A linear time augmenting algorithm for 3-edge-connectivity augmentation problems" IEEE ISCAS. 1168-1171 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1991 Final Research Report Summary
  • [Publications] Takao Asano: "Dynamic programming on intervals" Proc of 2nd International Symp.on Algorithms Lecture Notes in Computer Science. 557. 199-207 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Tetsuo Asano: "Circuit partitioning algorithms:Graph model versus geomtry model" Proc.of 2nd International Symp.on Algorithms Lecture Notes in Computer Science. 557. 94-103 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Tetsuo Asano: "Walking on an arrangement to pologically" Proc.7th annual Symp.on Computafional Geometry. 7. 297-306 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Yoshihide Igarashi: "Optimal schemes for desseminating information and their fault tolerance" IEICE Trans.Inf.and Syst.E75ーD. 22-29 (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] A.Aggarwal: "Finding κ points with minimum diameter and related problems" Journal of Algorithms. 12. 38-56 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Hiroshi Imai: "A geometric fitting problem of two corresponding sets of points on a line" IEICE Transactions on Fundamentals of Electronics,Communications and Computer Sciences. E74. 665-668 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Hiroshi Imai: "On the polyromiality of the multiplicative penalty function method for linear programming and related inscribed ellipsolds" IEICE Transactions on Fundamentals of Electronics.Communications and Computer Sciences. E74. 669-671 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] T.Akutsu: "The sum of smaller endpoint degree over edges of graphs and its applications to geometric problems" Proceedings of the 3nd Canadiam Conference on Computational Geometry. 3. 145-148 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 岩本: "組合せ問題に対するRS型ベクトルアルゴリズム" 電子情報通信学会論文誌. J75ーDーI. (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] Kazuo Iwama: "ASPACE(o(loglog n))is regular" SIAM J.Computing.

    • Related Report
      1991 Annual Research Report
  • [Publications] T.Ichimori: "A twoーcommodity sharing problem on networks" Networks. 21. 547-563 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 加藤 直樹: "パラメトリック組合せ最適化問題とその応用" 電子情報通信学会誌. 74. 949-956 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 木庭: "デ-タベ-スシステムにおける動的な版の選択を行うκ版先読みスケジュ-ラ" 電子情報通信学会論文誌. J74ーDーI. 858-868 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Naoki Katoh: "An εーapproximation scheme for combinatorial optimization problems with minimum variance criterion" Discrete Applied Mathematics. 35. 131-141 (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] Naoki Katoh: "A fully polynomial time approximation scheme for minimum costーreliability ratio problems" Discrete Applied Mathematics. 35. 143-155 (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] Xiao Zhou: "An efficient algorithm for edgeーcoloring seriesーparallel multigraphs" Proceedings of 1st Latin American Theoretical Informatics Lecture Notes in Computer Science. (1992)

    • Related Report
      1991 Annual Research Report
  • [Publications] Hitoshi Suzuki: "A variableーpriority queue and doughnut routing" Journal of Algorithms.

    • Related Report
      1991 Annual Research Report
  • [Publications] Shinichi Nakano: "Scheduling file transfers under port and channel constraints" Proc.of 2nd International Symposium on Algorithms Lecture Notes in Computer Science. 557. 43-51 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Naoyoshi Kanamaru: "Efficient enumeration of grid points in a polygon and its application to integer programming" Proc.of 2nd Conf.on Integer Programming and Combinatorial Optimization.

    • Related Report
      1991 Annual Research Report
  • [Publications] 中野 眞一: "グラフをfg採色する近似アルゴリズム" 日本応用数学会論文誌. 1. 195-211 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] A.Frank: "Algorithms for routing around a rectangle" Discrete Applied Mathematics.

    • Related Report
      1991 Annual Research Report
  • [Publications] X.Tan: "The intersection searching problem for cーoriented polygons" Information Processing Letters. 37. 201-204 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] X.Tan: "An incremental algorithm for constructing shortest watchman routs" Proc of 2nd International symposium on Algorithms Lecture Notes in Computer Science. 557. 163-175 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] X.Tan: "On translating a set of cーoriented faces in three dimensions" Trans.of IEICE.

    • Related Report
      1991 Annual Research Report
  • [Publications] 太郎 良: "木パタ-ンマッチングのための並列アルゴリズム" 電子情報通信学会論文誌.

    • Related Report
      1991 Annual Research Report
  • [Publications] 大村: "組合せ回路の機能情報抽出" 電子情報通信学会論文誌. J74ーA. 247-255 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Hiroto Yasuura: "Local computable coding for unary operations" Lecture Notes in Computer Science. 491. 312-323 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Osamu Watanabe: "On intractability of the class UP" Math.System Theory. 24. 1-10 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] M.Ogiwara: "On polynomialーtime bounded truthーtable reducibility of NP sets to sparse sets" SIAM J.Comput.20. 471-483 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] R.Gavalda^^`: "On the computational complexity of small descriptions" SIAM J.Comput.

    • Related Report
      1991 Annual Research Report
  • [Publications] T.Watanabe: "Proof procedures and axiom set in petrinet models of horn clause propositional logic" IEEE ISCAS. 2/5. 914-917 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] T.Watanabe: "A linear time augmenting algorithm for 3ーedgeーconnectivity augmentation problems" IEEE ISCAS. 2/5. 1168-1171 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 梅尾 博司: "超並列計算機ア-キテクチャとそのアルゴリズム" 共立出版, 216 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] T.Nishizeki: "On the 1.1 edgeーcoloring of multigraphs" SIAM J.Disk.Math.3. 391-410 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] S.Nakano: "On the fgーcoloring of graphs" Combinatorica. 10. 67-80 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] M.Chrobak: "Improved edgeーcoloring algorithms" J.Algorithms. 11. 102-116 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] T.Nishizeki: "Planar graph problems" Computing. Supp.7. 53-68 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] T.Asano: "Solving semiーdynamic geometric problems" 電子情報通信学会 英文誌. Eー73. 265-269 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] T.Asano: "Algorithms for projecting points to give the most uniform distribution with applications to hashing" Algorithmica.

    • Related Report
      1990 Annual Research Report
  • [Publications] T.Asano: "Circuit partitioning algorithms:Graph model vs geometry model" International Journal on Computational Geometry and Applications.

    • Related Report
      1990 Annual Research Report
  • [Publications] S.Osawa: "Language families generated by oneーletter languages and inclusion relation" 電子情報通信学会 英文誌. Eー73. 724-728 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Y.Igarashi: "Time lower bounds for sorting roughly sorted sequences" 電子情報通信学会 英文誌. Eー73. 1893-1898 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 梅尾 博司: "ブロ-ドキャスト機能を備えた網目結合並列計算機のためのアルゴリズムに関する最近の研究" 情報処理. 31. 906-912 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 梅尾 博司: "並列計算機のためのアルゴリズムとア-キテクチャ" bit. 22. 617-623 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] H.Suzuki: "Edgeーdisjoint paths in a grid bounded by two nested rectangles" Discrete Applied Mathematics. 27. 157-178 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 鈴木 均: "3ー連結グラフの3分割アルゴリズム" 情報処理. 31. 584-592 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 萩原 兼一: "分散アルゴリズム" 情報処理. 31. 1245-1256 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 萩原 兼一: "分散アルゴリズム" 人工知能学会誌. 5. 430-440 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] M.Ogiwara: "On polynomial time bounded truthーtable reducibility of NP sets to sparse sets" ACM STOC. 22. 457-467 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] O.Watanabe: "A formal study of learning via queries" ICALP. 17. 139-152 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] O.Watanabe: "A framework for polynomial time query learnability" Math.Syst.Theory.

    • Related Report
      1990 Annual Research Report
  • [Publications] 浅野 哲夫: "計算幾何学" 朝倉書店, 231 (1990)

    • Related Report
      1990 Annual Research Report

URL: 

Published: 1990-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi