spsol.tmp.lst

人工智能的一个重要方法

21
-29
-30
-38
39
65
70
-73
77
-105
-143
-165
-172
-203
208
-237
239
-242
-255
270
273
301
-310
311
-345
351
-353
-366
389
393
406
411
-413
-426
-446
466
498
555
-567
584
-590
-597
-606
-607
-608
637
-660
-679
-684
733
-744
-746
-750
-765
767
776
-784
-792
-802
-805
814
-824
-863
874
-896
-910
920
950
-957
962
963
971
979
992
-995
998
1027
-1029
1043
1054
-1065
1079
-1087
-1099
-1106
1108
1110
1122
-1127
1130
1147
-1164
1167
-1187
-1189
1192
1196
-1210
-1211
1229
-1232
-1247
-1257
1258
-1282
1289
1290
1306
-1309
-1310
1329
-1337
1343
-1353
-1359
-1366
1367
-1391
1410
1427
-1435
-1454
-1462
-1464
1473
1499
1510
-1524
-1525
1531
-1533
-1538
-1540
1563
1569
1570
-1585
1631
1645
1651
1662
1678
1679
1685
-1688
1694
-1696
1697
1698
1701
-1706
-1707
-1709
1714
-1722
1731
-1748
-1756
1757
-1758
1763
-1771
-1775
-1776
-1786
1789
-1798
-1808
1832
-1842
-1845
-1861
1862
1878
-1883
-1909
-1929
-1946
-1947
1950
1952
-1954
-1964
-1979
1982
2000
2003
2007
2009
2029
2031
2054
-2062
-2064
2065
-2079
2099
-2115
2132
2157
-2165
2167
2177
-2182
-2185
-2187
-2214
2235
-2248
-2264
2271
-2275
2278
-2286
-2289
-2291
-2331
-2345
2362
2379
-2380
2382
-2387
-2396
-2406
2409
-2416
2421
-2428
-2445
-2448
2450
-2462
-2465
2473
2474
2490
2491
-2494
-2495
-2496
2504
2505
2507
-2513
-2516
-2524
-2527
-2555
-2560
2568
2569
-2572
-2588
2596
-2602
-2625
-2626
-2627
2640
2648
-2650
-2651
-2658
-2665
2670
2677
-2678
-2685
2690
2700
2705
-2707
-2713
2726
-2764
2767
-2776
2781
2795
-2799
-2802
-2811
2853
2875
2898
-2920
-2935
2937
2954
2968
-2981
-2985
-2989
3006
-3008
-3024
-3036
-3042
-3051
3062
-3066
-3067
-3081
3085
3098
-3101
-3105
3112
3117
-3130
3131
3142
-3143
-3151
-3153
-3177
3179
3189
-3196
-3198
3199
3213
3235
3247
3256
-3260
3262
-3268
3272
3296
3305
-3306
-3332
3356
-3374
-3396
3407
-3430
-3438
3441
-3495
-3505
3511
-3514
3521
3523
3567
3576
3577
3590
3591
-3595
3623
3629
-3634
-3641
-3672
-3678
-3681
3682
-3691
-3705
-3715
-3718
3760
3768
3772
3783
3787
-3814
-3822
-3829
3832
3834
-3843
3860
-3870
-3873
-3876
3899
3935
3939
3960
3980
4004
-4012
-4036
-4066
-4073
-4093
4104
4113
-4116
4160
-4162
4166
-4167
4168
4176
-4177
-4181
-4204
-4212
4225
4228
4229
-4231
4234
-4244
4256
-4257
4292
-4302
4315
-4325
4331
-4342
-4351
-4364
-4394
-4396
-4397
4400
4415
-4418
-4432
4434
-4442
-4456
4473
4478
4479
4487
4490
4491
-4534
-4539
4560
-4575
4590
4619
-4663
4676
4678
-4714
-4763
-4779
4785
4790
-4792
4797
4805
4810
4823
4835
4841
4842
-4847
4871
-4872
-4873
4905
-4911
-4918
4941
-4964
4966
-4968
-4971
-4986
-4988
4998
-5001
-5020
-5030
5051
-5064
5076
5098
5105
-5116
-5130
-5141
-5142
-5181
5182
-5191
5193
-5206
5214
5230
-5236
-5240
-5244
-5267
-5268
-5306
-5309
5310
5314
-5322
5324
5334
5345
-5347
5353
5355
5365
5409
-5417
5420
5427
5428
5448
5454
5476
-5482
-5487
-5501
5522
5525
5572
-5578
-5584
5594
5596
5599
5614
-5639
5641
5642
5654
-5671
-5704
-5711
5755
-5761
-5762
5765
5771
5779
5783
5789
-5798
-5800
-5821
5825
5840
5841
5847
5855
-5861
5873
5882
-5887
5892
5902
5915
5917
-5920
-5956
5963
-5969
5972
-5986
5987
-5989
-5993
6027
-6062
-6064
6083
-6086
-6088
-6097
-6125
-6135
-6136
6156
6159
-6169
6190
6218
6229
6242
-6245
-6248
6253
-6298
-6302
6312
6319
-6327
-6331
-6353
6357
-6379
6387
6396
6414
6423
6424
6438
-6472
6481
-6491
6498
-6506
6511
-6531
-6534
6549
-6576
-6577
-6590
-6597
6608
6613
6615
-6623
6629
6654
-6655
-6666
6669
-6673
6682
-6690
-6691
-6692
-6698
-6725
-6729
-6732
6735
6742
6753
6782
-6799
6821
6829
-6832
-6838
6855
-6862
6875
-6914
-6918
6945
-6958
6961
-7001
-7002
-7007
-7013
-7020
7021
-7024
7040
-7057
-7059
-7066
-7070
-7079
-7089
7094
7110
7129
-7151
7156
7160
7168
-7207
-7209
-7228
7231
-7245
7246
-7251
-7253
-7262
-7264
7267
7278
7291
-7300
-7304
7309
-7327
7331
7333
7341
-7345
-7364
7365
7366
7387
7390
7393
-7401
-7444
7450
-7458
-7469
-7496
-7499
-7510
7519
-7528
7543
-7592
7593
7618
-7624
7632
-7636
-7666
-7667
-7672
-7677
7731
7743
-7756
-7807
-7820
7825
-7831
7841
-7843
7865
-7869
7885
7911
-7917
7919
7966
7974
7975
7977
-7985
7993
-8009
8041
8051
-8054
-8062
-8098
8102
-8105
-8115
-8117
8134
-8139
-8153
8155
8180
-8192
8197
8223
-8227
8237
8241
8259
8268
-8287
8297
-8316
-8319
-8323
8332
8342
-8344
8345
8354
8363
-8369
8375
8376
-8397
-8404
8410
8430
-8455
-8457
-8460
-8468
8470
8482
8483
-8488
8499
-8517
8523
-8528
8533
-8552
-8582
8583
8586
8594
8602
8614
-8626
8631
8637
-8668
8673
8684
-8691
8705
8709
-8711
8740
-8762
8791
-8807
-8820
8825
-8836
8858
-8866
-8891
-8900
8915
-8936
-8939
-8948
-8956
-8967
8968
9009
9031
-9043
-9045
-9085
-9086
-9087
-9103
-9113
-9147
-9153
-9160
-9162
9164
-9166
9180
-9195
9196
9210
9212
-9220
-9222
9244
9260
9268
-9273
9283
9292
-9294
-9297
9317
9331
-9360
9384
9393
-9407
9409
9444
-9445
9447
9451
9453
9459
9492
9512
-9519
9521
9525
-9528
9531
9549
9563
-9584
-9593
9607
-9613
-9614
9615
-9618
9630
9634
-9636
9644
-9663
9677
9685
9707
9714
9722
-9734
9740
-9748
9752
-9760
-9771
9776
-9794
9800
-9803
9817
9825
-9838
9851
-9857
9860
-9861
-9869
-9870
9871
-9882
-9910
-9921
9947
9950
9956
9961
-9965
-9979
-9981
10020
10026
10045
-10058
-10064
-10066
10074
-10088
-10093
10099
-10100
-10108
-10111
-10124
10126
-10138
10142
-10148
-10149
-10151
-10166
10175
-10207
10237
-10268
-10287
-10311
-10338
-10341
10363
-10364
10369
10376
-10380
-10395
-10396
-10412
10414
10438
10450
10453
10462
10463
-10464
10471
10487
-10497
10548
-10556
-10570
10574
-10582
-10583
10585
-10602
10607
-10612
10614
-10628
10629
10631
-10633
10639
10658
10676
10680
10718
10724
-10730
-10741
-10758
-10787
10804
-10811
10818
-10829
-10864
-10866
-10868
10872
10876
10904
-10906
-10907
10916
-10917
10932
10936
-10947
-10963
10965
-10983
-10991
11008
-11037
-11043
-11061
-11086
-11099
-11118
-11126
11129
-11138
11139
11147
11167
-11172
-11199
-11222
11235
11237
-11244
-11253
-11254
11271
11283
11287
11292
11297
-11314
11315
11319
-11320
-11336
11357
11359
-11372
11374
-11375
11378
11386
11397
-11409
11415
-11428
11444
-11459
11467
-11484
-11488
-11490
11494
11499
11504
11510
11514
11518
-11524
11526
11549
11555
11556
-11561
11574
11583
11592
11595
-11609
-11659
-11695
11721
11725
11727
-11742
-11748
-11765
-11801
-11803
-11804
-11805
-11810
-11845
11852
-11872
-11876
11887
11890
11892
-11914
11927
-11955
-11973
11993
12001
-12023
12042
12044
-12049
-12053
12067
12068
-12070
-12074
12078
-12091
12095
12096
-12101
12117
12118
-12122
-12125
12129
12135
-12161
-12190
12196
-12207
12209
-12213
-12214
-12216
-12218
-12222
-12226
12229
-12232
-12236
12246
12248
-12253
-12275
-12284
-12287
12289
12295
-12297
12321
12329
12345
12378
12380
-12383
-12401
12405
12422
12425
-12434
12457
12461
-12514
12535
-12539
-12573
12574
12575
12579
12598
12620
-12622
-12648
-12670
12672
-12686
-12708
-12726
12729
12733
-12734
-12763
-12776
-12794
-12836
-12878
12904
-12909
12928
-12945
-12952
-12975
12980
-13013
-13015
-13024
13064
13068
13107
13117
-13141
-13143
-13144
-13155
13161
-13172
-13175
-13183
13211
-13224
-13242
-13243
13272
-13302
13305
13318
13327
-13328
-13329
13339
13344
-13354
-13361
13368
-13380
13396
13412
13419
13428
13443
13462
13474
-13505
13509
13521
13549
-13550
13558
13600
-13606
-13632
13642
-13651
13672
-13697
13739
13761
13787
13794
13798
13803
13811
-13850
-13867
13870
13873
-13882
-13928
13939
13940
13942
-13998
-14000
-14019
14020
-14023
-14030
14034
14035
14044
-14046
-14053
-14056
14075
-14078
-14084
-14085
-14089
-14103
14108
-14130
14148
-14149
14174
-14176
-14182
14189
-14194
14213
14220
14229
14253
14257
14269
-14272
-14278
-14291
-14295
-14302
14333
14359
14362
14372
-14378
-14381
-14397
14401
-14413
14431
14446
-14470
14485
-14489
14500
-14511
-14544
14546
14565
14570
-14579
14589
14615
-14655
14663
14675
-14687
14697
14701
14707
-14743
-14745
14746
-14753
-14777
14785
-14788
14809
-14814
14819
14823
-14827
-14829
14835
14839
14843
-14858
14859
-14862
14870
14883
-14884
14888
-14903
14915
-14920
14921
-14947
-14958
-14959
14962
-14965
14977
-14982
14998
15001
-15010
-15013
-15020
-15025
15033
-15044
15052
-15080
-15089
15095
-15116
-15120
15123
-15148
15156
-15157
-15172
-15176
-15194
-15198
15219
-15221
-15292
15304
15307
15310
-15318
15339
15343
15348
-15349
-15351
15352
-15378
15379
-15382
-15393
-15395
15398
15413
15428
15451
-15455
15465
15466
15467
15472
-15476
-15480
15502
15524
15525
-15526
-15550
-15553
15560
-15571
15612
15623
15634
15645
-15652
-15657
-15662
-15674
15682
15683
-15714
15717
15731
15738
-15744
-15755
15756
15770
15775
15782
15805
-15812
-15828
-15846
-15862
15866
15879
-15918
-15934
15942
-15958
-15962
-15969
-16001
16009
16013
-16014
16021
16028
-16038
-16046
-16056
16071
16074
16085
-16090
16094
16102
16121
-16125
16127
-16132
16133
16147
16158
-16163
-16164
16174
16228
16229
-16234
-16242
16245
-16249
-16252
16253
16268
-16269
-16276
16277
-16295
-16297
16303
-16306
16321
16330
-16342
16344
16364
16372
16375
-16383
16412
-16413
16422
16431
-16435
16442
-16460
-16479
-16482
16501
-16503
16514
-16520
16529
-16534
-16561
16577
16578
16604
16615
-16627
16641
-16657
16658
16660
16677
-16682
-16692
-16725
-16747
-16758
-16795
16799
-16800
-16816
-16834
-16847
16855
-16907
16922
16932
-16947
16959
-16972
16980
-16991
-16995
-17015
-17033
-17041
-17047
-17052
17075
-17097
-17099
17114
-17126
17134
-17143
-17153
-17154
-17157
-17158
-17171
17177
-17179
17195
-17197
17198
-17215
17228
17230
-17233
17235
-17240
17255
17260
17263
17278
17299
-17306
-17307
17323
17328
17341
-17360
17370
-17371
17399
17403
-17426
17474
-17491
-17501
-17528
17546
-17548
-17563
-17566
-17569
-17571
-17594
-17601
17604
17612
-17632
-17636
17642
17647
-17672
-17676
17690
-17695
-17703
-17716
-17725
17729
-17771
17776
17778
-17784
17790
17793
17795
17801
17850
-17862
-17863
17864
17866
-17867
17873
17875
-17891
17894
17916
-17918
17938
17941
17947
-17952
-18000
-18004
-18018
-18024
-18051
-18067
-18072
18077
-18078
18091
18094
-18101
18112
18119
-18135
-18137
-18143
-18145
18154
-18178
18179
18186
-18202
18227
-18229
-18237
18238
18250
18282
-18291
18294
-18303
18308
18314
-18318
-18330
-18333
-18348
-18355
18380
18386
-18406
-18408
-18412
-18422
-18424
18434
-18464
-18494
18501
18503
18518
-18562
-18563
18564
-18574
-18582
-18588
18598
-18602
18609
-18637
18643
-18646
-18663
-18681
18707
18713
18717
18728
-18730
-18737
18745
18784
18792
18799
-18804
-18809
18818
18843
18864
-18889
18894
-18914
18939
-18944
18949
18973
18982
-19021
-19022
-19079
-19099
-19110
19111
19116
-19125
-19133
-19145
19151
19159
19161
-19174
19176
-19184
19206
-19239
19242
-19263
19270
19293
-19306
-19318
19323
19328
19331
-19332
-19334
-19352
19363
-19373
19378
19388
19400
-19412
19437
-19471
19481
-19503
-19529
-19539
19540
-19541
-19544
-19550
-19564
-19579
-19580
-19588
19610
19613
19614
19623
-19644
-19649
-19702
-19707
19720
-19722
19747
-19752
-19765
-19770
-19781
19804
-19807
-19821
19828
19830
19834
-19845
-19852
-19857
-19862
19866
19894
-19901
-19902
-19916
19918
19921
-19939
-19947
19964
-19987
-19991
-20000