Here is very interesting discussion on this topic: Proof that every circuit with diodes has exactly one solution
And this is my example:
Let's start. We have 3 generic diodes with cut-off voltage = 0.7 V. Voltage Vb=-0.7 V, Va = 0 V.
I assume D1 is off, others are on. Then the current across R1 is the same as across D2. Equation for the node B:
I(D2) + I(D3) = I(R3);
(5-0)/8k + I(D3) = (-0.7+5)/2k;
I(D3) = (-0.7+5)/2k - (5-0)/8k = 2.15 - 0.625 = 1.525 mA.
The current through D3 has positive value, also, the assumption is correct.
Now I assume that D2 is off, others are on.
(5-Va)/8k = (Va+10)/4k;
Va = -4.53 V.
I(D3) = (-0.7+5)/2k = 2.15 mA.
The current is positive. Assumption is correct. LTSpice confirms it.
My question is: if any given multiple diode circuit has several solutions, which one must be chosen as a correct one?
P.S. It was suggested in the answers that in case if several solutions were found, then the consistency of the whole circuit must be checked for each solution. It's obviously doable for the circuit with 2-3 diodes, but how should one proceed if the circuit contains dozens of diodes and meshes? Is there some industrial/academic method which allows to discard automatically all the inconsistent solutions?