[优先队列][堆] Luogu P4505 组合子逻辑

题目描述

组合子逻辑是 Moses Schönfinkel 和 Haskell Curry 发明的一种符号系统，用于消除数理逻辑中对于变量的需要。本题考察一种与真实世界的组合子演算略有差别的组合子系统。

一个组合子项是下列形式之一：

PP

(E_1\;E_2)(E1​E2​)

其中 PP 表示一个基本函数，E_1E1​以及E_2E2​表示一个组合子项(可以相同)。不满足以上形式表达式均非组合子项。

我们将一个组合子项 EE 的参数个数 np(E)np(E)如下：

np(P)np(P) = 基本函数 PP 的参数个数；

np((E_1\;E_2)) = np(E_1) - 1np((E1​E2​))=np(E1​)−1。

本题中，我们用一个正整数同时表示一个基本函数，以及该基本函数的参数个数。

对于一个组合子项 EE，如果它和它包含的所有组合子项的参数个数 npnp 均为正整数，那么我们称这个 EE 为范式。

我们经常组合子项简化表示：如果一个组合子项EE含有连续子序列(… ((E_1\;E_2)\;E_3) …E_n)(…((E1​E2​)E3​)…En​) (其中 n ≥ 3n≥3)，其中E_kEk​表示组合子项(可以是简化表示的)，那么将该部分替换为(E_1\;E_2\;E_3 … E_n)(E1​E2​E3​…En​)，其他部分不变，得到表达式 EE 的一个简化表示。一个组合子项可以被简化表示多次。

给定一个基本函数序列，问至少需要添加多少对括号，才能使得该表达式成为一个范式的简化表示(即满足范式的性质)；如果无论如何怎样添加括号，均不能得到范式的简化表示，输出-1−1。

 

题解

• 题面真的害死人
• k 表示当前的最大值还能再包含多少位，当前的最大值不一定要包含当前位，只要求出正确结果即可

 

代码

#include <queue> 
#include <cstdio> 
#include <cstring>
#include <iostream>
using namespace std;
int T,n,a[2000010];
priority_queue<int> Q;
int main()
{
    for (scanf("%d",&T);T;T--)
    {
        scanf("%d",&n);
        for (int i=1;i<=n;i++) scanf("%d",&a[i]);
        if (n==1) { puts(a[1]?"0":"-1"); continue; }
        int k=a[1]-1,ans=1; 
        while (!Q.empty()) Q.pop();
        for (int i=2;i<=n;i++)
        {
            if (k) k--;
            else 
            {
                if (Q.empty()||Q.top()<2) { ans=-1; break; }
                ans++,k=Q.top()-2,Q.pop();
            }
            Q.push(a[i]);
        }
        printf("%d\n",ans); 
    }
}