Processer

Okej men räcker med att jag går igenom de 14 bara som ska finnas? Så jag går igenom och skriver upp varje möjlighet som gör att den printar "21", alltså att köra en rad före en annan är en möjlighet och sen köra den andra före istället är en annan osv. Och det jag ska tänka på är att
1.2 måste köras före 2.2
2.2 måste köras före både 1.4 och 2.4
2.5 måste köras före 1.5

Sen ska jag få att det är 14 möjligheter och sen dividerar man det bara med 70?

Nja, du måste ju även visa att de är de enda möjligheterna. Annars har du bara visat att sannolikheten är minst 14/70. De där tre villkoren jag radade upp är dessutom något jag såg vid en rätt snabb överblick. Det är mycket möjligt att jag har missat något.

Alright men hur visar jag att det är det enda då? Räcker det inte att motivera att de måste ske i en viss ordning?

Alltså, jag tycker jag har gett rätt mycket hjälp nu och en hel del ledtrådar om hur man kan göra det på ett smart sätt. I absolut värsta fall får du klura ut vad utskriften blir för samtliga 70.

EDIT:

Lite generellt kan sägas att det inte räcker att säga att vissa villkor måste vara uppfyllda. Du måste visa att villkoren är nödvändiga OCH tillräckliga. Det är exempelvis nödvändigt att 1.2 körs före 2.2, men det är inte tillräckligt eftersom det finns körningar som uppfyller detta men inte skriver ut 21. Ett tillräckligt men ej nödvändigt villkor är att köra först 1.2, sedan hela P2 och till sist resten av P1. Detta skriver ut 21, men det finns fler körningar som gör det. Därför är det tillräckligt men ej nödvändigt. Du ska hitta en kombination av villkor som tillsammans är tillräckliga och nödvändiga och motivera varför.

Googla lite, det handlar om kombinatorik, tror om du googlar exakt på "how many interleaving two processes" så kommer du få massa bra svar, du ska inte behöva gå igenom alla 70 fall för att kunna lösa det.

Aa har googlat men är bara a) uppgiften som man kan hitta på google och det har jag gjort och kom fram till 70 interleavings på a). Men det står inget om olika möjligheter för specifik output i samband med det.