LEDA 是提供高效的資料類型和演算法的C++類庫。LEDA為用戶提供了對各個領域的應用詳細的知識演算法:圖像領域和網路問題領域,幾何學計算領域,組合優化領域等等。 值得一提的是,LEDA是基於面向物件方法技術被實現的。它提供了四個不同的程式開發包供用戶使用: 基本包,圖形包,幾何學包和圖形用戶介面(GUI)包。
LEDA包含了如下資料類型: 陣列,地圖,字典,優先權佇列,堆,佇列,集合,動態的樹等等,以及象搜尋和分類演算法那樣的基本的資料類型, 同時還包含在多角形上的數量上求精的幾何演算法, 例如凸的殼,質數判定演算法,線段相交演算法,Minkowski求和演算法和更多的一元布耳運算演算法。這些演算法同時也適用於處理全部退化的情況。LEDA提供了基於圖像資料類型的遍曆器,同時在靜態圖形上應用了存儲和緩存策略技術。
LEDA提供幾種模型壓縮演算法, 並且它還提供了壓縮方法、校驗總值的能力,並且,在需要資料流程類型 LEDA的所有方法中提供了資料流程物件的壓縮、解壓縮支援。
LEDA提供了多種圖像和網路深度優先搜尋那樣的的網路演算法,包括:廣度優先搜尋,最短路徑搜索,最小生成樹,匹配演算法,加權匹配演算法,網路資料流程演算法,質數判定演算法,更多的圖佈局演算法等等。網路演算法可以通過設置數位類型參數來使用(整形數,雙精度數,整數,有理數)。 同時,因為增加了對數量上不精確的數字類型,如整形數和雙精度數的處理,演算法自動檢測四捨五入的誤差或數值溢出,因此保證了結果的正確性。
LEDA提供了報告結果正確性檢查,並且結合檢驗程式來證實結果的正確性。我們為用戶提供了全部LEDA的演算法文檔說明。另外,文檔化的演算法解決方案總是可以在網站上線上獲取的。
如果存在安裝或者應用方面的問題,用戶都可以得到我們提供的及時、高效的技術支持。此外,如有特殊需要也接受用戶預定特殊的演算法解決方案。
重用性:LEDA的諸多特性中,代碼的可重用性是最值得稱讚的一個特性。使用可重用性,程式開發者減少了開發時間,同時,在使用LEDA之後,可以更加方便地進行快速原型開發。
高效性:LEDA提供了大量高效率的演算法,他們之中有許多已被證明為是漸進最佳的。LEDA在任何時候於其他類庫相比都是最好的,因而它可以為用戶提供最好的運算結果。 先進的演算法方法學和高效率的標準演算法和資料結構,這一切都是因為我們大膽創新的結果。
可靠性:我們實現的演算法是可靠的,並且我們也在處理可能的錯誤輸入和問題實例方面取得了進展。因而有效地預防了源於有限的精密計算不同的數值所產生的錯誤。 LEDA在銷售前都經過了可靠的面向物件過程和大用戶數量這兩項測試,這一切都保證了用戶使用時的可靠性。
正確性檢查:全部演算法的產生的結果都已驗證是正確的。 另外LEDA也可在運行時執行檢查。
可擴展性:LEDA通過參數多態性進行(請參閱我們提供的LEDA擴展包)方便的擴展。
獨立性:LEDA可以運行于諸如Windows,Unix,Linux不同的作業系統之上,同時對於大多數C++ 編譯器都是有效的。並且,它是獨立於像MFC或者STL那樣的軟體庫的,從而保證了產品的連續性和完整性。
技術支援:LEDA用戶論壇為全世界的用戶提供了討論演算法和解決有關LEDA問題的場所。在這個論壇裏,用戶可能也從演算法解決方案支援團隊那兒收到技術支持。
技術品質:LEDA為用戶提供了高效率的一般資料結構和演算法,並允許用戶根據需要對它們進行設置。
LEDA為用戶提供了高效率的遍曆器以處理資料結構方面的問題。從而,正確性的那些結果能夠得到保證的。幾種演算法都是已被簡短的和可理解的試驗程式(依賴數學定理)驗證了結果的正確性。
通過C++例外處理或標準的錯誤輸出過程來進行錯誤處理。
LEDA提供了記憶管理功能(它可以被關掉, 如有必要),通過使用LEDA資料類型提高了時間和空間運算能力。LEDA支援幾乎全部的通用C++ 編譯器並可以在Windows,Linux 和Unix等作業系統上運行。
Contained Data Types
The LEDA Professional Edition contains the following data types and algorithms:
• Simple Data Types
• Number Types and Linear Algebra
• Basic Data Types
• Dictionaries
• Priority Queues
• Graphs and Related Data Types
• Basic Data Types for Two-Dimensional Geometry
• Advanced Data Types for Two-Dimensional Geometry
• Basic Data Types for Three-Dimensional Geometry
• Windows/Graphics Data Types
• Module Compression
• Module Cryptography
• Module String Alignment
• Graph and Network Algorithms
• Graph Drawing Algorithms
• Graph Isomorphisms
• Geometric Algorithms
• Miscellanous
- Object Code:
Professional Single User License, valid for one unique person
Professional Site License, valid for one authorized site
- Source Code:
Professional Site Source Code License, valid for one authorized site.
For commercial use and/or commercial users the following license types are available:
License Types
The LEDA Professional Edition is available as Source Code or as Object Code for Linux, Solaris and MS Windows .NET platforms.
Platforms
The LEDA Research Edition contains the following data types and algorithms:
• Simple Data Types
• Number Types and Linear Algebra
• Basic Data Types
• Dictionaries
• Priority Queues
• Graphs and Related Data Types
• Basic Data Types for Two-Dimensional Geometry
• Advanced Data Types for Two-Dimensional Geometry
• Basic Data Types for Three-Dimensional Geometry
• Windows/Graphics Data Types
• Module Compression
• Module Cryptography
• Module String Alignment
• Graph and Network Algorithms
• Graph Drawing Algorithms
• Graph Isomorphisms
• Geometric Algorithms
• Miscellanous
- Object Code:
Research Team License, valid for one authorized research team,
Research Site License, valid for one authorized site.
- Source Code:
Research Site Source Code License, valid for one authorized site.
For non-commercial users and non-commercial use the following license types are available:
For research or educational purposes LEDA is available at a lower rate (’Research License’). Eligible for research licenses are students, staff or faculty of an academic institution. To apply for an educational rate please send your eligibility information indicating your status along with your order (for faculties et al.: p.o. from the institution).
License Types
The LEDA Research Edition is available as Source Code or as Object Code for Linux, Solaris and MS Windows .NET platforms.
Platforms
Contained Data Types