<commit_before># 㷨ۡ8.3

```
Ŀ
	һӾ (ÿӾ䶼ֵȡ)  kһ k Ϊ true 㸳ֵøֵڡ֤SATNP-ȫ⡣
```

<br><br>

```
֤
	֪SATNPC⡣
	Ҫ֤SATNPC⣬ֻ֤һSATڶʽʱԼSAT⡣
	SATnSATеkΪSATеnڳʱڽSATԼSAT⡣
	֤
```<commit_msg>算法概论证明题<commit_after># 㷨ۡ8.3

```
Ŀ
	һӾ (ÿӾ䶼ֵȡ)  kһ k Ϊ true 㸳ֵøֵڡ
	֤SATNP-ȫ⡣
```

<br><br>

```
֤
	֪SATNPC⡣
	Ҫ֤SATNPC⣬ֻ֤һSATڶʽʱԼSAT⡣
	SATnSATеkΪSATеnڳʱڽSATԼSAT⡣
	֤
```
{'fraction_non_alphanumeric': 0.23529411764705882, 'fraction_numerical': 0.011764705882352941, 'mean_word_length': 4.412698412698413, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5373153', 'n_tokens_mistral': 343, 'n_tokens_neox': 351, 'n_words': 33}