Algorithmische Zufälligkeit in der Berechnbarkeits- und Komplexitätstheorie

可计算性和复杂性理论中的算法随机性

基本信息

项目摘要

Das Thema des Projekts Computable Randomness and Dimension (Cordi) ist algorithmische Zufälligkeit. Unendliche Binärfolgen, kurz Folgen, die algorithmisch zufällig sind, haben interessante berechenbarkeits- bzw. komplexitätstheoretische Eigenschaften und werden seit einigen Jahren verstärkt untersucht. Die algorithmische Zufälligkeit einer Folge kann auf verschiedene, teilweise äquivalente Weisen charakterisiert werden; im Rahmen eines gegebenen Berechnungsmodells unter anderem dadurch, wie stark die Folge komprimiert werden kann oder dadurch, wie erfolgreich Wettstrategien beim Wetten auf die Bits der Folge sein können. Im ersten von zwei sich überschneidenden Teilprojekten des Projekts Cordi werden Zusammenhänge zwischen dem Grad der algorithmischen Zufälligkeit und anderen berechenbarkeits- und komplexitätstheoretischen Eigenschaften von Folgen untersucht, unter anderem sollen hier neuere Ergebnisse aus der Berechenbarkeitstheorie über den Zusammenhang von Komprimierbarkeit und effektiv nutzbarem Informationsgehalt einer Folge erweitert und auf den ressourcenbeschränkten Fall übertragen werden. Das zweite Teilprojekt behandelt Zusammenhänge zwischen algorithmischer Zufälligkeit und anderen Zufälligkeitsbegriffen, wie sie etwa in der Kryptographie oder bei der Derandomisierung probabilistischer Algorithmen verwendet werden. Dabei werden grundlegende Fragen zu den Beziehungen zwischen den verschiedenen Zufälligkeitsbegriffen untersucht, sowie Anwendungen der zu den verschiedenen Zufälligkeitsbegriffen gehörigen Ergebnissen und Methoden auf Fragestellungen im Zusammenhang mit den jeweils anderen Begriffen.
Das Thema des Projekts Computable Randomness and Dimension(Cordi)ist algorithmische Zufälligkeit. Unendliche Binärfolgen,kurz Folgen,die algorithmisch zufälig sind,haben interessante berechenbarkeits- bzw. komplexitätstheoretische Eigenschaften und韦尔登seit einigen Jahren verstärkt untersucht.算法Zufälligkeit一个Folge可以auf versedene,teilweise äquivalente Weisen charakterisiert韦尔登; im Rahmen eines gegebenen Berechnungsmodells unter anderem dadenge,whie stark die Folge komberert韦尔登kann or der dadenge,wettstrategien beim Wetten auf the Bits of Folge seen könnnen.第一次是两种不同的计算机程序设计方法,即韦尔登程序设计方法和程序设计方法deren berechenbarkeits- und komplexitätstheoretischen Eigenschaften von Folgen untersucht,在商业行为和商业行为的共同作用下,基于行为理论的新的解决方案@ ektiv nutzbarem Informationsgehalt einer Folge erweitert und auf den resourcenbeschränkten Fall übertragen韦尔登.这两个Teilprojekt behandelt Zusammenhänge zwischen algorithmischer Zufäligkeit and anderen Zufäligkeitsbegriffen,wie sie etwa in der Kryptographie or der bei der Derandomisierung probabilistischer mersverwendet韦尔登. Dabei韦尔登grundabel de Fragen zu den Beziehungen zwischen den verdibedenen Zufälligkeitsbegriffen untersucht,sowie Anwendungen der zu den verdibedenen Zufälligkeitsbegriffen gehörigen Ergebnissen und Methoden auf Fragestellungen im Zusammenhang mit den Jeweils and Deren Begriffen.

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Privatdozent Dr. Wolfgang Merkle其他文献

Privatdozent Dr. Wolfgang Merkle的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了