我用二分法做的，感觉不会出现“NO”的情况。
可是我的程序WA了。我的算法是这样的

int DC(int low,int high,int father){
	if(low==high)return 0;
	
	//为了满足堆序性，
	//找出[low..high)序列中含有最小a值的元素minp。

	//为了满足二叉排序树的性质，
	//把[low..high)序列按照minp的k值分成两个子集，
	//[low..temp)中的所有k值都小于minp的k值，
	//[temp..high)的所有k值都大于minp的k值。

	int left=DC(low,temp,minp);
	int right=DC(temp+1,high,minp);

	//确定当前minp结点的父亲，左右儿子

	return minp;
}

• 感觉不会有NO的情况，不满足堆的性质时可以旋转。不过假如有节点的priority相等的话，貌似又可能有NO的。说这个是cartesian tree感觉更像treap (434) frkstyc 2005-04-05 18:08:39
  • Re:存在priority相同不就更松了?不会有NO的 (0) ArXoR 2005-04-05 18:37:07
• 现在是TLE了。唉，没想法了。 (13) Jin_j_y 2005-04-05 22:28:14
  • Re:tle说明算法应该对了,然后就是暴力优化-_-b....(其实可以自底向上的) (17) ArXoR 2005-04-05 23:31:34
    • 暴力优化？？自底向上？？我已经先按k排序了，还是TLE的，看看我程序吧 (1300) Jin_j_y 2005-04-06 22:41:31
      • Re:应该是超在..."//找到含有最小a的元素",想办法优化吧 (1434) ArXoR 2005-04-06 22:49:31
        • Re:应该是超在..."//找到含有最小a的元素",想办法优化吧 (18) acedhu 2005-04-11 13:45:12
  • 感觉是堆栈溢出(有个题也TLE,我把递归改为栈就AC了),我也是这样做的,TLE (17) windbells 2005-05-06 22:16:55
  • BIT+递归无压力 (18) FuckYouFuckingMe 2012-02-28 08:13:25
• 根据标准构造法，是不会有NO的情况的。 (20) cloudygoose 2009-03-03 22:44:09