ISCAS OpenIR  > 基础软件与系统重点实验室
toward an automatic approach to greedy algorithms
Zheng Yujun; Xue Jinyun; Zuo Zhengkang
2009
Conference Name3rd International Workshop on Frontiers in Algorithmics
SourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages302-313
Conference DateJUN 20-23,
Conference PlaceHefei, PEOPLES R CHINA
Indexed Typeistp,ei,acm
Publish PlaceHEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
PublisherFRONTIERS IN ALGORITHMICS, PROCEEDINGS
ISSN0302-9743
ISBN978-3-642-02269-2
DepartmentZheng, Yujun; Xue, Jinyun; Zuo, Zhengkang Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China.
English AbstractThe greedy approach is widely used for combinatorial optimization problems, but its implementation varies from problem to problem. In this paper we propose a mechanical approach for implementing greedy algorithmic programs. Using PAR, method, a problem can be continually partitioned into subproblems in smaller size based on the problem singleton and the maximum selector, and the greedy algorithm can be mechanically generated by combining the problem-solving sequences. Our structural model supports logical transformation from specifications to algorithmic programs by deductive inference; and thus significantly promotes the automation and reusability of algorithm design.
KeywordCombinatorial Optimization Problems Par Method Problem Singleton Greedy Algorithm
Language英语
Content Type会议论文
URIhttp://ir.iscas.ac.cn/handle/311060/8342
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
Zheng Yujun,Xue Jinyun,Zuo Zhengkang. toward an automatic approach to greedy algorithms[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FRONTIERS IN ALGORITHMICS, PROCEEDINGS,2009:302-313.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Zheng Yujun]'s Articles
[Xue Jinyun]'s Articles
[Zuo Zhengkang]'s Articles
Baidu academic
Similar articles in Baidu academic
[Zheng Yujun]'s Articles
[Xue Jinyun]'s Articles
[Zuo Zhengkang]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Zheng Yujun]'s Articles
[Xue Jinyun]'s Articles
[Zuo Zhengkang]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.