クリーン、544 506バイト
SE / TIOで無効なUTF-8を回避するためにエスケープが使用されますが、有効なリテラルであるため1バイトとしてカウントされます
import StdEnv,Data.List;::T=I Int|L[T];$l#m= @l#k=map maxList(transpose m)=flatlines[[last[' ':[(\_|v<0|w<[j]|q>hd w|q<last w|any((==)q)w|q==j='\305'='\302'|q==j='\301'='\304'='\277'='\332'='\263'=toChar v+'0')0\\[v,r,j:w]<-m|r/2==p&&q>=hd w&&q<=last w]]\\q<-[0..k!!3]]\\p<-[0..k!!1]];@(L l)#p=twice(\p=[[v,r+1:[e+sum([2\\[v:_]<-i|0<=v]++zipWith(\c j=j!!2-c!!3)t(takeWhile(\[z:_]=v+z< -1)(tl t)))-x!!1\\e<-x]]\\i<-inits p&t<-tails p&[v,r:x]<-p])(concatMap@l)#g=[g\\[_,2,g:_]<-p]=[[-1,0,(hd g+last g)/2:g]:p];@(I i)=[[i,0,0,0]];
オンラインでお試しください!
次の形式で入力を取ります L[I 3, L[I 4, I 5], I 2]..
木を下から上、左から右に接続し、右から左への距離を調整します。
プリティファイド、並べ替え:
import StdEnv, Data.List;
:: T = I Int | L [T];
$ l
#m = @l
#k = map maxList (transpose m)
= flatlines [
[
last[
' ':
[
if(v < 0)
if(w < [j])
if(q > hd w)
if(q < last w)
if(any ((==) q) w)
(
if(q == j)
'\305'
'\302'
)(
if(q == j)
'\301'
'\304'
)
'\277'
'\332'
'\263'
(toChar v + '0')
\\ [v, r, j: w] <- m
| r/2 == p && q >= hd w && q <= last w
]
]
\\ q <- [0..k!!3]
]
\\p<-[0..k!!1]
];
@ (L l)
#p = twice
( \p
= [
[
v, r + 1:
map
(
(+)
(
sum [2 \\ [v: _] <- i| 0 <= v]
+ sum (
zipWith
(
\[_, _, _, c: _] [_, _, j: _] = j - c
)
t
(
takeWhile (\[v: _] = v < 0) (tl t)
)
) * (1 - sign (v + 1))
- x!!1
)
)
x
]
\\ i <- inits p
& t <- tails p
& [v, r: x] <- p
]
)
(concatMap @ l)
#g = [g \\ [_, 2, g: _] <- p]
=[[-1, 0, (hd g + last g)/2: g]: p];
@ (I i) = [[i, 0, 0, 0]];
[1,[[[2,3],4],5]]
ルートを人為的に拡張して、右のサブツリーが左のサブツリーと衝突しないようにする必要があるため、興味深いテストケースになる可能性があります。