Dutch national flag partitioning problem