Matematické Fórum

Ufňa · 31. 05. 2011 00:18

Zdravím, potřeboval bych ověřit zda mám správný výsledky. Jde o cvičné přijímačky na ČVUT FEL:

Dle mého je správná odpověď c)

protože, když:

$\alpha = (\exists x)A(x) \wedge(\forall y)B(y)$
$\beta = \exists z$

pak:

$\neg(\alpha => \beta) = \alpha \wedge \neg \beta$

Tady netuším. Prosím o pomoc. Z čeho mám vyjít?

Pokud by se jednalo o neorientovaný graf tak se mohou vyskytnout dva typy hran:

1) STROMOVÉ - hrany po kterých jsme přišli do nenavštíveného vrcholu
2) ZPĚTNÉ - hrany vedoucí do již navštíveného vrcholu

Pokud by se jednalo o orientovaný graf tak se mohou vyskytnout hrany:

1) STROMOVÉ - hrany po kterých jsme přišli do nenavštíveného vrcholu
2) ZPĚTNÉ - hrany vedoucí do již navštíveného vrcholu
3) DOPŘEDNÉ - vedou z právě prohledávaného vrcholu do svého potomka v témže stromě
4) PŘÍČNÉ - vedou z právě prohledávaného vrcholu do vrcholu v jiném podstromě téhož grafu

Tady si nejsem jistý. Použil bych upravený BFS s jeno pomocí bych našel všechny silné komponenty. Jde to i jinak?

Pokud jsou moje odpovědí správné považovali by jste je z Vaší zkušenosti za dostačující? Ještě dodám že jde o přijímačky na obor Výpočetní technika.
Děkuji za pomoc.

teolog · 31. 05. 2011 19:05

↑ Ufňa:
Více příkladů v jednom tématu je dost odrazující. Zkuste dodržovat místní pravidla, třeba budete s dotazem úspěšnější. O duplicitách ani nemluvím.

Ufňa · 31. 05. 2011 21:50

↑ teolog:

Omlouvám se, ale myslel jsem že bude lepčí, když všechny příklady z jednych přijímaček budou podromadě na jednom místě právě pro studenky, kteří jsou ve stejné situaci jako já. Co se týče duplicitách tak potřebuji poradit s konkrétnímy příklady zkonzultovat konkrétní postup řešení.

Matematické Fórum

#1 31. 05. 2011 00:18

Kontrola výsledků cvičných přijímacích zkoušek.

#2 31. 05. 2011 19:05

Re: Kontrola výsledků cvičných přijímacích zkoušek.

#3 31. 05. 2011 21:50

Re: Kontrola výsledků cvičných přijímacích zkoušek.

Zápatí