چه چیزی باعث می شود هوش مصنوعی کار کند؟ خلاصه ای از شواهد کلیدی

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

1.1 نمادها و مقدمات

1.2 کارهای قبلی

2 تکرار ارزش ثابت

2.1 نرخ تسریع شده برای اپراتور سازگاری بلمن

2.2 نرخ تسریع شده برای اپرای بهینه سازی بلمن

3 همگرایی زمانی که y=1 باشد

4 پیچیدگی کران پایین

5 تقریبی تکرار ارزش لنگر

6 تکرار ارزش لنگر گاوس-سیدل

7 نتیجه گیری، قدردانی و افشای منابع مالی و مراجع

مقدماتی

B شواهد حذف شده در بخش 2

ج ادله حذف شده در بخش 3

D شواهد حذف شده در بخش 4

E شواهد حذف شده در بخش 5

F شواهد حذف شده در بخش 6

G تاثیرات گسترده تر

H محدودیت ها

E شواهد حذف شده در بخش 5

ابتدا، لم کلیدی زیر را ثابت می کنیم.

و اجازه دهید U تمام سمت راست نابرابری باشد. سپس، ما داریم

اکنون، نابرابری دوم را در لم 17 با استقرا اثبات می کنیم.

اگر k=1،

و اجازه دهید U تمام سمت راست نابرابری باشد. سپس، ما داریم

اکنون، نرخ اول را در قضیه 6 اثبات می کنیم.

اکنون، برای نرخ دوم در قضیه 6، لم کلیدی زیر را ارائه می کنیم.

بگذار تمام سمت راست شما باشی…