安布罗斯·马尔泽塔。ZRAM：并行搜索算法库及其在枚举和组合优化中的应用。苏黎世理工学院12699号博士论文。英文摘要 ZRAM公司Hauptseite公司

库兹法松

ZRAM是一个平行的程序库Rechner dem Gebiet der kombinatorischen Optimierungs-und公司Aufzählungsalgorithmen zugänglich macht公司。Es enthálteine Sammlung公司并行程序Suchmaschinen für Branch and Bound，Reverse-Search und回溯sowie ein Werkzeug zur Grössenabschätzung vonSuchbäumen公司。Die Schnittstelle der Bibliothek verbirgt模具Komplexität der Parallelisierung vor dem程序员。ZRAM enthält die erste parallel Implementierung des ZRAM公司反向搜索-算法和旧并行分支与捆绑-马辛，死人unterbrechen und neu starten坎恩。Es enthält auch als erste Bibliothek并行程序Suchalgorithmen ein Werkzeug，das die Grösse von Suchbäumenabschätzt公司。Dieses Werkzeug dient dazu，die beschränkten Ressourcen公司一个Rechenzeit den erfolgversperchendsten Berechnungen zuzuteilen。模具组合dieser Elemente und deren effiziente实施ermöglichten es uns，grosse kombinatorischeOptimierungs-und Aufzählungs probleme zu lösen公司。达伦特·辛德bisher ungelöste Instanzen des quartischen Zuordnungs问题和Aufzählung der Ecken hochdimensionaler Polyeder公司。模具Flexibilität von ZRAM zeigt sich im breiten Spektrum derAnwendungen（u.a.quartisches Zuordnungs问题，Aufzählung vonEcken und Facetten eines Polieders，安排von Hyperebenen，15-拼图，euklidische Spannbäume，zusammenhängende Teilgraphen）。Einige seiner Anwender hatten wenig oder gar keine Erfahrung麻省理工学院与ZRAM Zugang zu之前的项目平行并行技术。安汉德·冯·兹拉姆·哈本（Anhand von ZRAM haben wir gezeigt），是一位天才图书馆并列者Suchalgorithmen zu stellen sind und dass eine斯特鲁库里昂（Strukturierung）在维尔·施奇滕·安文登（vier Schichten Anwendung）、苏赫马希宁（Suchmaschinen）、，virtuelle Maschine和Systemanpassung sinnvoll ist。