پل زدن مفاهیم محاسباتی عمق: کار به سمت اثبات لم 3

چکیده و 1 مقدمه

2 پس زمینه

3 در مورد قانون رشد آهسته

4 عضو کلاس Deep Π0 1

5 عمق قوی ناچیز است

6 نوع از عمق قوی

مراجع

مراجع

[BDM23] لوران بینونو، والنتینو دل رز و ولفگانگ مرکل. عمق نسبی شده علوم کامپیوتر نظری، 949:113694، 2023.

[BDNM15] لوران بینونو، رادنی جی داونی، آندره نیس، و ولفگانگ مرکل. توابع Solovay و کاربردهای آنها در تصادفی الگوریتمی مجله علوم کامپیوتر و سیستم، 81 (8): 1575-1591، 2015.

[Ben95] چارلز اچ. بنت. عمق منطقی و پیچیدگی فیزیکی در ماشین تورینگ جهانی، بررسی نیم قرنی، صفحات 207-235. اسپرینگر، 1995.

[BHPS14] لورن بینونو، روپرت هولزل، کریستوفر پی پورتر و پل شفر. تصادفی و نیمه اندازه گیری. پیش چاپ، arXiv:1310.5133، 2014.

[BP12] لورن بینونو و کریستوفر پی پورتر. کاهش شدید در تصادفی موثر. علوم کامپیوتر نظری، 459:55-68، 2012.

[BP16] لورن بینونو و کریستوفر پی پورتر. کلاس های عمیق بولتن منطق نمادین، 22 (2): 249-286، 2016.

[DMN17] راد داونی، مایکل مک اینرنی و کنگ منگ نگ. پستی و عمق منطقی. علم کامپیوتر نظری، 702:23-33، 2017.

[HP17] روپرت هولزل و کریستوفر پی پورتر. تصادفی برای …

Source link