| استقرای چندپایه هم که قویتر میباشد بازهم محدودیت در ثابتبودن عدد {TEX()} {k} {TEX}دارد. | | استقرای چندپایه هم که قویتر میباشد بازهم محدودیت در ثابتبودن عدد {TEX()} {k} {TEX}دارد. |
- | به وضوح میتوان استقرایی را به کار بست که تفاوت آن با استقرای چندپایه در ثابت نبودن عدد k میباشد و میتوان حتی فقط روی یک گزارة{TEX()} { p(n) } {TEX} استقرا نزد بلکه اگر درستی{TEX()} { p(n)} {TEX} به درستی {TEX()} { Q(n)} {TEX} و درستی {TEX()} { Q(n) } {TEX} هم به نوبة خود به{TEX()} { p(m) } {TEX} وابسته باشد، در شرایطی میتوان بازهم از اصل استقرا به شکل دیگری استفاده کرد که به معرفی آنها میپردازیم.#@^ |
+ | به وضوح میتوان استقرایی را به کار بست که تفاوت آن با استقرای چندپایه در ثابت نبودن عدد k میباشد و میتوان حتی فقط روی یک گزارة{TEX()} { p(n) } {TEX} استقرا نزد بلکه اگر درستی{TEX()} { p(n)} {TEX} به درستی {TEX()} { Q(n)} {TEX} و درستی {TEX()} { Q(n) } {TEX} هم به نوبة خود به{TEX()} { p(m) } {TEX} وابسته باشد، در شرایطی میتوان بازهم از اصل استقرا به شکل دیگری استفاده کرد که به معرفی آنها میپردازیم. --- !پیوندهای خارجی [http://olympiad.roshd.ir/computer/content/pdf/0008.pdf] --- !همچنین ببینید *((استقرای قوی)) *((استقرای چندگانه)) #@^ |