Beweiskomplexität im Kontext beschränkter Arithmetik

有界算术背景下证明复杂性

• 批准号: 29735564
• 负责人: Dr. Klaus Aehlig
• 金额: --
• 依托单位: Department of Computer Science
• 依托单位国家: 德国
• 项目类别: Research Fellowships
• 财政年份: 2006
• 资助国家: 德国
• 起止时间: 2005-12-31 至 2006-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/29735564?language=en
• 关键词: Beweiskomplexit; im; Kontext; beschr; nkter

Beweiskomplexität studiert die Längen aussagenlogischer Beweise mit dem Fernziel, den Unterschied zwischen den Komplexitätsklassen NP und co-NP zu verstehen. Untere Schranken an die Länge von Beweisen sind hierbei von besonderem Interesse. Systeme beschränkter Arithmetik charakterisieren wichtige Komplexitätsklassen über ihre beweisbar totalen Funktionen. Das Ziel des Studiums dieser Systeme ist, die zu Grunde liegenden Komplexitätsklassen besser zu verstehen und zu erkennen welche Definitionsprinzipien die Mächtigkeit einer Komplexitätsklasse ausmachen. Resultate über den Zusammenhang solcher Systeme für verschiedene Komplexitätsklassen sind für sich genommen interessant. Zwischen Systemen beschränkter Arithmetik und aussagenlogischen Beweissystemen besteht ein enger Zusammenhang mittels propositionaler Übersetzungen. Dies ermöglicht Rückschlüsse von Beweislängen auf Trennungsresultate beschränkter Arithmetik, und umgekehrt. Im beantragen Forschungsvorhaben sollen zweitstufige Systeme beschränkter Arithmetik untersucht werden vermöge Abschätzungen über Länge und Gestalt der dazugehörigen Beweis Systeme. Ziele sind Trennungsresultate und die Entwicklung einer geeigneten Skala zur Messung der Stärke der betrachteten Systeme.

贝维斯康普尔斯卡森的研究不是L？？恩根，而是一位名叫贝威斯的麻省理工学院的后勤人员，他说：“我不知道这是怎么回事。”在施兰肯和他的死亡L？？冯？贝维森和他所在的国家和地区。这是一个很重要的问题，因为这是一个很重要的问题。Das Ziel des Studium Dieser System ist，die zu Grunde liegenden Komplexitätsklassen besser zu verstehen and zu erkennen well che definitionspinzipien die Mächtigkeit einer Komplexitätsklasse osmachen.结果Zusammenang Solcher System e für verschiedene Komplexitätsklassen sind für sich genomomant.这是一项非常重要的工作，也是一项重要的工作。他说：“这是一件非常重要的事情。”我是索伦zweitstufige be beantragen Forschungsvorhaben Sollen zweitstufige Beschränkter Arithmetik Untersusuht Vermöge Abschätzungenüber Länge and Gestalt der dazugehörigen Beweis系统。这是一个新的结果，也是一个新的系统。