Iloczynem kartezjańskim grafów G1=⟨V1,E1⟩ i G2=⟨V2,E2⟩ nazywamy graf G1⊗G2=⟨V1×V2,E⟩, gdzie
{⟨v1,v2⟩,⟨w1,w2⟩}∈E⇔({v1,w1}∈E1∧{v2,w2}∈E2) .
Udowodnij, że graf G1⊗G2 jest spójny wtedy i tylko wtedy, gdy obydwa grafy G1 i G2 są spójne i przynajmniej jeden z nich zawiera cykl nieparzystej długości.
Oblicz 789mod.
Udowodnij uogólnione Chińskie Twierdzenie o Resztach: Niech m_1,m_2>0 niekoniecznie względnie pierwsze, m = \mbox{NWW}(m_1,m_2). Wtedy dla dowolnych u_1,u_2\geq 0 istnieje dokładnie jedno u takie, że 0\leq u < m oraz u \equiv u_i (\mbox{mod } m_i) dla i=1,2, o ile u_1\equiv u_2 (\mbox{mod NWD}(m_1, m_2)), a jeśli ten ostatni warunek nie jest spełniony, to takie u nie istnieje.