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

1997 Fiscal Year Final Research Report Summary

Approximation Algorithms with High Performance Based on Semidefinite Programming

Research Project

Project/Area Number 07680370
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionCHUO UNIVERSITY

Principal Investigator

ASANO Takao  Chuo University, Faculty of Science and Engineering, Professor, 理工学部, 教授 (90124544)

Project Period (FY) 1995 – 1997
KeywordsSemidefinite programming / approximation algorithms / performance ratio / maximum satisfiability
Research Abstract

The objective of this research is , surveying recent researches on approximation algorithms with high performance based on the semidefinite programming technique, investigating its usefulness and proposing new approximation algorithms based on the semidefinite programming technique.
To achieve, we first made an investigation on similar techniques developped before in most representative network problems, the maximum-weight cut problem, the minimum cost clustering problem, and the maximum satisfiability problem. Through this investigation, I could find that a combined technique of the semidefinte programming with the convex programing is quite useful and obtain new approximation algorithms based on this method. To evaluate the new algorithms not only from the theoretical point of view but also from the practical point of view, I implemented the algorithms with the helps of students as well as the algorithms previously proposed by other researchers and made computational experiments.
The results in this research were published in the world leading journals, symposia and Information Processing Society of Japan. In view of this, the purpose of this research can be said to be satisfatorily achieved.

  • Research Products

    (16 results)

All Other

All Publications (16 results)

  • [Publications] Takao Asano: "Constructing a biparitite graph of maximum connectivity with prescribed degrees" Networks. 29. 245-263 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Takao Asano: "Approximation algorithms for MAX SAT : Yannakakis vs. GoemansーWilliamson" Proc. 5th Israel Symposium on Theorg of Computing and Systems,. 5. 24-37 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Takao Asano: "A theoretical framework of hibrid approches to MAX SAT" Proc. 8th International Symp. Algorithms and Computation. 8. 153-162 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Takao Asano: "Approximation algorithms for the maximum satisfiability problem" Nordic Journal of Computing. 3. 388-404 (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Takao Ono: "Au approxination algorithm for MAX 3SAT" 情報処理学会論文誌. 37. 1760-1764 (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Takao Asano: "An O (nloglog n) time algorithm for constructing a graph of maximum connectivity with prescribed degrees"

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Asano: "Constructing a bipartite graph of maximum connectivity with prescribed degrees." Networks. Vol.29. 245-263 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Asano: "Approximation algorithms for MAX SAT : Yannakakis vs.Goemans-Williamson." Proc.5th Israel Symposium on Theory of Computing and Systems, Ramat Gan. 24-37 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Asano, K.Hori, T.Ono and T.Hirata: "A theoretical framework of hibrid approaches to MAX SAT." Proc.8th International Symposium on Algorithms and Computation (Lecture Notes in Computer Science 1350, Springer), Singapore. 153-162 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Asano, T.Ono and T.Hirata: "Approximation algorithms for the maximum satisfiability problem." Nordic Journal of Computing. Vol.3. 388-404 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Ono, T.Hirata and T.Asano: "An approximation algorithm for MAX 3SAT." Joho shori gakkai ronbun-shi. Vol.37. 1760-1764 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Asano: "An O (nlog logn) time algorithm for constructing a graph of maximum connectivity with prescribed degrees." Journal of Computer and System Sciences. Vol.51. 503-511 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Asano, K.Hori, T.Ono and T.Hirata: "Hibrid approaches to MAX SAT." Joho shori gakkai arugorizumu kenkyukai hokoku. SIGAL-TR-59-1. 1-8 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Asano, K.Hori, T.Ono and T.Hirata: "A refinement of Yannakakis's algorithm for MAX SAT." Joho shori gakkai arugorizumu kenkyukai hokoku. SIGAL-TR-54-11. 81-88 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Asano, T.Ono and T.Hirata: "Approximation algorithms for the maximum satisfiability problem." Proc.5th Scandinavian Workshop on Algorithm Theory (Lecture Notes in Computer Science 1097). 100-111 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Ono, T.Hirata and T.Asano: "An approximation algorithm for MAX 3-SAT." Proc.6th International Symposium on Algorithms and Computation (Lecture Notes in Computer Science 1004, Springer) , Cairns. 163-160 (1995)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 1999-03-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi