Randomizalt algoritmusok
Soft error: Annak a valsege, hogy a kovetkezo mikroszekundumban hibazik az algoritmus.
Ennek a tipikus erteke
A kovetkezo feladatot fogjuk nezni:
Legyen egy valtozos -ed foku polinom, van egy orakulum megadva amivel barmikor lekerdezhetjuk az erteket helyen.
Feladat: Dontsuk el, hogy
Scwartz-Zippel-lemma: Valasszunk ertekeket egyenletesen fuggetlenul.
Ha , akkor
Biz.: -re az algebra alaptétele adja az indukció kezdetét. -re tudjuk, ?
polinom, írjuk fel hatványai szerint , ahol a -k n-változósak. Legyen a legnagyobb index, amire , ha , akkor az indukciós feltevés szerint készen vagyunk.
a teljes valószínűség tételéből, becsüljük a két tagot. A másodikra alkalmazhatjuk az indukciós feltevést: . Nyilván , a szorzótényezőjéhez miatt egy 1-változós -edfokú polinom nullhelyét keressük, indukcióból így
összeadva .
Indukcio -re
Ha akkor az algebra alaptetele miatt, mert legfeljebb gyoke lehet egy legfeljebb -ed foku polinomnak.
Indukcios lepes
ugy, hogy akkor
Ha akkor
vagy de
i)
ii) Tetszolegesen lefixaljuk az szamokat ugy, hogy .
Az az eset amikor azt neztuk az i) esetben.
-be behelyettesitjuk ezeket
Minket az erdekel hogy mikor lesz .
az helyen, ahol
egyvaltozos -ad foku polinomja, ebbol kovetkezik, hogy
Algoritmus
Legyen
sorsolunk veletlen fuggetlen -ket es behelyettesitjuk -be es ha -at kapunk akkor a valasz az hogy kulonben
All.:
- Ha akkor biztosan nem tevedunk.
- Ha akkor legfeljebb valoszinuseggel rossz valaszt fogunk adni.
Ötlet: Futtassuk le -szer az algorimust es ha egyszer is -tol kulonbozo erteket kaptunk akkor a valasz kulonben
All.:
- Ha akkor bizotsan nem tevedunk.
- Ha akkor annak a valoszinusege, hogy hibazunk az legfeljebb .
Alkalmazas:
paros graf ahol es el szeretnenk donteni, hogy van-e teljes parositas.
Legyen aminek az elemei lehetnek akar valtozok is, ahol
All.: egy valtozos -ed foku polinom.
Tetel: Letezik -ben teljes parositas
Vegyuk eszre, hogy ha van egy nem kifejtesi tag, akkor tudjuk hogy a grafban letezik teljes parositas.
Forditva is igaz, hogy ha letezik egy teljes parositas akkor letezik egy nem kifejtesi tag.
(megj.: a matrixban egy permutacio megad egy teljes parositast)
All.:
- Ha nem letezik teljes parositas, akkor tehat biztosan jo valaszt adunk.
- Ha letezik teljes parositas, akkor legfeljebb valseggel adunk rosz valaszt.
Min Vagas
multigraf
Vagas:
Vagas erteke: azoknak az eleknek a szama amelyeknek az egyik vege -ban a masik -ben van.
Cel: minimalis vagas erteke.
Osszehuzas muvelet: es csucsokat osszehuzom ha van koztuk el, az osszehuzott csubol azok az elek mennek mint amik bol es bol mentek.
jeloles G/uv
Karger algoritmus
Karger(G, n):
IF n > THEN
uv in E veletlen
KARGER (G/uv, n-1)
RETURN (|E|)
Tetel: Tegyuk fel, hogy egy minimalis vagas ertekkel. Ekkor
Def.: Azt mondjuk, hogy tulel egy osszehuzast, ha vagy
A fentibel a valseg-ben
All.: , mert minden csucsa foka .
Ismeteljuk meg -szer az algorimust. Ekkor