Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Ahoj,
vedel by mi niekto dat nejaky zdroj kde je vysvetleny polynomialny algoritmus pre pre splnitelnost HORNSATu?
Na wiki nieco je, ale uplne tomu nerozumiem, konkretne ... if the formula contains a clause composed of a single literal l (a unit clause).... Predsa mozem mat hornovsku formulu, v ktorej kazda klauzula obsahuje 1 pozitivny literal a nenulovy pocet negativnych, ako mam potom aplikovat tento algoritmus?
Dopredu dik
Offline