پاسخ : پر کردن جدول با اعداد حقیقی
سخت ترین تیکه تو این قسمت اینه که نمی دونم چه جوری بنویسم!
(خودمم می فهمم خیلی بد می نویسم) اگه کسی تونست بهتر بنویسه ممنون میشم
فعلن همه این ها رو فرض کنید
رو بگیرید مجموعه همه اعضای
که طول آنها بین i تا i+j هست
و
رو بگیرید همون
با این تفاوت که اون سیگمایی که تو پست قبل نوشتم رو روی همه T هایی در نظر بگیرید که
حالا در نظر بگیرید
و
حالا برای هر
که قبلن تعریف کردم$X^*$ رو بگیرید همون با این تفاوت که گشت هامون محدودیتی برای گذشتن از عضو های S نداردند و
رو بگیرید مجموع تمام
ها در کل گراف
و در نظر بگیرید $X^+=X^*-X$ و
رو بگیرید مجموع تمام
ها در S
حالا ثابت می کنم
برابر
است و
مثبت است که نتیجه میدهد
که نتیجه میدهد اگر
مسیری از v تا یکی از راس های S باشد همواره
که نتیجه می دهد
متناهی است
در ضمن به سادگی می توان نشان داد که این عدد گذاری در صورتی که در هر مولفه همبندی حداقل یک عضو از S آمده باشد یکتاست و همچنین تمامی این اثبات ها قابل تعمیم به حالتی هستند که G گرافی چند گانه است!