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