Die Stärke probabilistischer Berechnungen im Vergleich mit nichtdeterministischen und deterministischen Berechnungen

Hauptrichtungen unserer Untersuchungen sind：Ein Vergleich der Berechnungsstärke und der Beschreibungskomplexität von deterministischen，拉斯维加斯und allgemeinen probabilistischen und（selbst-verifizierenden）nichtdeterministischen Modellen.我们将为您制作一个复杂的模型。2. Zufallsbits的分析和非确定性Entscheidungen的分析具有随机性和非确定性。我们希望这些资源能在交易中与其他复杂的资源进行比较。3.该中心的方法是以解决复杂的问题为基础的。在此基础上，建立了一个基于动力学模型的机械模型，并对该模型进行了分析。发展需要更多的分析，但更重要的是在未来的竞争模式中。

Die Hauptrichtungen unserer Untersuchungen sind: Ein Vergleich der Berechnungsstärke und der Beschreibungskomplexität von deterministischen, Las Vegas und allgemeinen probabilistischen und (selbst-verifizierenden) nichtdeterministischen Modellen. Dabei gehen wir von einfachen zu komplexeren Modellen vor. 2. Die Anzahl der Zufallsbits und die Anzahl der nichtdeterministischen Entscheidungen sind wichtige Ressourcen randomisierter und nichtdeministischer Berechnungen. Wir wollen diese Ressourcen als Komplexitätsmaße im Trade-Off mit der Berechnungskomplexität betrachten. 3. Die zentrale Methode unserer Untersuchungen basiert auf der Anwendung der Kommunikationskomplexität. Unser Ansatz besteht in der Modellierung vorgegebener Maschinenmodelle durch Kommunikationsmodelle und einer anschließenden Analyse des jeweiligen Kommunikationsmodells. Die Entwicklung hinreichend mächtiger, aber noch analysierbarer Kommunikationsmodelle steht deshalb im Vordergrund.