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

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
Project Status Completed (Fiscal Year 1997)
Budget Amount *help
¥2,400,000 (Direct Cost: ¥2,400,000)
Fiscal Year 1997: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 1996: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 1995: ¥1,100,000 (Direct Cost: ¥1,100,000)
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.

Report

(4 results)
  • 1997 Annual Research Report   Final Research Report Summary
  • 1996 Annual Research Report
  • 1995 Annual Research Report
  • Research Products

    (29 results)

All Other

All Publications (29 results)

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

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

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

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

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

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Takao Asano: "Approximation Algorithms for MAX SAT : Yannakakis vs.Geemans-Willianson" Proc.5th Israel Symposium on Theory of Computing and Systems. 5. 24-37 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Takao Asano: "A Theoretical Framework of Hybrid Approaches to MAX SAT" Proc.8th Symposium on Algorithms and Computation. 8. 153-162 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Takao Asano: "Hybrid Approaches to MAX SAT" 情報処理学会(アルゴリズム研究会). 97-AL-59-1. 1-8 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Takao Asano: "Constructing a Biparfite Groph of Maximum Connectivity with Prescribed Degree" Networks. 29. 245-263 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Takao Asano: "Approximation Algorithms for the Maximum Satisfiability Problem" Proc.5th SWAT (Scandinavian Workshop on Algorithm Theory). 5. 100-111 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Takao Asano: "A Refinement of Yannakakis's Algorithm for MAX SAT" 情報処理学会(アルゴリズム研究会報告). 96-AL-54-11. 81-88 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Takao Ono: "An Approximation Algorithm for MAX 3SAT" 情報処理学会論文誌. 37-10. 1760-1764 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Takao Asano: "Approximation Algorithms for the Maximum Satisfiability Problem" Nordic Journal of Computing. 3印刷中(採録決定). (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Takao Asano: "Approximation Algorithms for MAX SAT : Yannakakis vs.Goemans-Williamson" Proc.5th Isradi Symposium on Theory of Computing and Systems. (採録決定). (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Takao Asano: "Constructing a Bipartite Graph of Maximum Connectivity with Prescribed Degrees" Networks. (採録決定). (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Takao Asano: "Approximation Algorithms for the Maximum Satisfiability Problem" 情報処理学会(アルゴリズム研究会報告). 96-AL-51(発表予定). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] Takao Asano: "An O(n loglog n)Time Algorithm for Constructing a Graph of Maximum Connectivity with Presctibed Degrees" Journal of Conputer and System Sciences. 51. 503-510 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Takao Ono: "An Approximation Algorithm for MAX 3-SAT" 6th International Sigmposium on Algorithms and Computation Lecture Notes in Computer Scionce. 1004. 163-170 (1995)

    • Related Report
      1995 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi