Gibt es eine Logik für PTIME? (Forschungssemester)
PTIME 有逻辑吗?
基本信息
- 批准号:61560798
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2007
- 资助国家:德国
- 起止时间:2006-12-31 至 2007-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Die deskriptive Komplexitätstheorie stellt eine Beziehung zwischen der Berechnungskomplexität von algorithmischen Problemen und ihrer sprachlichen Komplexität her; stark vereinfacht sind algorithmische Probleme, die schwer zu beschreiben sind, auch schwer zu lösen und umgekehrt. Der Wert solcher sprachlicher oder logischer Charakterisierungen von Komplexitätsklassen besteht darin, dass sie einen Zugang zur Komplexität liefern, der unabhängig von Maschinenmodellen sowie der konkreten Repräsentation der Eingabedaten ist. Während für viele Komplexitätsklassen logische Charakterisierungen bekannt sind, kennen wir ausgerechnet für die wichtige Klasse PTIME, dem gängigen mathematischen Modell der Klasse der “effizient lösbaren” Probleme, keine solche Charakterisierung. Die Frage nach einer logischen Charakterisierung von PTIME wurde zuerst 1982 von Chandra und Harel im 1 Rahmen der Datenbanktheorie gestellt und gilt seitdem als eine zentrale offene Frage der Datenbanktheorie und der deskriptiven Komplexitätstheorie. In diesem Projekt sollen verschiedene Aspekte der Frage untersucht werden. Insbesondere soll eine logische Charakterisierung für eine große Klasse von “kombinatorisch einfachen” Problemen in PTIME gegeben werden.
Die deskriptive Complexitätstheorie stelt eine Beziehung zwischen der Berechnungskomplexität von algorithmischen Problemen und irrer sprachlichen Complexität her; stark vereinfacht sind algorithmische Probleme,die schwer zu beschreiben sind,auch schwer zu lösen und umgekehrt. Der Wert solcher sprachlicher or logischer Charakterisierungen von Komplexitätsklassen besteht darin,dass sie einen Zugang zur Komplexität liefern,der unabhängig von Maschinenmodellen sowie der konkreten Repräsentation der Eingabedaten ist.我们可以通过对PTIME中最复杂的类的数学建模,来研究“有效的”问题的类的复杂性,但不能解决其复杂性。1982年Chandra和Harel在数据银行理论的第一章中提出了PTIME的一个逻辑特征,并将其作为数据银行理论和桌面复杂性理论的核心。在这个项目中,法国的前景是韦尔登。Insbesondere soll eine logische Charakterisierung für eine greße Klasse von“kombinatorisch einfachen”Problemen in PTIME gegeben韦尔登.
项目成果
期刊论文数量(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 }}
Professor Dr. Martin Grohe其他文献
Professor Dr. Martin Grohe的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Martin Grohe', 18)}}的其他基金
Logik, Struktur und das Graphenisomorphieproblem
逻辑、结构与图同构问题
- 批准号:
217526258 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Reinhart Koselleck Projects
Schaltkreiskomplexität, Parametrische Komplexität und logische Definierbarkeit
电路复杂性、参数复杂性和逻辑可定义性
- 批准号:
186219630 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
Deskriptive Komplexitätstheorie kleiner Komplexitätsklassen
小复杂度类的描述复杂度理论
- 批准号:
125951430 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen
图和结构的树状分解及其应用
- 批准号:
24838406 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Research Grants
Die Komplexität von Constraint-Satisfaction Problemen
约束满足问题的复杂性
- 批准号:
5432723 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Research Grants
Graph-Based Generative Machine Learning for Optimal Molecular Design
用于优化分子设计的基于图的生成机器学习
- 批准号:
466417970 - 财政年份:
- 资助金额:
-- - 项目类别:
Priority Programmes
Quantitative reasoning about database queries
数据库查询的定量推理
- 批准号:
412400621 - 财政年份:
- 资助金额:
-- - 项目类别:
DIP Programme
相似国自然基金
ES-Cu和IKE发挥协同抗MDS的效应和机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
伴侣蛋白GroEL/ES调控大肠杆菌间IncX3-NDM质粒水平转移的机制研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于ET/EC/ES的水资源优化配置研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
细菌Novosphingobium sp. ES2-1分解代谢农田土壤中天然雌激素的机制、调控及效能强化
- 批准号:42377018
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
中低纬度Es层高度变化特征及其机制研究
- 批准号:42304170
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
电离层偶发E层(Es)的三维形态演化与可预报性
- 批准号:
- 批准年份:2022
- 资助金额:271 万元
- 项目类别:重点项目
MMP11-ES与三阴性乳腺癌新辅助化疗疗效的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:0.0 万元
- 项目类别:省市级项目
SpCas9-NG-ES移码突变MBD2在糖尿病ED发病和治疗中的作用及其机制研究
- 批准号:
- 批准年份:2022
- 资助金额:52 万元
- 项目类别:面上项目
细菌Novosphingobium sp. ES2-1对天然雌激素的分解代谢机制及其调控
- 批准号:n/a
- 批准年份:2022
- 资助金额:0.0 万元
- 项目类别:省市级项目
基因修饰β-catenin/Notch信号靶向调控ES-DC的免疫反应对脓毒症急性肺损伤的保护作用及机制
- 批准号:82241050
- 批准年份:2022
- 资助金额:62.00 万元
- 项目类别:专项项目
相似海外基金
ヒトES軟骨細胞と細胞シートによる気道再建用ハイブリッド再生軟骨の開発研究
使用人ES软骨细胞和细胞片进行气道重建的混合再生软骨的研究和开发
- 批准号:
24K11759 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
99番元素Es標的を用いた重アクチノイド核の特異な核分裂機構の解明
使用 99 Es 靶材阐明重锕系元素核的独特裂变机制
- 批准号:
23K20853 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (B)
CMA-ESによる非線形トポロジー最適化の開発と超弾性メカニカルクロークへの応用
使用 CMA-ES 开发非线性拓扑优化及其在超弹性机械斗篷中的应用
- 批准号:
23K20249 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (B)
Method development to realize PES policy satisfying ES beneficiaries' needs
实现满足 ES 受益人需求的 PES 政策的方法开发
- 批准号:
22KK0206 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Fund for the Promotion of Joint International Research (Fostering Joint International Research (A))
Travel Support for Student Participation at the 2023 ASME Energy Sustainability (ASME-ES) Conference; Washington, DC; 10-12 July 2023
为学生参加 2023 年 ASME 能源可持续发展 (ASME-ES) 会议提供差旅支持;
- 批准号:
2310457 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Standard Grant
Labour futures: A comparative study of precarious labour and cooperative enterprise in Kampala and Dar es Salaam
劳动力未来:坎帕拉和达累斯萨拉姆不稳定劳动力与合作企业的比较研究
- 批准号:
ES/W011468/1 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Research Grant
エピゲノム解析による蝸牛支持細胞の遺伝子発現制御機構の全体像の解明
通过表观基因组分析阐明耳蜗支持细胞基因表达调控机制全貌
- 批准号:
23K08997 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
Horizontal structures and horizontal transport processes of the Es layers elucidated with a sounding rocket experiment and ionosonde receiver network
通过探空火箭实验和电离探空仪接收器网络阐明 Es 层的水平结构和水平传输过程
- 批准号:
23K03477 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
ES細胞による歯周組織再生と顎顔面領域発生のメカニズムの解明
阐明ES细胞牙周组织再生和颌面部发育的机制
- 批准号:
22KJ1198 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for JSPS Fellows
多能性幹細胞から前庭有毛細胞の特異的分化誘導と培養前庭による細胞移植再生の試み
尝试诱导多能干细胞特异性分化前庭毛细胞,并利用培养的前庭进行再生细胞移植
- 批准号:
23K15892 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Early-Career Scientists