Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems

Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa

研究成果: Paper

26 引用 (Scopus)

抜粋

In this paper we propose a new method for deriving a practical linear-time algorithm from the specification of a maximum-weightsum problem: From the elements of a data structure x, find a subset which satisfies a certain property p and whose weightsum is maximum. Previously proposed methods for automatically generating linear-time algorithms are theoretically appealing, but the algorithms generated are hardly useful in practice due to a huge constant factor for space and time. The key points of our approach are to express the property p by a recursive boolean function over the structure x rather than a usual logical predicate and to apply program transformation techniques to reduce the constant factor. We present an optimization theorem, give a calculational strategy for applying the theorem, and demonstrate the effectiveness of our approach through several nontrivial examples which would be difficult to deal with when using the methods previously available.

元の言語English
ページ137-149
ページ数13
出版物ステータスPublished - 2000 12 1
イベント5th ACM SIGPLAN International Conference on Functional Programming (ICFP'00) - Montreal, Que, Can
継続期間: 2000 9 182000 9 21

Other

Other5th ACM SIGPLAN International Conference on Functional Programming (ICFP'00)
Montreal, Que, Can
期間00/9/1800/9/21

ASJC Scopus subject areas

  • Software

フィンガープリント Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Sasano, I., Hu, Z., Takeichi, M., & Ogawa, M. (2000). Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems. 137-149. 論文発表場所 5th ACM SIGPLAN International Conference on Functional Programming (ICFP'00), Montreal, Que, Can, .