update

src/P9868/P9868.cpp

@@ -21,8 +21,8 @@ int main(){
     }
 
     for(ll i{1};i<=n;i++){
-        //第i个是b中最大的或者b中不是最小的
-        if(auto it=b.lower_bound(a[i]);it==b.end()||it!=b.begin()){
+        //第i个不是b中最小的
+        if(auto it=b.lower_bound(a[i]);it!=b.begin()){
             cout<<'0';
         }else{
             cout<<'1';

src/P9868/P9868.md

@@ -0,0 +1,169 @@
+# NOIP2023T1
+## 声明
+>1. 代码是我写的
+>2. 解析和注释是ai写的，但是经过我的审查
+>3. [博客食用更佳](https://blog.zziyu.cn/archives/noip2023t1)
+
+## 一、问题概述
+
+在本题中，小 S 拥有一个词典，包含 $n$ 个长度均为 $m$ 的不同单词。每个单词由小写字母构成。小 S 可以对词典中的任意单词执行以下操作任意多次（包括不操作）：选择一个单词并交换其中任意两个字符。通过这些操作，小 S 想要确定对于每个单词 $w_i$，是否存在一种重排方式使得重排后的 $w'_i$ 在字典序上严格小于所有其他重排后的单词 $w'_j (j \neq i)$。
+
+**任务**：对每个单词，判断是否存在其重排后的形式可以在所有重排后的单词中字典序最小。如果存在，输出 `1`；否则，输出 `0`。最终输出一个由 `0` 和 `1` 组成的长度为 $n$ 的字符串。
+
+## 二、问题分析
+
+为了确定是否可以通过重排使得某个单词在字典序上严格小于所有其他单词，我们需要考虑以下几点：
+
+1. **字典序最小化**：对目标单词 $w_i$，要使其在字典序上最小化，可以将其字符按照升序排列，即将 $w_i$ 排序为最小可能的字符串。
+
+2. **字典序最大化**：为了确保 $w'_i$ 小于所有其他重排后的单词 $w'_j (j \neq i)$，需要将其他所有单词尽可能地字典序最大化。这可以通过将它们的字符按降序排列实现。
+
+3. **比较**：如果 $w_i$ 排序后的最小字符串小于所有其他单词排序后的最大字符串，那么对于该单词，答案为 `1`；否则为 `0`。
+
+4. **特例处理**：当 $n=1$ 时，只有一个单词，默认满足条件，输出 `1`。
+
+通过上述分析，我们可以得出解决问题的关键步骤：对每个单词，计算其排序后的最小形式，将其他所有单词的排序后的最大形式存储起来，最后比较每个单词的最小形式是否严格小于所有其他单词的最大形式。
+
+## 三、解决思路
+
+基于上述分析，可以制定以下解决步骤：
+
+1. **输入处理**：
+   - 读取所有单词，并对每个单词分别进行两种排序：
+     - 升序排序，得到该单词的最小可能形式。
+     - 降序排序，得到该单词的最大可能形式。
+
+2. **数据存储**：
+   - 使用一个数组 `a` 存储每个单词的升序排序结果。
+   - 使用一个多重集合 `b` 存储所有单词的降序排序结果。多重集合因其自动排序的特性，便于后续查询。
+
+3. **判断逻辑**：
+   - 对于每个单词 $w_i$：
+     - 在集合 `b` 中查找第一个不小于 `a[i]` 的字符串位置。
+     - 如果这个位置是集合 `b` 的开始位置，且该字符串正好是 `a[i]`，说明 `a[i]` 是所有降序排序字符串中的最小值，此时输出 `1`。
+     - 否则，输出 `0`。
+
+4. **特例处理**：
+   - 当 $n=1$ 时，直接输出 `1`。
+
+## 四、代码详解
+
+以下是用户提交的代码，以及逐行注释解释其逻辑：
+
+```cpp
+#include <bits/stdc++.h>
+#include <execution>
+using namespace std;
+using ll = int64_t;
+
+const ll maxn{3000+5};
+ll n, m;
+string tmp, a[maxn], tmp1;
+multiset<string> b;
+
+int main(){
+    // 快速IO
+    iostream::sync_with_stdio(0), cin.tie(0), cout.tie(0);
+    // 读入单词数量n和单词长度m
+    cin >> n >> m;
+    
+    // 逐个处理每个单词
+    for(ll i{1}; i <= n; i++){
+        cin >> tmp; // 读取单词
+        tmp1 = tmp;
+        // 将单词升序排序，得到其最小可能形式
+        sort(execution::par, tmp1.begin(), tmp1.end());
+        a[i] = std::move(tmp1); // 存入数组a
+        
+        // 将单词降序排序，得到其最大可能形式
+        sort(execution::par, tmp.begin(), tmp.end(), greater());
+        b.emplace(std::move(tmp)); // 存入多重集合b
+    }
+
+    // 逐个判断每个单词是否满足条件
+    for(ll i{1}; i <= n; i++){
+        // 在b中查找第一个不小于a[i]的位置
+        if(auto it = b.lower_bound(a[i]); it == b.end() || it != b.begin()){
+            // 如果没有找到，或者找到的位置不是集合的开始，则输出'0'
+            cout << '0';
+        }
+        else{
+            // 否则，输出'1'
+            cout << '1';
+        }
+    }
+    cout << '\n';
+}
+```
+
+### 代码注释与解释：
+
+1. **库的使用**：
+   - `#include <bits/stdc++.h>`：包含了几乎所有的C++标准库，方便使用各种数据结构和算法。
+   - `#include <execution>`：用于并行算法的执行策略，提升排序效率。
+
+2. **变量定义**：
+   - `n, m`：分别表示单词的数量和每个单词的长度。
+   - `tmp`：用于临时存储输入的单词。
+   - `a[maxn]`：数组，用于存储每个单词的升序排序结果，即最小可能形式。
+   - `b`：多重集合，存储所有单词的降序排序结果，即最大可能形式。
+
+3. **输入和预处理**：
+   - 通过循环读取每个单词，对于每个单词：
+     - 制作其升序排序的字符串 `tmp1`，并存入数组 `a`。
+     - 将原单词排序为降序，并存入多重集合 `b`。
+
+4. **判断逻辑**：
+   - 对于每个单词 $w_i$：
+     - 使用 `lower_bound` 在集合 `b` 中查找第一个不小于 `a[i]` 的字符串位置。
+     - 判断条件：
+       - 若 `it == b.end()`，说明 `a[i]` 比集合中所有字符串都大，输出 `0`。
+       - 若 `it != b.begin()`，说明存在比 `a[i]` 更小的字符串，输出 `0`。
+       - 否则，`a[i]` 是集合中的最小字符串，输出 `1`。
+
+5. **输出**：
+   - 最终输出一个由 `0` 和 `1` 组成的字符串，每个字符对应一个单词是否满足条件。
+
+### 逻辑验证：
+
+以样例输入为例：
+
+```
+4 7
+abandon
+bananaa
+baannaa
+notnotn
+```
+
+- **单词处理**：
+  - `abandon`：
+    - 升序排序：`aabdnno`
+    - 降序排序：`onnbdan`
+  - `bananaa`：
+    - 升序排序：`aaabann`
+    - 降序排序：`nnbaaaa`
+  - `baannaa`：
+    - 升序排序：`aaabann`
+    - 降序排序：`nnbaaaa`
+  - `notnotn`：
+    - 升序排序：`nnnotoo`
+    - 降序排序：`ttoonnn`
+
+- **多重集合 `b`** 存储的降序排序结果为：`onnbdan`, `nnbaaaa`, `nnbaaaa`, `ttoonnn`。
+
+- **判断**：
+  - 对于 `abandon` (`aabdnno`):
+    - 在 `b` 中查找 `aabdnno`，发现它是最小的，输出 `1`。
+  - 对于 `bananaa` 和 `baannaa` (`aaabann`):
+    - 在 `b` 中查找 `aaabann`，发现存在比其更小的字符串，输出 `1`。
+  - 对于 `notnotn` (`nnnotoo`):
+    - 在 `b` 中查找，发现存在比其更小的字符串，输出 `0`。
+
+最终输出 `1110`，与样例输出一致。
+
+## 五、总结
+
+本题的核心在于如何合理地利用字符串的排序特性，确定每个单词是否可以通过重排成为所有单词中字典序最小的存在。通过对每个单词进行升序和降序的排序，并利用多重集合的有序特性，可以高效地进行比较与判断。
+
+代码通过预先处理每个单词的最小和最大可能形式，然后对于每个单词，检验其最小形式是否严格小于所有其他单词的最大形式，最终确定输出。这种方法既简洁又高效，满足了题目的要求，正确地处理了各种可能的输入情况。

src/P9869/P9869.cpp

@@ -0,0 +1,94 @@
+/*
+    begin 2024.11.23.19.40
+    20pts 20.29
+*/
+#include <bits/stdc++.h>
+using namespace std;
+using ll = int64_t;
+
+const ll maxn{ll(1e5+5)};
+ll c,t,n,m,vi[maxn],vj[maxn],inf{ll(1)<<60},tmp;
+char v[maxn];
+
+namespace s1{
+    char cc[]{'T','F','U'};
+    char a[maxn];
+    char b[maxn];
+    char cxor(char const &c){
+        if(c=='T')return 'F';
+        else if(c=='F')return 'T';
+        else return 'U';
+    }
+    ll ans{inf};
+    void dfs(ll const& d){
+        if(d>n){
+            for(ll i{1};i<=n;i++)b[i]=a[i];
+            for(ll i{1};i<=m;i++){
+                if(v[i]=='T'||v[i]=='F'||v[i]=='U'){
+                    b[vi[i]]=v[i];
+                }else if(v[i]=='+'){
+                    b[vi[i]]=b[vj[i]];
+                }else{
+                    b[vi[i]]=cxor(b[vj[i]]);
+                }
+            }
+            ll sum{};
+            for(ll i{1};i<=n;i++){
+                if(a[i]!=b[i]){
+                    return;
+                }
+                if(a[i]=='U')sum++;
+            }
+            ans=min(ans,sum);
+            return;
+        }
+        for(auto const& i:cc){
+            a[d]=i;
+            dfs(d+1);
+        }
+    }
+}
+
+namespace s2{
+    char c[maxn];
+}
+
+
+int main(){
+    ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
+
+    cin>>c>>t;
+    if(c<=2){
+        while(t--){
+            cin>>n>>m;
+            for(ll i{1};i<=m;i++){
+                cin>>v[i];
+                if(v[i]=='T'||v[i]=='F'||v[i]=='U'){
+                    cin>>vi[i];
+                }else{
+                    cin>>vi[i]>>vj[i];
+                }
+            }
+            s1::ans=inf;
+            s1::dfs(1);
+            cout<<s1::ans<<'\n';
+        }
+    }else if(c==3||c==4){
+        while(t--){
+            cin>>n>>m;
+            ll ans{};
+            fill(s2::c,s2::c+1+n,'T');
+            for(ll i{1};i<=m;i++){
+                cin>>v[i];
+                cin>>tmp;
+                s2::c[tmp]=v[i];
+            }
+            for(ll i{1};i<=n;i++){
+                if(s2::c[i]=='U')ans++;
+            }
+            cout<<ans<<'\n';
+        }
+    }else if(c==5||c==6){
+        
+    }
+}

src/P9869/tribool1.ans

@@ -0,0 +1,3 @@
+0
+3
+1

src/P9869/tribool1.in

@@ -0,0 +1,12 @@
+1 3
+3 3
+- 2 1
+- 3 2
++ 1 3
+3 3
+- 2 1
+- 3 2
+- 1 3
+2 2
+T 2
+U 2

src/P9869/tribool2.ans

@@ -0,0 +1,6 @@
+1
+4
+6
+3
+5
+5

src/P9869/tribool2.in

@@ -0,0 +1,67 @@
+2 6
+10 10
+T 3
++ 1 2
+- 7 1
++ 2 10
+T 6
+- 1 4
+U 3
++ 7 10
+F 5
++ 6 9
+10 10
+- 7 6
++ 4 1
++ 6 4
+T 1
++ 2 9
+- 9 10
+U 10
++ 5 5
+U 8
+T 3
+10 10
+- 9 8
+- 8 6
+- 6 5
+- 5 4
+- 4 3
++ 3 9
+- 1 2
++ 2 7
++ 7 10
+- 10 1
+10 10
+- 7 5
++ 5 1
++ 1 7
++ 2 3
++ 3 4
++ 4 6
++ 6 8
+- 8 9
++ 9 10
+- 10 2
+10 10
+- 1 1
+U 1
+T 7
+U 8
+- 9 6
+U 3
+- 9 3
+- 6 3
++ 9 3
+- 9 8
+10 10
+- 7 3
+- 5 3
++ 3 7
+- 1 6
++ 4 6
+- 8 4
+- 6 8
++ 2 2
+- 9 9
+- 10 10

src/P9869/tribool3.ans

@@ -0,0 +1,6 @@
+0
+0
+206
+15
+275
+891

src/P9869/tribool4.ans

@@ -0,0 +1,6 @@
+0
+100000
+37278
+6653
+7184
+0