function canSplitInto4DistinctSubstrings($s) {
$n = strlen($s);
if ($n < 4) {
return false;
}
for ($i = 1; $i < $n; $i++) {
for ($j = $i + 1; $j < $n; $j++) {
for ($k = $j + 1; $k < $n; $k++) {
$s1 = substr($s, 0, $i);
$s2 = substr($s, $i, $j - $i);
$s3 = substr($s, $j, $k - $j);
$s4 = substr($s, $k);
if (strlen($s1) > 0 && strlen($s2) > 0 && strlen($s3) > 0 && strlen($s4) > 0) {
if ($s1 !== $s2 && $s1 !== $s3 && $s1 !== $s4 &&
$s2 !== $s3 && $s2 !== $s4 && $s3 !== $s4) {
echo $s1 . " " . $s2 . " " . $s3 . " " . $s4;
return true;
}
}
}
}
}
return false;
}
$str = "AlbusDumbledore";
if (canSplitInto4DistinctSubstrings($str)) {
echo "Yes";
} else {
echo "No";
}
/*
run:
A l b usDumbledoreYes
*/