Die Stärke probabilistischer Berechnungen im Vergleich mit nichtdeterministischen und deterministischen Berechnungen
Die Stärke probabilistischer Berechnungen im Vergleich mit nichtdeterministischen und deterministischen Berechnungen
批准号:
5348237
负责人:
Professor Dr. Georg Schnitger
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2002
资助国家:
德国
项目状态:
已结题
起止时间:
2001-12-31 至 2005-12-31
中文摘要
随机性(zufallsgesteuerte)测试是一种常见的家庭测试,在许多软件产品中使用韦尔登标准。通常情况下,Klasse实用算法Aufgaben的人也是Klasse der Aufgaben的人,他们可以用随机的方法有效地学习。Die Estimmung der tatsächlichen Berechnungsstärke randomisierter Berechnungen ist deshalb eine der zentralen Aufgabenstellungen der Komplexitätstheorie und der Schummenttheorie. Randomisierte Systeme können wesentlich kompakter als ihre deterministischen Varianten sein,woddies sie dann letzendlich zuverlässiger als komplexere deterministische Systeme sind. Dieser Aspekt der geringen Beschreibungskomplexität ist neben der Berechnungsstärke von ebenfalls zentraler Relevanz.我们的主要任务是:1. Ein Vergleich der Berechnungsstärke und der Beschreibungskomplexität von deterministischen,probabilistischen und nichtdeterministischen Berechnungsmodellen.我们将从一个简单的模型(如Einweg-Automaten、Zweiweg-Automaten或KellerAutomaten)到一个复杂的模型(如Branchingprogramme或Komberkationmodelle)。2. Zufallsbits分析和非确定性Entscheidungen分析具有随机性和非确定性。我们希望这些资源在与Berechnungskomplexität(或Beschreibungskomplexität)的权衡中具有复杂性。3.一种以解决复杂问题为基础的中心方法。Unser Answer besteht in der Modellierung vorgebener Maschinenmodelle durch(nicht-standard)Kommodelle and einer anschließenden Analyse des jeweiligen Kommodells.发展需要更多的分析,但更重要的是在未来的竞争模式中。
英文摘要
Randomisierte (zufallsgesteuerte) Algorithmen sind ein fester Bestandteil der Algorithmenfamilie und werden standardmäßig in vielen Software-Produkten eingesetzt. Oft bezeichnet man die Klasse praktisch lösbarer algorithmischer Aufgaben als die Klasse der Aufgaben, die man mit randomisierten Algorithmen effizient lösen kann. Die Bestimmung der tatsächlichen Berechnungsstärke randomisierter Berechnungen ist deshalb eine der zentralen Aufgabenstellungen der Komplexitätstheorie und der Algorithmentheorie. Randomisierte Systeme können wesentlich kompakter als ihre deterministischen Varianten sein, wodurch sie dann letztendlich zuverlässiger als komplexere deterministische Systeme sind. Dieser Aspekt der geringen Beschreibungskomplexität ist neben der Berechnungsstärke von ebenfalls zentraler Relevanz. Die Hauptrichtungen unserer Untersuchung sind: 1. Ein Vergleich der Berechnungsstärke und der Beschreibungskomplexität von deterministischen, probabilistischen und nichtdeterministischen Berechnungsmodellen. Dabei gehen wir von einfacheren Modellen (wie Einweg-Automaten, Zweiweg-Automaten oder Kellerautomaten) zu komplexeren Modellen (wie Branchingprogramme oder Kommunikationsmodelle) vor. 2. Die Anzahl der Zufallsbits und die Anzahl der nichtdeterministischen Entscheidungen sind wichtige Ressourcen randomisierter und nichtdeterministischer Berechnungen. Wir wollen diese Ressourcen als Komplexitätsmaße im Trade-Off mit der Berechnungskomplexität (oder der Beschreibungskomplexität) betrachten. 3. Eine zentrale Methode unserer Untersuchungen basiert auf der Anwendung der Kommunikationskomplexität. Unser Ansatz besteht in der Modellierung vorgegebener Maschinenmodelle durch (nicht-standard) Kommunikationsmodelle und einer anschließenden Analyse des jeweiligen Kommunikationsmodells. Die Entwicklung hinreichend mächtiger, aber noch analysierbarer Kommunikationsmodelle steht deshalb im Vordergrund.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Limits of dynamic programming
-
批准号:237501959
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2013
-
负责人:Professor Dr. Georg Schnitger
-
依托单位:
Grenzen von Algorithmenparadigmen
-
批准号:170530402
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Georg Schnitger
-
依托单位:
Die Graphstruktur boolescher Funktionen
-
批准号:44274447
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Professor Dr. Georg Schnitger
-
依托单位:
国内基金
海外基金
登录
查看更多内容
酰基蛋白硫酯酶LYPLA2去棕榈酰化RAC1和ST6GALNAC5促进三阴性乳腺癌脑转移的分子机制研究
-
批准号:JCZRLH202600097
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
IL-33/ST2-Tregs-AREG轴调控缺血性卒中后神经血管单元修复的机制
-
批准号:2026JJ80586
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:郭立军
-
依托单位:
IL6ST/JAK2/STAT3抑制铁死亡介导HER2阳性乳腺癌吡咯替尼耐药机制研究
-
批准号:2026JJ70054
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:曾力耘
-
依托单位:
"BMP2/4--ST6GalNAc1/2"信号轴对猪肠道粘液层唾液酸化的调控作用及机制研究
-
批准号:2026JJ60375
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:李浩
-
依托单位:
基于机器学习的多模态超声心动图数据联合临床特征预测中青年ST段抬高型心梗患者的预后研究
-
批准号:2026JJ82299
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:曾璀
-
依托单位:
人参五味子汤合玉屏风散调控miR-146a与IL-33/ST2信号通路干预CARAS模型小鼠ILC2s活化的研究
-
批准号:2026JJ81024
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:兰春
-
依托单位:
肺腺癌新标志物ST14对脑转移的调控作用与机制研究
-
批准号:2026JJ81294
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:梁任技
-
依托单位:
GPR17抑制IL-33/ST2调控髓鞘再生在血管性认知障碍中的作用和机制研究
-
批准号:JCZRQN202500691
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:
-
依托单位:
浙东南地区耐甲氧西林金黄色葡萄球菌ST59克隆株流行现状及传播机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:黄林瑶
-
依托单位:
仔猪腹泻大肠杆菌K88-987P-ST1-LTB四价融合抗原基因构建及免疫原性研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:佘玉罕
-
依托单位: