Forschungsreise ans MIT (Entwurf und Analyse effizienter Algorithmen), Laboratory for Computer Science and Artificial Intelligence, CSAIL, MIT

De Forschungsreise(während meines vorlesungsfreien ForschungsSemesters in SommerSemester 2004)and MIT soll folgenden Forschungszielen dienen：1.Verbeserung der Existierenden Techniken für sog.遍历der Merkle树(SIEHE[JLMS031，[M79]；Referenzen(6))和有效的通用的zusammenhängenden“认证路径”。算法错误，死在[BKNO21]和[KN02]世界上，解决了更多的问题和问题。Merkle Trees在认证更新、无线安全和签名(siehe[JLMS03]und[M97])中具有潜在的Anwendungen，Wie z.B.这是Zusammenarbeit麻省理工学院-Forschern教授西尔维奥·米卡利和教授汤姆·雷顿。2.我们给出了抽样和几何最优问题的近似算法和抽样抽样的近似算法。[BKO2b]，[BFK02]，[AFKK02]，[FKL02]，[FKL02]，[BKO2b]，[BKO2b]。Eine Zusammenarbeitüber Dhema MIT den MIT-Forschern P.Indyk，M.Goemans，D.Karger and M.苏丹ist geants.

Die Forschungsreise (während meines vorlesungsfreien Forschungssemesters im Sommersemester 2004) ans MIT soll folgenden Forschungszielen dienen: 1. Verbesserung der existierenden Techniken für sog. traversal der Merkle trees (siehe [JLMS031, [M79]; Referenzen (6.)) und die effiziente Generierung der zusammenhängenden "authentication paths". Die algorithmischen Ideen, die in [BKNO21 und in [KN02] verwendet wurden, sollten hier auch weiter entwickelt und verwendet werden. Merkle trees haben viele potentielle Anwendungen, wie z.B. in certification refreshal, wireless security und signatures (siehe [JLMS03] und [M97]). Es ist eine Zusammenarbeit mit den MIT-Forschern Professor Silvio Micali und Professor Tom Leighton geplant. 2. Es werden die Konstruktionen effizienter Sampler-Techniken und Approximationsalgorithmen für kombinatorische und geometrische Optimierungsprobleme basierend auf den Sampling Ideen von [AFKK02] und effizienter Linearisierung der Smooth Programme von [AKK99] untersucht. Diese Methoden sollen zur Verbesserung der existierenden Approximationsalgorithmen und Approximationsschemata für NP-Harte Probleme der metrischen Partitionierung und Clustering Probleme und deren Anwendungen (siehe [199], [FKKR03], [K02], [BKO2b]) sowie zur Verbesserung der Approximationsalgorithmen für ausgewählte Minimum Constraint Satisfaction Probleme, aufbauend auf die folgenden Arbeiten [BKO2b], [BFK02], [AFKK02], [FKL02], dienen. Eine Zusammenarbeit über dieses Thema mit den MIT-Forschern P. Indyk, M. Goemans, D. Karger und M. Sudan ist geplant.