Two philosophers A and B, two forks numbered "1", "2"; A needs both "1" and "2" for eating, so does B.
Is this theoretical a dining philosopher problem? I'm questioning about the forks philosopher A needs all come from B. However, the DP problem usually gives an example of 5 philosophers, in which case, for example, philosophers A requests 2 forks from two different neighbors.