-
-
Notifications
You must be signed in to change notification settings - Fork 117
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[問題案] Permutation Tree #744
Comments
参考 (permutation tree という語の使用を否定するものではありません)
[1] は common interval (2 つの順列があって、それぞれの区間であって出現する数集合が一致するもの) に関する研究です。片方の順列を id としても一般性を失わず、その場合 permutation tree と同じ問題設定になります。 |
追記
|
[2] では、join は linear、cut は prime と呼ばれています。 |
そもそもpermutation treeの厳密な定義がわからなかったので学習しています 現状以下のような理解なのですが、間違っていたら指摘していただけるとありがたいです。 順列の要素の部分集合について、(非空 & 連続 & max - min = R - L)なものの性質について考えている。permutation treeとはこれらからなる集合族(部分集合の集合)を表す木表現。 permutation treeの各ノードは3つの要素を持つ
ここで、Wに注目するといい感じの木表現になっている。つまり、
そして、QはWに含まれるFの要素全体になっている上に、次の条件を満たす
疑問点:
|
私の理解を書いておきます。 P を順列とする。connected interval とは、区間 [l, r] であって {P_i | l ≤ i ≤ r} もまた区間となるものである。connected interval のうち、他の connected interval と overlap (非交でも包含でもないこと) しないものを strong であると呼ぶことにする。strong な connected interval 全体は当然互いに overlap しない。よって、strong な区間たちの包含による半順序についてのハッセ図を考えると、[0, N-1] を根、[i, i] を葉とする根付き木になる。これが common interval decomposition tree である。 common interval decomposition tree のノードは linear と prime に分類される。
重要な事実: strong でない connected interval は、linear node から導かれるもので全てである。従って、common interval decomposition tree は connected interval 全体の成す構造を完全に表現している。
「Qは子の非空な部分列が誘導するもの + 子のQの和集合」が正しいと思います。
そうだと思っています。
これらを除くと一意だと思います。 |
問題ID: permutation_tree
問題名: Permutation Tree
想定アルゴリズム: Permutation Tree
参考資料: https://codeforces.com/blog/entry/78898
問題概要
Permutation Treeのnodeを出力する
(Permutation Treeの説明を英語できちんとかける気がしない...)
入力
(長さNの順列)
出力
Permutation Treeのnodeを出力する
DFS順preorderで出力(?)
出力形式要検討
制約
1<=N<=5*10^5(
10^5)The text was updated successfully, but these errors were encountered: